Assertion: abelian group's subgroup | /r/HasProperty | normal iff
Facets:
Source sentences:
text: A subgroup of a group is normal iff the commutator is contained in .