nLab rank of a Lie group

Redirected from "Kripke semantics".
Contents

Context

Group Theory

Lie theory

∞-Lie theory (higher geometry)

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Related topics

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Definition

The rank of a Lie group is the dimension of any one of its Cartan subgroups, hence equivalently the dimension of any one of the Cartan subalgebras of its Lie algebra.

For connected compact Lie groups, a Cartan subgroup is a maximal torus, and hence in this case the rank of the Lie group is the dimension of any one of its maximal tori.

References

Last revised on September 28, 2020 at 09:30:17. See the history of this page for a list of all contributions to it.