Lie Groups

Lie groups are groups that are also smooth manifolds, with a compatible differentiable structure.