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.1 Anel das Séries de Potências 7<br />

Mas a Equação (1.1) equivale ao seguinte sistema de equações<br />

⎧<br />

⎪⎨<br />

⎪⎩<br />

P0Q0 = 1<br />

P1Q0 + P0Q1 = 0<br />

................................<br />

PnQ0 + Pn−1Q1 + . . . + P0Qn = 0<br />

.................................<br />

(1.2)<br />

Da primeira equação do Sistema (1.2) e do fato que K é um corpo, segue que existe<br />

Q0 ∈ K tal que P0Q0 = 1, consequentemente P0 �= 0.<br />

Reciprocamente, suponha que P0 �= 0. Então o Sistema (1.2) possui uma solução<br />

dada da seguinte forma:<br />

Q0 = P −1<br />

0 , Q1 = −P −1<br />

0 (P1Q0), . . .,Qn = −P −1<br />

0 (PnQ0 + . . . + P1Qn−1).<br />

Assim, tomando g = Q0+Q1+. . . em ℜ temos que fg = 1 e neste caso f −1 = g. Portanto<br />

f é inversível em ℜ. �<br />

Um elemento inversível de ℜ é chamado de unidade.<br />

Exemplo 1.2. Seja f = 1 + X uma série de potência em C[[X]]. Da Proposição (1.1)<br />

segue que f é inversível pois P0 = 1 �= 0. Com o Sistema (1.2) podemos encontrar a<br />

inversa de f. Uma vez que P1 = X temos que<br />

Q0 = 1, Q1 = −X, Q2 = X 2 , . . ., Qn = (−1) n X n ,<br />

e f −1 = 1 − X + X 2 − X 3 + ... + (−1) n X n + ....<br />

Definição 1.3. Dois elementos f e g em ℜ são ditos associados se existe uma unidade<br />

u ∈ ℜ tal que f = ug.<br />

Definição 1.4. Seja f ∈ ℜ\{0}. Suponha que f = Pn + Pn+1 + . . ., onde cada Pi é um<br />

polinômio homogêneo de grau i e Pn �= 0. O polinômio homogêneo Pn é chamado forma<br />

inicial de f. O inteiro n é chamado multiplicidade de f e é denotado por mult(f). Se<br />

f = 0, definimos mult(f) = ∞.

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

Saved successfully!

Ooh no, something went wrong!