1
$\begingroup$

Let $\mathbb K$ be a field. Let $A\in M_n(\mathbb K)$ be the matrix of a semisimple linear operator (that is, $A$ is diagonalizable in the algebraic closure of $\mathbb K$).

Is it true that the centralizer of $A$ in $M_n(\mathbb K)$ can be decomposed into

$C_{M_n({\mathbb K})}(A)= M_{n_1}(\mathbb K)\otimes_{\mathbb K}\ldots\otimes_{\mathbb K} M_{n_r}(\mathbb K), $

where the $n_i$ are the size of the Jordan blocks in the Jordan Canonical Form of $A$ in the algebraic closure of $\mathbb K$?

  • 0
    Well, in any case, it will probably be $\oplus$ and not $\otimes$. This might be worth looking at: http://en.wikipedia.org/wiki/Commuting_matrices2012-09-15

1 Answers 1

1

Yes. In a less coordinate-dependent sense, "diagonalizability" of an operator $A$ on a vector space $V$ means that the direct sum of the eigenspaces $V_\lambda=\{v\in V:Av=\lambda v\}$ give the whole space $V$. (If there are non-trivial Jordan blocks, something is missing from this sum.) Then it is not hard to show that the centralizer is the direct sum/product of the full endomorphism algebras of the eigenspaces.