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

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

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

Definição 3.3 Seja f(x) = P n<br />

i=0 aix i um polinômio <strong>sobre</strong> K. A<strong>de</strong>rivada formal <strong>de</strong> f(x),<br />

<strong>de</strong>notada por f 0 ou f 0 (x), é dada por<br />

f 0 = f 0 (x) =<br />

on<strong>de</strong> iai significa ai + ···+ ai (i vezes).<br />

nX<br />

iaix i−1 ,<br />

i=1<br />

Existe uma importante relação entre a multiplicida<strong>de</strong> d<strong>os</strong> zer<strong>os</strong> <strong>de</strong> f(x) e<strong>os</strong>zer<strong>os</strong><strong>de</strong><br />

f 0 (x), a qual estabelecerem<strong>os</strong> na seguinte prop<strong>os</strong>ição:<br />

Prop<strong>os</strong>ição 3.1 Suponham<strong>os</strong> que f(x) p<strong>os</strong>sui um zero v <strong>de</strong> multiplicida<strong>de</strong> e>0. Se<br />

Char(K) - e, entãomult(v, f 0 )=e − 1.<br />

Prova. Por hipótese, f(x) =(x−v) e h(x). Então,f 0 (x) =e(x−v) e−1 h(x)+(x−v) e h 0 (x).<br />

Assim, mult(v, f 0 ) ≥ e − 1. Agora, se (x − v) e | f 0 (x), então(x − v) | eh(x). Isto não<br />

po<strong>de</strong> acontecer pois, como Char(K) - e, entãoe 6= 0epela<strong>de</strong>finição <strong>de</strong> multiplicida<strong>de</strong>,<br />

(x − v) - h(x). Daí, mult(v, f 0 ) n. Paratodozerov <strong>de</strong> f(x) <strong>de</strong> multiplicida<strong>de</strong><br />

e>1,v éumzero<strong>de</strong>MDC(f,f 0 ) <strong>de</strong> multiplicida<strong>de</strong> e−1 e MDC(f,f 0 ) não p<strong>os</strong>sui outr<strong>os</strong><br />

zer<strong>os</strong>. ¥<br />

3.5 Polinômi<strong>os</strong> “zer<strong>os</strong> múltipl<strong>os</strong>” e “zer<strong>os</strong> da soma”<br />

Sejam f(x) ∈ K[x] um polinômio mônico, n = ∂f, v1,...,vn seus zer<strong>os</strong> e d ∈ K.<br />

Querem<strong>os</strong> encontrar o polinômio mônico <strong>de</strong> grau n com zer<strong>os</strong> dv1,...,dvn. Tal polinômio<br />

é <strong>de</strong>notado por MZ(d, f) (Múltipl<strong>os</strong> <strong>de</strong> Zer<strong>os</strong>) e é dado pela seguinte expressão:<br />

⎧<br />

⎨ d<br />

MZ(d, f) =<br />

⎩<br />

nf( x),<br />

se d 6= 0<br />

d<br />

xn , se d =0.<br />

Sejam f = f(x), g = g(x) ∈ K[x] polinômi<strong>os</strong> mônic<strong>os</strong> tais que<br />

f(x) =(x − v1) ···(x − vn) e g(x) =(x − w1) ···(x − wm)<br />

<strong>sobre</strong> o corpo <strong>de</strong> <strong>de</strong>comp<strong>os</strong>ição <strong>de</strong> f(x)g(x). Querem<strong>os</strong> encontrar o polinômio mônico em<br />

K[x] <strong>de</strong> grau mn com zer<strong>os</strong><br />

vi + wj,i=1,...,n,j =1,...,m.<br />

44

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

Saved successfully!

Ooh no, something went wrong!