Assertion: abelian group | /r/HasAspect | an identity element
Facets:
Source sentences:
text: Another option would be to rearrange the lede: In abstract algebra, an Abelian group consists of a set and a binary operation that is associative and commutative, has an identity element, and under which each element has an inverse.