15.04.2013 Views

Calculando Grupos de Galois sobre os Racionais - Universidade ...

Calculando Grupos de Galois sobre os Racionais - Universidade ...

Calculando Grupos de Galois sobre os Racionais - Universidade ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

<strong>os</strong> element<strong>os</strong> a0,a1,a2,... são <strong>de</strong>nominad<strong>os</strong> coeficientes <strong>de</strong> f. Quando n =0e a0 6= 0,<br />

então f(x) =a0 é chamado <strong>de</strong> polinômio constante <strong>sobre</strong> A. Quando n =0e a0 =0, então<br />

f(x) é chamado <strong>de</strong> polinômio i<strong>de</strong>nticamente nulo <strong>sobre</strong> A e <strong>de</strong>notado por 0(x). Assim,<br />

f(x) =0(x) se, e somente se, ai =0, ∀i ∈ Z+. Se<br />

f(x) =<br />

nX<br />

aix i ∈ A[x],<br />

então o grau <strong>de</strong> f(x), <strong>de</strong>notado por ∂f(x), é<strong>de</strong>finido como sendo<br />

i=0<br />

∂f(x) =max{r ∈ Z+; ar 6= 0e ar+k =0, ∀k ∈ N}.<br />

Observem<strong>os</strong> que ∂0(x) não está <strong>de</strong>finido. Se<br />

f(x) =<br />

nX<br />

aix i ∈ A[x],<br />

i=0<br />

com ∂f(x) =n, dizem<strong>os</strong> que an éocoeficiente lí<strong>de</strong>r <strong>de</strong> f(x). No caso específico em que<br />

an =1, f(x) éditomônico.<br />

Prop<strong>os</strong>ição 1.14 1. Se A éumdomínioef(x),g(x) ∈ A[x], taisquef(x)+g(x) 6= 0,<br />

então<br />

∂(f(x)+g(x)) = max{∂f(x),∂g(x)} e ∂(f(x)g(x)) = ∂(f(x)) + ∂(g(x)).<br />

Neste caso, A[x] é um domínio.<br />

2. Se A é um corpo, então <strong>os</strong> únic<strong>os</strong> polinômi<strong>os</strong> invertíveis <strong>sobre</strong> A[x] são <strong>os</strong> polinômi<strong>os</strong><br />

constantes. Assim, A[x] nunca é um corpo. ¥<br />

Se A[x1] é um domínio, <strong>de</strong>finim<strong>os</strong> A[x1,x2] como sendo (A[x1])[x2], ou seja, o conjunto<br />

d<strong>os</strong> polinômi<strong>os</strong> em uma in<strong>de</strong>terminada x2 com coeficientes em A[x1]. Tem<strong>os</strong>, pela comuta-<br />

tivida<strong>de</strong> <strong>de</strong> A, queA[x1,x2] =(A[x1])[x2] =(A[x2])[x1]. Fazendo i<strong>de</strong>ntificações análogas<br />

àquelasfeitasparaA[x], tem<strong>os</strong> que todo polinômio<br />

po<strong>de</strong> ser escrito na notação formal<br />

f(x1,x2) =(g0(x1),g1(x1),...,gn(x1), ¤) ∈ A[x1,x2]<br />

f = f(x1,x2) =<br />

15<br />

nX<br />

nX<br />

aijx<br />

i=0 j=0<br />

i 1x j<br />

2

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

Saved successfully!

Ooh no, something went wrong!