1
$\begingroup$

Problem description:

Let A be an $4\times 4$ complex matrix, determine the largest possible dimension of the subspace $S_A=\{B \in M_n (C)|AB=BA\}$.

My answer is 10. Because all commuting matrices are triangulable, so the largest number of the unit matrices $E_{ij}$ equal to the basis that spans an upper triangular matrix.

Is my answer right? Or can you help to offer a proof.

Thanks.

  • 0
    Over $\mathbb{C}$, all matrices are triangularizable; your argument doesn't make much sense. What do $E_{ij}$ have to do with anything? Note that $E_{ij}A$ is the matrix whose $i$th row is the $j$th row of $A$, and $0$s elsewhere, whereas $AE_{ij}$ is the matrix whose $j$th column is the $i$th column of $A$ and $0$s elsewhere. There are very few matrices $A$ for which $AE_{ij}=E_{ij}A$!2012-05-02

2 Answers 2

2

This is a more generic answer...

Suppose $A$ has distinct eigenvalues $\lambda_1,...,\lambda_n$, with corresponding right and left eigenvectors $v_1,...,v_n$ and $u_1^*,...,u_n^*$ respectively. Then it is easy to see that the linear operator $L_A(B) = AB-BA$ has $n^2$ eigenvalues $\mu_{ij} = \lambda_i-\lambda_j$ with corresponding linearly independent eigenvectors $v_i u_j^*$. The kernel of $L_A$ corresponds to the span of the eigenvectors corresponding to the eigenvalues $\mu_{ii} = 0$. Consequently, $\dim \ker L_A = n$.

Since $S_A = \ker L_A$, we have that, in a generic sense, $\dim S_A = n$.

  • 1
    $L_A$ maps from the space of matrices to the space matrices, and the dimension of that space is $n^2$, hence there are $n^2$ eigenvalues (counting multiplicity).2017-01-03
2

If I understand you correctly you are looking for the bigest possible dimension. This is attained for $A=E_4$ with $S_A=M_4(\mathbb C)$ which has dimension $16$. Here $E_4$ denotes the identity matrix. Alternatively we could also choose $A=0$ and still get $S_A=M_4(\mathbb C)$.

  • 0
    @user30114 He probably means, as I mentioned above, the identity matrix. *Everything* commutes with it.2012-05-02