For a simplicial abelian group , its normalized chain complex of a simplicial abelian group is
The simplicial identities give . Equivalently, is the quotient of by the subgroup generated by degenerate simplices, with differential induced by .