Lie theory · Lie algebra
f₄ compact — real Lie algebra
The compact real form of the complex simple Lie algebra f₄(C).
Reference coverageCompact algebraSimple over R
Reference properties
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
- Complexification
- Real-form context
- Curated integrating group
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 f₄(C).
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
algebra:f-4-compact-r#definitionScalar field
R
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
algebra:f-4-compact-r#fieldReal dimension
52
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
algebra:f-4-compact-r#dimensionAbsolute rank (of complexification)
4
- Conrad and Landesman · Compact Lie groupsLecture 25 and Appendix T: root systems and classical root computationsOpen source
algebra:f-4-compact-r#rankSimple over R
Yes
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
- Lie Groups Beyond an Introduction — Chapter VI: Structure Theory of Semisimple GroupsTheorem 6.105, printed page 362: simple real algebras, including complex simple algebras viewed over ROpen source
algebra:f-4-compact-r#simpleCompact real algebra
Yes
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
algebra:f-4-compact-r#compactComplexification
f₄(C)
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
algebra:f-4-compact-r#complexificationReal rank
0
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
algebra:f-4-compact-r#real-rankFrom 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.
- Conrad and Landesman · Compact Lie groupsAppendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotientsOpen source
- Lecture 17: Classification of Connected Compact and Complex Reductive GroupsSection 43.1, Proposition 43.2 and Corollary 43.5: weight lattices and descent to central quotientsOpen source
algebra:f-4-compact-r#integration-1Complexification
algebra:f-4-c
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
algebra:f-4-compact-r#relation-1Real-form context
real-form:f-4-compact-r
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
algebra:f-4-compact-r#relation-2Curated integrating group
group:f-4-compact
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
- Conrad and Landesman · Compact Lie groupsAppendix O, pages 231–232: fundamental groups and covering groups; Appendix V: central quotientsOpen source
algebra:f-4-compact-r#relation-3