Professional Documents
Culture Documents
and √ √ √ √ √ √
σ2 (a + b 2 + c 3 + d 6) = a − b 2 + c 3 + d 6
are two distinct non-identity elements in Gal(f ) and hence we must
have
Gal(f ) ' S2 × S2
Note that in all the above examples we had the following
o(Gal(f )) = [Kf : Q]
We will show that this is always the case, i.e
Proposition 1. For any normal extension K over a field k of charac-
teristic 0, we have
[K : k] = Gal(K | Q)
Proof. Let λ ∈ K be an element not in k. Then consider the tower
k ⊂ k(α) ⊆ K
If σ(α) = τ (α) for two elements σ, τ ∈ Gal(K | k), then we have
στ −1 ∈ Gal(K | k(α))
Now let [k(α) : k] = d. Then the minimal polynomial f of α over k has
degree d. The Lemma which will proved below says then f has exactly
d roots. Thus from the extension property of splitting fields, we have
Gal(K | k(α)) has index d in Gal(K | k). Now by induction, we have
o(Gal(K | k(α))) = [K : k(α)]. Thus we have
o(Gal(K | k)) = do(Gal(K | k(α))) = [k(α) : k][K : k(α)] = [K : k]
Lemma 2. If f is an irreducible polynomial od degree d over a charac-
teristic 0 field k, then in any algebraically closed field Ω ⊃ k, we have
f has exactly d roots or in otherwords f cannot have repreated roots.
Proof. Consider the map
δ : Ω[t] → Ω[t],
given by
δ(a0 + a1 t + · · · + an tn ) = a1 + 2a2 t + · · · + nan tn−1
Then δ has the following properties (verify this)
(1) δ is Ω linear
(2) δ(f g) = δ(f )g + f δ(g)
4 GALOIS THEORY OVER CHARACTERISTIC 0 FIELDS