When is matrix multiplication commutative?

Solution 1:

Two matrices that are simultaneously diagonalizable are always commutative.

Proof: Let $A$, $B$ be two such $n \times n$ matrices over a base field $\mathbb K$, $v_1, \ldots, v_n$ a basis of Eigenvectors for $A$. Since $A$ and $B$ are simultaneously diagonalizable, such a basis exists and is also a basis of Eigenvectors for $B$. Denote the corresponding Eigenvalues of $A$ by $\lambda_1,\ldots\lambda_n$ and those of $B$ by $\mu_1,\ldots,\mu_n$.

Then it is known that there is a matrix $T$ whose columns are $v_1,\ldots,v_n$ such that $T^{-1} A T =: D_A$ and $T^{-1} B T =: D_B$ are diagonal matrices. Since $D_A$ and $D_B$ trivially commute (explicit calculation shows this), we have $$AB = T D_A T^{-1} T D_B T^{-1} = T D_A D_B T^{-1} =T D_B D_A T^{-1}= T D_B T^{-1} T D_A T^{-1} = BA.$$

Solution 2:

The only matrices that commute with all other matrices are the multiples of the identity.

Solution 3:

Among the groups of orthogonal matrices $O(n,\mathbb R)$, only the case $n=0$ (the trivial group) and $n=1$ (the two element group) give commutative matrix groups. The group $O(2,\mathbb R)$ consists of plane rotations and reflections, of which the former form an index $2$ commutative subgroup, but reflections do not commute with rotations or among each other in general. The largest commutative subalgebras of square matrices are those which are diagonal on some fixed basis; these subalgebras only have dimension $n$, out of an available $n^2$, so commutation is really quite exceptional among $n\times n$ matrices (at least for $n\geq2$). Nothing very simple can be said that (non-tautologically) characterises all commuting pairs of matrices.

Added. In fact the statement above about the largest commutative subalgebra is false. If you take the set of matrices whose nonzero entries occur only in a block that touches the main diagonal (without containing any diagonal positions) then this is always a commutative subalgebra. And then you can still throw in multiples of the identity matrix. Thus there is for instance a commutative subalgebra of dimension $\lfloor\frac{n^2}4\rfloor+1$ inside $M_n(K)$, for every $n$, and $\lfloor\frac{n^2}4\rfloor+1>n$ for all $n>3$. See here.

Solution 4:

The orthogonal matrices don't commute; in fact, there's a subspace of the orthogonals that's non-commutative!

Check that a permutation matrix is an orthogonal matrix (In case you don't know what a permutation matrix is, it's just a matrix $(a_{ij})$ such that a permutation $\sigma$ exists for which $a_{i,\sigma(i)}=1$ and $a_{ij}=0$ for $j\ne\sigma(i)$

Applying to a column vector $x$ the action of the permutation matrices is just permutation of the co-ordinates of $x$. But as we know the symmetry group is non-abelian. So just choose two non-commuting permutations and their corresponding matrices clearly don't commute!

Solution 5:

A particular case when orthogonal matrices commute.

Orthogonal matrices are used in geometric operations as rotation matrices and therefore if the rotation axes (invariant directions) of the two matrices are equal - the matrices spin the same way - their multiplication is commutative.

Intuitively, if you spin the globe first x degrees and then y degrees around the same axis you and up in the same position as you get by spinning it first y and the x degrees -> The multiplication of the rotation matrices describing the two rotations is commutable, it always yields the combined rotation.