Local group law (source code)

= Local group law

A local group law is the coordinate expression $z=F(y,x)$ of multiplication near the identity of a <Lie group>. The identity, inverse, and associativity equations for $F$ encode the group structure locally.

= Lie groups
{c}
{synonym}