Problem 14 - Abstract Algebra: Theory and Applications

Question

Let \(K\) be an algebraic extension of \(E,\) and \(E\) an algebraic extension of \(F\). Prove that \(K\) is algebraic over \(F\). [Caution: Do not assume that the extensions are finite.]

Step-by-Step Solution

Answer

Answer: Yes, if K is an algebraic extension of E, and E is an algebraic extension of F, then K is also an algebraic extension of F. In the given solution, it's shown that for any arbitrary element k in K, there exists a non-zero polynomial p(x) in F[x] such that p(k) = 0, which implies that K is algebraic over F.

Step 1: Introduction of variables

Let \(k \in K\) be an arbitrary element. We need to show that there exists a polynomial \(p(x) \in F[x]\) such that \(p(k) = 0\).

Step 2: Express k as the root of a polynomial over E

Since \(K\) is algebraic over \(E\), there exists a non-zero polynomial \(q(x) \in E[x]\) such that \(q(k) = 0\). Let \(q(x) = a_nx^n + \cdots + a_1x + a_0\) where \(a_i \in E\) for all \(0 \leq i \leq n\).

Step 3: Express each coefficient of q(x) in E

Now, let's consider the coefficients \(a_i \in E\). As \(E\) is algebraic over \(F\), for each \(a_i\), there exists a non-zero polynomial \(r_i(x) \in F[x]\) such that \(r_i(a_i) = 0\). Let \(r_i(x) = b_{i, m_i}x^{m_i} + \cdots + b_{i,1}x + b_{i,0}\) where \(b_{i,j} \in F\) for all \(0 \leq j \leq m_i\).

Step 4: Construct polynomial p(x)

Now, we will construct a polynomial \(p(x) \in F[x]\) that will have \(k\) as its root. For this purpose, we consider the polynomial given by the product of all \(r_i(x)\), evaluated at \(x = k\). That is, we define \(p(x) = \prod_{i=0}^n r_i(x)\), where the product takes one polynomial at a time, up to the polynomial of the last coefficient. Clearly, \(p(x) \in F[x]\), as it is a product of polynomials with coefficients in \(F\).

Step 5: Show that p(k) = 0

To show that \(p(k) = 0\), let's compute the value of \(p(k)\). \(p(k) = \prod_{i=0}^n r_i(k) = r_0(k)r_1(k)\cdots r_n(k)\) Since \(q(k) = 0\) and \(q(x) = a_nx^n + \cdots + a_1x + a_0\), we know that \(a_nk^n + \cdots + a_1k + a_0 = 0\). So, at least one of the coefficients \(a_0, \ldots, a_n\) is non-zero, and this non-zero coefficient has a corresponding polynomial in \(F[x]\), denoted as \(r_i(x)\). This implies that \(r_i(a_i) = 0\). Now, by substituting \(k\) instead of \(a_i\), we obtain: \(r_0(a_0)r_1(a_1)\cdots r_n(a_n) = r_i(a_i) \cdots = 0 \cdots = 0\) Therefore, we have \(p(k) = 0\).

Step 6: Conclude that K is algebraic over F

Since we have shown that for an arbitrary element \(k \in K\), there exists a non-zero polynomial \(p(x) \in F[x]\) such that \(p(k) = 0\), this means that \(K\) is algebraic over \(F\). Hence, we have proved the desired result.

Key Concepts

Abstract Algebra

Abstract Algebra is a field of mathematics that studies algebraic structures such as groups, rings, fields, and modules. It's a generalized form of algebra that goes beyond solving equations to understanding the deeper properties and patterns of mathematical systems. The key to its power lies in the abstraction that allows for a unified approach to solving problems across different mathematical structures.

In field theory, which is a branch of abstract algebra, we deal with fields—a special kind of algebraic structure with two operations, addition and multiplication, that behave similar to the rational, real, or complex numbers we're used to. The importance of abstract algebra in the exercise at hand is its application in proving properties about algebraic extensions, like the transitivity of algebraic elements over fields—a concept integral to our understanding of extensions in algebra.

Field Theory

Field Theory is a part of abstract algebra that studies the nature of fields. A field can be thought of as a sandbox where we can add, subtract, multiply, and divide without running into problems—no divisors of zero, and every element has an inverse, except zero when it comes to multiplication.

In the context of the exercise, Field Theory provides the tools to understand algebraic extensions. An algebraic extension occurs when a larger field contains a smaller field, and every element of the larger field is the root of a non-zero polynomial with coefficients from the smaller field. The exercise shows that these relationships are transitive; if 'K' is an extension of 'E', and 'E' is an extension of 'F', then 'K' is also an extension of 'F'. Field Theory here ensures that the operations within this extended system retain certain properties, which is crucial for verifying the algebraic nature of the extension.

Polynomial Roots

Polynomial Roots are the solutions to polynomial equations. In other words, if you have a polynomial equation like \( p(x) = 0 \), a root is a number \( k \) that makes the equation true when you substitute it in for \( x \).

Understanding the concept of polynomial roots is essential for the exercise because it involves proving that every element of an algebraic extension is a root of some polynomial with coefficients from the base field. Specifically, the exercise dealt with expressing an element \( k \) as the root of a polynomial with coefficients in field 'E', and then using polynomials from field 'F' that have the coefficients in 'E' as roots. This method of constructing new polynomials to show that \( k \) is a root of a polynomial in 'F' demonstrates the elegance of using polynomial roots as a framework for understanding algebraic extensions.