Let , , ... be operators. Then the commutator of and is defined as
(1)
|
Let , , ... be constants, then identities include
(2)
| |||
(3)
| |||
(4)
| |||
(5)
| |||
(6)
| |||
(7)
| |||
(8)
|
Let and be tensors. Then
(9)
|
There is a related notion of commutator in the theory of groups. The commutator of two group elements and is , and two elements and are said to commute when their commutator is the identity element. When the group is a Lie group, the Lie bracket in its Lie algebra is an infinitesimal version of the group commutator. For instance, let and be square matrices, and let and be paths in the Lie group of nonsingular matrices which satisfy
(10)
| |||
(11)
| |||
(12)
|
then
(13)
|