Lie group (source code)

= Lie group
{c}
{wiki}

A Lie group is a <group> that is also a <smooth manifold>, with smooth multiplication and inversion. Its tangent space at the identity carries a natural <Lie algebra> structure.

= Lie groups
{c}
{synonym}