JustToThePoint English Website Version
JustToThePoint en español
JustToThePoint in Thai

Normal extensions

Mathematics is like love; a simple idea, but it can get complicated, Anonymous.


Basically, the fundamental theorem of Galois theory says that you can tell a lot about a field extension by looking at its Galois group. More specifically, it says that for a finite and Galois field extension K/F there is a one-to-one correspondence between its intermediate fields and the subgroups of its Galois group. A finite extension K/F is Galois iff the order of the Galois group equals the degree of the extension, i.e., [K : F] = |Gal(K : F)|.

Notice that Galois’s fundamental theorem does not hold for all extensions. The easiest nontrivial extensions are the algebraic extensions, and more specifically, simple extensions (a field extension which is generated by the adjunction of a single element, called a primitive element), i.e., K = F(a). Let a ∈ K be algebraic over F, let f(x) be its irreducible polynomial, then F(a) = F[a] ≋ F[x]/⟨f(x)⟩, [F[a] : F] = deg f(x) = d, and a basis of F(a) as an F-vector space is {1, a, a2, ···, ad-1}, where d = deg(f), that is, a simple extension's degree equals the degree of the primitive element's minimal polynomial.

Fact. Suppose α is algebraic over F with minimal polynomial f(x) and K = F(α) ⇒ ∀ σ ∈ Aut(K/F)=Gal(K/F), σ(α) is also a root in f(x). Conversely, if β is any other root of f(x) in K ⇒ ∃! τ ∈ Aut(K/F)=Gal(K/F) with τ(α) = β. Therefore, |Gal(K/F)| is equal to the number of roots of f in K, and is (in particular) finite and at most [K : F].

If α1, α2, ···, αs are the distinct roots of f in K. ∀σ ∈ Gal(K/F), σ(αi) = αj and we know that |Gal(K/F)| = s. Futhermore, [K : F] = deg(p), so [K : F] = |Gal(K/F)| if and only if deg(p) is equal to s, the number of distinct roots of the minimal polynomial of α over F.

Certainly, s ≤ deg(p), but they may not be equal because the irreducible polynomial might not split completely in K, e.g., F = ℚ, α = $\sqrt[3]{2}$, p(x) = x3 -2 which has only one root in K = ℚ($\sqrt[3]{2}$), so [ℚ($\sqrt[3]{2}$) : ℚ] = 3 = deg(x3 -2) > 1 = Gal(K/Q). An algebraic extension is called normal if the minimal polynomial of every element split in K. Secondly, some of the roots of p in K may be repeated. An algebraic extension is called separable if the minimal polynomial of every element has no repeated roots in its splitting field. If we take any finite extension K : F that is both normal and separable, then it is indeed true that |Gal(K : F)| = [K : F].

image info


An algebraic field extension M/F is normal if for all α ∈ M, the minimal polynomial of α splits in M.

Lemma. Let M/F be an algebraic extension. Then M/F is normal if and only if every irreducible polynomial over F either has no roots in M or splits completely in M.


⇒) Suppose M/F normal, let p be an irreducible polynomial over F. If f has no roots in M we are done. If f has a root in M, say α ∈ M ⇒ [the minimal polynomial of α is defined as the monic polynomial of least degree among all polynomials in F[x] having α as a root] the minimal polynomial of α is f/c where c ∈ F is the leading coefficient of f ⇒ [M/F is normal] f/c splits completely in M ⇒ f splits completely in M.

⇐) Suppose every irreducible polynomial over F either has no roots in M or splits completely in M. Let α ∈ M, the minimal polynomial of α has at least one root in M, namely α, so it splits completely in M.

