Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedaudited 2026-09-22
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.

Coefficient groups of a generalized cohomology theory

Definition

Let h~ be a reduced generalized cohomology theory on based CW complexes in the sense of Reduced generalized cohomology theory. Its coefficient group in degree q∈Z is hq(∗):=h~q(S0), where S0={0,1} is based at 1. Equivalently, if h is the pair theory associated with h~ by Reduced and unreduced generalized cohomology theories correspond, then h~q(S0)=hq(pt): the coefficient group is the value of the unreduced theory on a point.

The suspension isomorphisms of the theory identify the reduced groups of spheres in all degrees. Composing the isomorphisms h~n−p(S0)→ σ h~n−p+1(S1)→ σ ⋯→ σ h~n(Sp) gives, for every p≥0 and every n∈Z, a canonical isomorphism h~n(Sp)≅hn−p(∗). For p=0 this is the identity h~n(S0)=hn(∗). These identifications are compatible with the iterated suspension maps used to construct them. An arbitrary based self-map of a sphere need not act as the identity under these identifications; its induced endomorphism is transported to the corresponding endomorphism of the coefficient group. No dimension axiom is imposed, so the groups hq(∗) may be nonzero for infinitely many q.

Source notes

Compare Loizides, §2, printed p. 3, for the convention hn:=hn(S0)=hn(pt) and Remark 2.2 together with the wedge axiom for the resulting product decompositions.

Depends on

Used by

Dependency tree · two levels

2 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