EXTENSION FIELDS Part I (Supplement to Section 3.8)

Size: px
Start display at page:

Download "EXTENSION FIELDS Part I (Supplement to Section 3.8)"

Transcription

1 EXTENSION FIELDS Part I (Supplement to Section 3.8) 1 Creating Finite Fields We know a few in nite elds: Q; R and C: We also know in nitely many nite elds: Z p where p is a prime number. We want to determine if there are other nite elds and, if they exist, what they look like. Before going on, we should state the fundamental homomorphism theorem for rings. Theorem 1 (FHT) Let R and S be rings and let : R! S be a ring homomorphism. Then (R) = R= ker : Remark 2 Recall that we proved last semester that the characteristic of a eld is either 0 or prime. Also, if the eld is nite, then the characteristic of the eld is prime. Lemma 3 Let F be a eld. If char(f ) = 0; then F contains a sub eld isomorphic to Q and if char(f ) = p (where p is prime), then F contains a sub eld isomorphic to Z p : Proof. Let F be a eld. De ne : Z! F by (n) = n 1 F : is a ring homomorphism, so (Z) = Z= ker : If char(f ) = 0; then follows that ker = f0g : Thus, (Z) = Z: So, F contains a subring, (Z), isomorphic to Z: Since F is a eld, it must contain the eld of fractions of (Z) : So, since Frac(Z) = Q; we have that F contains a copy of Q: If char(f ) = p; prime, then it follows that ker = pz: So, (Z) = Z=pZ = Z p : Therefore, F contains a subring, (Z) ; isomorphic to Z p : Lemma 4 Every nite eld has order p n for some prime p and some positive integer n: 1

2 Proof. Let E be a nite eld. Then char(e) = p for some prime p: Thus, E contains a sub eld isomorphic to Z p : From this we have that E is a vector space over Z p : Clearly, E is a nite-dimensional vector space of Z p ; since E is nite. Let n = dim Zp (E) : Then, jej = p n : Example 5 Let F = Z 5 [x] = (p) where p = x 3 + x + 1: I claim that F is a eld of order 5 3 : Question: Why is F a eld? Question: Why is jf j = 5 3? Claim 6 Every element of F can be written in the form f + (p) where f = 0 or deg (f) 2. Example 7 Consider the element x 4 + (p) 2 F: We have x 4 + (p) = (x 4 + 5x 2 + 5x)+(p) = [x (x 3 + x + 1) + (4x 2 + 4x)]+(p) = (4x 2 + 4x)+ (p) : Proof. Let g + (p) 2 F: Then g = pf + r for some f; r 2 Z 5 [x] where r = 0 or deg (r) 2: Then g + (p) = (pf + r) + (p) = r + (p) : Conclusion: This gives us that jf j 5 3 : Claim 8 If f + (p) = h + (p) where deg (f) 2 and deg (h) 2; then f = h: Proof. Suppose f + (p) = h + (p) where deg (f) 2 and deg (h) 2: Then f h 2 (p) : So, f h = 0 or deg (f h) deg (p) = 3: Since deg (f h) max fdeg (f) ; deg (h)g 2; we have f h = 0; so f = h: Conclusion: Therefore, jf j = 5 3 : Remark 9 Can we use this idea to create elds of order p n where p is a prime? How many (non-isomorphic) elds are there of order p n? 2

3 2 De nitions and First Examples of Extensions De nition 10 A eld E is an extension eld of a eld F if F E and the operations of F are those of E restricted to F: This is sometimes written as E=F is a eld extension. Lemma 11 If E is an extension eld of F; then E is a vector space over F (under the operations of E): De nition 12 Suppose E is an extension eld of the eld F: We de ne the degree of E over F, denoted [E : F ] to be the dimension of E as a vector space over F: So, [E : F ] = dim F E: De nition 13 Let F be a eld and let E be an extension eld of F: Let a 2 E: 1. F [a] is de ned to be the smallest ring (subring of E) which contains F and a: 2. F (a) is de ned to be the smallest eld (sub eld of E) which contains F and a: Before going any further, we need to verify that F [a] and F (a) actually exist. To see that F [a] exists, note that F [a] = \ fk : K is a subring of E and K contains both F and ag : Since the intersection of subrings is a subring, this (the intersection) is a subring of E and clearly contains F and a and is the smallest such subring of E: We can do something similar to show that F (a) exists, however, another option is the following. Lemma 14 Let F be a eld and let E be an extension eld of F: Let a 2 E: Then F (a) is (isomorphic to) to the eld of quotients of F [a] : 3

4 Proof. By de nition, F (a) is the smallest eld that contains both F and a: So, F (a) is a ring that contains both F and a: So, since F [a] is the smallest ring containing F and a; F [a] F (a) : Let K be the eld of quotients of F [a] ; then K is the smallest eld which contains F [a] : So, since F (a) is a eld containing F [a] ; we have K F (a) : Note that K is a eld which contains F [a] ; so K is a eld containing F and a: However, F (a) is the smallest eld containing F and a: Thus, F (a) K: Therefore, F (a) is the eld of quotients of F [a] : The description of F [a] given above is an external description of F [a] and not very helpful in studying F [a] : Our next goal is to get an internal description of F [a] ; i.e. what do the elements of F [a] look like? Theorem 15 Let F be a eld and let E be an extension eld of F: Let a 2 E: Then F [a] = a (F [x]) (where a : F [x]! E is the evaluation homomorphism at a): The proof of this theorem will use the fact that we already know that F [a] exists (by the argument above). Proof. Let S = a (F [x]) : Let r 2 S: Then r = r 0 + r 1 a + + r n a n for some non-negative integer n and some r 0 ; r 1 ; : : : ; r n 2 F: Since, by de nition, F [a] is a ring which contains F and a; we have, by closure, that r 2 F [a] : Therefore, S F [a] : On the other hand, S = a (F [x]) is a subring of E; since a is a homomorphism. Let b 2 F: Then b 2 F [x] and a (b) = b; so b 2 S: Thus, F S: Also, a = a (x) 2 a (F [x]) = S: Thus, a 2 S: So, S is a ring which contains F and a: Therefore, F [a] S: Therefore, F [a] = S: Example 16 Prove Q [i] = fa + bi : a; b 2 Qg and show Q [i] = Q (i) : (Hint: what kind of ring is fa + bi : a; b 2 Qg?) Theorem 17 Let F be a eld and let E be an extension eld of E with a 2 E: Then F [a] = F (a) if and only if F [a] is a eld. Proof. Let F be a eld and let E be an extension eld of E with a 2 E: Suppose F [a] = F (a) : Then, since F (a) is a eld (by de nition), F [a] is a eld. 4

