Commutative ring spectrum
= Commutative ring spectrum
A <commutative ring spectrum>, in the homotopy-category convention, satisfies $\mu\tau=\mu$, where $\tau$ interchanges the factors of the <smash product of spectra>. This condition alone does not assert an $E_\infty$ refinement.