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 is semi-simple then u is semi-simple. If u is semi-simple and L is separable over K, then is semi-simple.
This follows immediately from Prop. 14 and from V, p. 120, Cor. 1 (note that the minimal polynomials of and coincide).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.