Assertion: commutator | /r/HasProperty | other concepts
Facets:
Source sentences:
text: /understand some proofs dealing with commutators (results like G/N will be abelian, and if the commutator is the whole group then $G$ is perfect, and some other concepts that I do understand) but these other proofs and resources don't seem to tell me what commutator subgroups actually are.