2
$\begingroup$

For p a prime and n a positive integer, consider the group of units, $(\mathbb{Z}/(p^{n}-1)\mathbb{Z})^{\times}$. How can I go about to find the order of $\bar{p}$?

  • 0
    @Zev, $p^{n}=1$, but how do I know this is the order of p?2011-09-28
  • 0
    I've made my comment into an answer.2011-09-28

1 Answers 1

3

Clearly, $p^n\equiv 1\bmod (p^n-1)$, so the order of $p$ is $\leq n$. But if $p^k\equiv 1\bmod (p^n-1)$, then $$(p^n-1)\mid (p^k-1)$$ and if $k

  • 1
    Note this has nothing to do with p being a prime.2011-09-28
  • 0
    @Zev, so when you write $p^{k}= 1 mod (p^{n}-1)$ you are assuming that $k>n$, but in your conclusion you assume $k2011-09-28
  • 0
    @El G: I demonstrate that $p^k\equiv 1\bmod (p^n-1)\implies k\geq n$, using a proof by contradiction (if we had $k$p^n-1\leq p^k-1$ and $p^k-12011-09-28