Formele groep

In de algebraïsche getaltheorie, de algebraïsche topologie en de groepentheorie, deelgebieden van de wiskunde, is een formele groepenwet (ruwweg) een formele machtsreeks, die zich als een product van een Lie-groep gedraagt. De formele groep werden in 1946 door Salomon Bochner gedefinieerd. De term formele groep betekent soms hetzelfde als de formele groepenwet, en staat soms voor een de verschillende veralgemeningen. Formele groepen zijn tussenvormen tussen Lie-groepen (of algebraïsche groepen) en Lie-algebra's.