for G being Group holds
( G is commutative Group iff commutators G = {(1_ G)} )