<<

Subject :

Paper 1 :

Chapter 8 : Extensions

Module 3 : Algebraic extensions

Anjan Kumar Bhuniya Department of Mathematics Visva-Bharati; Santiniketan West Bengal

1 Algebraic extensions

Learning Objectives: 1. Algebraic extensions. 2. Every finite extension is algebraic. 3. If F/L and L/K are algebraic then F/K is so. 4. Characterization of simple algebraic extensions.

Every a + ib is a root of the real (x − a)2 + b2. Thus in the extension C/R, every z ∈ C is an over R. But there are real numbers which are not algebraic elements over Q. In this module, we consider the field extensions F/K such that every element of F is algebraic over K. Such extensions are called algebraic extensions. Different characterizations of algebraic extensions have been done here.

Definition 0.1. A field extension F/K is called an if every element of F is an algebraic element over K. Otherwise F/K is called transcendental extension.

Thus an extension F/K is transcendental if and only if there is an element in F which is transcendental over K.

Example 0.2. 1. C/R is an algebraic extension.

2. R/Q is an transcendental extension. (e, π ∈ R are transcendental over Q)

Consider a field extension F/K and an element c in F . In the previous module, we proved that K(c) is a finite extension of K if c is algebraic over K. Now we show that c is algebraic over K if K(c)/K is finite. In fact, we have the result in a more general form.

Theorem 0.3. Every finite extension is algebraic.

Proof. Let F/K be an extension of fields such that [F : K] = n. Consider c ∈ F . Then 2 n {1, c, c , ··· , c } cannot be linearly independent. So there are k0, k1, ··· , kn in K such that some of them are non zero and n k0 + k1c + ··· + knc = 0.

n Then f(x) = k0 +k1x+···+knx ∈ K[x] is a nonzero polynomial such that f(c) = 0, and so c is an algebraic element over K. Since c is an arbitrary element of F , F/K is an algebraic extension.

2 Now let us consider the converse of the above theorem. First note that if K(c)/K is algebraic then c is algebraic over K and hence K(c)/K is a finite extension. Thus a simple extension K(c)/K is algebraic if and only if it is finite. Following example shows that there are algebraic extensions which are not finite. Thus the converse of the above theorem is not true in general. Details of the following example can be found in “Fundamentals of Abstract Algebra” by Malik, Mordeson and Sen. √ √ √ Example 0.4. Arrange primes 2, 3, 5, ··· in ascending order. Show that Q( 2, 3, 5, ··· )/Q is an infinite algebraic extension of fields.

Now we prove a necessary and sufficient condition for an algebraic extension to be finite.

Theorem 0.5. An algebraic extension F/K is finite if and only if F = K(c1, c2, ··· , cn) where c1, c2, ··· , cn ∈ F .

Proof. First assume that F/K is finite. Then F has a finite basis over K, say {c1, c2, ··· , cn} and it follows that F = K(c1, c2, ··· , cn).

Conversely, let F = K(c1, c2, ··· , cn) for some c1, c2, ··· , cn ∈ F . Since F/K is an algebraic extension, c1, c2, ··· , cn are algebraic over K. Denote the minimal polynomial of ci over K by mi(x) and di = deg mi(x) for all i = 1, 2, ··· , n. Then the minimal polynomial of ci over K(c1, c2, ··· , ci−1) is a factor of mi(x) and it follows that [K(c1, c2, ··· , ci): K(c1, c2, ··· , ci−1)] ≤ di. Thus, by the tower rule, [K(c1, c2, ··· , cn): K] = [K(c1, c2, ··· , cn): K(c1, c2, ··· , cn−1)][K(c1, c2, ··· , cn−1):

K(c1, c2, ··· , cn−2)] ··· [K(c1): K] ≤ d1d2 ··· dn which implies that F/K is finite.

From the above proof it follows that K(c1, c2, ··· , cn) is a finite extension of K if c1, c2, ··· , cn are algebraic over K. Thus we have the following equivalent characterizations:

Corollary 0.6. Let F/K be a field extension and c1, c2, ··· , cn ∈ F . Then the following conditions are equivalent:

1. K(c1, c2, ··· , cn)/K is finite;

2. K(c1, c2, ··· , cn)/K is algebraic;

3. c1, c2, ··· , cn are algebraic over K.

Also we have the following useful consequence of the above corollary. The following consequence is useful to characterize simplicity of an algebraic extension.

Corollary 0.7. Let F/K be an algebraic extension. If it has only finite number of intermediate fields then F/K is a finite extension.

3 Proof. First we show that there are n ∈ N and c1, c2, ··· , cn ∈ F such that F = K(c1, c2, ··· , cn). If not, then we have an infinite strictly ascending sequence of intermediate fields

