Corollary 3
Tag 00RP, permanent. Cite it as [Bourbaki, Tag 00RP].
Algebra, VIII, p. 343, § 17. Reduced Norms and Traces
Let be the opposite algebra of A. For every in A, we have
(40) Pcrd Pcrd,
(41) Trd Trd,
(42) Nrd Nrd.
Choose an extension L of K, a vector space V of dimension over L, and a homomorphism from A to End (VIII, p. 252, Theorem 1). Let be the dual vector space of V. The mapping that sends an element of A to the endomorphism of is a K-algebra homomorphism from to End. Corollary 3 then follows from Corollary 1 and Corollary 3 of III, §8, No. 4, p. 528.
The trace, norm, and characteristic polynomial of are therefore the same whether we view as an element of A or as an element of . This property does not always hold when A is not assumed central simple (III, §9, p. 644, Exercise 1).
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
- Corollary 3 of III, §8, No. 4, p. 528 not in this corpus
- III, §9, p. 644, Exercise 1
- VIII, p. 252, Theorem 1
- Corollary 1