Bourbaki

Corollary

Tag 076P, permanent. Cite it as [Bourbaki, Tag 076P].

Algebra, chapter VII, § 5. Endomorphisms of vector spaces

— Let u be an endomorphism of a finite dimensional vector space over a commutative field K, and let L be an extension of K. If u(L)u_{(L)} is semi-simple then u is semi-simple. If u is semi-simple and L is separable over K, then u(L)u_{(L)} is semi-simple.

This follows immediately from Prop. 14 and from V, p. 120, Cor. 1 (note that the minimal polynomials of uu and u(L)u_{(L)} coincide).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 2003, Springer. Not translated.