In mathematics, more precisely, in the theory of simplicial sets, a simplicial group is a simplicial object in the category of groups. Similarly, a simplicial abelian group is a simplicial object in the category of abelian groups. A simplicial group is a Kan complex (in particular, its homotopy groups make sense.) The Dold–Kan correspondence says that a simplicial abelian group may be identified with a chain complex.
A commutative monoid in the category of simplicial abelian groups is a simplicial commutative ring.