En la teoría de homotopía estable , un espectro de anillo es un espectro E junto con un mapa de multiplicación.
- μ : E ∧ E → E
y un mapa de unidad
- η : S → E ,
donde S es el espectro de la esfera . Estas funciones deben satisfacer las condiciones de asociatividad y unitaria hasta la homotopía, de forma muy similar a como la multiplicación de un anillo es asociativa y unitaria. Es decir,
- μ (identificación ∧ μ ) ~ μ ( μ ∧ identificación)
y
- μ (identificación ∧ η ) ~ identificación ~ μ ( η ∧ identificación).
Los ejemplos de espectros de anillo incluyen homología singular con coeficientes en un anillo , cobordismo complejo , teoría K y teoría K de Morava .