Assertion: commutator | /r/AtLocation | their product
Facets:
Source sentences:
text: Subgroups are permuting subgroups if and only if ; in other words, the commutator of the subgroups is contained in their product.