# Extension Theorems II

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:

1. S = {(F, f): F field, i(K) ⊆ F ⊆ L, f∘i: F → C, homomorphism, f∘i = Φ}.
2. Define a partially order on S by declaring (F, f) ≤ (F’, f’) if F ⊆ F’ and f’|F = f.
3. 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α.
4. 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 C1 and C2 be algebraic closures of a field K with embeddings i1 : K → C1 and i2 : K → C2 respectively, then there is a field isomorphism σ that makes the following diagram commute.

Proof. Since C2 is algebraically closed and C1 is an algebraic extension of i1(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 σ: C1 → C2 such that σ ◦ i1 = i2

The image σ(C1) is an algebraically closed field that contains σ(i1(K)) = i2(K). Since C2 is an algebraic extension of i2(K) ⇒ C2/σ(C1) is an algebraic extension of an algebraically closed field ⇒ [Any algebraically closed field F has no proper algebraic extension] the extension C2/σ(C1) is trivial ⇒ σ(C1) = C2 ⇒ σ: C1 → C2 is not just a field homomorphism (injective), but a field isomorphism ⇒ σ ◦ i1 = i2 is a field isomorphism, and the diagram commute.

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

Solution.

Let K be the splitting field fo xp -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 x3 -2 over ℚ

By Eisenstein criteria Xp -2 is irreducible polynomial over ℚ, and the irreducible polynomial of ξp is not xp -1 because it factors (x -1)(xp-1 + xp-2 + x2 + x +1 ), but it is indeed (xp-1 + xp-2 + x2 + 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∎

# Bibliography

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.
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. Field and Galois Theory, by Patrick Morandi. Springer.
5. Michael Penn (Abstract Algebra), and MathMajor.
6. Contemporary Abstract Algebra, Joseph, A. Gallian.
7. Andrew Misseldine: College Algebra and Abstract Algebra.
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.