Equivalence of Definition of Normal Extensions. Let K/F be a finite extension of fields. Let $\bar \mathbb{F}$ be an algebraic closure of F that contains K (All algebraic closures of a field are isomorphic, so you can take any arbitrary algebraic closure that contains K). Then, the following conditions, any of which can be regarded as a definition of normal extension, are equivalent:

  1. Every embedding of K in $\bar \mathbb{F}$, σ: K → $\bar \mathbb{F}$, induces an F-automorphism from K to itself.

    Recall: An embedding is a ring homomorphism σ: E → F. The Ker(σ) is an ideal of E which cannot be the whole field E, because 1 ∉ Ker(σ) -σ(1) = 1-. The only ideas in fields are the zero or trivial ideal and the whole field itself ⇒ Ker(σ) = {0} ⇒ σ is an injective homomorphism, and E is isomorphic to the subfield σ(E) of F, E ≋ σ(E), this justifies the name embedding.

  2. Every irreducible polynomial f ∈ F[x] with at least one root in K, splits (into a product of linear factors) completely in K[x].

    It is essential that f is irreducible, e.g., K = $ℚ(\sqrt{2})$, F = ℚ. K/F has the conditions of the theorem, f = (x-2)(x2+1) ∈ ℚ[x] has a root in K, namely 2, but it does not split completely in K[x] because f is not irreducible.

  3. K is the splitting field of a polynomial f ∈ F[x].


1 ⇒ 2) Let f ∈ F[x] be an irreducible polynomial with at least one root in K, say α ∈ K be a root of f in K. Of course, f splits completely in $\bar \mathbb{F}[x]$.

Let β be an arbitrary root of f, F ⊆ F(α) (Notice F(α)⊆ K) ≋ [f is irreducible] F[x]/⟨f(x)⟩ ≋ F(β) ⊆ $\bar \mathbb{F}$

σ σ : : K F F ( α ) F F F ( β ) , σ ( α ) = β , F - h o m o m o r p h i s m

σ: F(α)→F(β) is defined by $σ(a_0 + a_1α + ··· + a_{n-1}α^{n-1})=σ(a_0)+σ(a_1)β+···+σ(a_{n-1})β^{n-1}$

Therefore, an extension σ: K → $\bar \mathbb{F}$ exists by the extension theorem ⇒ [1 Applies] σ(K) ⊆ K, α ∈ K, and β = σ(α) ∈ K. In other words, every root of f is in K ⇒ f splits completely over K.∎

2 ⇒ 3) Let K/F be a finite extension, therefore K can be written as K = F(α1,···, αn) where α1,···, αn ∈ K. Suppose that we need all αi to generate K, i.e., we cannot remove any αi to generate K.

A finite extension is algebraic ⇒ Consider fi the irreducible polynomial of every αi over F (Every fi has a root in K and fi is irreducible), αi ∈ K ⇒ [By 2] fi splits completely over K[x].

Consider f = f1f2···fn. Then, f splits completely over K[x] because every singular fi splits completely over K[x] and K = F(α1,···, αn), i.e., the smallest subfield of K containing all the roots of f ∴ K is the splitting field of f over K∎

Recall that a splitting field of a polynomial over a field K is the smallest field extension of that field over which the polynomial splits, i.e., decomposes into linear factors.

3 ⇒ 1) Let K be the splitting field of a polynomial f ∈ F[x] over F. f(x) = p1(x)·p2(x) ··· pn(x), where pi(x) has all their roots in K, so suppose that the roots of all pi are α1, ···, αn, K = F(α1, ···, αn).

Let σ: K → $\bar \mathbb{F}$ be an F-homomorphism. We already have demonstrated that ∀αi: σ(αi) ∈ {α1, α2, ···, αn}

Therefore, ∀i σ(αi) ∈ K ⇒ [K = F(α1, ···, αn)] σ: K → $\bar \mathbb{F}$, σ(K) ⊆ K because every polynomial in K is a polynomial in αi con coefficients in F.∎

Alternative Definition

Let E be an algebraic extension of a field F contained in an algebraic closure $ \bar \mathbb{F}$ of F. The following statements are equivalent:

  1. Every irreducible polynomial over F that has a root in E splits into linear factors in E.
  2. E is the splitting field of a family of polynomials over F.
  3. Every embedding σ: E → $\bar \mathbb{F}$ that keeps each element of F fixed (F-embedding), maps E onto E. σ may be regarded as an automorphism of E.

An extension E/F satisfying one (and hence all) of these conditions is called normal.


i ⇒ ii)

Let α ∈ E ⇒ [E/F algebraic] α is algebraic over F. Let pα(x) be its minimal polynomial over F. ⇒ [By assumption, α ∈ E is a root of pα(x) (i)] pα(x) splits into linear factor in E ⇒ E is the splitting field of a family of polynomials {pα(x)}α ∈ E

