Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

This is one more homework question I have--just another one I'm having trouble getting started with.

I'm supposed to prove a bijection between the multiplicative group of integers mod $p$ and the group of automorphisms of the cyclic group of order $p$.

Just don't know where to start--presumably something involving prime factorization, but honestly I'm just struggling with the intuition right now.

share|cite|improve this question
up vote 1 down vote accepted

Let $\varphi:\mathbb{Z}_p \to \mathbb{Z}_p$ be an endomorphism (homomorphism with domain=codomain).

Consider $\varphi(1)=m$. Then $\varphi(1+1)=\varphi(1)+\varphi(1)=m+m=2m$ etc. So $\varphi(k)=km$.

So all homomorphisms are of the form $x \mapsto mx$ for some $m$. Call such a map $\varphi_m$.

When is $\varphi_m$ an automorphism? (What restriction must be placed on $m$?)

Edit: Oops! I didn't notice you're only looking to prove there is a bijection. The question:

What is $\varphi_m \circ \varphi_n$?

is to lead you to conclude that the bijection is actually an isomorphism.

share|cite|improve this answer
Haven't got it yet but I think this gives me something good to think about on my walk home--although it might be the case that I need more help later, I think I can see a path from here. – flury Nov 8 '11 at 0:58

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.