Triple

T11918931
Position Surface form Disambiguated ID Type / Status
Subject Fitting subgroup E283603 entity
Predicate instanceOf P0 FINISHED
Object group theory concept C30619 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: group theory concept
Context triple: [Fitting subgroup, instanceOf, group theory concept]
  • A. abelian group
    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.
  • B. 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.
  • C. concept in Lie theory
    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.
  • D. 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.
  • E. topological group
    A topological group is a group equipped with a topology such that the group operation and inversion are continuous maps with respect to that topology.
  • 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_69d6ab2c07e88190ba13b0d21fd6cf33 completed April 8, 2026, 7:23 p.m.
Created at: April 8, 2026, 9:44 p.m.