3
$\begingroup$

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.

  • 0
    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.)2012-02-03

1 Answers 1

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$.