I used to think that I was depressed, insane, self-absorbed, overthinking too much, left unsupervised for too long, and surrounded by assholes, dick-suckers, and jerks. Now, I am starting to realize that rock bottom has a basement and a cellar, the world is getting crazier, nastier, and more meaningless, and I have psychological problems beyond psychologists wildest nightmares and philosophers senseless mental masturbations, Apocalypse, Anawim, #justtothepoint.

Theorem. Let L/K be an algebraic extension. Every field homomorphism Φ: K → C where C is an algebraically closed field, can be extended to a homomorphism L → C

Proof.

Let S be the set of pairs (F, f) where F is an intermediate field between K and L, f: F → C is a field homomorphism such that f|_{K} = Φ. S = {(F, f): K ⊆ F ⊆ L, f: F → C, homomorphism, f|_{K} = Φ}.

- S ≠ ∅ because (K, Φ) ∈ S.
- We can define a partially order on S by declaring
**(F, f) ≤ (F’, f’) if F ⊆ F’ and f’|F = f**. - For a totally order subset {(F
_{α},fα)}_{α ∈ A}in S, an upper bound can be obtained as follows. Let F = $\cup_{α∈A} F_α$. It is easy to see that**F is a field**. Since the F_{α}’s are totally ordered, f: F → C defined by f(x) = f_{α}(x) where x ∈ F_{α}is obviously an upper bound field homomorphism. **f is well defined**. Suppose f(x) = f_{α}(x) where x ∈ F_{α}and x ∈ F_{β}, too (Shits happens 😄), the question is f_{α}(x) = f_{β}(x)?

By assumption the subset {(F_{α},fα)}_{α ∈ A} is totally order ⇒ (F_{α}, f_{α}) ≤ (F_{β}, f_{β}) or (F_{β}, f_{β}) ≤ (F_{α}, f_{α}).
If (F_{α}, f_{α}) ≤ (F_{β}, f_{β}) ⇒ [By our order definition, f_{β}|_{Fα} = f_{α}] f_{β}(x) = f_{α}(x) ∀x ∈ F_{α} and we are done. The argument in the second case is completely the same (aka mutatis mutandis).

- Let x ∈ K ⇒ x ∈ F
_{α}∀α ∈ A (recall (F, f)∈ S ⇒[By definition] K ⊆ F ⊆ L) ⇒ f(x) = f_{α}(x) = [f_{α}|_{K}= Φ] Φ(x), and therefore**f|**_{K}= Φ - f is a
**field homomorphism**. Let x ∈ F_{α}, y ∈ F_{α’}⇒ [There is total ordering] We can suppose x, y ∈ F_{β}⇒ x·y ∈ F_{β}⇒ f(x·y) = [x·y ∈ F_{β}] f_{β}(x·y) = [f_{β}is a field homomorphism] f_{β}(x)·f_{β}(y) = [x, y ∈ F_{β}, and f|_{Fβ}= f_{β}because (F, f) is obviously an upper bound on all the (F_{α}, f_{α})’s] f(x)·f(y).

By Zorn’s lemma, S has a maximal element (F, σ): F is a field between K and L (K ⊆ F ⊆ L), with a homomorphism σ: F → C such that σ|_{K} = Φ. Futhermore, it is a maximal element, so it means that there is no extension of σ to a homomorphism from a larger intermediate field to C. Claim: **F = L, that is, Φ is extended to a homomorphism L → C by σ**

Let’s suppose for the sake of contradiction, F ≠ L ⇒ [K ⊆ F ⊆ L] ∃ a ∈ L, a ∉ F ⇒ F(a)/F is a finite extension of degree greater than 1. Then, we could extend σ to a homomorphism F(a) → C. Let p(x) be the minimal polynomial for a in F[x], so there is an F-isomorphism F(a) ≋ F[x]/⟨p(x)⟩.

Applying σ to the coefficients of p(x) gives a polynomial p^{σ}(x) ∈ C[x] ⇒ [C is algebraically closed] p^{σ}(x) has a root in C, say r.

Let’s define a ring homomorphism F[x] → C, acting as σ on F, and x → r. It sends p(x) to p^{σ}(r) = [r is a root of p^{σ}] 0, so we get an induced homomorphism F(x)/⟨p(x)⟩ → C acting as σ on F and [$\bar x$ = x + ⟨p(x)⟩ → r] sending $\bar x$ to r. Composing the isomorphism F(a) ≋ F[x]/⟨p(x)⟩ with this induced homomorphism F(x)/⟨p(x)⟩ → C gives us a homomorphism τ: F(a) → C acting as σ on F ⇒ (F, σ) ≤ (F(a), τ) ⊥ (F, σ) is a maximal element, F ≠ F(a) (a ∉ F).

