Mautner's lemma

Mautner's lemma is a result in the field of group theory, particularly in the study of groups of automorphisms of topological spaces and in the context of ergodic theory. It provides a criterion for determining when a subgroup acting on a measure space behaves in a particular way, often related to the invariant structures and ergodic measures.