UNIVERSIDADE ESTADUAL DE MARING´A CENTRO DE ... - PMA
UNIVERSIDADE ESTADUAL DE MARING´A CENTRO DE ... - PMA
UNIVERSIDADE ESTADUAL DE MARING´A CENTRO DE ... - PMA
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.