Triple
T5705582
| Position | Surface form | Disambiguated ID | Type / Status |
|---|---|---|---|
| Subject | Cartan decomposition |
E125775
|
entity |
| Predicate | instanceOf |
P0
|
FINISHED |
| Object | concept in Lie theory |
C18641
|
CONCEPT FINISHED |
How this triple was built (1 step)
Every LLM step that produced this triple, in pipeline order — named-entity classification, the disambiguation choices (the exact options shown, with the pick highlighted), and the generated description. The batch + timestamp of each is in the Provenance table below.
CD
Concept disambiguation
gpt-5-mini-2025-08-07
Target class: concept in Lie theory Context triple: [Cartan decomposition, instanceOf, concept in Lie theory]
-
A.
result in representation theory
A result in representation theory is a proven statement describing how algebraic structures, such as groups or algebras, can be represented by linear transformations on vector spaces and how these representations behave or decompose.
-
B.
non-compact Lie group
A non-compact Lie group is a Lie group whose underlying topological space is not compact, meaning it is a smooth group manifold that is unbounded or not closed in the sense of compactness.
-
C.
problem in invariant theory
A problem in invariant theory concerns determining and characterizing the algebraic functions (invariants) that remain unchanged under the action of a given group on a vector space or algebraic variety.
-
D.
Weyl algebra
The Weyl algebra is the associative algebra generated by variables and their corresponding differential operators subject to canonical commutation relations, typically modeling the algebraic structure of quantum mechanical observables.
-
E.
Lie algebra generators
Lie algebra generators are the fundamental elements of a Lie algebra whose linear combinations and commutators encode the infinitesimal symmetries and structure constants of a continuous symmetry group.
- F. None of above. chosen
Provenance (1 batch)
The batch behind each pipeline step, in order, with when it ran. Timestamps are batch-level — stages were processed in waves, so the object chain (NER → NED1 → NEDg → NED2) reads in order, but predicate / elicitation batches can sit in a different wave.
| Step | Stage | Batch ID | Status | When |
|---|---|---|---|---|
| creating | Elicitation | batch_69c0082c96988190b3a6a201edce472a |
completed | March 22, 2026, 3:18 p.m. |
Created at: March 22, 2026, 3:45 p.m.