universal enveloping algebras
E542123
Universal enveloping algebras are associative algebras that encode the structure of Lie algebras and allow Lie-theoretic problems to be studied using tools from associative and representation theory.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Algèbres enveloppantes | 1 |
| universal enveloping algebras canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T5705462 — 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: universal enveloping algebras Context triple: [Lie theory, studies, universal enveloping 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.
affine Lie algebras
Affine Lie algebras are infinite-dimensional extensions of finite-dimensional simple Lie algebras that play a central role in representation theory, conformal field theory, and the study of exactly solvable models in mathematical physics.
-
C.
Rota–Baxter algebra
A Rota–Baxter algebra is an associative algebra equipped with a linear operator satisfying a specific integration-like identity that generalizes the properties of integral and summation operators in algebraic form.
-
D.
Schur–Weyl duality
Schur–Weyl duality is a fundamental result in representation theory that links representations of the symmetric group and the general linear group via their commuting actions on tensor powers of a vector space.
-
E.
The Poincaré-Birkhoff-Witt theorem in ring theory
"The Poincaré-Birkhoff-Witt theorem in ring theory" is a mathematical work, attributed here to N. G. de Bruijn, that studies and applies the Poincaré–Birkhoff–Witt theorem in the context of associative and Lie-theoretic ring structures.
- 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: universal enveloping algebras Target entity description: Universal enveloping algebras are associative algebras that encode the structure of Lie algebras and allow Lie-theoretic problems to be studied using tools from associative and representation theory.
-
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.
affine Lie algebras
Affine Lie algebras are infinite-dimensional extensions of finite-dimensional simple Lie algebras that play a central role in representation theory, conformal field theory, and the study of exactly solvable models in mathematical physics.
-
C.
Rota–Baxter algebra
A Rota–Baxter algebra is an associative algebra equipped with a linear operator satisfying a specific integration-like identity that generalizes the properties of integral and summation operators in algebraic form.
-
D.
Schur–Weyl duality
Schur–Weyl duality is a fundamental result in representation theory that links representations of the symmetric group and the general linear group via their commuting actions on tensor powers of a vector space.
-
E.
The Poincaré-Birkhoff-Witt theorem in ring theory
"The Poincaré-Birkhoff-Witt theorem in ring theory" is a mathematical work, attributed here to N. G. de Bruijn, that studies and applies the Poincaré–Birkhoff–Witt theorem in the context of associative and Lie-theoretic ring structures.
- F. None of above. chosen
Statements (49)
| Predicate | Object |
|---|---|
| instanceOf |
algebraic construction
ⓘ
associative algebra ⓘ |
| appliedIn |
differential operators on Lie groups
ⓘ
harmonic analysis on Lie groups ⓘ theory of distributions on Lie groups ⓘ |
| associatedFunctor | left adjoint to the forgetful functor from associative algebras to Lie algebras ⓘ |
| associatedGradedAlgebra | symmetric algebra of the Lie algebra ⓘ |
| canonicalMap | Lie algebra homomorphism i: g → U(g) ⓘ |
| categoryCodomain | category of associative algebras ⓘ |
| categoryDomain | category of Lie algebras ⓘ |
| constructedByQuotienting | tensor algebra by the ideal generated by x⊗y − y⊗x − [x,y] ⓘ |
| constructedFrom | tensor algebra of the underlying vector space ⓘ |
| containsAsSubspace | original Lie algebra via canonical map ⓘ |
| definedFor |
Lie algebra over a commutative ring
ⓘ
Lie algebra over a field ⓘ
linked to:
Lie algebras
|
| encodesStructureOf | Lie algebra ⓘ |
| field | mathematics ⓘ |
| generalizedBy |
Hopf algebraic enveloping algebra
ⓘ
quantized universal enveloping algebra ⓘ |
| hasBasisDescribedBy | Poincaré–Birkhoff–Witt basis ⓘ |
| hasProperty |
associative
ⓘ
generally noncommutative ⓘ unital ⓘ |
| hasStructure | Hopf algebra ⓘ |
| HopfStructureIncludes |
antipode
ⓘ
comultiplication ⓘ counit ⓘ |
| isFilteredBy | degree of tensors ⓘ |
| PBWTheoremStates | associated graded algebra is isomorphic to symmetric algebra of the Lie algebra ⓘ |
| relatedConcept |
Lie algebra representation
ⓘ
associative algebra representation ⓘ symmetric algebra ⓘ tensor algebra ⓘ |
| satisfies |
Poincaré–Birkhoff–Witt theorem
ⓘ
universal property for Lie algebra homomorphisms into associative algebras ⓘ |
| specialCase | group algebra when Lie algebra is abelian and discrete analog is considered ⓘ |
| subfield |
Lie theory
ⓘ
homological algebra ⓘ noncommutative algebra ⓘ representation theory ⓘ |
| universalProperty | every Lie algebra homomorphism into the Lie algebra of an associative algebra factors uniquely through it ⓘ |
| usedFor |
studying representations of Lie algebras
ⓘ
translating Lie-theoretic problems into associative algebra problems ⓘ |
| usedIn |
Dixmier’s work on enveloping algebras
ⓘ
Harish-Chandra theory ⓘ classification of representations of semisimple Lie algebras ⓘ highest weight representation theory ⓘ primitive ideal theory ⓘ study of algebraic groups via Lie algebras ⓘ |
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: universal enveloping algebras Description of subject: Universal enveloping algebras are associative algebras that encode the structure of Lie algebras and allow Lie-theoretic problems to be studied using tools from associative and representation theory.
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
linked to: universal enveloping algebras