su(2) ⊕ su(2) real form
Compact real form of sl(2, C) ⊕ sl(2, C) with its curated integrating groups.
The compact real algebra so(4), isomorphic to a direct sum of two su(2) ideals.
Definition sourcesComplexification
This is the compact real form. The integration links below identify particular global groups with this local algebra.
Reference properties
One algebra, several integrations
A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel. [sources]
Related objects and maps
- Actual real Lie algebra
- Complexification
- Curated global form
- Curated global form
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 algebra so(4), isomorphic to a direct sum of two su(2) ideals.
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
real-form:so-4-compact-r#definitionReal dimension
6
- 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
- Lie Groups and Lie AlgebrasSections 6.1–6.3: classical matrix groups and their Lie algebrasOpen source
real-form:so-4-compact-r#dimensionComplexification
sl(2, C) ⊕ sl(2, C)
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
real-form:so-4-compact-r#complexificationCompact real form
Yes
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
real-form:so-4-compact-r#compactReal rank
0
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
real-form:so-4-compact-r#real-rankOne algebra, several integrations
A real form is algebraic data over R. The linked group records fix particular connected integrations, and state their global topology separately. Compactness of this real algebra should not be used to infer a particular quotient kernel.
- 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
real-form:so-4-compact-r#global-forms-1Actual real Lie algebra
algebra:so-4-compact-r
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
real-form:so-4-compact-r#relation-1Complexification
algebra:a-1-plus-a-1-c
- Lecture 15: Classification of Real Forms of Semisimple Lie AlgebrasSections 41.2–41.4: compact, split, and classical real formsOpen source
real-form:so-4-compact-r#relation-2Curated global form
group:spin-4
- 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
real-form:so-4-compact-r#relation-3Curated global form
group:so-4
- 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
real-form:so-4-compact-r#relation-4