§2 Dieudonné complexes 2/2

Some homological algebra.
Define Dieudonné complexes of Cartier type (Definition 2.4.1) and discuss
Theorem 2.4.2. Define completion of Dieudonné complexes (Construction
2.5.1) and strictness (Definition 2.5.4). Prove Proposition 2.6.5 in the
particular case of W(M)
∗
for M∗
saturated (without mentioning strict
Dieudonné towers). Cover §2.7 and §2.8