Triple

T21277624
Position Surface form Disambiguated ID Type / Status
Subject SO(1) E524430 entity
Predicate instanceOf P0 FINISHED
Object trivial group C28301 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: trivial group
Context triple: [SO(1), instanceOf, trivial group]
  • A. finite simple group
    A finite simple group is a finite group that has no nontrivial normal subgroups, meaning its only normal subgroups are the trivial group and the group itself.
  • B. abelian group chosen
    An abelian group is a set equipped with an associative binary operation that has an identity element and inverses for every element, and for which the operation is commutative.
  • C. simple Lie group
    A simple Lie group is a connected non-abelian Lie group whose Lie algebra is simple, meaning it has no nontrivial proper ideals and is not a direct sum of smaller Lie algebras.
  • D. subgroup
    A subgroup is a subset of a group that is itself a group under the same binary operation, containing the identity, inverses, and being closed under the operation.
  • E. representation of a group
    A representation of a group is a homomorphism from that group into the group of linear transformations of a vector space, allowing the group’s abstract elements to be studied via concrete matrices or operators.
  • 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_69e0b516293c819089458ea2ec85f85e completed April 16, 2026, 10:08 a.m.
Created at: April 16, 2026, 4:02 p.m.