Pontryagin product on loop-space homology
= Pontryagin product on loop-space homology
{c}
{title2=$a*b=\mu_*(a\times b)$}
= Pontryagin product
{c}
{synonym}
Apply the <homology cross product> and then the map induced by loop concatenation. This degree-additive bilinear product supplies the <Pontryagin ring>. The <Bott–Samelson theorem> computes it for looped suspensions with free <homology>.