Borel Cross-Sections and Maximal Invariants

A measurable cross-section for orbits of a sample space under a free (exact) transformation group is shown to exist under topological regularity conditions. This is used to represent the sample space as essentially the product of a maximal invariant and an equivariant part, which implies Stein's representation for the density of the maximal invariant.