General groups of measure-preserving transformations Ergodic theory mathematics