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 .
Solved by gpt-5.6-sol high.