Keeping it short

Algebra Level 4

True or False?

Every 2 × 2 2 \times 2 matrix over C \mathbb{C} is a square of some matrix.

False True

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Jun 23, 2017

If ( 0 1 0 0 ) = ( a b c d ) 2 = ( a 2 + b c b ( a + d ) c ( a + d ) b c + d 2 ) \left(\begin{array}{cc} 0 & 1 \\ 0 & 0 \end{array}\right) \; =\; \left(\begin{array}{cc}a & b \\ c & d \end{array}\right)^2 \; =\; \left(\begin{array}{cc} a^2 + bc & b(a+d) \\ c(a+d) & bc + d^2 \end{array} \right) Then, since c ( a + d ) = 0 b ( a + d ) c(a+d) = 0 \neq b(a+d) , we deduce that c = 0 c=0 , and hence a 2 = 0 b ( a + d ) = 1 d 2 = 0 a^2 \; = \; 0 \hspace{1cm} b(a+d) \; = \; 1 \hspace{1cm} d^2 \; =\; 0 Thus a = d = 0 a=d=0 , which makes the condition b ( a + d ) = 1 b(a+d)=1 an impossibility. Thus this 2 × 2 2\times2 matrix is not a square.

To within similarity, this is the only matrix which is not a square, since diagonal matrices and matrices of the form ( x 1 0 x ) \left( \begin{array}{cc}x & 1 \\ 0 & x \end{array} \right) for nonzero x x are all squares.


A more abstract proof goes like this. Suppose that A A is a 2 × 2 2\times2 matrix with minimum polynomial t 2 t^2 . If A A was a perfect square, then A = B 2 A = B^2 for some matrix B B , and this means that B 4 = 0 B^4 = 0 . Thus the minimum polynomial of B B has degree at most 2 2 and divides t 4 t^4 . If the minimum polynomial is t t , this means that B = 0 B=0 . If the minimum polynomial is t 2 t^2 , this means that B 2 = 0 B^2=0 . In either case we see that A = B 2 = 0 A = B^2 = 0 . But A = 0 A=0 does not have minimum polynomial t 2 t^2 . Thus no matrix with minimum polynomial t 2 t^2 is a square.

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...