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

  • 1
    Dear Edison: You can take a look at [this answer](http://math.stackexchange.com/a/91390/660).2012-02-03
  • 1
    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.2012-02-03
  • 3
    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$.2012-02-03
  • 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$.