Assertion: abelian group | /r/HasProperty | same thing
Facets:
Source sentences:
text: An abelian group is the same thing as a module over the ring of integers, which is the initial ring.