Structural properties of compact groups with measure-theoretic applications

Every compact group is Baire isomorphic to a product of compact metric spaces; the isomorphism takes the Haar measure on the group to a direct product measure. This topological connection between compact groups and products of compact metric spaces provides a unified treatment for (Baire) measures on compact groups and for measures on topological products of metric spaces.