In linear algebra, two matrices
A
and
B
are said to commute if
A
B
=
B
A
and equivalently, their commutator
[
A
,
B
]
=
A
B
−
B
A
is zero. A set of matrices
A
1
,
…
,
A
k
is said to commute if they commute pairwise, meaning that every pair of matrices in the set commute with each other.
Characterizations and properties
Commuting matrices preserve each other's eigenspaces. As a consequence, commuting matrices over an algebraically closed field are simultaneously triangularizable, that is, there are bases over which they are both upper triangular. In other words, if
A
1
,
…
,
A
k
commute, there exists a similarity matrix
P
such that
P
−
1
A
i
P
is upper triangular for all
i
∈
{
1
,
…
,
k
}
. The converse is not necessarily true, as the following counterexample shows:
[
1
2
0
3
]
[
1
1
0
1
]
=
[
1
3
0
3
]
≠
[
1
5
0
3
]
=
[
1
1
0
1
]
[
1
2
0
3
]
However, if the square of the commutator of two matrices is zero, i.e.
[
A
,
B
]
2
=
0
, then the converse is true.
If matrices
A
and
B
are simultaneously diagonalizable, that is, there exists a similarity matrix
P
such that
P
−
1
A
P
and
P
−
1
B
P
are both diagonal, then
A
and
B
commute. The converse is not necessarily true, since one of the matrices could be not diagonalizable, e.g.:
[
0
1
0
0
]
[
1
0
0
1
]
=
[
1
0
0
1
]
[
0
1
0
0
]
but
[
0
1
0
0
]
is not diagonalizable.
If, however, both matrices are diagonalizable, then they can be simultaneously diagonalized.
If one of the matrices has the property that its minimal polynomial coincides with its characteristic polynomial (i.e., it has the maximal degree), which happens in particular whenever the characteristic polynomial has only simple roots, then the other matrix can be written as a polynomial in the first.
As a direct consequence of simultaneous triangulizability, the eigenvalues of two commuting complex matrices A, B with their algebraic multiplicities (the multisets of roots of their characteristic polynomials) can be matched up as
α
i
↔
β
i
in such a way that the multiset of eigenvalues of any polynomial
P
(
A
,
B
)
in the two matrices is the multiset of the values
P
(
α
i
,
β
i
)
. This theorem is due to Frobenius.
Two Hermitian matrices commute if their eigenspaces coincide. In particular, two Hermitian matrices without multiple eigenvalues commute if they share the same set of eigenvectors. This follows by considering the eigenvalue decompositions of both matrices. Let
A
and
B
be two Hermitian matrices.
A
and
B
have common eigenspaces when they can be written as
A
=
U
Λ
1
U
†
and
B
=
U
Λ
2
U
†
. It then follows that
A
B
=
U
Λ
1
U
†
U
Λ
2
U
†
=
U
Λ
1
Λ
2
U
†
=
U
Λ
2
Λ
1
U
†
=
U
Λ
2
U
†
U
Λ
1
U
†
=
B
A
.
The property of two matrices commuting is not transitive: A matrix
A
may commute with both
B
and
C
, and still
B
and
C
do not commute with each other. As an example, the unit matrix commutes with all matrices, which between them do not all commute. If the set of matrices considered is restricted to Hermitian matrices without multiple eigenvalues, then commutativity is transitive, as a consequence of the characterization in terms of eigenvectors.
Lie's theorem, which shows that any representation of a solvable Lie algebra is simultaneously upper triangularizable may be viewed as a generalization.
The unit matrix commutes with all matrices.
Diagonal matrices commute.
Jordan blocks commute with upper triangular matrices that have the same value along bands.
If the product of two symmetric matrices is symmetric, then they must commute.
The notion of commuting matrices was introduced by Cayley in his memoir on the theory of matrices, which also provided the first axiomatization of matrices. The first significant results proved on them was the above result of Frobenius in 1878.
