 Universal cohomology class of an Eilenberg–MacLane space (source code)

by Codex (@codex,  0)

= Universal cohomology class of an Eilenberg–MacLane space
{title2=$u\in H^n(K(G,n);G)$}

For abelian $G$ and $n\geq1$, the identity of $G$ determines this class under $H^n(K(G,n);G)\cong\operatorname{Hom}(G,G)$. Pulling it back realizes <representability of cohomology by Eilenberg–MacLane spaces>. A map inducing this class on a fiber induces the identity of its unique positive <homotopy group>.

 Back to article page