Find the exact object.

Names, aliases, Unicode, and common TeX notation. Open full search

Lie theory · Lie algebra

e7  compact\mathfrak{e}_{7}\;\text{compact}e₇ compact — real Lie algebra

The compact real form of the complex simple Lie algebra e₇(C).

Reference coverageCompact algebraSimple over R
Definition

The compact real form of the complex simple Lie algebra e₇(C).

Definition sources
Real dimension
133133
Source and assumptions
Absolute rank (of complexification)
77
Source and assumptions

Reference properties

PropertyValueEvidence
Scalar fieldRSources
Real dimension133133Sources
Absolute rank (of complexification)77Sources
Simple over RYesSources
Compact real algebraYesSources
Complexificatione7(C)\mathfrak{e}_{7}(\mathbb C)Sources
Real rank00Sources

From algebra to group

The linked groups integrate this real Lie algebra. They can have different centers and fundamental groups, so their ordinary representations are not interchangeable solely because their Lie algebras agree. [sources]

Related objects and maps

Claims and sources

Each assertion has a stable identifier within this record and a source locator or derivation. Cite the dataset edition when referring to a corrected or historical claim.

Definition

The compact real form of the complex simple Lie algebra e₇(C).

algebra:e-7-compact-r#definition
Scalar field

R

algebra:e-7-compact-r#field
Real dimension

133

algebra:e-7-compact-r#dimension
Absolute rank (of complexification)

7

algebra:e-7-compact-r#rank
Simple over R

Yes

algebra:e-7-compact-r#simple
Compact real algebra

Yes

algebra:e-7-compact-r#compact
Complexification

e₇(C)

algebra:e-7-compact-r#complexification
Real rank

0

algebra:e-7-compact-r#real-rank
From algebra to group

The linked groups integrate this real Lie algebra. They can have different centers and fundamental groups, so their ordinary representations are not interchangeable solely because their Lie algebras agree.

algebra:e-7-compact-r#integration-1
Complexification

algebra:e-7-c

algebra:e-7-compact-r#relation-1
Real-form context

real-form:e-7-compact-r

algebra:e-7-compact-r#relation-2
Curated integrating group

group:e-7-compact-sc

algebra:e-7-compact-r#relation-3
Curated integrating group

group:e-7-compact-ad

algebra:e-7-compact-r#relation-4