Bourbaki

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 aa be an element of K and L a maximal commutative subfield of D containing aa. We have

PcrdD/K(a;X)=_{D/K}(a; X) = PcL/K(a;X)_{L/K}(a; X),

(55) TrD/K(a)=_{D/K}(a) = TrL/K(a)_{L/K}(a),

NrdD/K(a)=NL/K(a)_{D/K}(a) = N_{L/K}(a).

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.

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.