Let G be an infinite compact topological group with a Hausdorff topology. Prove that G contains an element g \not\equal{} 1 such that the set of all powers of g is either everywhere dense in G or nowhere dense in G.
J. Erdos topologysearchsuperior algebrasuperior algebra unsolved