Triple

T21953619
Position Surface form Disambiguated ID Type / Status
Subject Iwasawa decomposition E542127 entity
Predicate instanceOf P0 FINISHED
Object decomposition 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: decomposition in Lie theory
Context triple: [Iwasawa decomposition, instanceOf, decomposition in Lie theory]
  • A. decomposition theorem
    The decomposition theorem is a fundamental result in algebraic geometry and topology stating that, under suitable conditions, the direct image of an intersection complex under a proper map splits as a direct sum of shifted semisimple perverse sheaves.
  • B. concept in Lie theory chosen
    A concept in Lie theory is an abstract mathematical construct—such as a Lie group, Lie algebra, or representation—that captures continuous symmetries and their algebraic and geometric properties.
  • C. basis in representation theory
    A basis in representation theory is a chosen set of vectors in a representation space such that every vector in the space can be uniquely expressed as a linear combination of them, allowing the linear operators representing group or algebra elements to be described concretely by matrices.
  • D. 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.
  • E. subalgebra of a Lie algebra
    A subalgebra of a Lie algebra is a linear subspace that is closed under the Lie bracket, meaning the bracket of any two of its elements remains within the subspace.
  • F. None of above.

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_69e0c47ef0e48190a50e1bcc43f4b3fd completed April 16, 2026, 11:14 a.m.
Created at: April 16, 2026, 7:59 p.m.