Bourbaki

Remark 20

Tag 0DMT, permanent. Cite it as [Bourbaki, Tag 0DMT].

Algebra, chapter IX, § 7. Formes hermitiennes et corps ordonnés

Suppose that the conditions of No. 3 are satisfied and in addition that AA is equal to KK or to K(i)K(i). Apply the results of Exercises 17 to 19 to the extension of Φ\Phi to the pp-th exterior powers (§ 1, No. 9) and to the pp-th exterior powers of the endomorphisms or matrices considered. In particular, now prove that, if ∏i=1n(X−λi)\prod_{i=1}^n (X - \lambda_i) and ∏i=1n(X−ρi2)\prod_{i=1}^n (X - \rho_i^2) are the decompositions into linear factors of the characteristic polynomials of an endomorphism uu of EE and of the endomorphism u∗uu^*u, and if one supposes ∣λi∣⩾∣λi+1∣|\lambda_i| \geqslant |\lambda_{i+1}| and ρi⩾ρi+1⩾0\rho_i \geqslant \rho_{i+1} \geqslant 0 for 1⩽i⩽n−11 \leqslant i \leqslant n-1, one has

∣λ1λ2…λh∣⩽ρ1ρ2…ρh |\lambda_1 \lambda_2 \ldots \lambda_h| \leqslant \rho_1 \rho_2 \ldots \rho_h
for 1⩽h⩽n−11 \leqslant h \leqslant n-1 and ∣λ1λ2…λn∣=ρ1ρ2…ρn|\lambda_1 \lambda_2 \ldots \lambda_n| = \rho_1 \rho_2 \ldots \rho_n.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.