This is my 'doctor of science' thesis. Its central part is the study of formal groups over mixed characteristic complete discrete valuation fields. The main instrument of the study is the theory of Cartier modules; we prove many new properties of those. We apply these results to the study of finite group schemes and of reduction of abelian varieties. I also relate formal groups with additive Galois modules (and their associated orders).