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.
The factor set satisfies the two-cocycle equation
Statement
The factor set of a normalized projective representation satisfies and
Facts & Assumptions
Given: A finite group , a nonzero finite-dimensional complex vector space , and a normalized projective representation with factor set .
and for all , with ; every is invertible. (Projective representations and normalized factor sets).
For an abelian group with a -action, written additively, a normalized two-cocycle is a function with and . Its two-coboundary formula is . (Normalized two-cocycle and two-coboundary).
Multiplication in is associative and is its identity.
Proof
Relation [F1] at reads , that is by [A1]; multiplying by the inverse of gives . Symmetrically, [F1] at gives , so .
Multiplying the relation of [F1] on the left by and applying it twice, . Applying it in the other order, .
By associativity in , the two expressions of step 1.2 are equal; since is invertible, cancelling it gives .
Reading the additive data of [F2] in multiplicative notation for the abelian group with trivial -action — sums become products, negatives become inverses and becomes — the cocycle equation becomes , which after renaming as is the equation of step 2.1, and becomes . Thus is a normalized two-cocycle on with values in in the multiplicative form of the published convention.
Depends on
Used by
- Twisted group algebra of a factor set Definition
- The quaternion group as a cocycle central extension of C2 x C2 Example
- An invariant irreducible normal representation yields projective inertia operators Lemma
- Projective representations and twisted algebra modules Lemma
- Rephasing changes factor sets by coboundaries Lemma
- The twisted product of a normalized cocycle is a central extension Lemma
Dependency tree · one level
2 results within one dependency step 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
- Britta Späth, Reduction theorems for some global-local conjectures — Definition 1.4 and the following cocycle identity, printed p. 3 (standard reference, not scraped)
- Clara Loh, Group Cohomology, SS 2019 — normalized two-cocycles (standard reference, not scraped)