IMC 1994 · Problem 4

Day 218 points1st IMC · Plovdiv, Bulgaria

Statement

Let AA be a n×nn \times n diagonal matrix with characteristic polynomial

(xc1)d1(xc2)d2(xck)dk,(x - c_1)^{d_1} (x - c_2)^{d_2} \dots (x - c_k)^{d_k},

where c1,c2,,ckc_1, c_2, \dots, c_k are distinct (which means that c1c_1 appears d1d_1 times on the diagonal, c2c_2 appears d2d_2 times on the diagonal, etc. and d1+d2++dk=nd_1 + d_2 + \dots + d_k = n).

Let VV be the space of all n×nn \times n matrices BB such that AB=BAAB = BA. Prove that the dimension of VV is

d12+d22++dk2.d_1^2 + d_2^2 + \dots + d_k^2.

Official solution

Hidden so you can work on the problem first.