Assertion: algebra's operation | /r/HasProperty | r × m
Facets:
Source sentences:
text: More precisely, given a ring R with 1, an R-module M is an abelian group equipped with an operation R × M → M (associating an element of M to every pair of an element of R and an element of M) that satisfies certain axioms.