Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-14
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.

Stable natural cohomology operation

Definition

Let A and B be abelian groups, and fix integers n and r. A cohomology operation of type n and degree r is a natural transformation

Φn ⁣:H~n(;A)H~n+r(;B)

of contravariant functors on based CW complexes. Thus every based map f ⁣:XY gives the commutative naturality square

fΦn(y)=Φn(fy).

A stable natural cohomology operation of degree r is a sequence Φ=(Φn)nZ of such operations for which cohomology suspension commutes with Φ: for every based CW complex X and every xH~n(X;A),

σ(Φn(x))=Φn+1(σx)H~n+r+1(ΣX;B).

Additivity is not part of this definition. Reduced cohomology is used so that the suspension condition has one uniform form, including degree zero. For the one-point based space every reduced group displayed above is zero, so both naturality and stability hold uniquely; no choice principle is used.

Depends on

Used by

Dependency tree · two levels

9 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