K ⊆ K(c1) ( K(c1, c2) ( ··· of F/K. This contradicts that the extension F/K has only finite number of intermediate fields.

Thus F = K(c1, c2, ··· , cn) where n ∈ N and c1, c2, ··· , cn ∈ F . Since c1, c2, ··· , cn are all algebraic over K it follows that F/K is finite.

Now we show that if F/K is a field extension, then the set of all algebraic elements of F over K forms a field.

Theorem 0.8. Let F/K be a field extension. Then the set L of all algebraic elements of F over K is an intermediate field of F/K

Proof. Every k ∈ K is a root of the polynomial x − k ∈ K[x] and so is algebraic over K. Thus K ⊆ L. Let a, b ∈ L, b 6= 0. Then K(a, b)/K is an algebraic extension and hence a − b, ab−1 ∈ L showing that L is a subfield.

Recall that the complex numbers which are algebraic elements over the field Q of all rationals, are called algebraic numbers. Denote the set of all algebraic numbers by A. Then from the above result, we have:

Corollary 0.9. The set A of all algebraic numbers is a subfield of C.

Thus the sum, products, quotients of algebraic numbers are again algebraic numbers. Now we show that algebraic extension of an algebraic extension is algebraic.

Theorem 0.10. Let F/K be an extension and L an intermediate field of F/K. Then both F/L and L/K are algebraic if and only if F/K is so.

Proof. First assume that both F/L and L/K are algebraic extensions. Consider a ∈ F . Then a is n n−1 algebraic over L. Let m(x) = x + l1x + ··· + ln ∈ L[x] be the minimal polynomial of a over L. n n−1 Then m(x) = x +l1x +···+ln ∈ K(l1, l2, ··· , ln) implies that a is algebraic over K(l1, l2, ··· , ln) and so K(l1, l2, ··· , ln, a)/K is an algebraic extension. Now l1, l2, ··· , ln are algebraic over K implies that K(l1, l2, ··· , ln)/K is an algebraic extension. Thus K(l1, l2, ··· , ln, a)/K is an algebraic extension showing that a is algebraic over K. Hence F/K is an algebraic extension. Conversely, let F/K be an algebraic extension. Consider a ∈ L. Since every element of F is algebraic over K, a is so. Thus L/K is an algebraic extension. Now consider a ∈ F . Let m(x) ∈ K[x] be the minimal polynomial of a over K. Then K ⊆ L shows that m(x) ∈ L[x] and hence a is algebraic over L. Thus F/L is an algebraic extension.

4 Recall that an extension F/K is called simple if there is c ∈ F such that F = K(c). A simple extension is algebraic if and only if it is finite. Also, if an algebraic extension F/K has only finitely many intermediate fields then it is finite. In the following we characterize simple algebraic extensions.

Theorem 0.11. Let F be an algebraic extension of an infinite field K. Then F/K is a simple extension if and only if it has only finite number of intermediate fields.

Proof. First assume that F = K(c) for some c ∈ F . Let m(x) be the minimal polynomial of c over K. Let L be an intermediate field of the extension F/K. Then c is algebraic over L and the minimal polynomial f(x) ∈ L[x] of c over L divides m(x) in L[x] and so in F [x]. Let n n−1 0 0 0 f(x) = x + l1x + ··· + ln and L = K(l1, l2, ··· , ln). Then f(x) ∈ L [x]. Since L ⊆ L, irreducibility of f(x) over L implies that f(x) is irreducible over L0. Hence f(x) is the minimal polynomial of c over L0. This implies that [L0(c): L0] = [L(c): L]. Now F = K(c) implies that F = L(c) = L0(c) and hence [F : L] = [F : L0] = [F : L][L : L0]. Then [L : L0] = 1 forcing L = L0. Thus the intermediate field L is determined uniquely by the coefficients of f(x) which is a monic factor of m(x) in F [x]. Since m(x) has only a finite number of factors in F [x], it follows that F/K has only finite number of intermediate fields. Conversely, assume that F/K has finite number of intermediate fields. Then by Corollary 7, F/K is finite. Consider N = {[K(a): K] | a ∈ F }. Since F/K has only finite number of intermediate fields, N is a finite subset of N. Hence N has a maximal element, say [K(c): K] where c ∈ F . We show that F = K(c). On the contrary, if possible, assume that F 6= K(c). Then there is d ∈ F such that d 6∈ K(c). Consider the intermediate fields of the form K(c + kd) where k ∈ K. Since F/K has only finite number of intermediate fields and K is infinite, we have a, b ∈ K, a 6= b such that K(c + ad) = K(c + bd). Then (c + ad) − (c + bd) ∈ K(c + ad) implies that d = (a − b)−1(ad − bd) ∈ K(c + ad) and c = (c + ad) − ad ∈ K(c + ad). This implies that K(c) ( K(c + ad) which contradicts the maximality of [K(c): K] in N. Thus F = K(c) showing that F/K is a simple extension.

1 Summary

• A field extension F/K is called an algebraic extension if every element of F is an algebraic element over K. Otherwise F/K is called transcendental extension.

• 1. C/R is an algebraic extension. 2. R/Q is a transcendental extension. (e, π ∈ R are transcendental over Q) • Every finite extension is algebraic.

5 √ √ √ • If 2, 3, 5, ··· is the list of all prime numbers, then Q( 2, 3, 5, ··· )/Q is an infinite algebraic extension of Q.

• An algebraic extension F/K is finite if and only if F = K(c1, c2, ··· , cn) where c1, c2, ··· , cn ∈ F .

• Let F/K be a field extension and c1, c2, ··· , cn ∈ F . Then the following conditions are equivalent:

1. K(c1, c2, ··· , cn)/K is finite;

2. K(c1, c2, ··· , cn)/K is algebraic;

3. c1, c2, ··· , cn are algebraic over K.

• Let F/K be an algebraic extension. If it has only finite number of intermediate fields then F/K is a finite extension.

• Let F/K be a field extension. Then the set L of all algebraic elements of F over K is an intermediate field of F/K

• The set A of all algebraic numbers is a field.

• Let F/K be an extension and L an intermediate field of F/K. Then both F/L and L/K are algebraic if and only if F/K is so.

• Let F be an algebraic extension of an infinite field K. Then F/K is a simple extension if and only if it has only finite number of intermediate fields.

6