Assertion: abelian group's element | /r/HasProperty | is defined
Facets:
Source sentences:
text: A module over a ring is a generalization of the notion of vector space over a field, wherein the corresponding scalars are the elements of an arbitrary given ring (with identity) and a multiplication (on the left and/or on the right) is defined between elements of the ring and elements of the module.