A generic distal tower of arbitrary countable height over an arbitrary infinite ergodic system

Abstract

We show the existence, over an arbitrary infinite ergodic $\mathbb{Z}$-dynamical system, of a generic ergodic relatively distal extension of arbitrary countable rank and arbitrary infinite compact extending groups (or more generally, infinite quotients of compact groups) in its canonical distal tower.

Improved presentation and corrected misprints