Demazure, lectures on p-divisible groups, IV.1, isogenies
This entry is about a section of the text
Unless otherwise stated let be a perfect field of prime characteristic.
We denote write for the quotient field of the Witt ring . We extend the Frobenius morphism to an automorphism of . The set of fixed points of in is . The set of fixed points of in is .