An uncountable Mackey–Zimmer theorem

The Mackey–Zimmer theorem classifies ergodic group extensions $X$ of a measure-preserving system $Y$ by a compact group $K$, by showing that such extensions are isomorphic to a group skew-product $X \equiv Y \rtimes _\rho H$ for some closed subgroup $