Cobordism ring

In mathematics, the oriented cobordism ring is a ring where elements are oriented cobordism classes[1] of manifolds, the multiplication is given by the Cartesian product of manifolds and the addition is given as the disjoint union of manifolds. The ring is graded by dimensions of manifolds and is denoted by

${\displaystyle \Omega _{*}^{SO}=\oplus _{0}^{\infty }\Omega _{n}^{SO}}$

where ${\displaystyle \Omega _{n}^{SO}}$ consists of oriented cobordism classes of manifolds of dimension n. One can also define an unoriented cobordism ring, denoted by ${\displaystyle \Omega _{*}^{O}}$. If O is replaced U, then one gets the complex cobordism ring, oriented or unoriented.

In general, one writes ${\displaystyle \Omega _{*}^{B}}$ for the cobordism ring of manifolds with structure B.

A theorem of Thom[2] says:

${\displaystyle \Omega _{n}^{O}=\pi _{n}(MO)}$

where MO is the Thom spectrum.