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

Prove that any isomorphism between two cyclic groups always maps every generator to a generator.

share|cite|improve this question

Step 1: Show that any homomorphism from a cyclic group is determined by its image on a generator of the group.

Step 2: Show that the image of the homomorphism is generated by the image of that generator.

Step 3: What can you say about the kernel of such a homomorphism? What powers of the generator does it send to the identity?

share|cite|improve this answer

Suppose you have two cyclic groups $G$ and $G'$ and some isomorphism $\phi\colon G\to G'$. Since $\phi$ is surjective, for any $g'\in G'$ there exists some $g\in G$ such that


Try expressing $g$ and/or $g'$ in terms of the generators, and see what happens from there. The fact that $\phi$ is a homomorphism is particularly useful here.

share|cite|improve this answer

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.