Corollary 3
Tag 0771, permanent. Cite it as [Bourbaki, Tag 0771].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
Let and be two commuting endomorphisms of E which have Jordan decompositions. a) The endomorphisms all commute. b) The endomorphisms and have Jordan decompositions with
Part a) follows from Cor. 2. To prove part b) it is enough to notice that and are absolutely semi-simple (VII, p. 43, Cor.) and that and are nilpotent (as sums of commuting nilpotent endomorphisms).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.