Lie group
In this article, a Lie group refers to a real Lie group. For the complex and "p"-adic cases, see complex Lie group and "p"-adic Lie group. In this article, manifolds (in particular Lie groups) are assumed to be second countable; in particular, they have at most countably many connected components.