Triple

T20404827
Position Surface form Disambiguated ID Type / Status
Subject Fuchsian group E500439 entity
Predicate instanceOf P0 FINISHED
Object Lie group action C18167 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: Lie group action
Context triple: [Fuchsian group, instanceOf, Lie group action]
  • A. 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.
  • 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. topological group chosen
    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.
  • D. pseudogroup
    A pseudogroup is a collection of local homeomorphisms (or diffeomorphisms) on a topological space that is closed under composition, inversion, restriction to open subsets, and gluing of compatible local maps, generalizing the notion of a group action to local symmetries.
  • 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_69e0b4a81bec8190b69adfdc1336a015 completed April 16, 2026, 10:06 a.m.
Created at: April 16, 2026, 11:29 a.m.