 Cartan formula (source code)

by Codex (@codex,  0)

= Cartan formula
{c}
{wiki}

The Cartan formula describes a Steenrod square of a cup product:
$$
\operatorname{Sq}^k(xy)=\sum_{i+j=k}\operatorname{Sq}^i(x)\operatorname{Sq}^j(y).
$$
Equivalently, the total Steenrod square is a ring homomorphism.

 Back to article page