4

I need to show that the group $(\mathbb{Z}/p^a\mathbb{Z})^{\times}$ is cyclic for odd prime $p$ and for $a\in \mathbb{N}^+$. I have already shown that $(\mathbb{Z}/p\mathbb{Z})^{\times}$ has a generator $g$ and so is cyclic. I have also shown that either $g$ or $g+p$ is a generator for $(\mathbb{Z}/p^2\mathbb{Z})^{\times}$.

How can I proceed to show that $(\mathbb{Z}/p^a\mathbb{Z})^{\times}$ is also cyclic for higher powers?

For the life of me I can't get it.

Thanks for any help you can provide!

Bill Dubuque
  • 272,048
Chloe.H
  • 367
  • This is a very long problem, especially if you want any amount of details for the steps. Please consider telling us the attempts you've made or perhaps even splitting the question up to help us help you. – EuYu Nov 09 '12 at 01:27
  • This is the question I'm asked. Its part of a long, multistep problem. So far, I've show (Z/p^a Z)* has order (p^(a-1))(p-1). And I've shown that if (1), than (2) in the question. – Chloe.H Nov 09 '12 at 01:30
  • 1
    So you've shown that $(\mathbb{Z}/p\mathbb{Z})^{\times}$ and $(\mathbb{Z}/p^2\mathbb{Z})^{\times}$ are cyclic already? – EuYu Nov 09 '12 at 01:32
  • Ya we did the first one in class. The second one should follow since I proved that if g is a generator of (Z/pZ)* than g or g + p is a generator of (Z/p^2 Z)*. Right? – Chloe.H Nov 09 '12 at 01:33
  • Yes. Next time you should include information like that in the question. The long list of requirements turn away a lot of people. Do you mind if I edit your question to make it more clear? – EuYu Nov 09 '12 at 01:37
  • Ya for sure. Honestly I was trying to make it clear by putting it in a list lol – Chloe.H Nov 09 '12 at 01:39
  • Maybe that "if" statement isn't so clear – Chloe.H Nov 09 '12 at 01:39
  • Is the edit okay with you? – EuYu Nov 09 '12 at 01:48
  • for future visitors: https://math.stackexchange.com/questions/1387378/show-that-u-mathbb-z-pn-is-cyclic-by-considering-the-order-of-1p?rq=1 – D.R. Mar 17 '22 at 22:00

1 Answers1

8

I think the clearest way to proceed is to use the following lifting lemma.

Lemma: Let $p$ be an odd prime and let $x$ be coprime to $p$. If for some exponent $k$ we have $$x\equiv 1 \pmod{p^k},\ \ \ \ \ \ x \not\equiv 1 \pmod{p^{k+1}}$$ then we also have $$x^p\equiv 1 \pmod{p^{k+1}},\ \ \ \ \ \ x^p \not\equiv 1 \pmod{p^{k+2}}$$ Proof: Let us consider the binomial theorem. Since $x\equiv 1 \pmod{p^k}$, there is some $n\in\mathbb{Z}$ such that $x = 1 + np^k$. The second congruence then requires $p\nmid n$. Taking the expression to the $p$th power then gives us $$x^p=(1+np^k)^p = \sum_{i=0}^p\binom{p}{i}n^ip^{ki}$$ In the above expression, all terms with $i\ge 2$ are necessarily divisible by $p^{k+2}$, therefore only the first two terms survive the congruence $$x^p \equiv 1 + np^{k+1} \not\equiv 1 \pmod{p^{k+2}}$$ but clearly, the second term is divisible by $p^{k+1}$ so we have $$x^p \equiv 1 \pmod{p^{k+1}}$$ The result is as desired. $\square$

From your work with $(\mathbb{Z}/p^2\mathbb{Z})^{\times}$, you know that there is some $g$ such that $$g^{p-1} \equiv 1 \pmod p,\ \ \ \ \ \ g^{p-1} \not\equiv 1\pmod{p^2}$$ Now use the above lemma to inductively lift the congruence into $p^a$.

EuYu
  • 41,421