Corollary
Tag 076J, permanent. Cite it as [Bourbaki, Tag 076J].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— If all the roots of the characteristic polynomial of u are in K, and they are all simple, then u is diagonalisable.
Indeed the minimal polynomial divides the characteristic polynomial.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.