This entry is about a section of the text

Unless otherwise stated let $k$ be a perfect field of prime characteristic.

We denote write $B(K):=Quot(W(k))$ for the quotient field of the Witt ring $W(k)$. We extend the Frobenius morphism $x\mapsto x^{(p)}$ to an automorphism of $B(k)$. The set of fixed points of $x\mapsto x^{(p)}$ in $W(k)$ is $W(F_p)=\mathbb{Z}_p$. The set of fixed points of $x\mapsto x^{(p)}$ in $B(k)$ is $B(F_p)=\mathbb{Q}_p$.

Created on May 28, 2012 at 00:32:55. See the history of this page for a list of all contributions to it.