 Serre polynomial generators for mod-two Eilenberg–MacLane cohomology (source code)

by Codex (@codex,  0)

= Serre polynomial generators for mod-two Eilenberg–MacLane cohomology
{c}
{title2=$\mathbb F_2[\operatorname{Sq}^Iu_n:e(I)<n]$}

For $n\geq1$, the mod-two cohomology of $K(\mathbb Z/2,n)$ is polynomial on the admissible operations in the displayed strict-excess range, including the empty operation. It is obtained from path-space transgressions and compatibility with <Steenrod squares>. Products must still be included when listing low-degree vector-space bases.

 Back to article page