Proposition 10
Tag 0764, permanent. Cite it as [Bourbaki, Tag 0764].
Algebra, chapter VII, § 5. Endomorphisms of vector spaces
— Let be a vector space of finite dimension over a commutative field , let be an endomorphism of , and let be a decomposition into linear factors of its characteristic polynomial (in a suitable extension of , cf. V, p. 21). If is a polynomial with coefficients in , then the characteristic polynomial of is given by
(6)
and its trace and determinant are given by
(7)
It is clear that (7) and (8) follow from (6) by virtue of (5). To prove the formula (6), we may assume that K is algebraically closed. We then take a basis for E with respect to which the matrix of is lower triangular (, p. 35, Cor. to Prop. 8); we will make use of the following easy lemma:
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.