Cohomology operations are absolutely essential in making cohomology an effective tool for studying spaces. In particular, the mod-p cohomology groups of a space X are enhanced with a binary cup product, a Bockstein derivation, and Steenrod's reduced power operations; these satisfy relations such as graded-commutativity, the Cartan formula, the Adem relations, and the instability relations [92]. The combined structure of these cohomology operations is very effective in homotopy theory because of three critical properties.These operations are natural. We can exclude the possibility of certain maps between spaces because they would not respect these operations.These operations are constrained. We can exclude the existence of certain spaces because the cup product and power operations would be incompatible with the relations that must hold.
AcknowledgementsThe author would like to thank for discussions related to this material, and Haynes Miller for a careful reading of an earlier draft of this paper. The author also owes a significant long-term debt to Charles Rezk for what understanding he possesses.