Proposition 6
Tag 075V, permanent. Cite it as [Bourbaki, Tag 075V].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— Let be a vector space of finite dimension over a commutative field , and let be an endomorphism of . Then is the direct sum of subspaces , closed under and cyclic with respect to , such that the minimal polynomial of the restriction of to has the form , where is an irreducible polynomial, and cannot be expressed as a direct sum of two nonzero subspaces each closed under . For every monic irreducible polynomial and every integer , the number of subspaces in any such decomposition, such that is the minimal polynomial of the restriction of to , is uniquely determined.
The determine the similarity invariants of and vice versa; we can get from one to the other by the procedure explained in VII, p. 25, Remarks 2 and 3. Furthermore, we can immediately get from the decomposition considered in Prop. 6 to those considered in Prop. 3 and 4.
Note that the monic irreducible polynomials such that for some integer are precisely the monic irreducible factors of the minimal polynomial of . Thus, in contrast to the similarity invariants, these polynomials depend in general on the field in which we are working.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.