τ = F-isomorphism, F(a) → F[x]/⟨p(x)⟩ composed with F(x)/⟨p(x)⟩ → C, $\bar x$ = x + ⟨p(x)⟩ → r acting as σ on F.

Theorem. Let K be a field and i: K → L be a homomorphism to a field L such that L/i(K) is an algebraic extension. If ϕ is a field homomorphism ϕ: K → C, and C is an algebraically closed field, then there is a field homomorphism σ : L → C such that σ ◦ i = ϕ (it makes the following diagram commute)

Proof.

Since “i” is a field homomorphism ⇒ i is injective ⇒ K ≋ i(K). We can use the same argument as before but using:

- S = {(F, f): F field, i(K) ⊆ F ⊆ L, f∘i: F → C, homomorphism, f∘i = Φ}.
- Define a partially order on S by declaring (F, f) ≤ (F’, f’) if F ⊆ F’ and f’|F = f.
- For a totally order subset {(F
_{α},fα)}_{α ∈ A}in S, an upper bound can be obtained as follows. Let F = $\cup_{α∈A} F_α$,**F is a field**(since the F_{α}’s are totally ordered) f: F → C defined by f(x) = f_{α}(x) when x ∈ F_{α}. - By Zorn’s lemma, S has a maximal element (F, σ): F is a field between i(K) and L (i(K) ⊆ F ⊆ L), with a homomorphism σ: F → C such that σ∘i = Φ. Futhermore, it is a maximal element, so it means that there is no extension of σ to a homomorphism from a larger intermediate field to C. Claim:
**F = L ⇒ σ: L → C such that σ∘i = Φ**(it is left to the reader as an exercise).

- A field F is algebraically closed if every non-constant polynomial f(x) ∈ F[x] has a zero in F. A field F is algebraically closed iff every non-constant polynomial in F[x] factors into linear polynomials over F[x]

Proof.

Assume F is algebraically closed, let f(x) ∈ F[x] be non-constant ⇒ ∃α ∈F: f(α) = 0 ⇒[Factor Theorem, F field, f ∈ F[x], α ∈ F is a zero or root of f, i.e., f(α) = 0 ↭ (x -α)|f(x)] f(x) = (x -α)g(x) for some g(x) ∈ F[x].

If g(x) is not constant ⇒ ∃β ∈ F: g(β) = 0, hence g(x) = (x -β)h(x) and f(x) = (x -α)(x -β)h(x) for some h(x) ∈ F[x]. If we continue this process, we can express f(x) as a product of linear polynomials.

- Corollary. Let F be an algebraically closed field, and let f(x) ∈ F[x] be irreducible. Then, f(x) is linear.

Proof. If f(x) is not linear, then we can write it as a product of more than one linear factor, which means that it is not irreducible

- Any algebraically closed field F has no proper algebraic extensions.

Proof.

Suppose for the sake of contradiction, E is a proper algebraic extension of F. Let α ∈ E an algebraic element, α ∉ F ⇒[Corollary. Let F be an algebraically closed field, and let f(x) ∈ F[x] be irreducible. Then, f(x) is linear] The irreducible polynomial of α, irr(α, F) ∈ F[x] must be linear, and since α is a zero of irr(α, F) we must have irr(α, F) = x - α ⇒[irr(α, F) = x - α ∈ F[x]] α ∈ F ⊥ Hence, E = F.

Theorem. All algebraic closures of a field are isomorphic. Let C_{1} and C_{2} be algebraic closures of a field K with embeddings i_{1} : K → C_{1} and i_{2} : K → C_{2} respectively, then there is a field isomorphism σ that makes the following diagram commute.

Proof. Since C_{2} is algebraically closed and C_{1} is an algebraic extension of i_{1}(K) ⇒ [i: K → L homomorphism, L/i(K) is an algebraic extension. ϕ field homomorphism: K → C, and C is an algebraically closed field, then there is a field homomorphism σ : L → C such that σ ◦ i = ϕ] **There is a field homomorphism σ: C _{1} → C_{2} such that σ ◦ i_{1} = i_{2}**

The image σ(C_{1}) is an algebraically closed field that contains σ(i_{1}(K)) = i_{2}(K). Since C_{2} is an algebraic extension of i_{2}(K) ⇒ C_{2}/σ(C_{1}) is an algebraic extension of an algebraically closed field ⇒ [Any algebraically closed field F has no proper algebraic extension] the extension C_{2}/σ(C_{1}) is trivial ⇒ σ(C_{1}) = C_{2} ⇒ σ: C_{1} → C_{2} is not just a field homomorphism (injective), but a field isomorphism ⇒ **σ ◦ i _{1} = i_{2} is a field isomorphism, and the diagram commute**.

