Construction
Suppose that π is any degree n subgroup of the symmetric group on n points, u a cohomology class in Hq(X,B), A an abelian group acted on by π, and c a cohomology class in Hi(π,A). Steenrod (1953) showed how to construct a reduced power un/c in Hkq−i(X,(A⊗B⊗B⊗...⊗B)/π) as follows.
- Taking the external product of u with itself n times gives an equivariant cocycle on Xn with coefficients in B⊗B⊗...⊗B.
- Choose E to be a contractible space on which π acts freely and an equivariant map from E× X to Xn. Pulling back un by this map gives an equivariant cocyle on E× X and therefore a cocycle of E/π×X with coefficients in B⊗B⊗...⊗B.
- Taking a slant product with c in Hi(E/π,A)gives a cocycle of X with coefficients in H0(π,A⊗B⊗B⊗...⊗B)
The Steenrod squares and reduced powers are special cases of this construction where π is a cyclic group of prime order p=n acting as a cyclic permutation of n elements, and the groups A and B are cyclic of order p, so that H0(π,A⊗B⊗B⊗...⊗B) is also cyclic of order p.
Read more about this topic: Steenrod Algebra
Famous quotes containing the word construction:
“When the leaders choose to make themselves bidders at an auction of popularity, their talents, in the construction of the state, will be of no service. They will become flatterers instead of legislators; the instruments, not the guides, of the people.”
—Edmund Burke (1729–1797)
“No construction stiff working overtime takes more stress and straining than we did just to stay high.”
—Gus Van Sant, U.S. screenwriter and director, and Dan Yost. Bob Hughes (Matt Dillon)
“No real “vital” character in fiction is altogether a conscious construction of the author. On the contrary, it may be a sort of parasitic growth upon the author’s personality, developing by internal necessity as much as by external addition.”
—T.S. (Thomas Stearns)