Corollary
Tag 00KZ, permanent. Cite it as [Bourbaki, Tag 00KZ].
Algebra, VIII, p. 347, § 17. Reduced Norms and Traces
Let D be a field of finite degree over K with center K. Let be an element of K and L a maximal commutative subfield of D containing . We have
Pcrd Pc,
(55) Tr Tr,
Nrd.
Indeed, a maximal commutative subfield L of D is a maximal commutative semisimple subalgebra of D by Corollary 2 of VIII, p. 265.
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.