Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
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