ii ⇒ iii)

Let E be the splitting field of a family of polynomials {fi(x)}i ∈ γ, we may write fi(x) = u$\prod_{i=1}^n (x-u_i)$ for some u, u1, ···, un ∈ E. If σ: E → $\bar \mathbb{F}$ is an embedding (1-1, homomorphism) that keeps each element of F fixed ⇒ Any root of fi must be sent to another root by σ (homomorphism), σ(ui) ∈{u1,···, un} but since σ is injective, it must simple permute the roots of f. As E is generated over F by the roots of these polynomials, we obtain σ(E) ⊆ E ⇒ σ is onto.

iii ⇒ i) Let p(x) be an irreducible polynomial over F that has a root α ∈ E. Suppose β ∈ $\bar \mathbb{F}$ be another root of p(x).

Claim. β ∈ E, i.e, all roots of p(x) are in E, thus the polynomial splits into linear factors in E.

As α, β are both roots of p(x) ⇒ We have an F-isomorphism F(α) ≋ F[x]/⟨p(x)⟩ ≋ F(β). Let σ: F(α) → F(β) be the isomorphism, σ|F = id|F, σ(α) = β. E is algebraic over F(α), and by the extension theorem, σ can be extended to an embedding σ’: E → $\bar \mathbb{F}$ ⇒ [By our assumption (iii)] σ’ is an automorphism, and maps E onto E ⇒ σ’(α) = [σ’ is an extension of σ, σ’|F(α) = σ] σ(α) = β ∈E

F ( E α ) - σ - ' σ F ( F β , ) , E / σ F ( ( α α ) ) = β a , l g σ e b f r i a x i e c s F

Examples and counterexamples

Properties and facts

Let α ∈ K \ ℚ ⇒ [K is an extension of ℚ of degree 2] Claim: K = ℚ(α). [ℚ(α) : ℚ] ≥ 2 because α ∈ K \ ℚ.

ℚ ⊆ ℚ(α) ⊆ K, then [K : ℚ] = [By hypothesis] 2 = [K : ℚ(α)][ℚ(α) : ℚ] = 1·2 and [K : ℚ(α)] = 1 (otherwise, there is a contradiction ⊥ [ℚ(α) : ℚ] = 1, but α ∈ K \ ℚ).

Let f = x2 + bx + c ∈ ℚ[x] be the irreducible polynomial of α (it is obviously of degree 2). Suppose that α, β are roots of f in ℂ (By the Fundamental Theorem of Algebra, ℂ is algebraically closed). Then α + β = -b ⇒ β = -b -α ∈ K (b ∈ ℚ ⊆ K, α ∈ K). Therefore, K is the splitting field of f over ℚ, i.e., K is normal over F = ℚ (Observe that α ≠ β because F = ℚ has characteristic zero).

Let f(x) be an irreducible polynomial over a field F. If the field (e.g., ℚ) has characteristic zero, then f(x) has no multiple zeros.

Let σ: K → K, σ(α) = β ≠ α, σ is a ℚ-automorphism of K, and σ ≠ identity ⇒ Gal(K/Q) = {1, σ} ⇒ |Gal(K/Q)| = 2 = [K : ℚ] ⇒ K/ℚ is Galois.


This content is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. This post relies heavily on the following resources, specially on NPTEL-NOC IITM, Introduction to Galois Theory.
  1. NPTEL-NOC IITM, Introduction to Galois Theory.
  2. Algebra, Second Edition, by Michael Artin.
  3. LibreTexts, Abstract and Geometric Algebra, Abstract Algebra: Theory and Applications (Judson).
  4. Fields and Galois Theory. Howie, John. M. Springer Undergraduate Mathematics Series.
Bitcoin donation

JustToThePoint Copyright © 2011 - 2023 Anawim. ALL RIGHTS RESERVED. Bilingual e-books, articles, and videos to help your child and your entire family succeed, develop a healthy lifestyle, and have a lot of fun.

This website uses cookies to improve your navigation experience.
By continuing, you are consenting to our use of cookies, in accordance with our Cookies Policy and Website Terms and Conditions of use.