theorem Th57: :: GROUP_5:57

for G being Group holds
( G is commutative Group iff for H1, H2 being Subgroup of G holds commutators (H1,H2) = {(1_ G)} )