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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.2 Teorema da Preparação de Weierstrass 11<br />

Exemplo 1.11. A série f(X, Y ) = XY 3 + Y 4 + X 5 é regular de ordem 4 em Y e regular<br />

de ordem 5 em X. Enquanto a série g(X, Y ) = XY 2 + 4X 2 Y − X 5 Y 2 não é regular com<br />

relação a nenhuma das indeterminadas.<br />

O seguinte resultado é uma consequência direta da definição.<br />

Lema 1.12. Dados f, g ∈ ℜ, então fg é regular com respeito a Xj, de uma certa ordem<br />

se, e somente se, f e g são regulares com respeito a Xj, de determinadas ordens.<br />

ximal.<br />

Denotaremos no que segue por ℜ ′<br />

o anel K[[X1, . . .,Xr−1]] e por M ℜ ′ seu ideal ma-<br />

O próximo Teorema permite-nos reduzir o estudo de uma série de potência formal, a<br />

menos de unidade, ao estudo de um polinômio em uma das indeterminadas, digamos Xr,<br />

com coeficientes no anel ℜ ′<br />

.<br />

Teorema 1.13. (Teorema da Preparação de Weierstrass) Seja f ∈ ℜ uma série<br />

regular com respeito a Xr de ordem n ≥ 1. Então existem uma unidade u ∈ ℜ e<br />

A1, . . .,An ∈ M ℜ ′, unicamente determinados por f, tais que<br />

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

r<br />

+ A2X n−2<br />

r<br />

+ . . . + An.<br />

Além disto, se f é regular em Xr, isto é, n = mult(f), então mult(Ai) ≥ i para todo<br />

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

Demonstração: Veja [HKT] (Theorem 4.11). �<br />

No Teorema (1.13), atribuímos a condição de f ser regular mas, como veremos a seguir,<br />

esta condição não é tão restrita como pode parecer. Assumindo K infinito, mostraremos<br />

que depois de compor f com um automorfismo linear de ℜ, podemos transformar f em<br />

uma série regular em uma das indeterminadas escolhida arbitrariamente. No caso de K<br />

finito, não é possível garantir a existência de automorfismo linear, mas é sempre possível<br />

encontrar um automorfismo de ℜ que transforma f em uma série regular em uma das<br />

indeterminadas. Como estamos interessados quando K é um corpo infinito, vamos nos<br />

restringir a este caso.

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

Saved successfully!

Ooh no, something went wrong!