Assertion: commutator | /r/HasProperty | left in the group
Facets:
Source sentences:
text: The identity of H will be left in the result (necessarily) thus the commutators that = the identity (ie the things that actually commute) are left in the group.