Given two square matrices $A,B$ with same dimension, what conditions will lead to this result? Or what result will this condition lead to? I thought this is a quite simple question, but I can find little information about it. Thanks.

  • 5
    $\begingroup$ en.wikipedia.org/wiki/Commuting_matrices $\endgroup$
    – B0rk4
    Aug 29 '13 at 7:30
  • 7
    $\begingroup$ Since everybody (except Hauke) is just listing their favorite sufficient conditions let me add mine: If there exists a polynomial $P\in R[X]$ ($R$ a commutative ring containing the entries of $A$ and $B$) such that $B=P(A)$, then we have $AB=BA$. Furthermore, in the case that $R$ is (contained in) an algebraically closed field and the eigenvalues of $A$ are distinct, then this sufficient criterion is also necessary. For more read the Wikiarticle linked to by Hauke. $\endgroup$ Aug 29 '13 at 8:17

If $A,B$ are diagonalizable, they commute if and only if they are simultaneously diagonalizable. For a proof, see here. This, of course, means that they have a common set of eigenvectors.

If $A,B$ are normal (i.e., unitarily diagonalizable), they commute if and only if they are simultaneously unitarily diagonalizable. A proof can be done by using the Schur decomposition of a commuting family. This, of course, means that they have a common set of orthonormal eigenvectors.


This is too long for a comment, so I posted it as an answer.

I think it really depends on what $A$ or $B$ is. For example, if $A=cI$ where $I$ is the identity matrix, then $AB=BA$ for all matrices $B$. In fact, the converse is true:

If $A$ is an $n\times n$ matrix such that $AB=BA$ for all $n\times n$ matrices $B$, then $A=c I$ for some constant $c$.

Therefore, if $A$ is not in the form of $c I$, there must be some matrix $B$ such that $AB\neq BA$.


Here are some different cases I can think of:

  1. $A=B$.
  2. Either $A=cI$ or $B=cI$, as already stated by Paul.
  3. $A$ and $B$ are both diagonal matrices.
  4. There exists an invertible matrix $P$ such that $P^{-1}AP$ and $P^{-1}BP$ are both diagonal.
  • 1
    $\begingroup$ 1. $A=cB$ or $A=cB^{-1}$ or $B=0$ $\endgroup$
    – ryang
    Feb 3 '21 at 2:50

There is actually a sufficient and necessary condition for $M_n(\mathbb{C})$:

Let $J$ be the Jordan canonical form of a complex matrix $A$, i.e., $$ A=PJP^{-1}=P\mathrm{diag}(J_1,\cdots,J_s)P^{-1} $$ where $$ J_i=\lambda_iI+N_i=\left(\begin{matrix} \lambda_i & & &\\ 1 & \ddots & & \\ & \ddots & \ddots & \\ & & 1 & \lambda_i \end{matrix}\right). $$ Then the matrices commutable with $A$ have the form of $$ B=PB_1P^{-1}=P(B_{ij})P^{-1} $$ where $B_1=(B_{ij})$ has the same blocking as $J$, and $$ B_{ij}=\begin{cases} 0 &\mbox{if } \lambda_i\ne\lambda_j\\ \mbox{a }\unicode{x201C}\mbox{lower-triangle-layered matrix''} & \mbox{if } \lambda_i=\lambda_j \end{cases} $$

The reference is my textbook of linear algebra, though not in English. Here is an example in the book:

enter image description here

The main part in the proof is to compare the corresponding entries in both sides of the equation $N_iB_{ij}=B_{ij}N_j$ when $\lambda_i=\lambda_j$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.