Cartan subalgebras
E125774
Cartan subalgebras are maximal abelian subalgebras of a Lie algebra consisting of semisimple elements, fundamental for classifying and understanding the structure of Lie algebras.
All labels observed (3)
| Label | Occurrences |
|---|---|
| Cartan subalgebra | 8 |
| Cartan subalgebras canonical | 1 |
| Cartan subgroup | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T1094558 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Cartan subalgebras Context triple: [Élie Cartan, knownFor, Cartan subalgebras]
-
A.
Weyl algebra
The Weyl algebra is a fundamental noncommutative algebra generated by position and momentum operators satisfying canonical commutation relations, central in quantum mechanics and representation theory.
-
B.
Weyl character formula
The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.
-
C.
The Classical Groups: Their Invariants and Representations
The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
-
D.
Weyl group
A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
-
E.
Cartan structure equations
Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Cartan subalgebras Target entity description: Cartan subalgebras are maximal abelian subalgebras of a Lie algebra consisting of semisimple elements, fundamental for classifying and understanding the structure of Lie algebras.
-
A.
Weyl algebra
The Weyl algebra is a fundamental noncommutative algebra generated by position and momentum operators satisfying canonical commutation relations, central in quantum mechanics and representation theory.
-
B.
Weyl character formula
The Weyl character formula is a fundamental result in representation theory that gives an explicit expression for the characters of irreducible finite-dimensional representations of semisimple Lie algebras and Lie groups.
-
C.
The Classical Groups: Their Invariants and Representations
The Classical Groups: Their Invariants and Representations is a foundational mathematical monograph by Hermann Weyl that systematically develops the theory of classical Lie groups, their invariants, and their representation theory.
-
D.
Weyl group
A Weyl group is a finite reflection group associated with a root system that encodes the symmetries of Lie algebras and Lie groups in representation theory and geometry.
-
E.
Cartan structure equations
Cartan structure equations are fundamental differential geometric relations that express curvature and torsion in terms of connection 1-forms on a manifold.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
mathematical concept
ⓘ
subalgebra of a Lie algebra ⓘ |
| appearsIn |
Cartan–Weyl theory
ⓘ
classification of real forms of complex semisimple Lie algebras ⓘ structure theory of semisimple Lie algebras ⓘ |
| characterizedBy |
being a maximal toral subalgebra in a reductive Lie algebra
ⓘ
being nilpotent and self-normalizing in an arbitrary finite-dimensional Lie algebra ⓘ consisting of elements simultaneously diagonalizable in all finite-dimensional representations for semisimple Lie algebras ⓘ |
| conjugacyProperty | all Cartan subalgebras of a finite-dimensional complex semisimple Lie algebra are conjugate ⓘ |
| context |
complex semisimple Lie algebras
ⓘ
finite-dimensional Lie algebras over fields of characteristic zero ⓘ real semisimple Lie algebras ⓘ |
| definedIn | Lie algebra ⓘ |
| dimensionProperty | dimension equals rank of the Lie algebra for semisimple Lie algebras ⓘ |
| example |
diagonal matrices in the Lie algebra of all complex n×n matrices
ⓘ
diagonal traceless matrices in sl(n,ℂ) ⓘ maximal toral subalgebras of compact Lie algebras ⓘ |
| existenceProperty | every finite-dimensional Lie algebra over an algebraically closed field of characteristic zero has a Cartan subalgebra ⓘ |
| field |
Lie theory
ⓘ
algebra ⓘ representation theory ⓘ |
| generalizationOf | maximal tori in Lie groups ⓘ |
| hasInvariant | rank of the Lie algebra ⓘ |
| hasOperation |
induction to Levi subalgebras
ⓘ
intersection with ideals and Levi factors ⓘ |
| namedAfter | Élie Cartan ⓘ |
| property |
consist of ad-diagonalizable elements over algebraically closed fields of characteristic zero
ⓘ
equal to their own normalizer ⓘ maximal abelian subalgebra consisting of semisimple elements ⓘ nilpotent subalgebra in general Lie algebras ⓘ self-normalizing subalgebra ⓘ |
| relatedTo |
Borel subalgebras
ⓘ
Cartan decomposition ⓘ Cartan involution ⓘ
linked to:
Cartan decomposition
Cartan matrix ⓘ
linked to:
Coxeter–Dynkin diagrams
Dynkin diagrams ⓘ
linked to:
Coxeter–Dynkin diagrams
Killing form ⓘ Weyl groups ⓘ
linked to:
Weyl group
maximal tori in Lie groups ⓘ root systems ⓘ |
| studiedIn |
Lie algebra monographs
ⓘ
advanced algebra textbooks ⓘ |
| usedFor |
Harish-Chandra theory of representations
ⓘ
linked to:
Harish-Chandra character formula
classification of complex semisimple Lie groups ⓘ classification of finite-dimensional semisimple Lie algebras ⓘ construction of Dynkin diagrams ⓘ definition of root systems ⓘ root space decomposition of Lie algebras ⓘ weight space decompositions in representation theory ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Cartan subalgebras Description of subject: Cartan subalgebras are maximal abelian subalgebras of a Lie algebra consisting of semisimple elements, fundamental for classifying and understanding the structure of Lie algebras.
Referenced by (10)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: Cartan subalgebras
subject linked to:
Cartan
linked to: Cartan subalgebras
linked to: Cartan subalgebras
linked to: Cartan subalgebras
linked to: Cartan subalgebras
linked to: Cartan subalgebras
linked to: Cartan subalgebras
linked to: Cartan subalgebras
linked to: Cartan subalgebras