Assertion: commutator | /r/HasProperty | group
Facets:
Source sentences:
text: The two commutators, group and algebra, are, of course, related, $$ e^A e^B
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.