Assertion: abelian group | /r/HasProperty | equipped with an identity element
Facets:
Source sentences:
text: An abelian group is a set equipped with a (infix) binary operation (called the addition or group operation), an identity element and a (prefix) unary operation , called the inverse map or negation map, satisfying the following: