How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Central extensions of a cyclic group
Example
Assume the Axiom of Choice (The Axiom of Choice).
Let , let , and let be an abelian group with trivial -action. A central extension class is represented by a relation
and changing the lift by changes to . Hence the extension classes are parametrized by .
Facts & Assumptions
Given: The Axiom of Choice, an integer , a cyclic quotient , and a trivial-action abelian kernel .
Under the assumed Axiom of Choice, central extensions are classified by (Central extensions are classified by H^2 with trivial action).
The product is a group and a normal subgroup has a quotient group (The external direct product with componentwise multiplication, The quotient group and coset product ).
Verification
In any central extension, choose a lift of the generator . Since the quotient has order , the element lies in the central kernel ; write it as . For every , construct The subgroup in the denominator is normal because is abelian. The map , , is injective: if then , hence and . The map , , is well defined and surjective, with kernel precisely the image of ; if , then . Thus is a central extension, and its distinguished lift has th power .
The homomorphism defined by is onto: an element of has quotient , so differs from by an element of . Its kernel is exactly : a kernel element has , and then in the embedded kernel. Therefore it descends to an extension equivalence . Every central extension in the example is realized by one of the .
Replacing by changes its th power from to because is central. Conversely, if , sending the distinguished lift to and fixing defines an extension equivalence: the new lift has th power . Hence two parameters define equivalent extensions exactly when they differ by an element of .
Steps 1.1--3.1 identify the extension classes with . Under the stated Choice premise, [L1] identifies those same classes with , giving the claimed cohomological description.
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
11 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Clara Loh, Group Cohomology, SS 2019 (standard reference, not scraped)
- Caroline Lassueur, Cohomology of Groups, SS 2021 (standard reference, not scraped)