Pontryagin ring ($(H_{\ast }(\Omega X;R),\ast )$)

The homology ring formed from loop concatenation and the homology cross product. Homotopy associativity is enough for associativity in homology, and the constant loop is the unit. More generally the same construction applies to a homotopy-associative H-space.

For $n\ge 1$, the Bott–Samelson theorem gives a single homology generator of degree $2n$ with no word relations. Its Pontryagin product satisfies $x^i\ast x^j=x^{i+j}$. Unlike this polynomial homology product, the cohomology cup product has divided-power coefficients.

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.