Namespaces
Variants
Actions

Difference between revisions of "Steenrod operation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
The general name for the stable cohomology operations (cf. [[Cohomology operation|Cohomology operation]]) created by N.E. Steenrod for every prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875301.png" />. The first example is contained in [[#References|[1]]]. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875302.png" /> this is the [[Steenrod square|Steenrod square]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875303.png" />, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875304.png" /> the [[Steenrod reduced power|Steenrod reduced power]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875305.png" />. The operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875306.png" /> multiplicatively generate the [[Steenrod algebra|Steenrod algebra]] modulo 2, while the operations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875307.png" /> together with the Bockstein homomorphism generate the Steenrod algebra modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s087/s087530/s0875308.png" />.
+
{{TEX|done}}
 +
The general name for the stable cohomology operations (cf. [[Cohomology operation|Cohomology operation]]) created by N.E. Steenrod for every prime number $p$. The first example is contained in [[#References|[1]]]. For $p=2$ this is the [[Steenrod square|Steenrod square]] $Sq^i$, for $p>2$ the [[Steenrod reduced power|Steenrod reduced power]] $\mathcal{P}^i$. The operations $Sq^i$ multiplicatively generate the [[Steenrod algebra|Steenrod algebra]] modulo 2, while the operations $\mathcal{P}^i$ together with the Bockstein homomorphism generate the Steenrod algebra modulo $p$.
  
 
====References====
 
====References====

Revision as of 21:04, 19 April 2012

The general name for the stable cohomology operations (cf. Cohomology operation) created by N.E. Steenrod for every prime number $p$. The first example is contained in [1]. For $p=2$ this is the Steenrod square $Sq^i$, for $p>2$ the Steenrod reduced power $\mathcal{P}^i$. The operations $Sq^i$ multiplicatively generate the Steenrod algebra modulo 2, while the operations $\mathcal{P}^i$ together with the Bockstein homomorphism generate the Steenrod algebra modulo $p$.

References

[1] N.E. Steenrod, "Products of cocycles and extensions of mappings" Ann. of Math. , 48 (1947) pp. 290–320
[2] N.E. Steenrod, D.B.A. Epstein, "Cohomology operations" , Princeton Univ. Press (1962)
[3] M.K. Tangora, "Cohomology operations and applications in homotopy theory" , Harper & Row (1968)


Comments

References

[a1] R.M. Switzer, "Algebraic topology - homotopy and homology" , Springer (1975) pp. Chapt. 18
[a2] J.F. Adams, "Stable homotopy and generalized homology" , Univ. Chicago Press (1974) pp. Part III, Chapt. 12
How to Cite This Entry:
Steenrod operation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Steenrod_operation&oldid=18169
This article was adapted from an original article by Yu.B. Rudyak (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article