nLab
E-infinity-ring

Context

Higher algebra

Stable Homotopy theory

Higher linear algebra

Contents

Idea

An E E_\infty-ring is a commutative monoid in the stable (∞,1)-category of spectra. Sometimes this is called a commutative ring spectrum. An E-∞ algebra in spectra.

This means that an E E_\infty-ring is an A-∞ ring that is commutative up to coherent higher homotopies. E E_\infty-rings are the analogue in higher algebra of the commutative rings in ordinary algebra.

In terms of model categories, and E E_\infty-rings may be modeled as ordinary commutative monoids with respect to the symmetric monoidal smash product of spectra, a fact sometimes referred to as “brave new algebra”.

Examples

(∞,1)-operad∞-algebragrouplike versionin Topgenerally
A-∞ operadA-∞ algebra∞-groupA-∞ space, e.g. loop spaceloop space object
E-k operadE-k algebrak-monoidal ∞-groupiterated loop spaceiterated loop space object
E-∞ operadE-∞ algebraabelian ∞-groupE-∞ space, if grouplike: infinite loop space \simeq Γ-spaceinfinite loop space object
\simeq connective spectrum\simeq connective spectrum object
stabilizationspectrumspectrum object

References

Revised on March 24, 2014 04:38:42 by Urs Schreiber (89.204.137.131)