Let A^~, B^~, ... be operators. Then the commutator of A^~ and B^~ is defined as [A^~, B^~] congruent A^~ B^~ - B^~ A^~.

adjoint representation | anticommutator | commutator subgroup | Jacobi identities