Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm trying to solve the following problem: Let $G$ be a metrizable compact topological group. Suppose for some $g_0 \in G$ the translation $L_{g_0}$ defined by $L_{g_0}g=g_0 g$ is topologically transitive. Then $G$ is an abelian group.

I know that since $L_{g_0}$ is topologically transitive, it is also minimal. I was hoping to show that the commutator of two elements is the identity and also wanted to incorporate the metrizability and compactness of the space somehow but didn't get too far.


share|cite|improve this question


  1. Minimality means that every $L_{g_0}$-orbit is dense, in particular the orbit of the identity is dense.
  2. The orbit of the identity is just the powers of $g_0$.
  3. All powers of $g_0$ commute.
  4. Multiplication is continuous and you can approximate any two group elements with powers of $g_0$.
share|cite|improve this answer
+1 Just remembered I never got around to this one. – user8126 Oct 2 '12 at 14:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.