5 On the other hand, suppose F [a] is a eld. Then F [a] is a eld containing F and a: So, since F (a) is the smallest eld containing F and a; we have F (a) F [a] : Also, since F (a) is the smallest eld containing F and a; we have that F (a) is a ring that contains both F and a: So, since F [a] is the smallest ring containing F and a; F [a] F (a) : Therefore, F [a] = F (a) : Example 18 What is Q [] and Q ()? Remark 19 We can adjoin more than one element to a eld. By de nition F (a; b) is the smallest eld containing F and a and b (where a and b are elements of the extension eld E of F ): This is equal to (F (a)) (b) : Example 20 Q p 2; p 3 = Q p 2 + p 3 Proof. Let K = Q p 2; p 3 ; so K is the smallest eld containing Q; p 2 and p 3: Let L = Q p 2 + p 3 ; so L is the smallest eld containing Q and p 2 + p 3: Since K contains p 2 and p 3 and is a eld, p 2 + p 3 2 K: So, K is a eld which contains Q and p 2 + p 3: So, since L is the smallest eld containing Q and p 2 + p 3; we have L K: On the other hand, since p 2 + p 3 2 L; we have p 2 + p L: p p 1 p p p p p p However, = L: So, L: Thus, 2 p 3 2 L: Recall L contains Q; so 1 2 L: Thus, 1 2 p 3 2 L; that is p 3 2 L: 2 2 So, since p 3 2 L and p 2 + p 3 2 L; we have p 2 + p 3 p 3 2 L: So, p 2 2 L: Therefore, L is a eld which contains Q; p 2 and p 3: So, since K is the smallest eld which contains Q; p 2 and p 3; we have K L: Therefore, K = L: That is Q p 2; p 3 = Q p 2 + p 3 : 5

6 3 Algebraic Extensions De nition 21 Let E be an extension eld of a eld F and let a 2 E: 1. We call a algebraic over F if a is the zero of some nonzero polynomial in F [x] : 2. If a is not algebraic over F; we say that it is transcendental over F: 3. E is an algebraic extension of F if every element of E is algebraic over F: 4. Otherwise, E is called a transcental extension of F: Lemma 22 (Hermite 1873) e is transcendental over Q: Lemma 23 (Lindemann 1882) is transcendental over Q ( was found to be irrational in 1767 by Lambert.) Question: Is + e transcendental over Q? Example 24 Show 2 is transcendental over Q: Example 25 Show E = Q p 2 is an algebraic extension of Q: (First, you will need to prove Q p 2 = Q p 2 = a + b p 2 : a; b 2 Q :) Theorem 26 Let F be a eld and let E be an extension eld of F. Let a 2 E be algebraic over F: Then F (a) is isomorphic to F [x] = hpi where p 2 F [x] is an irreducible polynomial which has a as a zero. (Note: such a polynomial exists since a is algebraic over F:) Proof. The evaluation homomorphism a : F [x]! E has already been shown to be a homomorphism. It can be shown that ker a = hpi : (Homework) Therefore, by the FHT, a (F [x]) = F [x] = hpi : Since p is irreducible, F [x] = hpi is a eld. Thus, a (F [x]) is a eld. Recall that a (F [x]) = F [a] (by the external description of F [a] see theorem 15). So, since a (F [x]) is a eld, we have that F [a] is a eld, so F [a] = F (a) : (see theorem 17) Therefore, a (F [x]) = F (a) : So, F (a) is isomorphic to F [x] = hpi : 6

7 Corollary 27 Let F be a eld and let E be an extension eld of F. Let a 2 E be algebraic over F: Let p 2 F [x] be an irreducible polynomial which has a as a zero. If deg (p) = n; then every element of F (a) can be uniquely expressed in the form for some c 0 ; c 1 ; : : : ; c n 1 2 F: c 0 + c 1 a + c 2 a c n 1 a n 1 The corollary above follows from the fact that every element of F [x] = hpi can be written uniquely in the form f +hpi where deg (f) < n or f = 0: Corollary 28 Let F be a eld and let E be an extension eld of F. Let a 2 E be algebraic over F: Let p 2 F [x] be an irreducible polynomial which has a as a zero. If deg (p) = n; then [F (a) : F ] = n: Proof. The rst corollary proves that f1; a; a 2 ; : : : ; a n F (a) as a vector space over F: Thus, [F (a) : F ] = n: 1 g forms a basis for Example 29 Compute Q 3p 2 : Q : Example 30 Compute [Q (i) : Q] : Example 31 Compute Q p i : Q : Example 32 Compute h p p i Q : Q : Example 33 Compute Q p 2 + p 3 : Q : Theorem 34 Let F be a eld and let E be an extension eld of F: Let 2 E where is algebraic over F: Then there is a unique monic irreducible polynomial p 2 F [x] such that is a root of p: Moreover, this polynomial p is of minimal degree of those polynomials in F [x] which have as a root. Finally, if f is a nonzero polynomial in F [x] such that f () = 0; then p divides f: 7

