Bourbaki

Exercise 10, § 7

Algebra, II, 402

Let E be a vector space over a field K. Show that every endomorphism u of E is an automorphism or can be written as u=v−wu = v - w, where v and w are automorphisms of E. (Observe that u can always be replaced by s1∘u∘s2s_1 \circ u \circ s_2, where s1s_1 and s2s_2 are two automorphisms of E. Distinguish two cases, according to whether dim⁡(Ker(u))≤dim⁡(Coker(u))\dim(\mathrm{Ker}(u)) \leq \dim(\mathrm{Coker}(u)) or dim⁡(Ker(u))>dim⁡(Coker(u))\dim(\mathrm{Ker}(u)) > \dim(\mathrm{Coker}(u)); when rg(u)\mathrm{rg}(u) is finite, then the first case always holds. When

dim⁡(Ker(u))≤dim⁡(Coker(u)), \dim(\mathrm{Ker}(u)) \leq \dim(\mathrm{Coker}(u)),
it can be reduced to the case where Ker(u)∩Im(u)={0}\mathrm{Ker}(u) \cap \mathrm{Im}(u) = \{0\}; if
dim⁡(Ker(u))=dim⁡(Coker(u)), \dim(\mathrm{Ker}(u)) = \dim(\mathrm{Coker}(u)),
it can also be assumed that Im(u)+Ker(u)=E\mathrm{Im}(u) + \mathrm{Ker}(u) = E and then apply Exercise 9 (c). If dim⁡(Ker(u))<dim⁡(Coker(u))\dim(\mathrm{Ker}(u)) < \dim(\mathrm{Coker}(u)), there is a supplementary subspace in E of Ker(u)\mathrm{Ker}(u) of the form W⊕Im(u)W \oplus \mathrm{Im}(u) with dim⁡(W)=dim⁡(Im(u))=dim⁡(E)\dim(W) = \dim(\mathrm{Im}(u)) = \dim(E); apply the remark at the beginning with s1(u(Im(u)))=Im(u)s_1(u(\mathrm{Im}(u))) = \mathrm{Im}(u) and use Exercise 9 (a) and (c). When dim⁡(Ker(u))>dim⁡(Coker(u))\dim(\mathrm{Ker}(u)) > \dim(\mathrm{Coker}(u)), it can be reduced to the case where Ker(u)⊂Im(u)\mathrm{Ker}(u) \subset \mathrm{Im}(u); this time take s1(Ker(u))=u−1(Ker(u))s_1(\mathrm{Ker}(u)) = u^{-1}(\mathrm{Ker}(u)) and use the results of the preceding cases and Exercise 9.)

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.