Abstract
LetE denote an invertible, non-singular, ergodic transformation of (0, 1). Then the full group ofE is perfect. IfE preserves the Lebesgue measure, then the full group is simple. IfE preserves no measure equivalent to Lebesgue, then the full group is simple. IfE preserves an infinite measure, then there exists a unique normal subgroup. IfT is any invertible transformation preserving the Lebesgue measure, then the full group is simple if and only ifT is ergodic on its support.
Similar content being viewed by others
References
R. D. Anderson,On homeomorphisms as products of conjugates of a given homeomorphism and its inverse, inTopology of 3-manifolds (M. K. Fort, ed.), Prentice Hall, 1961.
J. R. Choksi and S. Kakutani,Residuality of ergodic measurable transformations and of ergodic transformations which preserve an infinite measure, Indiana Univ. Math. J.28 (1979), 453–469.
D. B. Epstein, Diff(M)is simple?, in Symposium on Differential Equations and Dynamical Systems, Warwick, 1968–69, Lecture Notes206, Springer-Verlag, pp. 52–54.
A. Fathi,Le groupe des transformations de [0, 1]qui preservent la measure de Lebesgue est un groupe simple, Israel J. Math.29 (1978), 302–308.
A. Fathi, private communication.
N. Friedman,Introduction to Ergodic Theory, Van Nostrand, Reinhold, 1970.
A. Hajian, Y. Ito and S. Kakutani,Orbits, sections, and induced transformations, Israel J. Math.18 (1974), 97–115.
G. Higman,On infinite simple permutation groups, Publ. Math. Debrecen3 (1953–4), 221–226.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Eigen, S.J. On the simplicity of the full group of ergodic transformations. Israel J. Math. 40, 345–349 (1981). https://doi.org/10.1007/BF02761375
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02761375