 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.