# Standard group

From Groupprops

## Definition

### Over a local ring

Suppose is a local ring and is its unique maximal ideal. Suppose is a -dimensional formal group law over . The **standard group** over corresponding to is the group whose set of elements is given by the set of -tuples over (which could be denoted , but is *not* to be confused with the power of in , hence is sometimes denoted ) and where the group operation is given by .