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.
A generator for $(\mathbb{Z}/p^k\mathbb{Z})^{\times}$
3
$\begingroup$
group-theory
finite-groups
-
0Plus, 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.) – 2012-02-03
1 Answers
5
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$.