commutator function

Group-theoretic commutator: the dot object