The generic automorphism of a Lebesgue space conjugate to a \(G\)-extension for any finite abelian group \(G\). (Q1432373)

Denote by~\(\Omega\) the group of invertible measure-preserving transformations of a Lebesgue probability space~\((X,\mu)\). The weak topology on~\(\Omega\) is defined by \(T_n\to T\) if and only if \(\mu(T_n^{-1}A\Delta T^{-1}A)\to0\) for all measurable sets~\(A\). In this topology~\(\Omega\) is a Polish space. The following result is proved here. Fix any finite abelian group~\(G\). Then the set of transformations in~\(\Omega\) that are measurably isomorphic to a skew product transformation on \(X\times G\) of the form \((x,y)\to(Tx,g(x)+y)\) for some~\(T\in\Omega\) and the measurable function \(g:X\to G\) contains a dense~\(G_{\delta}\) subset of~\(\Omega\). Some consequences: the generic automorphism has nontrivial factors; a generic automorphism has an infinite number of roots of all orders.