Corollary

Tag 0760, permanent. Cite it as [Bourbaki, Tag 0760].

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

Let $U$ be a square matrix over a commutative field $K$ such that all the eigenvalues of $U$ are in $K$ ; then there exists a matrix similar to $U$ which is a diagonal block of Jordan matrices.

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

Cited by

Proposition 10, § 5

Cites

Nothing.