Dimension of a real Lie group

Definition

Let $G$ be a real Lie group. The dimension of $G$ is defined as the dimension of its underlying differential manifold.

Related notions

• Dimension of a complex Lie group
• Dimension of an algebraic group: Any real algebraic group naturally acquires a real Lie group structure. The dimension as a real Lie group equals the dimension as a real algebraic group.