In mathematics, the cohomology operation concept became central to

algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify u ...

, particularly homotopy theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topolog ...

, from the 1950s onwards, in the shape of the simple definition that if ''F'' is a functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and ma ...

defining a cohomology theory
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...

, then a cohomology operation should be a natural transformation from ''F'' to itself. Throughout there have been two basic points:
#the operations can be studied by combinatorial means; and
#the effect of the operations is to yield an interesting bicommutant In algebra, the bicommutant of a subset ''S'' of a semigroup (such as an algebra or a group) is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written S^.
The bicommutant is parti ...

theory.
The origin of these studies was the work of Pontryagin, Postnikov, and Norman Steenrod
Norman Earl Steenrod (April 22, 1910October 14, 1971) was an American mathematician most widely known for his contributions to the field of algebraic topology.
Life
He was born in Dayton, Ohio, and educated at Miami University and University o ...

, who first defined the Pontryagin square, Postnikov square, and Steenrod square operations for singular cohomology
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...

, in the case of mod 2 coefficients. The combinatorial aspect there arises as a formulation of the failure of a natural diagonal map, at cochain
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of ...

level. The general theory of the Steenrod algebra In algebraic topology, a Steenrod algebra was defined by to be the algebra of stable cohomology operations for mod p cohomology.
For a given prime number p, the Steenrod algebra A_p is the graded Hopf algebra over the field \mathbb_p of order p, ...

of operations has been brought into close relation with that of the symmetric group
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group ...

.
In the Adams spectral sequence the ''bicommutant'' aspect is implicit in the use of Ext functor
In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic stru ...

s, the derived functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics.
Motivation
It was noted in vari ...

s of Hom-functors; if there is a bicommutant aspect, taken over the Steenrod algebra acting, it is only at a ''derived'' level. The convergence is to groups in stable homotopy theory
In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the ...

, about which information is hard to come by. This connection established the deep interest of the cohomology operations for homotopy theory
In mathematics, homotopy theory is a systematic study of situations in which maps can come with homotopies between them. It originated as a topic in algebraic topology but nowadays is studied as an independent discipline. Besides algebraic topolog ...

, and has been a research topic ever since. An extraordinary cohomology theory
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed ...

has its own cohomology operations, and these may exhibit a richer set on constraints.
Formal definition

A cohomology operation $\backslash theta$ of type :$(n,q,\backslash pi,G)\backslash ,$ is a natural transformation of functors :$\backslash theta:H^(-,\backslash pi)\backslash to\; H^(-,G)\backslash ,$ defined onCW complex
A CW complex (also called cellular complex or cell complex) is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead (open access) to meet the needs of homotopy theory. This cla ...

es.
Relation to Eilenberg–MacLane spaces

Cohomology of CW complexes is representable by anEilenberg–MacLane space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name ...

, so by the Yoneda lemma
In mathematics, the Yoneda lemma is arguably the most important result in category theory. It is an abstract result on functors of the type ''morphisms into a fixed object''. It is a vast generalisation of Cayley's theorem from group theory (viewi ...

a cohomology operation of type $(n,q,\backslash pi,G)$ is given by a homotopy
In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deforma ...

class of maps $K(\backslash pi,n)\; \backslash to\; K(G,q)$. Using representability once again, the cohomology operation is given by an element of $H^(K(\backslash pi,n),G)$.
Symbolically, letting $;\; href="/html/ALL/l/,B.html"\; ;"title=",B">,B$See also

* Secondary cohomology operationReferences

* * {{DEFAULTSORT:Cohomology Operation Algebraic topology