Remark
Tag 00KM, permanent. Cite it as [Bourbaki, Tag 00KM].
Algebra, VIII, p. 340, § 17. Reduced Norms and Traces
Let L be the field K(X) of rational fractions in one variable X. The reduced characteristic polynomial of an element of A is simply the reduced norm of the element of the L-algebra . This follows from the definition of the reduced characteristic polynomial and the formula (III, §9, No. 3, p. 544)
(25) Pc.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.