Triple

T36640690
Position Surface form Disambiguated ID Type / Status
Subject Galois correspondence E904574 entity
Predicate instanceOf P0 FINISHED
Object concept in Galois theory C49406 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 Galois theory
Context triple: [Galois correspondence, instanceOf, concept in Galois theory]
  • A. concept in group theory
    A class in group theory is a subset of group elements that are equivalent under conjugation, meaning each element can be written as g⁻¹ag for some fixed a and varying g in the group.
  • B. concept in abstract algebra chosen
    A class in abstract algebra is a collection of elements grouped together under an equivalence relation, typically forming an equivalence class that represents a single "type" or "category" of objects within an algebraic structure.
  • C. concept in finite group theory
    A class in finite group theory is a subset of group elements that are equivalent under conjugation, meaning each element can be transformed into any other in the subset by an inner automorphism of the group.
  • D. group theory concept
    A group theory concept is an abstract mathematical idea that studies sets equipped with a single associative operation satisfying identity and inverse properties, used to analyze symmetry and structure across diverse mathematical systems.
  • E. concept in number theory
    A concept in number theory is an abstract idea or construct that describes properties, relationships, or structures involving integers and related numerical systems.
  • 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_69f76e6c63e48190b1d0c3a79a6c7406 completed May 3, 2026, 3:49 p.m.
Created at: May 3, 2026, 4:11 p.m.