Zero-Dimensional Principal Extensions

We prove that every topological dynamical system (X,T) has a zero-dimensional principal extension, i.e. a zero-dimensional extension (Y,S) such that for every S-invariant measure nu on Y the conditional entropy h(nu|X) is zero. This reduces the discussion of many entropy-related properties to the zero-dimensional case which gives access to the various useful tools of symbolic dynamics.