# A generator for $(\mathbb{Z}/p^k\mathbb{Z})^{\times}$

Let $a$ be the generator for the group of units $\bmod{p^k}$ for $p$ an odd prime and k a positive integer, i.e. $\langle a \rangle= (\mathbb{Z}/p^k\mathbb{Z})^{\times}$. Is it true that $a$ is also a generator for $(\mathbb{Z}/p\mathbb{Z})^{\times}$? I then want to be able to generalize for other powers of p. Thanks.

• Dear Edison: You can take a look at this answer. – Pierre-Yves Gaillard Feb 3 '12 at 18:32
• What other powers of $p$ than positive integer powers do you envisage to generalize to? Fractional powers? Negative powers? Imaginary powers? It doesn't seem to make much sense. – Marc van Leeuwen Feb 3 '12 at 18:57
• More interesting is the fact that one can go the other way: if $a$ is a generator for the group of units mod $p^2$, then it is a generator for the group of units mod $p^k$ for all $k$. – Arturo Magidin Feb 3 '12 at 19:04
• Plus, if $a$ is a primitive root modulo $p^e$, then either $a$ is odd and primitive mod $2p^e$, or $a$ is even and $a+p^e$ is primitive modulo $2p^e$. ($p$ odd.) – anon Feb 3 '12 at 19:16

The answer to your question is trivially yes: if the powers of $a$ run through all classes modulo $p^k$ except those of the multiples of $p$, then by (further) reduction modulo $p$ they certainly also run through all classes modulo $p$ except that of $0$.