1 Polinômio geral de grau n

Suponha que K seja um corpo de característica zero (char(K) = 0), e x1 , · · · , xn sejam variáveis
algebricamente independentes sobre K e L = K(x1 , · · · , xn ) o corpo das funções racionais nestas
variáveis.
Vimos anteriormente que o grupo simétrico age, de forma natural, sobre o corpo L. Isto é,
dado r ∈ L, existem f, g ∈ K[x1 , · · · , xn ], com g 6= 0, tais que
f (x1 , · · · , xn )
r(x1 , · · · , xn ) = .
g(x1 , · · · , xn )
E
f (xσ(1) , · · · , xσ(n) )
σ(r(x1 , · · · , xn )) = r(xσ(1) , · · · , xσ(n) ) =
g(xσ(1) , · · · , xσ(n) )
∀σ ∈ Sn .
A essência da Teoria de Galois está no fato de que elementos distintos do grupo Sn induzem
distintos automorsmos que xam elementos do corpo K que estamos considerando (ROSE:
Eu não consegui encontrar uma demonstração dessa armação, apenas exemplos.
Como podemos resolver isso?). De fato, para exemplicar, considere n = 4 e dena:
σ: L −→ L
r(x1 , x2 , x3 , x4 ) 7−→ r(xσ(1) , rσ(2) , xσ(3) , xσ(4) )

5x61 x4
Suponha que σ ∈ Sn seja tal que σ = (1234). Se r(x1 , x2 , x3 , x4 ) = , então
x52 + x3

5x6σ(1) xσ(4)
σ(r(x1 , x2 , x3 , x4 )) =
x5σ(2) + xσ(3)

5x62 x1
=
x53 + x4
Além disso, como já vimos, sendo sj (x1 , · · · , xn ) um polinômio simétrico elementar qualquer,
temos que σ(sj (x1 , · · · xn )) = sj (xσ(x1 ) , · · · , xσ(x) ) = sj (x1 , · · · , xn ), ∀j ∈ {1, · · · , n} e ∀σ ∈ Sn .
Isto signica que o grupo simétrico Sn é um grupo de automorsmos
Com o que exemplicamos acima, podemos concluir que Sn é o grupo de automorsmos do
corpo L. Nosso objetivo é determinarmos o corpo xo por Sn , que é representado pelo conjunto:
LSn = {r(x1 , · · · , xn ) ∈ L; σ(r(x1 , · · · , xn )) = r(x1 , · · · , xn ), ∀σ ∈ Sn }

Teorema 1.1: Sejam K um corpo com característica zero, x1 , · · · , xn indeterminadas sobre

K , F = K(s1 , · · · , sn ) onde si são os polinômios simétricos elementares em x1 , · · · , xn , e f (x) =
xn −s1 xn−1 +s2 xn−2 +· · ·+(−1)n sn ∈ F [x]. Então L = K(x1 , · · · xn ) = Gal(f, F ) e Sn = AutF L.
Demonstração: Seja K um corpo com característica zero e x1 , · · · xn variáveis algebricamente

independentes sobre K . Consideremos L = K(x1 , · · · , xn ) e f (x) = (x−x1 )(x−x2 ) · · · (x−xn ) ∈

L[x].
Seja F = K(s1 , · · · sn ). Então F ⊂ L e podemos obter f como
f (x) = xn − s1 xn−1 + s2 xn−2 + · · · + (−1)n sn ∈ F [x]

Logo, f se fatora linearmente em L[x] e, portanto, L = Gal(f, F ).

Agora, observe que cada σ ∈ Sn dene, de maneira natural, um automorsmo de L como
já vimos.

1
 Armamos que Sn = AutF L. Note que:

θ(AutF L) = {r(x1 , · · · , xn ) ∈ L; σ(r) = r, ∀σ ∈ Sn }

é o corpo das funções simétricas. Veja que K ⊂ (θ), e é claro que s1 , · · · sn ∈ θ(AutF L). Assim,
F = K(s1 , · · · , sn ) ⊂ θ(AutF L) ⊂ L. Por outro lado,

n! = |Sn | = [L : θ(AutF L)] ≤ [L : F ] ≤ n!

Portanto, [L : θ(AutF L)] = [L : F ] = n!, e por isso, θ(AutF L) = F = K(s1 , · · · , sn ). Assim,

Sn = AutF L