Simplicial commutative ring (original) (raw)

In algebra, a simplicial commutative ring is a commutative monoid in the category of simplicial abelian groups, or, equivalently, a simplicial object in the category of commutative rings. If A is a simplicial commutative ring, then it can be shown that is a ring and are modules over that ring (in fact, is a graded ring over .) A topology-counterpart of this notion is a commutative ring spectrum.