Proposition 4
Tag 075L, permanent. Cite it as [Bourbaki, Tag 075L].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— Let E be a vector space of finite dimension n over a commutative field K, and let u be an endomorphism of E. Then there exist n monic polynomials () such that divides for , and E is the direct sum of n subspaces () closed under u, cyclic (with respect to u), and such that the minimal polynomial of the restriction of u to is equal to (). The polynomials are uniquely determined by these conditions, and is the minimal polynomial q of u.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.