Exercise. Let p be a prime number, find the splitting field of X^{p} -2 over ℚ and its degree over ℚ.

Solution.

Let K be the splitting field fo x^{p} -2 over ℚ. Its roots are $ξ_p^i\sqrt[p]{2}∈\mathbb{R}$, where ξ_{p} is a primitive pth root of unity, 0 ≤ i ≤ p-1 ⇒ **K = ℚ($ξ_p, \sqrt[p]{2}$)**, e.g., K = $ℚ(\sqrt[3]{2}, w)$ is the splitting field of x^{3} -2 over ℚ

By Eisenstein criteria X^{p} -2 is irreducible polynomial over ℚ, and the irreducible polynomial of ξ_{p} is not x^{p} -1 because it factors (x -1)(x^{p-1} + x^{p-2} + x^{2} + x +1 ), but it is indeed (x^{p-1} + x^{p-2} + x^{2} + x +1 ) that is irreducible (Corollary For any prime p, the pth cyclotomic polynomial Φ_{p}(x) = $\frac{x^p-1}{x-1}=x^{p-1}+x^{p-2}+···+x+1$ is irreducible over ℚ.) ⇒ [$\mathbb{Q}(\sqrt[p]{2}): ℚ$] = p, [ℚ(ξ_{p}): ℚ] = p -1.

n = [K : $\mathbb{Q}(\sqrt[p]{2})$][$\mathbb{Q}(\sqrt[p]{2}) : \mathbb{Q}$] = [K : $\mathbb{Q}(\sqrt[p]{2})$]·p ⇒ p | n and n ≤ p(p -1) that’s because K = $(\mathbb{Q}\sqrt[p]{2})(ξ_p)$ ⇒ [K : $\mathbb{Q}(\sqrt[p]{2})$] ≤ p-1.

Analogously, n = [K : ℚ(ξ_{p})][$\mathbb{Q}(ξ_p) : \mathbb{Q}$] = [K : ℚ(ξ_{p})]·(p-1) ⇒ (p-1) | n. Then, p | n, (p-1) | n, n ≤ p(p -1), p prime ⇒ n = p(p-1).

Proposition. Let K/F be an algebraic extension, let σ: K → K be an F-homomorphism. Then, σ is an isomorphism. Every F-homomorphism between K to itself is an isomorphism.

Proof.

By assumption σ is an F-homomorphism ⇒ it is **injective** [σ(a) = σ(b) ⇒ σ(a)-σ(b) = σ(a -b) = 0 = σ(0). If u = (a-b) = 0 ⇒ we are done, a = b. Otherwise, u ≠ 0 ⇒ σ(u)σ(u^{-1}) = σ(1) = 1, but that means σ(u)σ(u^{-1}) =[σ(u) = σ(a-b) = 0] 0σ(u^{-1}) = 1 ⊥

Let α ∈ K be an arbitrary element. K/F is an algebraic extension, therefore α is algebraic over F, so let us consider its irreducible polynomial f ∈ F[x] over F. Let A = {α = α_{1}, α_{2}, ···, α_{n}} be the set of all roots of f in K (it may not be the set of all roots of f -f does not necessarily splits completely in K-, but at least there is an element, α itself).

⇒ Theorem [K, L be two extension fields of F. α ∈ K is algebraic over F. Let σ: K → L be an F-homomorphism of fields. Then, σ(α) is algebraic over F, too and its irreducible polynomial over F is the same as the irreducible polynomial of α over F] σ(α_{i}) = α_{j}, ∀i, j = 1,···, n, and therefore σ(A) ⊆ A. Let’s restrict σ to A, σ_{A} = σ|A, it is well defined because σ(A) ⊆ A, it is injective because σ is an injective map from K to K, and it is surjective because it is an injective map from a finite map to itself ⇒ ∃α_{i} ∈ A: σ(α_{i}) = α_{1} = α, and therefore σ: K → K is surjective (∀α∈ K, ∃α_{i} ∈ A ⊆ K, σ(α_{i}) = α_{1} = α), hence an isomorphism∎

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, Michael Penn, and Contemporary Abstract Algebra, Joseph, A. Gallian.

- NPTEL-NOC IITM, Introduction to Galois Theory.
- Algebra, Second Edition, by Michael Artin.
- LibreTexts, Abstract and Geometric Algebra, Abstract Algebra: Theory and Applications (Judson).
- Field and Galois Theory, by Patrick Morandi. Springer.
- Michael Penn (Abstract Algebra), and MathMajor.
- Contemporary Abstract Algebra, Joseph, A. Gallian.
- Andrew Misseldine: College Algebra and Abstract Algebra.