11
$\begingroup$

I know that $\mathbb{Z}_p$ has all the $p-1^{st}$ roots of unity (and only those). Is it true that mod $p$ they are all different? Meaning, is the natural map $\mathbb{Z}_p \rightarrow \mathbb{F}_p$, restricted to just the roots of unity, bijective?

$\endgroup$
  • 6
    $\begingroup$ Yes, by Hensel's Lemma (and the generalisation also holds for the algebraic extensions of $\mathbb{Z}_p$ and $\mathbb{F}_p$). en.wikipedia.org/wiki/Hensel%27s_lemma $\endgroup$ – George Lowther Apr 6 '11 at 15:45
  • 3
    $\begingroup$ The "and only those" part is wrong when $p=2$. $\endgroup$ – KCd Mar 5 '12 at 5:38
12
$\begingroup$

Indeed, the $(p-1)^{st}$ roots of unity are the so-called Teichmüller lifts of the non-zero elements of $\mathbb{F}_p$. This construction is very important, because it generalises to Witt vectors, as the article explains, and those are widely used in number theory.

$\endgroup$
6
$\begingroup$

This follows from the fact that $x^{p-1} - 1$ is relatively prime to its formal derivative over $\mathbb{F}_p$, which is $-x^{p-2}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.