Introduction to the Theory of Formal Groups

The concept of formal Lie group was derived in a natural way from classical Lie theory by S. Bochner in 1946, for fields of characteristic 0. Its study over fields of characteristic p > 0 began in the early 1950’s, when it was realized, through the work of Chevalley, that the familiar “dictionary” between Lie groups and Lie algebras completely broke down for Lie algebras of algebraic groups over such a field. This volume, starts with the concept of C-group for any category C (with products an