8 Proof. Let F be a eld and let E be an extension eld of F: Let 2 E where is algebraic over F: Let : F [x]! E be the evaluation homomorphism. Then ker = ff 2 F [x] : is a root of fg : We know that ker is an ideal in F [x] : Also, F [x] is a PID. Therefore, ker = (g) for some g 2 F [x] which g is of minimal degree in ker : Let c be the leading coe cient of g: Let p = c 1 g: Then p is a monic polynomial..also, p is an associate of g; so (p) = (g) = ker : Therefore, p is of minimal degree in ker : So, p is of minimal degree of those polynomials in F [x] which have as a root. Suppose f is a nonzero polynomial in F [x] such that f () = 0: Then f 2 ker : So, f 2 (p). Therefore, p divides f: To see that p is irreducible, suppose p = hk for some h; k 2 F [x] where neither h nor k is a unit in F [x] : Then h and k both have degree less than that of p: Therefore, h; k 62 (p) = ker : However 0 = a (p) = a (hk) = a (h) a (k) : So, a (h) = 0 or a (k) = 0: That is, h 2 ker or k 2 ker : This is a contradiction, so p is irreducible. Finally, suppose there is another monic irreducible polynomial q 2 F [x] such that is a root of q: Then q 2 ker ; so p divides q: So, q = pr for some r 2 F [x] : Since q is irreducible and p is not a unit, this means r is a unit. Therefore, p and q are associates. Since p and q are both monic, this means p = q and we have completed the proof. De nition 35 Let F be a eld and let E be an extension eld of F: Let 2 E whe is algebraic over F: The unique monic irreducible polynomial in F [x] which has as a root (as described in the previous theorem) is called the irreducible polynomial for in F or the minimal polynomial for in F: The notation is irr(; F ) or min (; F ). Remark 36 In theorem 26 and the corollaries that follow it, the polynomial p may be chosen to be irr(; F ) : Theorem 37 Let F be a eld and let E be an extension eld of F: Let a 2 E: Then [F (a) : F ] is nite if and only if a is algebraic over F: Proof. Let F be a eld and let E be an extension eld of F: Let a 2 E: 8

