If and , then the commutator of and is

.