# Additive formal group law

From Groupprops

## Definition

### One-dimensional additive formal group law

Suppose is a commutative unital ring. The one-dimensional additive formal group law over is the formal group law given by the power series:

It is an example of a commutative formal group law.

### Higher-dimensional formal group law

Suppose is a commutative unital ring. The -dimensional additive formal group law over is the formal group law given by the following collection of power series:

More compactly, this is written as:

where and .

This is an example of a commutative formal group law.