9 ( =) ) : Suppose [F (a) : F ] is nite. Let n = [F (a) : F ] : Consider f1; a; a 2 ; : : : ; a n g F (a) : Since [F (a) : F ] = n; we have that F (a) is an n-dimensional vector space over F: Thus, since the set f1; a; a 2 ; : : : ; a n g has more than n elements, it must be a linearly dependent set. Thus, there exist a linear combination c c 1 a + c 2 a c n a n = 0 with each c i 2 F and not all of the c i equal to zero. Thus, the polynomial f = c 0 + c 1 x + c 2 x c n x n 2 F [x] is nonzero and has a as a zero. So, by de nition, a is algebraic over F: ((=) : Suppose a is algebraic over F: Then, by de nition, there is an irreducible polynomial, f; in F [x] which has a as a zero. So, by the previous corollary, [F (a) : F ] = deg (f) is nite. Theorem 38 Let E be an extension eld of the eld F: If [E : F ] < 1; then E is algebraic over F: Proof. Let E be an extension eld of the eld F: Suppose [E : F ] = n is nite. Recall: to show that E is algebraic over F; we must show that every element of E is algebraic over F: Let a 2 E: Since [E : F ] = n; we have that E is an n-dimensional vector space over F: Thus, since the set f1; a; a 2 ; : : : ; a n g has more than n elements, it must be a linearly dependent set. Thus, there exist a linear combination c c 1 a + c 2 a c n a n = 0 with each c i 2 F and not all of the c i equal to zero. Thus, the polynomial f = c 0 + c 1 x + c 2 x c n x n 2 F [x] is nonzero and has a as a zero. So, by de nition, a is algebraic over F: Therefore, E is an algebraic extension of F: Note: the converse of this theorem is not true. For example, every element of E = Q p 2; 3p 2; 4p 2; 5p 2; : : : is algebraic over F = Q; however [E : F ] = 1: Theorem 39 Let K be an extension eld of E and let E be an extension eld of F: If [K : E] and [E : F ] are both nite, then [K : F ] = [K : E] [E : F ] : (note: if either of [K : E] or [E : F ] are in nite, then [K : F ] = 1:) 9

10 Proof. Let [K : E] = n and [E : F ] = m: Then there is a basis fk 1 ; k 2 ; : : : ; k n g for K over E and a basis fa 1 ; a 2 ; : : : ; a m g for E over F: Claim: B = fk i a j : 1 i n and 1 j mg is a basis for K over F: Let x 2 K: Then x = b 1 k 1 + b 2 k b n k n for some b i 2 E: Also, each b i 2 E can be written as b i = c i1 a 1 + c i2 a c im a m for some c ij 2 F: Substituting this linear combination for each b i in the rst equation, we get that x is a linear combination of elements of B: Thus, B spans K: Now, suppose P n P m i=1 j=1 r ijk i a j = 0 for some r ij 2 F: Then P n Pm i=1 j=1 r ija j k i = 0 where P m j=1 r ija j 2 E: So, since fk 1 ; k 2 ; : : : ; k n g is a basis over E (and thus linearly independent), we have P m j=1 r ija j = 0 for all i: Thus, since fa 1 ; a 2 ; : : : ; a m g is a basis over F; we have r ij = 0 for all j: Thus, r ij = 0 for all i and j: Therefore, B is linearly independent over F: Therefore, B is a basis for K over F: So, [K : F ] = jbj = nm = [K : E] [E : F ] Example 40 Show that p 5 + p 7 is algebraic over Q: One way to show this would be to nd a polynomial in Q [x] which has p 5 + p 7 as a zero. Here is another approach. We know p 5 + p 7 is algebraic over Q if and only if Q p 5 + p 7 : Q is nite, so we will simply argue that Q p 5 + p 7 : Q is nite. We know Q p 5 + p 7 Q p 5; p 7 ; so Q p 5 + p 7 : Q Q p 5; p 7 ; Q : Also, Q p 5; p 7 : Q is nite because Q p 5 : Q = 2 and Q p 5; p 7 : Q p 5 2; so Q p 5 + p 7 : Q 4: Theorem 41 Let F be a eld and let E be an extension eld of F: The elements of E which are algebraic over F form a eld (a sub eld of E): Proof. Homework. 10

11 4 Homework 1. Prove lemma 11: Let F be a eld and let E be an extension eld of F: Prove that E is a vector space over F: 2. Let I be a nonzero ideal in k [x] where k is a eld. Let p 2 I be an irreducible polynomial. Prove I = (p) : 3. Prove Q p 2 = a + b p 2 : a; b 2 Q : 4. Prove that Q p 2 = Q p 2 : 5. Determine, with proof, Q p 2 : Q : 6. Let K be a nite extension of Z p : Prove char(k) = p: 7. Let K be a eld. (a) Prove that it is not possible for K to have sub elds E and F such that E = Q and F = Z p for some prime p: (b) Prove that it is not possible for K to have sub elds E and F such that E = Z p and F = Z q for some primes p 6= q: 8. Let = 3 q p q p : (a) Verify that p 3 3 = p 3: (b) Determine [Q () : Q] : p p 9. Find a polynomial p in Q [x] so that Q is isomorphic to Q [x] = hpi : 10. Let f = x 3 +x Z 2 [x] : Suppose a is a zero of f in some extension of Z 2 : Then Z 2 (a) is isomorphic to Z 2 [x] = hfi and each element of Z 2 (a) can be written uniquely in the form c 0 +c 1 a+c 2 a 2 where c 0 ; c 1 ; c 2 2 Z 2 : Write each of the following elements of Z 2 (a) in this form. (a) a 3 (b) a 1 11

12 (c) a 50 Prove the following: (d) Q p 2 + p 3 p p = Q (hint: look at p 2 + p 3 2 ) (e) Suppose a+bi 2 C with a; b 2 R and b 6= 0: Prove that R (a + bi) = C: (f) Prove Q (i) 6= C: 11. Complete the following: (a) Compute Q p 2 : Q : (b) Compute Q p 3 : Q : (c) Prove Q p 2 6= Q p 3 : (d) Is Q p 2 isomorphic to Q p 3? (prove or disprove) 12. Prove the following: (a) is transcendental over Q (i) : (You may assume is transcendental over Q:) (b) is algebraic over Q ( 3 ) : 13. Compute the following degrees. (a) Q p 2 p 5 : Q (b) Q p 2 + p 5 : Q (c) Q p 2 + p 5 : Q p 10 (d) Q p 2; p 5; p 10 : Q (e) [Q () : Q ( 3 )] 14. Let F be a eld and let E and E 0 be two extension elds of F with E E 0 : (Hint: see vector spaces homework) (a) Prove [E 0 : F ] [E : F ] : (b) Suppose [E 0 : F ] is nite. Prove [E 0 : F ] = [E : F ] if and only if E 0 = E: 12

13 15. Let = 3p 2 + 3p 4: (a) Prove Q () Q 3p 2 : (b) Compute Q 3p 2 : Q : (c) Based on parts (a) and (b), what can you say (immediately) about [Q () : Q]? (d) Find a monic irreducible polynomial in Q [x] which has as a zero. (e) Compute [Q () : Q] : (f) Is Q () equal to Q 3p 2? 16. Let F be a eld and let E be an extension eld of F: Prove the following. (a) Let a; b 2 E: If a is algebraic over F and b is algebraic over F (a) ; then b is algebraic over F: (b) The elements of E which are algebraic over F form a sub eld of E: (c) Find an example of elements a and b which are transcendental over some eld F such that a + b is algebraic over F: 17. Let F be a eld and let E be an extension eld of F: Let a 2 E and suppose that a is algebraic over F: Also, suppose that c 0 +c 1 x+ +c n x n is an irreducible polynomial in F [x] which has a as a zero. Show that b = p a is algebraic over F by nding a polynomial in F [x] which has b as a zero. 18. Let F = Q and let E = Q p 2; 3p 2; 4p 2; : : : : (a) Prove that E is an algebraic extension of F: (Hint: show E is a sub eld of the eld of algebraic elements over Q:) (b) Prove that [E : F ] = 1: 19. Let F be a eld and let E be an extension eld of F: Suppose [E : F ] = p for some prime p: Show that F (a) = F of F (a) = E for all a 2 E: 20. Let F be a eld and let E be an extension eld of F: Let a; b 2 E: Prove [F (a; b) ; F (a)] [F (b) ; F ] : 13

14 21. Let F be a eld and let E be an extension eld of F: Let a; b 2 E: Suppose [F (a) : F ] = m and [F (b) : F ] = n where m and n are relatively prime. Prove that [F (a; b) : F ] = mn: 14

15 EXTENSION FIELDS Part II (Supplement to Section 3.8) 5 Kronecker s Theorem Theorem 42 (Kronecker s Theorem) Let F be a eld and let f be a nonconstant polynomial in F [x] : Then, there is an extension eld E of F in which f has a zero. Proof. We are actually going to end up building an extension eld E 0 (we ll still call it E) of a eld F 0 (where F 0 is isomorphic to F ): Let F be a eld and let f be a nonconstant polynomial in F [x] : We may assume that f is irreducible over F: (If f is reducible, choose one of its irreducible factors.) Let E = F [x] = hfi : Notice that E is a eld since f is irreducible over F: Let F 0 = fa + hfi : a 2 F g E: Then F 0 is a sub eld of E isomorphic to F. The isomorphism is : F! F 0 de ned by (a) = a + hfi for all a 2 F: (Homework) Now, we need to show that E contains an element which is a zero of f: If f = a n x n + a n 1 x n a 0 2 F [x] ; then under the isomorphism above, we are looking at f = (a n + hfi) x n + (a n 1 + hfi) x n (a 0 + hfi) 2 F 0 [x] : In E, consider the element = x + hfi : Then f () = (a n + hfi) n + (a n 1 + hfi) n (a 0 + hfi) = (a n + hfi) (x + hfi) n + (a n 1 + hfi) (x + hfi) n (a 0 + hfi) = (a n + hfi) (x n + hfi) + (a n 1 + hfi) x n 1 + hfi + + (a 0 + hfi) = (a n x n + hfi) + a n 1 x n 1 + hfi + + (a 0 + hfi) = a n x n + a n 1 x n a 0 + hfi = f + hfi = 0 E : Therefore, E is an extension eld of F (actually F 0 ; an isomorphic copy of F ) which contains a zero for f: 15

16 Example 43 The eld R [x] = hx 2 + 1i is an extension eld of (an isomorphic copy of) R which contains a zero for x 2 + 1: Corollary 44 (Kronecker s Theorem) Let F be a eld and let f be a nonconstant polynomial in F [x] : Then, there is an extension eld E of F in which f can be factored as a product of linear polynomials. That is, f = a (x 1 ) (x 2 ) (x n ) for some a 2 F; 1 ; 2 ; : : : ; n 2 E: 6 Splitting Fields De nition 45 Let F be a sub eld of a eld E and let f 2 F [x] : 1. We say that f splits over E if f can be factored as a product of linear polynomials in E [x] : 2. We say that E is a splitting eld for f if f splits over E but does not split over any proper sub eld of E: Example 46 Let F = Q and let f = x 2 Q p 2 is a splitting eld for f: 2: Then f splits over R; however, Lemma 47 (Splitting Fields Exist) Let F be a eld and let f 2 F [x] : A splitting eld for f over F exists. Proof. By Kronecker s theorem, there is an extension eld E of F in which f splits. So, f = a (x 1 ) (x 2 ) (x n ) for some a 2 F; 1 ; 2 ; : : : ; n 2 E: Then F ( 1 ; 2 ; : : : ; n ) is a splitting eld for f: Theorem 48 (Fields of order p n exist) If p is prime and n is a positive integer, then there is a eld with exactly p n elements. Proof. Let q = p n and let g = x q x 2 Z p [x] : We already know that there exists a eld with exactly 2 elements, Z 2 : So, assume q > 2: By Kronecker s theorem, there is an extension eld K of Z p in which g splits. Notice that we can nd such a K such that K is a nite extension of Z p (see the construction in the proof of Kronecker s theorem). So, char(k) = p (see homework problem #6 from extension elds part I) 16

17 De ne E = f 2 K : g () = 0g : Notice that E is simply the set of all roots of g in K: Also, a 2 E i a q a = 0 i a q = a: The symbolic derivative of g is g 0 = qx q 1 1: So, g 0 = p n x q 1 1 = 1 (since we are in Z p [x]): Therefore, gcd (g; g 0 ) = 1: It can be shown that a polynomial, f; has no repeated roots i gcd (f; f 0 ) = 1: (Homework). Therefore, g has no repeated roots. This means, g has precisely q = p n roots. That is jej = q = p n : Claim 49 E is a eld (and thus, an example of a eld of order p n ): We know jej = p n : Thus, E 6= ;: Let a; b 2 E: Then a q = a and b q = b: Thus, (ab) q = a q b q = ab: So, ab 2 E: Thus, E is closed under multiplication. Also, by applying the binomial theorem and using the fact that char(k) = p; we have (a b) q = a q b q = a b: Thus, E is closed under subtraction. Finally, suppose a 6= 0 (we must show that a 1 2 E): Since a 2 E; we have a q = a: So, since a 6= 0; we have a q 1 = 1; by cancellation. Thus, (a) (a q 2 ) = 1: So, a 1 = a q 2 : Since q > 2; we have q 2 > 0; so, since E is closed under multiplication, a q 2 2 E: Thus, a 1 2 E: Therefore, E is a eld with exactly p n elements. Notation 50 A nite eld of order q = p n is denoted F q : Question: Does this notation make sense? What if there are non-isomorphic elds of order q? De nition 51 Let E be a nite eld. Recall that the multiplicative group E = U (E) is a cyclic group. An element 2 E is called a primitive element of E if is a generator for the cyclic group E : Corollary 52 For every prime p and every positive integer n; there exists an irreducible polynomial g 2 Z p [x] with deg (g) = n: 17

18 Proof. Let E be an extension eld of Z p with p n elements. Let be a primitive element of E: It is easy to show that Z p () = E: By theorem 26, Z p () = Z p [x] = hgi where g is an irreducible polynomial in Z p [x] with as a root. Also, by a corollary to theorem 26, [Z p () : Z p ] = deg (g) : However, [Z p () : Z p ] = [E : Z p ] = n; since jej = n: Therefore, deg (g) = n: 7 Homework 1. Prove the following fact used in the proof of Kronecker s Theorem (theorem 42): Let F be a eld and let p be an irreducible polynomial in F [x] : Show that fa + hpi : a 2 F g is a sub eld of F [x] = hpi which is isomorphic to F: 2. Prove the following fact used in the proof of theorem 26: Let p be an irreducible polynomial in F [x] : Suppose E is an extension eld of F and that a 2 E such that a (p) = 0 where a : F [x]! E is an evaluation homomorphism. Prove that ker a = hpi : 3. Let f = x Z 7 [x] : Let I = hfi : Let R be the factor ring Z 7 [x] =I: (a) Prove that every element of R can be written in the form p + I where p is an element of Z 7 [x] and deg (p) 2 or p = 0: (b) Prove that if p and q are elements of Z 7 [x] and deg (p) 2 and deg (q) 2 and p + I = q + I; then p = q: (c) Use parts (a) and (b) to explain why R has 343 = 7 3 elements. (d) Prove that R is a eld. (e) Let a be a zero of f in some extension eld of Z 7 : How do we know such an a exists? (f) Use parts (a) and (b) to determine a description of the elements of Z 7 (a) : (g) Determine, with explanation, the number of elements in Z 7 (a) : (h) Determine [Z 7 (a) : Z 7 ] : 18

19 EXTENSION FIELDS Part III (Supplement to Section 3.8) 8 Splitting Fields Are Unique Remark 53 Our goal now is to show that the notation F q makes sense, that is, that there is exactly one eld of order q for each q = p n : The major step in doing this is to show that splitting elds are unique. Lemma 54 Let k and k 0 be elds and let : k! k 0 be an isomorphism. Let : k [x]! k 0 [x] be the induced mapping g (x) = a 0 + a 1 x + + a n x n 7! g (x) = (a 0 ) + (a 1 ) x + + (a n ) x n : Then is an isomorphism.and (r) = (r) for all r 2 k: Furthermore, if g is irreducible in k [x] ; then g is irreducible in k 0 [x] : Proof. Homework. Lemma 55 Let k and k 0 be elds and let : k! k 0 be an isomorphism. Let f 2 k [x] : Then, there is an isomorphism : k [x] = (f)! k 0 [t] = (f ) such that (r + (f)) = (r) + (f ) for each r 2 k and (x + (f)) = t + (f ) : Proof. The isomorphism is p + (f) 7! p + (f ) : Theorem 56 Let k and k 0 be elds and let : k! k 0 be an isomorphism. Let p be an irreducible polynomial in k [x] and let z be a root of p in some extension of k: Then k (z) is isomorphic to k 0 (z 0 ) where z 0 is a root of p in some extension of k 0 : Moreover, this isomorphism, ; satis es the following: 1. (z) = z 0 ; and 2. (a) = (a) for every a 2 k: Proof. Let z be a root of p 2 k [x] where z lies in some extension eld K of k: Let I = ff 2 k [x] : f (z) = 0g : It is easy to show that I is a proper ideal in k [x] : Notice p 2 I: So, since p is irreducible, I = (p) : (See homework problem #2 from part I.) 19

20 The evaluation homomorphism z : k [x]! k (z) is surjective (onto k (z)) and ker ( z ) = I = (p) : So, k (z) = k [x] = (p) : The isomorphism is : k [x] = (p)! k (z) where (g + (p)) = g (z) : By lemma 54, p is irreducible in k 0 [t] : Therefore, as above, we have an isomorphism : k 0 [t]= (p )! k 0 (z 0 ) given by (f + (p )) = f (z 0 ) : Similarly, there is an isomorphism : k 0 [t]= (p ) By lemma 55, there is an isomorphism : k [x] = (p)! k 0 [t] =(p ) such that (r + (p)) = (r) + (p ) for every r 2 k: We now have k (z) 1! k [x] = (p)! k 0 [t]= (p )! k 0 (z 0 ) : The isomorphism we are looking for is = 1 : The function is a composition of isomorphism, so it is an isomorphism. Also, it can be easily veri ed that has the desired properties. Lemma 57 Let f 2 k [x] where k is a eld and let E be a splitting eld for f over k: Let : k! k 0 be an isomorphism of elds, let : k [x]! k 0 [x] be the induced isomorphism g (x) = a 0 + a 1 x + + a n x n 7! g (x) = (a 0 ) + (a 1 ) x + + (a n ) x n ; and let E 0 be a splitting eld for f over k 0 : Then, there is an isomorphism : E! E 0 extending : That is j k = : Proof. Let d = [E : k] : We will prove this theorem by induction on d: Suppose d = 1: Then E = k and f is a product of linear polynomials in k [x] : It follows that f is a product of linear polynomials in k 0 [x] and thus E 0 = k 0 : We can let = : If d > 1; then f has a root z such that z 2 E and z 62 k: Let p be an irreducible polynomial in k [x] which has z as a root. Since z 62 k; we have deg (p) > 1: Also, by one of the corollaries to theorem 26, we have [k (z) : k] = deg (p) : Let z 0 2 E 0 be a root of p 2 k 0 [x] : From theorem 56, we have the isomorphism : k (z)! k 0 (z 0 ). Note: j k = : Note f 2 k [x] ; so, since k k (z) ; we have f 2 (k (z)) [x] : Then E is a splitting eld for f over k (z) : 20

21 Similarly, E 0 is a splitting eld for f over k (z 0 ) : Note [E : k (z)] [k (z) : k] = [E : k] : So, since [k (z) : k] > 1; we have [E : k] > [E : k (z)] : Let F = k (z) and let F 0 = k 0 (z 0 ) : Then, we now have the following: 1. f 2 F [x] 2. E is the splitting eld for f over F: 3. : F! F 0 is an isomorphism of elds 4. E 0 is the splitting eld for f over F 0 5. [E : F ] < d So, by the inductive hypothesis, we have that there is an isomorphism : E! E 0 extending : Since extends ; this means that extends and we have proven the result. Theorem 58 (Uniqueness of splitting elds) Let k be a eld and let f 2 k [x] : Then, any two splitting elds of f over k are isomorphic via an isomorphism which xes k: Proof. Use the lemma above with : k! k being the identity isomorphism. Corollary 59 Any two nite elds having exactly p n elements are isomorphic. Proof. Let E be a eld with q = p n elements. Then, the multiplicative group E = U (E) has q 1 elements. So, by Lagrange s theorem a q 1 = 1 for every a 2 E : Thus, every element of E is a root of f = x q x 2 Z p [x] and so E is a splitting eld for f over Z p : So, by the uniqueness of splitting elds, this corollary is proven. 21

22 9 Homework 1. Prove that Z 3 [x] = (x 3 x 2 + 1) = Z 3 [x] = (x 3 x 2 + x + 1) 2. Write addition and multiplication tables for F 8 ; the eld with 8 elements. 3. Is F 4 a sub eld of F 8? (Prove or disprove). 4. For any prime p; prove that if F p n is a sub eld of F p m; then njm: 22

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

More information

160 CHAPTER 4. VECTOR SPACES

160 CHAPTER 4. VECTOR SPACES 160 CHAPTER 4. VECTOR SPACES 4. Rank and Nullity In this section, we look at relationships between the row space, column space, null space of a matrix and its transpose. We will derive fundamental results

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

More information

ALGEBRA HW 5 CLAY SHONKWILER

ALGEBRA HW 5 CLAY SHONKWILER ALGEBRA HW 5 CLAY SHONKWILER 510.5 Let F = Q(i). Prove that x 3 and x 3 3 are irreducible over F. Proof. If x 3 is reducible over F then, since it is a polynomial of degree 3, it must reduce into a product

More information

LEARNING OBJECTIVES FOR THIS CHAPTER

LEARNING OBJECTIVES FOR THIS CHAPTER CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. Finite-Dimensional

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

The Kolchin Topology

The Kolchin Topology The Kolchin Topology Phyllis Joan Cassidy City College of CUNY November 2, 2007 hyllis Joan Cassidy City College of CUNY () The Kolchin Topology November 2, 2007 1 / 35 Conventions. F is a - eld, and A

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

A NOTE ON FINITE FIELDS

A NOTE ON FINITE FIELDS A NOTE ON FINITE FIELDS FATEMEH Y. MOKARI The main goal of this note is to study finite fields and their Galois groups. Since I define finite fields as subfields of algebraic closure of prime fields of

More information

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9 Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field 1. Throughout this section, F is a field and F [x] is the ring of polynomials with coefficients in F. We will

More information

The Division Algorithm for Polynomials Handout Monday March 5, 2012

The Division Algorithm for Polynomials Handout Monday March 5, 2012 The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,

More information

Factoring Polynomials

Factoring Polynomials Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

More information

1.2 Solving a System of Linear Equations

1.2 Solving a System of Linear Equations 1.. SOLVING A SYSTEM OF LINEAR EQUATIONS 1. Solving a System of Linear Equations 1..1 Simple Systems - Basic De nitions As noticed above, the general form of a linear system of m equations in n variables

More information

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

More information

6. Fields I. 1. Adjoining things

6. Fields I. 1. Adjoining things 6. Fields I 6.1 Adjoining things 6.2 Fields of fractions, fields of rational functions 6.3 Characteristics, finite fields 6.4 Algebraic field extensions 6.5 Algebraic closures 1. Adjoining things The general

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

minimal polyonomial Example

minimal polyonomial Example Minimal Polynomials Definition Let α be an element in GF(p e ). We call the monic polynomial of smallest degree which has coefficients in GF(p) and α as a root, the minimal polyonomial of α. Example: We

More information

Field Fundamentals. Chapter 3. 3.1 Field Extensions. 3.1.1 Definitions. 3.1.2 Lemma

Field Fundamentals. Chapter 3. 3.1 Field Extensions. 3.1.1 Definitions. 3.1.2 Lemma Chapter 3 Field Fundamentals 3.1 Field Extensions If F is a field and F [X] is the set of all polynomials over F, that is, polynomials with coefficients in F, we know that F [X] is a Euclidean domain,

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

T ( a i x i ) = a i T (x i ).

T ( a i x i ) = a i T (x i ). Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)

More information

10 Splitting Fields. 2. The splitting field for x 3 2 over Q is Q( 3 2,ω), where ω is a primitive third root of 1 in C. Thus, since ω = 1+ 3

10 Splitting Fields. 2. The splitting field for x 3 2 over Q is Q( 3 2,ω), where ω is a primitive third root of 1 in C. Thus, since ω = 1+ 3 10 Splitting Fields We have seen how to construct a field K F such that K contains a root α of a given (irreducible) polynomial p(x) F [x], namely K = F [x]/(p(x)). We can extendthe procedure to build

More information

calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0,

calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0, Homework #02, due 1/27/10 = 9.4.1, 9.4.2, 9.4.5, 9.4.6, 9.4.7. Additional problems recommended for study: (9.4.3), 9.4.4, 9.4.9, 9.4.11, 9.4.13, (9.4.14), 9.4.17 9.4.1 Determine whether the following polynomials

More information

RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

More information

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold: Linear Algebra A vector space (over R) is an ordered quadruple (V, 0, α, µ) such that V is a set; 0 V ; and the following eight axioms hold: α : V V V and µ : R V V ; (i) α(α(u, v), w) = α(u, α(v, w)),

More information

Section 2.4: Equations of Lines and Planes

Section 2.4: Equations of Lines and Planes Section.4: Equations of Lines and Planes An equation of three variable F (x, y, z) 0 is called an equation of a surface S if For instance, (x 1, y 1, z 1 ) S if and only if F (x 1, y 1, z 1 ) 0. x + y

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p.

Page 331, 38.4 Suppose a is a positive integer and p is a prime. Prove that p a if and only if the prime factorization of a contains p. Page 331, 38.2 Assignment #11 Solutions Factor the following positive integers into primes. a. 25 = 5 2. b. 4200 = 2 3 3 5 2 7. c. 10 10 = 2 10 5 10. d. 19 = 19. e. 1 = 1. Page 331, 38.4 Suppose a is a

More information

5. Linear algebra I: dimension

5. Linear algebra I: dimension 5. Linear algebra I: dimension 5.1 Some simple results 5.2 Bases and dimension 5.3 Homomorphisms and dimension 1. Some simple results Several observations should be made. Once stated explicitly, the proofs

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

More information

Gröbner Bases and their Applications

Gröbner Bases and their Applications Gröbner Bases and their Applications Kaitlyn Moran July 30, 2008 1 Introduction We know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated [3]. However,

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

Factorization Algorithms for Polynomials over Finite Fields

Factorization Algorithms for Polynomials over Finite Fields Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is

More information

3 1. Note that all cubes solve it; therefore, there are no more

3 1. Note that all cubes solve it; therefore, there are no more Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18 of Gallian s Contemporary Abstract Algebra. Most of the important

More information

FACTORING AFTER DEDEKIND

FACTORING AFTER DEDEKIND FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents

More information

Linear Algebra Notes

Linear Algebra Notes Linear Algebra Notes Chapter 19 KERNEL AND IMAGE OF A MATRIX Take an n m matrix a 11 a 12 a 1m a 21 a 22 a 2m a n1 a n2 a nm and think of it as a function A : R m R n The kernel of A is defined as Note

More information

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom. Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

3 Factorisation into irreducibles

3 Factorisation into irreducibles 3 Factorisation into irreducibles Consider the factorisation of a non-zero, non-invertible integer n as a product of primes: n = p 1 p t. If you insist that primes should be positive then, since n could

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

26 Integers: Multiplication, Division, and Order

26 Integers: Multiplication, Division, and Order 26 Integers: Multiplication, Division, and Order Integer multiplication and division are extensions of whole number multiplication and division. In multiplying and dividing integers, the one new issue

More information

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

r + s = i + j (q + t)n; 2 rs = ij (qj + ti)n + qtn.

r + s = i + j (q + t)n; 2 rs = ij (qj + ti)n + qtn. Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in

More information

PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

More information

Cartesian Products and Relations

Cartesian Products and Relations Cartesian Products and Relations Definition (Cartesian product) If A and B are sets, the Cartesian product of A and B is the set A B = {(a, b) :(a A) and (b B)}. The following points are worth special

More information

Real Roots of Univariate Polynomials with Real Coefficients

Real Roots of Univariate Polynomials with Real Coefficients Real Roots of Univariate Polynomials with Real Coefficients mostly written by Christina Hewitt March 22, 2012 1 Introduction Polynomial equations are used throughout mathematics. When solving polynomials

More information

Cyclotomic Extensions

Cyclotomic Extensions Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

Nilpotent Lie and Leibniz Algebras

Nilpotent Lie and Leibniz Algebras This article was downloaded by: [North Carolina State University] On: 03 March 2014, At: 08:05 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: 1072954 Registered

More information

Algebraic and Transcendental Numbers

Algebraic and Transcendental Numbers Pondicherry University July 2000 Algebraic and Transcendental Numbers Stéphane Fischler This text is meant to be an introduction to algebraic and transcendental numbers. For a detailed (though elementary)

More information

Practice with Proofs

Practice with Proofs Practice with Proofs October 6, 2014 Recall the following Definition 0.1. A function f is increasing if for every x, y in the domain of f, x < y = f(x) < f(y) 1. Prove that h(x) = x 3 is increasing, using

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,

More information

Partial Fractions Decomposition

Partial Fractions Decomposition Partial Fractions Decomposition Dr. Philippe B. Laval Kennesaw State University August 6, 008 Abstract This handout describes partial fractions decomposition and how it can be used when integrating rational

More information

GREATEST COMMON DIVISOR

GREATEST COMMON DIVISOR DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

More information

CONTENTS 1. Peter Kahn. Spring 2007

CONTENTS 1. Peter Kahn. Spring 2007 CONTENTS 1 MATH 304: CONSTRUCTING THE REAL NUMBERS Peter Kahn Spring 2007 Contents 2 The Integers 1 2.1 The basic construction.......................... 1 2.2 Adding integers..............................

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

More information

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information

Lecture 1: Systems of Linear Equations

Lecture 1: Systems of Linear Equations MTH Elementary Matrix Algebra Professor Chao Huang Department of Mathematics and Statistics Wright State University Lecture 1 Systems of Linear Equations ² Systems of two linear equations with two variables

More information

Algebra 3: algorithms in algebra

Algebra 3: algorithms in algebra Algebra 3: algorithms in algebra Hans Sterk 2003-2004 ii Contents 1 Polynomials, Gröbner bases and Buchberger s algorithm 1 1.1 Introduction............................ 1 1.2 Polynomial rings and systems

More information

1. Prove that the empty set is a subset of every set.

1. Prove that the empty set is a subset of every set. 1. Prove that the empty set is a subset of every set. Basic Topology Written by Men-Gen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since

More information

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

More information

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5.

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include 2 + 5. PUTNAM TRAINING POLYNOMIALS (Last updated: November 17, 2015) Remark. This is a list of exercises on polynomials. Miguel A. Lerma Exercises 1. Find a polynomial with integral coefficients whose zeros include

More information

Zeros of a Polynomial Function

Zeros of a Polynomial Function Zeros of a Polynomial Function An important consequence of the Factor Theorem is that finding the zeros of a polynomial is really the same thing as factoring it into linear factors. In this section we

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

More information

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R: 30 3. RINGS, IDEALS, AND GRÖBNER BASES 3.1. Polynomial rings and ideals The main object of study in this section is a polynomial ring in a finite number of variables R = k[x 1,..., x n ], where k is an

More information

Group Theory. Contents

Group Theory. Contents Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

Math 319 Problem Set #3 Solution 21 February 2002

Math 319 Problem Set #3 Solution 21 February 2002 Math 319 Problem Set #3 Solution 21 February 2002 1. ( 2.1, problem 15) Find integers a 1, a 2, a 3, a 4, a 5 such that every integer x satisfies at least one of the congruences x a 1 (mod 2), x a 2 (mod

More information

Homework until Test #2

Homework until Test #2 MATH31: Number Theory Homework until Test # Philipp BRAUN Section 3.1 page 43, 1. It has been conjectured that there are infinitely many primes of the form n. Exhibit five such primes. Solution. Five such

More information

2 Polynomials over a field

2 Polynomials over a field 2 Polynomials over a field A polynomial over a field F is a sequence (a 0, a 1, a 2,, a n, ) where a i F i with a i = 0 from some point on a i is called the i th coefficient of f We define three special

More information

SOLUTIONS TO PROBLEM SET 3

SOLUTIONS TO PROBLEM SET 3 SOLUTIONS TO PROBLEM SET 3 MATTI ÅSTRAND The General Cubic Extension Denote L = k(α 1, α 2, α 3 ), F = k(a 1, a 2, a 3 ) and K = F (α 1 ). The polynomial f(x) = x 3 a 1 x 2 + a 2 x a 3 = (x α 1 )(x α 2

More information

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

More information

MATH 22. THE FUNDAMENTAL THEOREM of ARITHMETIC. Lecture R: 10/30/2003

MATH 22. THE FUNDAMENTAL THEOREM of ARITHMETIC. Lecture R: 10/30/2003 MATH 22 Lecture R: 10/30/2003 THE FUNDAMENTAL THEOREM of ARITHMETIC You must remember this, A kiss is still a kiss, A sigh is just a sigh; The fundamental things apply, As time goes by. Herman Hupfeld

More information

Elements of probability theory

Elements of probability theory 2 Elements of probability theory Probability theory provides mathematical models for random phenomena, that is, phenomena which under repeated observations yield di erent outcomes that cannot be predicted

More information

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Adam Boocher 1 Rings and Ideals 1.1 Rings and Ring Homomorphisms A commutative ring A with identity is a set with two binary

More information

CONSEQUENCES OF THE SYLOW THEOREMS

CONSEQUENCES OF THE SYLOW THEOREMS CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.

More information

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

More information