In homological algebra, the Bockstein homomorphism, introduced by Meyer Bockstein (1942, 1943, 1958), is a connecting homomorphism associated with a short exact sequence

of abelian groups, when they are introduced as coefficients into a chain complex C, and which appears in the homology groups as a homomorphism reducing degree by one,

To be more precise, C should be a complex of free, or at least torsion-free, abelian groups, and the homology is of the complexes formed by tensor product with C (some flat module condition should enter). The construction of β is by the usual argument (snake lemma).

A similar construction applies to cohomology groups, this time increasing degree by one. Thus we have

The Bockstein homomorphism associated to the coefficient sequence

is used as one of the generators of the Steenrod algebra. This Bockstein homomorphism has the following two properties:

,
;

in other words, it is a superderivation acting on the cohomology mod p of a space.

See also

References

  • Bockstein, Meyer (1942), "Universal systems of ∇-homology rings", C. R. (Doklady) Acad. Sci. URSS, New Series, 37: 243–245, MR 0008701
  • Bockstein, Meyer (1943), "A complete system of fields of coefficients for the ∇-homological dimension", C. R. (Doklady) Acad. Sci. URSS, New Series, 38: 187–189, MR 0009115
  • Bockstein, Meyer (1958), "Sur la formule des coefficients universels pour les groupes d'homologie", Comptes Rendus de l'Académie des Sciences, Série I, 247: 396–398, MR 0103918
  • Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 978-0-521-79540-1, MR 1867354.
  • Spanier, Edwin H. (1981), Algebraic topology. Corrected reprint, New York-Berlin: Springer-Verlag, pp. xvi+528, ISBN 0-387-90646-0, MR 0666554
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.