Assertion: abelian group | /r/HasProperty | faithful module
Facets:
value: over the integers
type: OTHER
Source sentences:
text: Every abelian group is a faithful module over the integers or over some modular arithmetic Z/nZ.