Theorem of preparation of Weierstrass

That is to say \ mathbb {K} a complete body valué not archimédien of null characteristic, associated with a valuation W and an absolute value |. |. That is to say c > 0 and P (X) = \ sum_ {k=0} ^ {m} a_k X^k \ in \ mathbb {K} . One notes \ lVert P (X) \ rVert_c = \ max_ {0 \ Leq I \ Leq m} (|a_i|c^i) .

If there exists an entirety N \ in \ {1,…, M-1 \} for which \ lVert P (X) \ rVert_c = |a_N|c^N and \ lVert P (X) \ rVert_c > |a_i|c^i for all i > N, then:

(1) There exist two polynomials Q (X), R (X) \ in \ mathbb {K} such as \ deg (Q) = N, \ deg (R) = m - N and P (X) = Q (X) R (X) .

(2) Moreover, there is \ lVert Q (X) \ rVert_c = \ lVert P (X) \ rVert_c and \ lVert R (X) - 1 \ rVert_c < 1.

Category: Algebraic theory of the numbers Weierstrass

Random links:Nathalie Richard | Juan Nichol | Romery (the Marne) | Phil Fountain | 254 (number) | Pedra Branca C Amapari | Automnes_indiens_de_cheminée