Heisenberg Lie algebra
E503521
Lie algebra
central extension
nilpotent Lie algebra
non-abelian Lie algebra
two-step nilpotent Lie algebra
The Heisenberg Lie algebra is a fundamental nilpotent Lie algebra generated by position and momentum operators with a central element, encoding the canonical commutation relations that underlie quantum mechanics and harmonic analysis.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Heisenberg group | 2 |
| Heisenberg Lie algebra canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5212187 — 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: Heisenberg Lie algebra Context triple: [Weyl algebra, relatedTo, Heisenberg Lie algebra]
-
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.
Lie algebra representation
A Lie algebra representation is a way of expressing a Lie algebra as linear transformations of a vector space, enabling the study of its structure through matrices and linear operators.
-
C.
Cartan subalgebras
Cartan subalgebras are maximal abelian subalgebras of a Lie algebra consisting of semisimple elements, fundamental for classifying and understanding the structure of Lie algebras.
-
D.
Weyl
Weyl is a surname most famously associated with Hermann Weyl, a prominent 20th-century mathematician and theoretical physicist known for major contributions to group theory, quantum mechanics, and the foundations of mathematics.
-
E.
Lie ring
A Lie ring is an algebraic structure consisting of an abelian group equipped with a bilinear, alternating, and Jacobi-identity-satisfying bracket operation, serving as the ring-theoretic analogue of a Lie algebra.
- 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: Heisenberg Lie algebra Target entity description: The Heisenberg Lie algebra is a fundamental nilpotent Lie algebra generated by position and momentum operators with a central element, encoding the canonical commutation relations that underlie quantum mechanics and harmonic analysis.
-
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.
Lie algebra representation
A Lie algebra representation is a way of expressing a Lie algebra as linear transformations of a vector space, enabling the study of its structure through matrices and linear operators.
-
C.
Cartan subalgebras
Cartan subalgebras are maximal abelian subalgebras of a Lie algebra consisting of semisimple elements, fundamental for classifying and understanding the structure of Lie algebras.
-
D.
Weyl
Weyl is a surname most famously associated with Hermann Weyl, a prominent 20th-century mathematician and theoretical physicist known for major contributions to group theory, quantum mechanics, and the foundations of mathematics.
-
E.
Lie ring
A Lie ring is an algebraic structure consisting of an abelian group equipped with a bilinear, alternating, and Jacobi-identity-satisfying bracket operation, serving as the ring-theoretic analogue of a Lie algebra.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
Lie algebra
ⓘ
central extension ⓘ nilpotent Lie algebra ⓘ non-abelian Lie algebra ⓘ two-step nilpotent Lie algebra ⓘ |
| associatedWith |
harmonic analysis
ⓘ
quantum mechanics ⓘ representation theory ⓘ symplectic geometry ⓘ |
| encodes | canonical commutation relations ⓘ |
| hasAbelianQuotientByCenter | true ⓘ |
| hasAutomorphismGroupContaining | symplectic group Sp(2n,R) NERFINISHED ⓘ |
| hasBasis | {X_1,…,X_n,Y_1,…,Y_n,Z} ⓘ |
| hasCanonicalForm | [q_i,p_j] = iħ δ_{ij} 1 (in physics notation) ⓘ |
| hasCenter | span{Z} ⓘ |
| hasCentralElement | Z ⓘ |
| hasCommutationRelation |
[X_i,X_j] = 0
ⓘ
[X_i,Y_j] = δ_{ij} Z ⓘ [X_i,Z] = 0 ⓘ [Y_i,Y_j] = 0 ⓘ [Y_i,Z] = 0 ⓘ |
| hasDerivedAlgebra | span{Z} ⓘ |
| hasDimension | 2n+1 ⓘ |
| hasLowerCentralSeriesLength | 2 ⓘ |
| hasNaturalGrading | deg(X_i)=deg(Y_i)=1, deg(Z)=2 ⓘ |
| hasOneDimensionalCenter | true ⓘ |
| hasUniqueIrreducibleUnitaryRepresentationUpToEquivalence | true (for fixed central character) ⓘ |
| isCarnotAlgebra | true ⓘ |
| isCentralExtensionOf | abelian Lie algebra R^{2n} ⓘ |
| isGeneratedBy |
momentum operators
ⓘ
position operators ⓘ |
| isGraded | true ⓘ |
| isModelFor | canonical quantization ⓘ |
| isNilpotent | true ⓘ |
| isPerfect | false ⓘ |
| isPrototypeOf | nilpotent Lie algebra used in analysis ⓘ |
| isSemisimple | false ⓘ |
| isSimple | false ⓘ |
| isSolvable | true ⓘ |
| isStepTwoNilpotent | true ⓘ |
| isStratified | true ⓘ |
| isUnimodular | true ⓘ |
| namedAfter | Werner Heisenberg NERFINISHED ⓘ |
| overField |
complex numbers
ⓘ
real numbers ⓘ |
| playsRoleIn | Stone–von Neumann theorem NERFINISHED ⓘ |
| relatedTo | Heisenberg group NERFINISHED ⓘ |
| usedIn |
Fourier analysis on non-commutative groups
ⓘ
sub-Riemannian geometry ⓘ |
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: Heisenberg Lie algebra Description of subject: The Heisenberg Lie algebra is a fundamental nilpotent Lie algebra generated by position and momentum operators with a central element, encoding the canonical commutation relations that underlie quantum mechanics and harmonic analysis.
Referenced by (3)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Heisenberg group
this entity surface form:
Heisenberg group