“I mean to be positive and behave, but there are way too many options. Men think primarily with their penises, women care too much about money, and then women find themselves in soon-to-be-expired relationships with men who want to fuck their holes. Oh, that’s so rude, cold, and uncivilized of you to say, because, of course, how sophisticated, sweet, and romantic hole fucking really is,” I said, realizing that once brutal honesty has been deployed and executed, excuses are no longer an option, Apocalypse, Anawim, #justtothepoint.
A field F is a commutative ring with identity in which every nonzero element has an inverse or F^{x} = F -{0} is an Abelian group under multiplication.
Let 0_{F} and 1_{F} denote the additive and multiplicative identity of F respectively, then F is closed under addition by definition, and therefore, it contains 1_{F} + 1_{F}, 1_{F} + 1_{F}+ 1_{F}, and so on. These elements may not all be distinct. Let’s define n·1_{F} = 1_{F} + ··· + 1_{F} (n times).
We define the characteristic of a field F, char(F), as the smallest positive integer p such that p·1_{F} = 1 + 1 + ··· + 1 (p times) = 0 if such a p exists, or char(F) = 0 if 1 + 1 + ··· + 1 ≠ 0 ∀n ∈ N, e.g., char(ℝ) = char(ℚ) = 0; and for any prime p, $\mathfrak{F}_p=ℤ/pℤ$ has characteristic p.
We know that ∀n, m ∈ ℤ^{+},
Theorem. Let F be a field. Then, the characteristic of F is either zero or a prime number,
Proof.
Suppose for the sake of contradiction, char(F) = n, n ≠ 0 and n is not prime ⇒ ∃a, b ∈ F: n = ab, with n·1_{F} = 1 + 1 + ··_{n}·· + 1 + 1 = 0 ⇒ ab·1_{F} = 0 ⇒ (a·1_{F})(b·1_{F}) = 0 ⇒ [A field is a ring with no zero divisors.] a·1_{F} = 0 or b·1_{F} = 0 ⊥ (char(F) = n). Therefore, the smallest positive integer p such that p·1_{F} = 1 + 1 + ··· + 1 (p times) = 0 if such a p exists, it is necessarily a prime. Futhermore, if n·1_{F} = 0, then n is divisible by char(F) = p, and p·n = n + n + ··· + n (p times) = n·1_{F} + n·1_{F} + ··· + n·1_{F} (p times) =[By assumption, n·1_{F} = 0] 0.
Let’s define (-n)·1_{F} = -(n·1_{F}) for n > 0, 0·1_{F} = 0, then we have the following ring homomorphism Φ: ℤ → F, defined as Φ(n) = n·1_{F} where ker(Φ) = char(F)ℤ.
If we take the quotient by the kernel gives us an injection of either ℤ (char(F) = 0) or ℤ/pℤ (char(F) = p). Since F is a field, it contains a subfield isomorphic either to ℚ (the field of fractions of ℤ) or to $\mathfrak{F}_p=ℤ/pℤ$ (the field of fractions of ℤ/pℤ). In either case, it is the smallest subfield of F containing 1_{F}, the prime subfield, that is, the field generated by the multiplicative identity 1_{F} of F, e.g., the prime subfield of both ℚ and ℝ is ℚ.
Definition. If F is a subfield of a field E, then E is called an extension field of F, denoted E/F or E:F. (Figure 1.a.)
Examples.
Suppose that a field F does not contain any element x such that x^{2} = -1 (as in ℝ), then the polynomial x^{2} + 1 would be irreducible in F[x] ⇒ The ideal ⟨x^{2} + 1⟩ would be maximal and E = F[x]/⟨x^{2} + 1⟩ is an extension field of F that contains a root for x^{2} = -1. Figure 1.b.
Similarly, we can construct splitting fields of any polynomial in F[x]. Let E be an extension of F, the given polynomial splits into a product of linear factors, e.g., a_{0} + a_{1}x + ··· + a_{n}x^{n} = (x -α_{1})(x -α_{2}) ··· (x -α_{n})
Let E be an extension of F,
The extension is said to be finite if [E:F] is finite, its base could be counted. Otherwise, if [E:F] is infinite, the extension is said to be ∞.
Examples.
Consider that ℂ = ℝ(i), ℚ($\sqrt{2}$), ℚ($\sqrt{2}, \sqrt{3}$) are algebraic extensions. The elements which has been adjoint to these fields are the root of some irreducible polynomials (x^{2} + 1 in ℝ, x^{2} -2 in ℚ, (x^{2} -2)(x^{2} - 3) in ℚ respectively), and they are called algebraic elements.
Multiplicative property of degree extensions. Let F ⊆ E ⊆ K be a tower of fields. If [K:E] < ∞ and [E:F] < ∞ then, (i) [K:F] < ∞, and (ii) [K:F] =[K:E][E:F]
Proof:
Let [K:E] = m and [E:F] = n, and consider the basis of K over E be {v_{1}, v_{2}, ···, v_{m}}, and the basis of E over F be {w_{1}, v_{2}, ···, w_{n}}.
∀u ∈K, then u = $\sum_{i=1}^m a_iv_i, ~a_i~∈~E$ because K is a vector space over E with basis {v_{1}, v_{2}, ···, v_{m}}, and E is a vector space over F with basis {w_{1}, v_{2}, ···, w_{n}}, so a_{i} ∈ E, then $a_i=\sum_{j=1}^n b_{ij}w_j, b_{ij}∈F$
u = $\sum_{i=1}^m a_iv_i=\sum_{i=1}^m\sum_{j=1}^n b_{ij}(v_iw_j),b_{ij}∈F$
And therefore, the set {v_{i}w_{j}} where i=1,···, m and j=1, ···, n form a set generator with nm elements of the vector space K over F, so [K:F] ≤ mn, and therefore [K:F] < ∞ (i).
To prove the set {v_{i}w_{j}} forms a basis, we need to show these vectors are linearly independent.
Assume $\sum_{i=1}^m\sum_{j=1}^n b_{ij}(v_iw_j)=0, b_{ij}∈F$. We need to prove that b_{ij} = 0. This sum can be rewritten as $\sum_{i=1}^m\sum_{j=1}^n (b_{ij}w_j)v_i=0$ [Commutativity and Associativity] and $\sum_{i=1}^m c_iv_i=0, where~ c_i=\sum_{j=1}^n (b_{ij}w_j)∈E$ is a linear combination of vectors of E with scalars of F.
As {v_{1}, v_{2}, ···, v_{m}} is a basis of K over E ⇒ c_{i} = 0, i = 1, 2, ···, m ⇒ $c_i=\sum_{j=1}^n (b_{ij}w_j)=0$ where b_{ij} ∈ F and {w_{1}, v_{2}, ···, w_{n}} is a basis of E over F ⇒ b_{ij} = 0 ∎ Therefore, (ii) [K:F] = n·m = [K:E]·[E:F]
Exercise. Show that $\sqrt{2}∉ℚ(\sqrt[5]{2})$. The irreducible polynomial of $\sqrt[5]{2}$ is x^{5} - 2 ∈ ℚ[x] (Eisenstein criteria, p = 2) ⇒[x^{5} - 2 irr. ⇒ ⟨x^{5}-2⟩ maximal ⇒ ℚ($\sqrt[5]{2}) = \frac{ℚ[x]}{⟨x^5-2⟩}$] [ℚ($\sqrt[5]{2}$) : ℚ] = 5. For the sake of contradiction suppose $\sqrt{2}∈ℚ(\sqrt[5]{2})$, then there is a tower of extensions $ℚ ⊆ ℚ(\sqrt{2}) ⊆ ℚ(\sqrt[5]{2})$ ⇒ [ℚ($\sqrt[5]{2}$) : ℚ] = 5 = [ℚ($\sqrt[5]{2}$) : ℚ($\sqrt{2}$)] · [ℚ($\sqrt{2}$) : ℚ] = α · 2, α ∈ ℕ ⊥. Observe that [ℚ($\sqrt{2}$) : ℚ] = 2, x^{2} -2 is an irreducible polynomial of ℚ with root $\sqrt{2}$.
Definition. An embedding of F into E is an injecting homomorphism of a field F into a field E, σ: F → E.
Theorem. Let E and F be two fields, and let σ: F → E be an embedding of a field F into a field E. Then there exist a field K such that F is a subfield of K and σ can be extended to an isomorphism of K onto E.
Notice that (i) K is an extension of F. (ii) σ can be extended to σ*: K → E, and σ* is an isomorphism of K onto E (Figure 1.e.).
Proof.
Notice that σ: F → E is an embedding ⇒ σ is homomorphism, 1-1, σ(F)⊂E (it is not onto). We are going to define a new set S such that cardinality(S) = cardinality(E -σ(F)), and S ∩ F = ∅. Then, let f: S → E -σ(F) be a bijection (1-1 and onto), and let K = F ∪ S.
Define σ*: K → E, σ*(a)$ = \begin{cases} σ(a), &a ∈ F\\\\ f(a), &a ∈ S \end{cases}$
We claim that σ* is an isomorphism of K onto E.
We have defined K = F ∪ S. The field structure on K is defined ∀x, y ∈ K, as
Therefore, if σ: F → E is an embedding, we can identify F with the corresponding image σ(F) in E, basically we write 'x' in place of σ(x). Futhermore, E (E ≋ K), hence it can be considered as an extension of F.
Theorem. Let p(x) be an irreducible polynomial in F[x]. Then, there exists an extension E of F in which p(x) has a root.
Proof. Suppose p(x) is an irreducible polynomial in F[x] ⇒ The ideal generated by p(x), i.e., ⟨p(x)⟩ is a maximal ideal ⇒ E = F[x]/⟨p(x)⟩ is a field.
Define σ: F → E by σ(a) = $\bar a=a+⟨p(x)⟩$ It is easy to prove that σ is one-to-one and homomorphism, so σ is an embedding of F into E. Using the previous result, E is regarded as an extension of F.
Let p(x) = a_{0} + a_{1}x + ··· + a_{n}x^{n}, be a polynomial in F[x], a_{n} ≠ 0, a_{i} ∈ F
Then, in E, x + ⟨p(x)⟩ is a zero or root of p. $p(x + ⟨p(x)⟩)=a_0 + a_1(x + ⟨p(x)⟩) + ··· + a_n(x + ⟨p(x)⟩)^n=$ a_{0} + a_{1}x + ⟨p(x)⟩ + a_{2}x^{2} + ⟨p(x)⟩ ··· + a_{n}x^{n} + ⟨p(x)⟩ = p(x) + ⟨p(x)⟩ =[By absorption] 0 + ⟨p(x)⟩.
Krnoecker’s Theorem. Existence of extension. Let F be a field and let f(x) be a non-constant polynomial in F[x]. Then, there exists an extension E of F in which f(x) has a root or zero. (Figure 1.f)
Proof.
There are two cases:
Every field F is a UFD (every non-zero non-unit element can be written as a product of prime or irreducible elements, uniquely up to order and units) because it is an integral domain and everything non-zero is a unit. The polynomial ring over F is a UFD, that is, F[x] is a UFD, too, and therefore f(x) can be factored into the product of irreducible polynomials. Let p(x) be an irreducible factor of f(x) in F[x].
Let p(x) be an irreducible polynomial in F[x] ⇒ We know that the ideal generated by any irreducible polynomial is a maximal ideal, ⟨p(x)⟩ is a maximal ideal. Moreover, the quotient ring E = F[x]/⟨p(x)⟩ is a field.
Let’s define σ: F → E by σ(a) = $\overline a$ = a + ⟨p(x)⟩. σ is a one-to-one homomorphism, and therefore E has a subfield isomorphic to F. It is reasonable to think of E as containing F and identify the coset a + ⟨p(x)⟩ with its coset representative that belongs to F as just “a” and vice versa or, in other words, σ is an embedding of F into E.
Finally, let’s prove that p(x) = a_{0} + a_{1}x + ··· + a_{n}x^{n} has a root in E, where a_{i} ∈ F, a_{n} ≠ 0
Then, in E, x + ⟨p(x)⟩ is a zero or root of p. p(x + ⟨p(x)⟩) = a_{0} + a_{1}(x + ⟨p(x⟩) + a_{2}(x + ⟨p(x⟩)^{2} + ··· + a_{n}(x + ⟨p(x⟩)^{n} = a_{0} + a_{1}(x + ⟨p(x⟩) + ··· + a_{n}(x^{n} + ⟨p(x⟩) = p(x) + ⟨p(x⟩) = 0 + ⟨p(x⟩)∎
Theorem. Let p(x) be an irreducible polynomial in F[x] and let u be a root of p(x) in an extension E of F. Then,
F(u), the subfield of E generated by F and u is the smallest field containing F and u. It is indeed F[u], the smallest subring containing both F and u = {b_{0} + b_{1}u + ··· + b_{m}u^{m} ∈ E | b_{0} + b_{1}x + ··· + b_{m}x^{m} ∈ F[x]}
If the degree of p(x) is n, the set {1, u, ···, u^{n-1}} forms a basis of F(u) over F, i.e., each element of F(u) can be written uniquely as c_{0} + c_{1}u + ··· + c_{n}u^{n-1} where c_{i} ∈ F, and [F(u):F] = n.
Example. Let p(x) = x^{2} -2 be an irreducible polynomial in ℚ[x], x = $\sqrt{2}$ is its root in some extension E of ℚ. This theorem says,
(i) ℚ($\sqrt{2}$) is a subfield of E generated by ℚ and $\sqrt{2}$.
(ii) The set {1, $\sqrt{2}$} is the basis set of ℚ($\sqrt{2}$) because degree(x^{2} -2 ) = 2. Moreover, every element in ℚ($\sqrt{2}$) can be uniquely represented as linear combination of 1 and $\sqrt{2}$, and [ℚ($\sqrt{2}$):ℚ] = 2.
Proof:
Let p(x) be any irreducible polynomial in F[x], and let u be a root of p(x) in an extension E of E.
(i) Let F(u) denote the smallest subfield of E containing F and u. F[u] = {b_{0} + b_{1}u + ··· + b_{m}u^{m} ∈ E, where b_{0} + b_{1}x + ··· + b_{m}x^{m} ∈ F[x]}
We claim that F[u] = F(u). Consider the map Φ:F[x] → E, defined as Φ(b_{0} + b_{1}x + ··· + b_{m}x^{m}) = b_{0} + b_{1}u + ··· + b_{m}u^{m} where b_{0} + b_{1}x + ··· + b_{m}x^{m} ∈ F[x].
We claim that Φ is a homomorphism.
Φ ( (b_{0} + b_{1}x + ··· + b_{m}x^{m}) + (c_{0} + c_{1}x + ··· + c_{m}x^{m}) ) = Φ ((b_{0}+c_{0}) + (b_{1}+c_{1})x + ··· + (b_{m}+c_{m})x^{m}) = (b_{0}+c_{0}) + (b_{1}+c_{1})u + ··· + (b_{m}+c_{m})u^{m} = (b_{0} + b_{1}u + ··· + b_{m}u^{m}) + (c_{0} + c_{1}u + ··· + c_{m}u^{m}) = Φ(b_{0} + b_{1}x + ··· + b_{m}x^{m}) + Φ(c_{0} + c_{1}x + ··· + c_{m}x^{m})
Analogously, Φ ( (b_{0} + b_{1}x + ··· + b_{m}x^{m}) · (c_{0} + c_{1}x + ··· + c_{m}x^{m}) ) = Φ ((b_{0}c_{0}) + (b_{0}c_{1}+b_{1}c_{0})x + ··· + (b_{m}c_{m})x^{2m}) = (b_{0}c_{0}) + (b_{0}c_{1}+b_{1}c_{0})u + ··· + (b_{m}c_{m})u^{2m}) = (b_{0} + b_{1}u + ··· + b_{m}u^{m}) · (c_{0} + c_{1}u + ··· + c_{m}u^{m}) = Φ(b_{0} + b_{1}x + ··· + b_{m}x^{m}) · Φ(c_{0} + c_{1}x + ··· + c_{m}x^{m})
ker(Φ) contains all those polynomials f(x) such that Φ(f(x)) = 0, i.e., f(u) = 0. By assumption u is a root of p(x), p(x) ∈ Ker(Φ).
As F[x] is a polynomial ring and a principal ideal domain (PID). Thus, since Ker(Φ) is an ideal, it is generated by a single element, say Ker(Φ) = ⟨g(x)⟩ ⇒[p(x) ∈ Ker(Φ)] p(x) = g(x)·h(x) for some h(x) ∈ F[x]. However, because p(x) is irreducible, h(x) is a scalar (h(x) ∈ F)
∴ ⟨g(x)⟩ = ⟨p(x)⟩ = Ker(Φ).
Using the Fundamental Theorem of Homomorphism, Image(Φ) ≋ F[x]/Ker(Φ) ↭ {b_{0} + b_{1}u + ··· + b_{m}u^{m} ∈ E, where b_{0} + b_{1}x + ··· + b_{m}x^{m} ∈ F[x]} ≋ F[x]/Ker(Φ) ↭ F[u] ≋ F[x]/Ker(Φ) = F[x]/⟨p(x)⟩. Remember that p(x) is irreducible in F[x] ↭ the ideal generated by this polynomial ⟨p(x)⟩ is maximal and F[x]/⟨p(x)⟩ is a field. Moreover, it is the smallest subfield of E containing F and u. Thus, F[u] = F(u).
(ii) Consider the elements 1, u, u^{2}, ···, u^{n-1} in F(u) and let p(x) be any minimal or irreducible polynomial of u over F of degree n.
Let’s suppose by reduction to the absurd that {1, u, u^{2}, ···, u^{n-1}} is linearly dependent. Let α_{0}·1 + α_{1}·u + ··· + α_{n-1}·u^{n-1} = 0, where α_{i} ∈ F and not all α_{i}’s are zero ⇒ u satisfies a polynomial of degree n-1 < degree(p(x)), and we have assumed that p(x) is the minimal (or irreducible) polynomial of u over F ⊥ ⇒ {1, u, u^{2}, ···, u^{n-1}} is linearly independent.
Next, we need to prove that {1, u, u^{2}, ···, u^{n-1}} is the generating set of F(u). Let f(u) ∈ F(u) ⇒[Recall F[u] = {b_{0} + b_{1}u + ··· + b_{m}u^{m} ∈ E, where b_{0} + b_{1}x + ··· + b_{m}x^{m} ∈ F[x]}≋ F[x]/Ker(Φ) ≋ F[x]/⟨p(x)⟩ ≋ F(u) ] f(x) ∈ F[x] and p(x) ∈ F[x] ⇒ [By the division algorithm] f(x) = p(x)q(x) + r(x) where r(x) = 0 or deg(r(x)) < deg(p(x)) ⇒ f(u) = p(u)q(u) + r(u) ⇒ [u is a root of p(x)] f(u) = r(u) 🚀.
As deg(r(x)) < deg(p(x)) = n ⇒ deg(r(x)) < n. r(x) = β_{0} + β_{1}x + ··· + β_{n-1}x^{n-1} is a polynomial of F[x] of degree n-1
∴ f(u) =🚀 r(u) = β_{0} + β_{1}u + ··· + β_{n-1}u^{n-1}. Hence, for any arbitrary f(u) ∈ F(u) is generated from {1, u, u^{2}, ···, u^{n-1}}. Thus, {1, u, u^{2}, ···, u^{n-1}} is a basis of F(u) over F and this set has n-elements, so [F(u):F] = n∎