Assertion: isomorphism's inverse | /r/HasProperty | required for elements of a group
Facets:
Source sentences:
text: (Zero must be excluded from both groups since it does not have a multiplicative inverse, which is required for elements of a group.)