Maths Olympiad Prep

Library / /232 of 264

Algebra Difficulty 6.7 National Olympiad Prove it Romania

a) Let AA be a matrix from M2(C)M_2(\mathbb{C}), AaI2A \neq aI_2, for any aCa \in \mathbb{C}. Prove that the matrix XX from M2(C)M_2(\mathbb{C}) commutes with AA, that is, AX=XAAX = XA, if and only if there exist two complex numbers α\alpha and α\alpha', such that X=αA+αI2X = \alpha A + \alpha' I_2.

b) Let AA, BB and CC be matrices from M2(C)M_2(\mathbb{C}), such that ABBAAB \neq BA, AC=CAAC = CA and BC=CBBC = CB. Prove that CC commutes with all matrices from M2(C)M_2(\mathbb{C}).

Solution

a) Clearly, if X=αA+αI2X = \alpha A + \alpha' I_2, then XX and AA commute. Conversely, let A=(a1a2a1a2)A = \begin{pmatrix} a_1 & a_2 \\ a'_1 & a'_2 \end{pmatrix} and X=(x1x2x1x2)X = \begin{pmatrix} x_1 & x_2 \\ x'_1 & x'_2 \end{pmatrix}. The equality AX=XAAX = XA implies
a2x1=a1x2,(1) a_2 x'_1 = a'_1 x_2, \quad (1)
(a1a2)x2+a2(x2x1)=0,(2) (a_1 - a'_2)x_2 + a_2(x'_2 - x_1) = 0, \quad (2)
(a1a2)x1+a1(x2x1)=0.(3) (a_1 - a'_2)x'_1 + a'_1(x'_2 - x_1) = 0. \quad (3)
Since AaI2A \neq aI_2, aCa \in \mathbb{C}, either one of a2,a1a_2, a'_1 is non-zero, or a2=a1=0a_2 = a'_1 = 0 and a1a2a_1 \neq a'_2.
In the first case, if, for instance, a20a_2 \neq 0, we obtain
X=x2a2A+(x1a1a2x2)I2, X = \frac{x_2}{a_2} A + \left( x_1 - \frac{a_1}{a_2} x_2 \right) I_2,
while in the second case
X=x1x2a1a2A+a1x2a2x1a1a2I2. X = \frac{x_1 - x'_2}{a_1 - a'_2} A + \frac{a_1 x'_2 - a'_2 x_1}{a_1 - a'_2} I_2.

b) We prove that C=γI2C = \gamma I_2, for some complex number γ\gamma, hence CC commutes with all matrices in M2(C)M_2(\mathbb{C}). Suppose the contrary. Since AA and CC commute, there exist α\alpha and α\alpha', such that A=αC+αI2A = \alpha C + \alpha' I_2. Similarly, there exist β\beta and β\beta', such that B=βC+βI2B = \beta C + \beta' I_2, therefore AB=BAAB = BA, a contradiction.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.