English Formal group law Cited by user TheMathCat on 31 Aug 2022 In mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group.