Assertion: ring's use | /r/CapableOf | allow identifying abelian groups
Facets:
Source sentences:
text: Using this and denoting repeated addition by a multiplication by a positive integer allows identifying abelian groups with modules over the ring of integers.