Spahn Witt vectors (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

Let In an$F_p$expansion be of the a finite field with$p$ -elements -adic In number the Prüfer$\mathrm{<span><del\; class="diffmod">\; p</del><ins\; class="diffmod">\; a</ins></span>}=\Sigma a_i{p}^i$ p a=\Sigma a_i p^i -group every the element has precisely$p{a}^i$ p a^i are called$p$digits -th . roots. Usually these digits are defined to be taken elements of the set$\{0,1,\dots,p-1\}$.

It Equivalently is the unique digits up can be defined to isomorphism. be taken from the set$T_p:=\{x|x^{p-1}=1\}\cup \{0\}$. Elements from this set are called Teichmüller digits or Teichmüller representatives.