Assertion: abelian group's element | /r/HasProperty | a-1 g
Facets:
Source sentences:
text: · e = a for all a G. (iv) Inverses: For each a G there exists an inverse element a-1 G such that a · a-1 = e and a-1 ·