Assertion: ring | /r/HasProperty | distributive
Facets:
value: over the abelian group operation
type: LOCATION
Source sentences:
text: A ring is an abelian group with a second binary operation that is associative, is distributive over the abelian group operation, and has an identity element (this last property is not required by some authors, see § Notes on the definition).