one-dimensional formal group law

A one-dimensional formal group law is a power series F(X,Y) over a commutative ring, with no constant term and linear terms X+Y, that defines a group structure on the formal neighborhood of 0 by satisfying associativity, commutativity, identity, and inverse axioms in the category of formal schemes.