Cartan's theorem

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In mathematics, three results in Lie group theory are called Cartan's theorem, named after Élie Cartan:

Closed subgroup theorem[edit]

Cartan's theorem may refer to the closed subgroup theorem. This theorem states that for a Lie group G, any closed subgroup is a Lie subgroup.[1]

In representation theory[edit]

Cartan's theorem can also mean a specific theorem on highest weight vectors in the representation theory of a semisimple Lie group.

Equivalence of Lie algebras and simply-connected Lie groups[edit]

The equivalence between the category of simply connected real Lie groups and finite-dimensional real Lie algebras is called usually (in the literature of the second half of 20th century) Cartan's or Cartan-Lie theorem as it is proved by Élie Cartan whereas S. Lie has proved earlier just the infinitesimal version (local solvability of Maurer-Cartan equations (see Maurer-Cartan form) or the equivalence between the finite-dimensional Lie algebras and the category of local Lie groups). Lie listed his results as 3 direct and 3 converse theorems, the infinitesimal variant of Cartan's theorem was essentially his 3rd converse theorem, hence Serre has called it in an influential book, the "third Lie theorem", the name which is historically somewhat misleading, but more often used in the recent decade[when?] in the connection to many generalizations.

See also[edit]


  1. ^ See §26 of Cartan's article La théorie des groupes finis et continus et l'Analysis Situs.