Assertion: abelian group | /r/HasProperty | cf. group action
Facets:
Source sentences:
text: Thus a module is a ring action on an abelian group (cf. group action.