This entry in a note concerning the text
Motivation: the local Kronecker-Weber theorem.
Formal groups and formal -modules
The invariant differential form, and the logarithm.
Formal groups: Categorical definition.
The de Rham complex, and the module .
The crystalline nature of
The action of Frobenius.
The Dieudonné module.
More on Dieudonné theory (but not quite enough).
The Grothendieck-Messing crystal.