Proposition 14
Tag 076O, permanent. Cite it as [Bourbaki, Tag 076O].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— An endomorphism u of a finite dimensional vector space over a commutative field is semi-simple if and only if the minimal polynomial of u has no multiple factors.
This follows immediately from VII, p. 9, Cor. 4 and p. 31, Remark 1.
Let E be a vector space over a commutative field K, let L be an extension of K, and an endomorphism of E ; let denote the L-endomorphism of the L-vector space induced from E by extension of scalars. In the same way, if is a set of endomorphisms of E, let denote the set of for in '8.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.