Assertion: ring | /r/HasAspect | an identity element
Facets:
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).