Assertion: ring | /r/CapableOf | see § notes
Facets:
value: on the definition
type: OTHER
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).