The Structure of The Steenrod Algebra
Serre (1953) (for p=2) and Cartan (1954, 1955) (for p>2) described the structure of the Steenrod algebra of stable mod p cohomology operations, showing that it is generated by the Bockstein homomorphism together with the Steenrod reduced powers, and the Adem relations generate the ideal of relations between these generators. In particular they found an explicit basis for the Steenrod algebra. This basis relies on a certain notion of admissibility for integer sequences. We say a sequence
is admissible if for each j, ij ≥ 2ij+1. Then the elements
where I is an admissible sequence, form a basis (the Serre-Cartan basis) for the mod 2 Steenrod algebra. There is a similar basis for the case p > 2 consisting of the elements
such that
Read more about this topic: Steenrod Algebra
Famous quotes containing the words structure and/or algebra:
“Why does philosophy use concepts and why does faith use symbols if both try to express the same ultimate? The answer, of course, is that the relation to the ultimate is not the same in each case. The philosophical relation is in principle a detached description of the basic structure in which the ultimate manifests itself. The relation of faith is in principle an involved expression of concern about the meaning of the ultimate for the faithful.”
—Paul Tillich (1886–1965)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)