Assertion: abelian group's element | /r/HasProperty | chain
Facets:
Source sentences:
text: For instance, in algebraic topology, chains are formal sums of simplices, and the chain group is the free abelian group whose elements are chains.