3
$\begingroup$

How to prove this exercise?

Let $A$ be a $n \times n$ diagonal matrix with characterist polynominal

$$(x-c_1)^{d_1}...(x-c_k)^{d_k}$$

where $c_i$ are distinct. Let $V$ be the space of $n \times n$ matrixes $B$ such that $AB=BA$. Prove that dimension of $V$ is $d_{1}^{2}+...+d_{k}^{2}$.

$\endgroup$
  • 1
    $\begingroup$ I added formatting, check if it's correct and please do it yourself next time $\endgroup$ – leonbloy Jan 20 '16 at 2:05
2
$\begingroup$

Hint: Suppose $A$ acts on the $n$-dimensional space $E$, $E=\sum_iKer(A-c_i)^{d_i}$ An element $B$ of $V$ preserves $V_i=\{x:(A-c_iI)^{d_i}(x)=0\}$, since $A$ is diagonal, the restriction of $A$ to $V_i$ is diagonal, so $M^{d_i\times d_i}$ commute with the restriction of $A$ to $V_i$ so $V=\sum_iM^{d_i\times d_i}$ this gives its dimension

$\endgroup$
  • $\begingroup$ i dont get it, $x \in V_{i}$ are a $n \times n$ matrix or a $n \times 1$ matrix? can you explain further how to obtain $V_{i}$ and $M^{d_{1}\times d_{1}}$? $\endgroup$ – Eduardo Silva Jan 22 '16 at 1:29
  • $\begingroup$ $x$ is an element of the vector space $E$, a $n\times n$ matrix defines a linear application on a $n$-dimensional vector space. $\endgroup$ – Tsemo Aristide Jan 22 '16 at 1:44
  • $\begingroup$ but $Ker(A-c_{i}I)^{d_{1}}$ its a aplication from $n$-dimensional to $n$-dimensional space, how does a $n \times n$ matrix can be a vector on this space? $Ker(A-c_{i}I)^{d_{1}}(B) = 0$ implies that $B$ its a eingevector of $c_{i}$ by the aplication $T(B) = AB$ $\endgroup$ – Eduardo Silva Jan 22 '16 at 20:45
2
$\begingroup$

Let $a_i=A_{ii}$ be the ordered $c_i$.

Then $(AB)_{ij} = a_iB_{ij}$ and $(BA)_{ij} = B_{ij}a_j$.

So these are equal exactly when $B_{ij}=0$ or $a_i=a_j$.

So all the coefficients of $B$ are zero except when the $a_i=a_j$. How many cases of that are there? (Hint: there are $d_j$ values of $a_i$ that are equal to $c_j$...

$\endgroup$
  • $\begingroup$ so are $d_{1} + ... + d_{k}$ values non zero in $B$ then a basis of V contain $n$ elements, but how did a get to $d_{1}^{2} + ... + d^{2}_{k}$ $\endgroup$ – Eduardo Silva Jan 22 '16 at 1:24

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.