## Lie groups #

A Lie group is a group that is also a manifold, in such a way that the group structure is compatible with the manifold structure (i.e. the inverse and multiplication operations are differentiable functions).