Formal Groups Preliminaries Lie theory Commutative formal groups of dimension one Commutative formal groups of dimension one over a discrete valuation ring.