Definition 2
Tag 00KK, permanent. Cite it as [Bourbaki, Tag 00KK].
Algebra, VIII, p. 340, § 17. Reduced Norms and Traces
We call Trd the reduced trace of A and Nrd its reduced norm (with respect to the K-algebra A).
When there is no risk of confusion, we leave A and K out of the notation and simply write Pcrd(), Trd(), and Nrd().
The following formulas result from formulas (20) and (22) and formulas (7) and (8) of III, §9, No. 1, p. 542:
(23) Tr Trd,
(24) (Nrd).
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.