Formal group law

In mathematics, a formal group law is a formal power series behaving as if it were the product of a Lie group. They were introduced by S. Bochner. The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups and Lie algebras. They are used in algebraic number theory and algebraic topology.

This keyword could refer to multiple things. Here are some suggestions: