The quantum group fixing a sequence of finite subsets

Abstract

Motivated by generalizing Szemerédi's theorem, we the elements in a discrete quantum group fixing a sequence of finite subsets and prove that the set of these elements is a quantum subgroup. Using this we obtain a version of mean ergodic theorem for discrete quantum groups.