In algebraic topology, a commutative ring spectrum, roughly equivalent to a E ∞ {\displaystyle E_{\infty }} -ring spectrum, is a commutative monoid in a good category of spectra.
The category of commutative ring spectra over the field Q {\displaystyle \mathbb {Q} } of rational numbers is Quillen equivalent to the category of differential graded algebras over Q {\displaystyle \mathbb {Q} } .
Example: The Witten genus may be realized as a morphism of commutative ring spectra MString →tmf.
See also: simplicial commutative ring, highly structured ring spectrum and derived scheme.