Exercise 17, § 10
Algebra, II, 423
Bourbaki marks this one as harder than the rest.
Let be a field (commutative or otherwise), an -dimensional right vector space over and an endomorphism of .
(a) Show that if and is not a central homothety, there exists a basis of such that the matrix of with respect to this basis is of the form with for and (argue by induction on ).
(b) Show that if , there exists a basis of such that the matrix of with respect to this basis is of the form with for and . (Argue by induction on using (a), noting that it amounts to the same to prove the proposition for or for , where belongs to the centre of , and studying separately the case where is of rank 1 or 2.)
(c) Let be a matrix with the properties described in (b). Also let be the matrix of order () such that except when , in which case . Show that there exists a matrix of order such that with . (Take such that for and for .)
(d) Suppose that is commutative. Deduce from (c) that every endomorphism of such that can be written as , where and are endomorphisms of .
Solution
No solution has been written yet.