Pontryagin ring (source code)

= Pontryagin ring
{c}
{title2=$(H_*(\Omega X;R),*)$}

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.