General groups of measure-preserving transformations Measure-theoretic ergodic theory mathematics