Assertion: commutator | /r/HasProperty | normal
Facets:
value: in join
type: PURPOSE
Source sentences:
text: For full proof, refer: Commutator of two subgroups is normal in join
text: The commutator of two subgroups need not, in general, be a normal subgroup.