05.02.2013 Views

UNIVERSIDADE ESTADUAL DE MARING´A CENTRO DE ... - PMA

UNIVERSIDADE ESTADUAL DE MARING´A CENTRO DE ... - PMA

UNIVERSIDADE ESTADUAL DE MARING´A CENTRO DE ... - PMA

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

1.3 Fatoração de Séries de Potências 13<br />

T : K[X1, . . .,Xr] → K[Y1, . . .,Yr] e disso segue que T é um automorfismo já que αr �= 0.<br />

�<br />

strass.<br />

Do corolário acima, obtemos o seguinte corolário do Teorema da Preparação de Weier-<br />

Corolário 1.16. Seja f ∈ ℜ\{0} de multiplicidade n ≥ 1. Então existem um K- auto-<br />

morfismo T de ℜ, uma unidade u ∈ ℜ e A1, . . .,An ∈ ℜ ′<br />

i = 1, . . .,n e<br />

T(f) · u = X n r + A1X n−1<br />

r<br />

+ . . . + An.<br />

tais que mult(Ai) ≥ i para todo<br />

Demonstração: Como K é infinito segue do Corolário (1.15) que existe um automor-<br />

fismo linear T tal que T(f) é regular na última indeterminada. Como mult(f) = n segue<br />

que T(f) é regular e mult(T(f)) = n. Assim, do Teorema (1.13) existem uma unidade<br />

u ∈ ℜ e A1, . . .,An ∈ ℜ ′<br />

O polinômio X n r<br />

tais que mult(Ai) ≥ i para todo i = 1, . . ., n e<br />

T(f) · u = X n r<br />

+ A1X n−1<br />

r<br />

+ . . . + An.<br />

n−1 n−2<br />

+A1Xr +A2Xr +. . .+An associado a f, depois de possivelmente<br />

uma mudança de coordenadas, será considerado uma preparação de Weierstrass de f.<br />

1.3 Fatoração de Séries de Potências<br />

Nesta seção estudaremos a fatoração no anel ℜ = K[[X1, X2, . . .,Xr]].<br />

Definição 1.17. Um pseudo polinômio (respectivamente, um polinômio de Weierstrass)<br />

em Xr é uma série de potência em ℜ da forma,<br />

P(X1, . . .,Xr) = X n r<br />

+ A1X n−1<br />

r<br />

+ . . . + An ∈ ℜ ′<br />

[Xr]<br />

tal que n ≥ 1 e mult(Ai) ≥ 1 (respectivamente, mult(Ai) ≥ i), para todo i = 1, . . .,n.<br />

Entendemos por polinômio mônico em uma variável como sendo um polinômio em<br />

que o coeficiente do termo de grau mais alto é um.<br />

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!