Definition
Rotation on a compact abelian group
Translation by a fixed element of a compact abelian group with Haar probability.
A compact abelian rotation is the probability-preserving system
where is a compact metrizable abelian group with normalized Haar measure and .
Characters and ergodicity
For a character , forward pullback gives . Since characters form a Fourier basis, the rotation is ergodic exactly when for every nontrivial character. Equivalently, the cyclic subgroup generated by is dense in .
Group actions by translations
More generally, translations by elements of a subgroup act ergodically exactly when , or equivalently when no nontrivial character is one on every element of . This is a joint condition on the translating subgroup.