nLab Demazure, lectures on p-divisible groups, IV.1, isogenies

This entry is about a section of the text

• Michel Demazure, lectures on p-divisible groups, web

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