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.
Uma permutação σ ∈ Sn é chamada <strong>de</strong> ciclo se existem element<strong>os</strong> distint<strong>os</strong> i1, ..., ir ∈<br />
{1, ..., n}, 1 ≤ r ≤ n, tais que σ(i1) =i2,σ(i2) =i3, ..., σ(ir−1) =ir,σ(ir) =i1 e σ(j) =j,<br />
∀j ∈ {1,...n} − {i1,...,ir}. Tal ciclo será <strong>de</strong>notado por<br />
(i1,i2,...,ir).<br />
r é chamado <strong>de</strong> comprimento do ciclo. Os cicl<strong>os</strong> tais que r =2são também chamad<strong>os</strong> <strong>de</strong><br />
transp<strong>os</strong>ições. Dois cicl<strong>os</strong><br />
são dit<strong>os</strong> disjunt<strong>os</strong> se<br />
(i1,i2,...,ir), (j1,j2,...,js) ∈ Sn<br />
{i1,i2,...,ir} ∩ {j1,j2,...,js} = ∅.<br />
Éfácilverqueseσ, τ ∈ Sn são cicl<strong>os</strong> disjunt<strong>os</strong>, então στ = τσ.<br />
Prop<strong>os</strong>ição 1.9 Seja σ ∈ Sn, σ 6= (1). Então σ é igual a um produto <strong>de</strong> cicl<strong>os</strong> disjunt<strong>os</strong><br />
<strong>de</strong> compriment<strong>os</strong> ≥ 2; tal fatoração é única, a men<strong>os</strong> da or<strong>de</strong>m. ¥<br />
Seja D = D(x1,...,xn) a seguinte função nas variáveis x1,...,xn, on<strong>de</strong><br />
xixj = xjxi, ∀i, j ∈ {1,...,n},<br />
D(x1,...,xn) =(x1 − x2)(x1 − x3) ···(x1 − xn)(x2 − x3) ···(x2 − xn) ···(xn−1 − xn)<br />
o qual <strong>de</strong>notarem<strong>os</strong> por<br />
Se σ ∈ Sn, <strong>de</strong>notam<strong>os</strong> por<br />
D = Y<br />
D σ = Y<br />
1≤i