Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13

Size: px
Start display at page:

Download "Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13"

Transcription

1 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting fields. Separable extensions. Typeset by FoilTEX

2 Finite extensions Definition 1. Let E be an extension field of F. E is called an algebraic extension of F if every element of E is algebraic over F. Definition 2. Let E be an extension field of F. E is called a finite extension of F if E is of finite dimension n as a vector space over F. We denote [E : F] = n. Theorem 1. If E is a finite extension field of F, then E is an algebraic extension of F. Proof. Let [E : F] = n, and let u E. The set of n + 1 elements {1,u,u 2,...,u n } is linearly dependent. Hence there are a i F, not all zero, such that a 0 + a 1 u + a 2 u a n u n = 0, which implies that u is algebraic over F. Since u was arbitrary, E is algebraic over F. Typeset by FoilTEX 1

3 The theorem of Lagrange for fields Theorem 2. Let E be a finite extension field of a field F, and let K be a finite extension field of a field E. Then [K : F] = [K : E][E : F]. Proof. Let k 1,..., k n be a basis for K as a vector space over E, and let e 1,..., e m be a basis for E as a vector space over F. If u K, then u = space over F, each α i may be written as α i = n m i=1( j=1 over F. Then 0 = f i j e j )k i = Suppose that n i=1 n i=1 n i=1 m f i j (e j k i ) = j=1 n i=1 α i k i (α i E, k i K). Since E is a vector m f i j e j ( f i j F, e j E). Thus u = j=1 n i=1 α i k i = m f i j e j k i. Therefore, {e j k i : e j E,k i K } span K as a vector space j=1 m f i j (e j k i ) = 0 ( f i j F, e j E, k i K). For each i, let α i = j=1 n m i=1( j=1 f i j e j )k i = n i=1 m f i j e j E. j=1 α i k i. The linear independence of e 1,..., e m over F implies that f i j = 0 for all i, j. Therefore, {e j k i : e j E,k i K } is linearly independent over F and hence a basis. Consequently, we may conclude that [K : F] = [K : E][E : F]. Typeset by FoilTEX 2

4 Adjoining the elements Let α, β be algebraic over F. We suppose α, β are contained in some extension E of F. Then, β is algebraic over F(α). We can form the field F(α)(β). Any field which contains F and α, β, will contain F(α)(β). Hence F(α)(β) is the smallest field containing F and both α, β. Furthermore, by Theorem 2, F(α)(β) is finite over F, being decomposed in the extensions F < F(α) < F(α)(β). Hence by Theorem 1, the field F(α)(β) is algebraic over F and in particular αβ and α + β are algebraic over F. Furthermore, it does not matter whether we write F(α)(β) or F(β)(α). Thus we shall denote this field by F(α,β). Inductively, if α 1,..., α n are algebraic over F and contained in some extension of F, we let F(α 1,...,α n ) be the smallest field containing F and α 1,..., α n. It can be expressed as F(α 1 )(α 2 )...(α n ). It is algebraic over F by repeated applications of Theorem 2. We call it the field obtained by adjoining α 1,..., α n to F. Typeset by FoilTEX 3

5 Example of adjoining Example 1. Consider the field Q( 2, 3) generated over Q by 2 and 3. Since 3 is of degree 2 over Q, the degree of the extension Q( 2, 3) over Q( 2) is at most 2 and is precisely 2 if and only if x 2 3 is irreducible over Q( 2). Since this polynomial is of degree 2, it is reducible only if it has a root, i.e., only if 3 Q( 2). Suppose 3 = a + b 2 with a, b Q. Squaring this we obtain 3 = (a 2 + 2b 2 ) + 2ab 2. If ab = 0, then we can solve this equation for 2 in terms of a and b which implies that 2 is rational, which is not. If b = 0, then we would have that 3 = a is rational, a contradiction. Finally, if a = 0, we have 3 = b 2 and multiplying both sides by 2 we see that 6 would be rational, again a contradiction. This shows 3 / Q( 2), proving [Q( 2, 3) : Q] = 4. Elements in this field (by closing" 1, 2, 3) include 1, 2, 3, 6 and by the computations above, these form a basis for this field: Q( 2, 3) = {a + b 2 + c 3 + d 6: a,b,c,d Q}. Typeset by FoilTEX 4

6 Characterising the finite extensions Theorem 3. An algebraic extension E of F is finite if and only if E is generated by a finite number of algebraic elements over F. Proof. Let E be a finite extension of degree n over F. Let α 1, α 2,..., α n be a basis for E as a vector space over F. Each α i is algebraic over F. Since E is obviously generated over F by α 1, α 2,..., α n, we see that E is generated by a finite number of algebraic elements over F. The converse follows from Theorem 2 by induction. Typeset by FoilTEX 5

7 The algebraic closure Theorem 4. Let F be a field, and E an extension of F. Let F E be the set of all elements from E which are algebraic over F. Then F E is a field. Proof. Whenever α, β are algebraic, then α + β and αβ are algebraic, being contained in the finite extension F(α,β) of F. Definition 3. The field F E is called the algebraic closure of F in E. In particular, the set of all algebraic numbers is the algebraic closure of Q in C, hence a field. Typeset by FoilTEX 6

8 Algebraically closed fields Definition 4. A field F is algebraically closed if every polynomial of degree 1 with coefficients in F has a root in F. Definition 5. An algebraic closure F of a field F is an algebraic extension of F that is algebraically closed. The fundamental theorem of algebra says that C is algebraically closed; moreover, C is an algebraic closure of R. Perhaps the simplest proof of this theorem is by Liouville s theorem in complex variables: Every bounded entire function is constant. If f (x) C[x] had no roots, then 1/ f (x) would be a bounded entire function that is not constant. To prove that every field F has an algebraic closure, we require some appropriate tools of set theory. Typeset by FoilTEX 7

9 Tools of set theory Definition 6. Let A be a set, and let P(A) { } be the family of all its nonempty subsets. The axiom of choice states that if A is a nonempty set, then there exists a function β : P(A) { } A with β(s) S for every nonempty subset S of A. Such a function β is called a choice function. Informally, the axiom of choice is a harmless looking statement; it says that we can simultaneously choose one element from each nonempty subset of a set. The axiom of choice is easy to accept, and it is one of the standard axioms of set theory. However, the axiom is not convenient to use as it stands. There are various equivalent forms of it that are more useful, the most popular of which is Zorn s lemma. Definition 7. A set X is a partially ordered set if there is a relation x y defined on X that is reflexive, transitive and antisymmetric: if x y and y x, then x = y. As usual, we write x < y if x y and x = y. Definition 8. An element m in a partially ordered set X is a maximal element if there is no x X for which m < x. Definition 9. An upper bound of a nonempty subset Y of a partially ordered set X is an element x 0 X, not necessarily in Y, with y x 0 for every y Y. Definition 10. A partially ordered set X is a chain if, for all x, y X, either x y or y x. Lemma 1 (Zorn). If X is a nonempty partially ordered set in which every chain has an upper bound in X, then X has a maximal element. Theorem 5. Zorn s lemma and the axiom of choice are equivalent statements. Typeset by FoilTEX 8

10 The existence of an algebraic closure Theorem 6. Every field F has an algebraic closure. Sketch of proof. The basic idea is to apply Zorn s lemma to a suitably chosen set of algebraic extension fields of F. Let A be a set that contains an element for every possible zero ω f, j of any f (x) F[x]. Consider the set Ω 1 = {F(ω): ω A} and, for any chain T = {F i } Ω 1, add the field W = i T F i to Ω 1. Denote the resulting set by Ω and partially order it by inclusion. By construction, any chain T in Ω has an upper bound W. By Zorn s lemma, there is a maximal element F Ω. Typeset by FoilTEX 9

11 General structure of finite fields Let F be a finite field with q elements and prime field Z p. Theorem 7. The number of elements of F is equal to a power of p. Proof. We may view F as a vector space over Z p. Since F has only a finite number of elements, it follows that the dimension of F over Z p is finite. Let this dimension be n. If w 1, w 2,..., w n is a basis, then every element of F has a unique expression x = a 1 w a n w n, with elements a i Z p. Since the choice of these a i is arbitrary, it follows that there are p n possible elements in F, thus proving that q = p n, as desired. Definition 11. An element α of a field is an nth root of unity if α n = 1. It is a primitive nth root of unity if α n = 1 and α m = 1 for 0 < m < n. Theorem 8. The nonzero elements of a finite field of p n elements are all (p n 1)th roots of unity. They form a cyclic group. Theorem 9. A finite field GF(p n ) of p n elements exist and is unique for every prime power p n. Typeset by FoilTEX 10

12 Conjugation Definition 12. Let E be an algebraic extension of a field F. Two elements α, β E are conjugate over F if irr(α,f) = irr(β,f). Example 2. A polynomial x is irreducible over F = R. Let E = C, α = i, and β = i. Then α and β are conjugate complex numbers over R. Theorem 10 (Conjugation Isomorphism Theorem). Let F be a field, let α and β be algebraic over F, and let deg(α,f) = n. The conjugation homomorphism ψ α,β : F(α) F(β) defined by ψ α,β (c 0 + c 1 α + + c n 1 α n 1 ) = c 0 + c 1 β + + c n 1 β n 1 is an isomorphism of F(α) onto F(β) if and only if α and β are conjugate over F. Typeset by FoilTEX 11

13 Algebra course FMA190/FMA190F An explanation to the Conjugation Isomorphism Theorem F(α) ϕ α ψ α γ F[x] F[x]/p(x) ϕβ ψ β F(β) Here p(x) = irr(f,α) = irr(f,β), γ : F[x] F[x]/p(x) is the canonical residue class map, ϕ α and ϕ β are evaluation homomorphisms, ϕ α = γ ψ α and ϕ β = γ ψ β by the Fundamental Homomorphism Theorem. If both ϕ α and ϕ β are one-to-one, then ψ α and ψ β must be one-to-one, and ψ α,β = ψ β (ψ α ) 1. Corollary to the Conjugation Isomorphism Theorem Corollary 1. Let α be algebraic over a field F. The correspondence β ψ α,β is one-to-one correspondence between the set of numbers β conjugate to α and the set of isomorphisms between F(α) and a subfield of F fixing F element-wise. Example 3. Let F = Q and α = 2. Then irr( 2,Q) = x 2 2. The set of its zeros is { 2, 2}. According to Corollary 1, there exist exactly two isomorphisms between Q( 2) and a subfield of Q = C leaving Q fixed: ψ 2, 2 (a + b 2) = a + b 2, for a, b Q. ψ 2, 2 (a + b 2) = a b 2, Typeset by FoilTEX 12

14 Automorphisms and fixed fields Definition 13. Let F be a field. An isomorphism σ between F and itself is an automorphism of F. The word automorphism is made up of two Greek roots: auto, meaning self", and morph, meaning shape" or form". Just as an isomorphism carries one field onto an identical replica, an automorphism carries a field onto itself. Definition 14. Let σ be an automorphism of a field F. An element a E is left fixed by σ if σ(a) = a. Theorem 11. Let S = {σ i : i I } be a collection of automorphisms of a field E. The set is a subfield of E. E {σi } = {a E : σ i (a) = a,i I } The field E {σi } is called the fixed field of S. Example 4. An identical map σ(x) = x is an automorphism of any field. Example 5. The complex conjugation z z is an automorphism of C. Moreover, z = z if and only if z R. In other words, the complex conjugation leaves R fixed. Example 6. The map ψ 2, 2 of Example 3 is an automorphism of Q( 2) leaving Q fixed. Typeset by FoilTEX 13

15 The group of E over F Theorem 12. Let E and F be fields with F E. The set G(E/F) of all automorphisms of E leaving F fixed forms a subgroup of the group of all automorphisms of E. Moreover, F E G(E/F). The group G(E/F) is called the group of E over F. Example 7. C = R(i) and ±i are the roots of x The group G(C/R) has order 2 and hence is isomorphic to Z 2. Example 8. Let E = Q( 2, 3). We have seen that {1, 2, 3, 6} is a basis of F over Q. Thus if σ G(E/Q), then σ is completely determined by σ( 2) and σ( 3). The possible values are σ( 2) = ± 2 and σ( 3) = ± 3 and this means that there are at most four distinct Q-automorphisms of F. It is easily verified that each of the four possibilities is indeed a Q- automorphism of F and that G(F/Q) is the Klein 4-group. Typeset by FoilTEX 14

16 Algebra course FMA190/FMA190F The Frobenius automorphism Theorem 13. Let F = GF(p n ). The map σ p : F F defined by σ p (a) = a p is an automorphism of F (the Frobenius automorphism). The field F σp is isomorphic to Z p. The isomorphism extension theorem Theorem 14. Let E be an algebraic extension of a field F. Let σ be an isomorphism of F onto a field F. Let F be an algebraic closure of F. Then σ can be extended to an isomorphism τ of E into a subfield of F such that τ(a) = σ(a) for all a F. F E τ τ[e] F σ F Proof. Let S consists of all triples (L,M,λ), where F L E, F M F and λ : L M is an isomorphism that extends σ. Define (L 1,M 1,λ 1 ) (L 2,M 2,λ 2 ) if L 1 L 2, M 1 M 2 and λ 2 (l 1 ) = λ 1 (l 1 ) for all l 1 L 1. Verify that S is a nonempty partially ordered set in which every chain has an upper bound in S. By Zorn s lemma there is a maximal element (L 0,M 0,λ 0 ) of S. We claim that L 0 = E and λ 0 : L 0 M 0 is the desired extension of σ. If L 0 = E, let α E L 0. Now α is algebraic over F, so α is algebraic over L 0. Let p(x) = irr(α,l 0 ). By the Fundamental Homomorphism Theorem, the evaluation homomorphism ϕ α : L 0 [x] L 0 (α) may be represented as ϕ α = γ ψ α, where γ is a canonical homomorphism from L 0 [x] onto L 0 [x]/p(x), and ψ α is the isomorphism between L 0 [x]/p(x) and L 0 (α). Typeset by FoilTEX 15

17 Algebra course FMA190/FMA190F L 0 (α) λ 0,x L 0 [x] M 0 [x] ϕ α λ 0 ϕ α L 0 M 0 γ γ ψ α L 0 (x)/p(x) λ 0 λ 0 =γ λ 0,x γ 1 M 0 [x]/q(x) ψ α M 0 (α ) Let p(x) = a 0 + a 1 x + + a n x n, q(x) = λ 0 (a 0 ) + λ 0 (a 1 )x + + λ 0 (a n )x n. Since λ 0 is an isomorphism, q(x) is irreducible in L 0 [x]. Since L 0 F, there is a zero α of q(x) in F. By the Fundamental Homomorphism Theorem, the evaluation homomorphism ϕ α : M 0 [x] M 0 (α) may be represented as ϕ α = γ ψ α, where γ is a canonical homomorphism from M 0 [x] onto M 0 [x]/q(x), and ψ α is the isomorphism between M 0 [x]/q(x) and M 0 (α ). Let λ 0 = γ λ 0,x γ 1 be the isomorphism extending λ 0 on L 0 and mapping x + p(x) onto x + q(x). Then the composition of maps ψ α λ 0 ψ 1 α : L 0 (α) M 0 (α ) is an isomorphism of L 0 (α) onto M 0 (α ) F. Clearly, (L 0,λ 0 ) < (L 0 (α),ψ α λ 0 ψα 1 ), which contradicts that (L 0,λ 0 ) is maximal. Therefore, we must have had L 0 = E. Typeset by FoilTEX 16

18 Corollaries to the isomorphism extension theorem Corollary 2. Let a field E be an algebraic extension of a field F and a subfield of the algebraic closure F. Let α, β E be conjugate over F. The conjugation isomorphism ψ α,β : F(α) F(β) can be extended to the isomorphism of E onto a subfield of F. Corollary 3. Let F and F be two algebraic closures of F. between F and F leaving each element of F fixed. Then there exists an isomorphism Typeset by FoilTEX 17

19 The index of a field extension Theorem 15. Let E be a finite extension of a field F. Let σ be an isomorphism of F onto a field F, and let F be an algebraic closure of F. Then the number of extensions of σ to an isomorphism τ of E onto a subfield of F is finite and independent on F, F, and σ. Definition 15. Let E be a finite extension of a field F. The index {E : F} of E over F is the number of isomorphism τ of E onto a subfield of F. Splitting fields Definition 16. Let E be an extension field of a field F. A polynomial f (x) F[x] splits in E if it factors into a product of linear factors in E[x]. Definition 17. Let { f i (x): i I } be a collection of polynomials in F[x]. A field E F is the splitting field of { f i (x): i I } over F if all f i (x) split in E, but do not split over any proper subfield of E. Example 9. Consider f (x) = x Q(x). The roots of f (x) are ±i, and so f (x) splits in C; that is, f (x) = (x + i)(x i) is a product of linear polynomials in C[x]. However, C is not a splitting field of f (x) over Q, for C is not the smallest field containing Q and all the roots of f (x). The splitting field of f (x) F(x) depends on F as well as on f (x). Here, the splitting field of f (x) over Q is Q(i), the splitting field over R is R(i) = C. Example 10. Let f (x) = x 4 10x Q[x]. If β is the root of f (x), then the quadratic formula gives β 2 = 5±2 6. But the identity a+2 ab+b = ( a+ b) 2 gives β = ±( 2+ 3). Similarly, = ( 2 3) 2, so that the roots of f (x) are 2 + 3, 2 3, 2 3, We claim that f (x) is irreducible in Q[x]. If g(x) is a quadratic factor of f (x) in Q[x], then g(x) = (x a 2 b 3)(x c 2 d 3), where a, b, c, d {1, 1}. Multiplying, g(x) = x 2 ((a + c) 2 + (b + d) 3)x + 2ac + 3bd + (ad + bc) 6. Typeset by FoilTEX 18

20 We check easily that (a + c) 2 + (b + d) 3 is rational if and only if a + c = b + d = 0, but these equations force ad +bc = 0, and so the constant term of g(x) is not rational. Therefore, g(x) / Q[x], and so f (x) is irreducible in Q[x]. If β = 2 + 3, then f (x) = irr(β,q). Consider the field F = Q(β) = Q( 2 + 3). There is a chain of fields Q F E, where E = Q( 2, 3), and so [E : Q] = [E : F][F : Q]. Since F = Q(β) and β is a root of an irreducible polynomial of degree 4, namely, f (x), we have [F : Q] = 4. On the other hand, [E : Q] = [E : Q( 2)][Q( 2) : Q]. Now [Q( 2) : Q] = 2, because 2 is a root of the irreducible quadratic x 2 2 in Q[x]. We claim that [E : Q( 2)] 2. The field E arises by adjoining 3 to Q( 2); either 3 Q( 2), in which case the degree is 1, or x 2 3 is irreducible in Q( 2)[x], in which case the degree is 2 (in fact, the degree is 2). It follows that [E : Q] 4, and so the equation [E : Q] = [E : F][F : Q] gives [E : F] = 1, that is, E = F. It follows that F = Q( 2+ 3) is a splitting field of f (x) = x 4 10x 2 +1, as well as a splitting field of (x 2 2)(x 2 3). We have the following diagram of known subfields. Q( 2) 2 2 Q( 2, 3) 2 2 Q( 6) Q 2 2 Q( 3) Example 11. The splitting field of x 3 2 over Q is not just Q( 3 2), since the three roots of this polynomial in C are 3 ( 3 2, i ) 3, 2 3 ( 1 i ) 3 2, 2 and the latter two roots are not elements of Q( 3 2) since the elements of this field are of the form a + b c 3 4 with rational a, b, c and all such numbers are real. Typeset by FoilTEX 19

21 The splitting field E of this polynomial is obtained by adjoining all three of these roots to Q. Note that since E contains the first two roots above, then it contains their quotient hence 2 E contains the element 3. On the other hand, any field containing 3 2 and 3 contains all three of the roots above. It follows that E = Q( 3 2, 3) is the splitting field of x 3 2 over Q. Since 3 satisfies the equation x = 0, the degree of this extension over Q( 3 2) is at most 2, hence must be 2 since we observed above that Q( 3 2) is not the splitting field. It follows that [Q( 3 2, 3) : Q] = 6. This gives us the diagram of known subfields. Q( 3 2, 3) Q(θ 1 ) Q(θ 2 ) Q( 3) Q Q(θ 3 ) where θ = 3 2, θ 2 = 3 2 ( 1 + i ) ( 3, θ 3 = 3 1 i ) Example 12. One must be careful in computing splitting fields. The splitting field for the polynomial x over Q is smaller than one might at first suspect. In fact this polynomial factors over Q: x = x 4 + 4x x 2 = (x 2 + 2) 2 4x 2 = (x 2 + 2x + 2)(x 2 2x + 2) Typeset by FoilTEX 20

22 where these two factors are irreducible (Eisenstein again). Solving for the roots of the two factors by the quadratic formula, we find the four roots ±1 ± i so that the splitting field of this polynomial is just the field Q(i), an extension of degree 2 of Q. Typeset by FoilTEX 21

23 Splitting fields and automorphisms Theorem 16. Let E be any intermediate field between F and F. E is a splitting field over F if and only if every automorphism of F leaving F fixed maps E onto itself. Corollary 4. If E is a splitting field of finite degree over F, then {E : F} = G(E/F). Multiplicity of zeros of a polynomial Definition 18. Let F be a field and f (x) F[x]. An element α F is a zero of f(x) of multiplicity ν, if ν is the greatest integer such that (x α) ν is a factor of f (x) in F[x]. Theorem 17. Let f (x) be irreducible in F[x]. Then all zeroes of f (x) in F have the same multiplicity. Corollary 5. If E is a finite extension of F, then {E : F} divides [E : F]. Typeset by FoilTEX 22

24 Separable extensions Definition 19. Let E be a finite extension of F. E is a separable extension of F if {E : F} = [E : F]. An element α F is separable over F if F(α) is a separable extension of F. An irreducible polynomial f (x) F[x] is separable over F if every zero of f (x) in F is separable over F. Theorem 18. Let E be a finite extension of F. 1. E is a separable extension of F if and only if each α E is separable over F. 2. An element α F is separable over F if and only if all zeroes of irr(α,f) in F have multiplicity An irreducible polynomial f (x) F[x] is separable over F if and only if all zeroes of f (x) in F have multiplicity 1. Typeset by FoilTEX 23

25 Perfect fields Definition 20. A field F is perfect if every finite extension is separable. Theorem 19. A field F is perfect if and only if either F has characteristic 0 or F has characteristic p and every element if F is a pth power in F, i.e., F = F p. The primitive element theorem Theorem 20. Let E be a finite separable extension of a field F. There is α E (a primitive element) with E = F(α). In particular, if F has characteristic 0, then every finite extension E is a simple extension. The theorem of the primitive element was known by Lagrange, and Galois used a modification of it in order to construct the original version of the Galois group. Typeset by FoilTEX 24

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism 1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains

More information

RUDIMENTARY GALOIS THEORY

RUDIMENTARY GALOIS THEORY RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the

More information

Keywords and phrases: Fundamental theorem of algebra, constructible

Keywords and phrases: Fundamental theorem of algebra, constructible Lecture 16 : Applications and Illustrations of the FTGT Objectives (1) Fundamental theorem of algebra via FTGT. (2) Gauss criterion for constructible regular polygons. (3) Symmetric rational functions.

More information

Field Theory Qual Review

Field Theory Qual Review Field Theory Qual Review Robert Won Prof. Rogalski 1 (Some) qual problems ˆ (Fall 2007, 5) Let F be a field of characteristic p and f F [x] a polynomial f(x) = i f ix i. Give necessary and sufficient conditions

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

The following results are from the review sheet for the midterm.

The following results are from the review sheet for the midterm. A. Miller M542 Galois Theory Spring 2000 For the material on Galois theory we will be assuming that the fields all have characteristic zero. When we get to solvability by radicals we will assume that all

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

Galois Theory, summary

Galois Theory, summary Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and

More information

Fields and Galois Theory

Fields and Galois Theory Fields and Galois Theory Rachel Epstein September 12, 2006 All proofs are omitted here. They may be found in Fraleigh s A First Course in Abstract Algebra as well as many other algebra and Galois theory

More information

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015 Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s

More information

Galois Theory and the Insolvability of the Quintic Equation

Galois Theory and the Insolvability of the Quintic Equation Galois Theory and the Insolvability of the Quintic Equation Daniel Franz 1. Introduction Polynomial equations and their solutions have long fascinated mathematicians. The solution to the general quadratic

More information

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields. [Parts from Chapter 16. Also applications of FTGT] Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

More information

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d

Math 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

9. Finite fields. 1. Uniqueness

9. Finite fields. 1. Uniqueness 9. Finite fields 9.1 Uniqueness 9.2 Frobenius automorphisms 9.3 Counting irreducibles 1. Uniqueness Among other things, the following result justifies speaking of the field with p n elements (for prime

More information

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

55 Separable Extensions

55 Separable Extensions 55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

Homework problems from Chapters IV-VI: answers and solutions

Homework problems from Chapters IV-VI: answers and solutions Homework problems from Chapters IV-VI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

Galois Theory. This material is review from Linear Algebra but we include it for completeness.

Galois Theory. This material is review from Linear Algebra but we include it for completeness. Galois Theory Galois Theory has its origins in the study of polynomial equations and their solutions. What is has revealed is a deep connection between the theory of fields and that of groups. We first

More information

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a. Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 3 Introduction to Galois Theory 41 3.1 Field Extensions and the Tower Law..............

More information

Math 121 Homework 5 Solutions

Math 121 Homework 5 Solutions Math 2 Homework Solutions Problem 2, Section 4.. Let τ : C C be the complex conjugation, defined by τa + bi = a bi. Prove that τ is an automorphism of C. First Solution. Every element of C may be written

More information

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K. The third exam will be on Monday, April 9, 013. The syllabus for Exam III is sections 1 3 of Chapter 10. Some of the main examples and facts from this material are listed below. If F is an extension field

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

More information

Solutions for Problem Set 6

Solutions for Problem Set 6 Solutions for Problem Set 6 A: Find all subfields of Q(ζ 8 ). SOLUTION. All subfields of K must automatically contain Q. Thus, this problem concerns the intermediate fields for the extension K/Q. In a

More information

Algebraic Cryptography Exam 2 Review

Algebraic Cryptography Exam 2 Review Algebraic Cryptography Exam 2 Review You should be able to do the problems assigned as homework, as well as problems from Chapter 3 2 and 3. You should also be able to complete the following exercises:

More information

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013

The Kummer Pairing. Alexander J. Barrios Purdue University. 12 September 2013 The Kummer Pairing Alexander J. Barrios Purdue University 12 September 2013 Preliminaries Theorem 1 (Artin. Let ψ 1, ψ 2,..., ψ n be distinct group homomorphisms from a group G into K, where K is a field.

More information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

Section VI.31. Algebraic Extensions

Section VI.31. Algebraic Extensions VI.31 Algebraic Extensions 1 Section VI.31. Algebraic Extensions Note. In the past we have only discussed the extension of a field either abstractly or by a single element at a time (eg., Q( 2)). We generalize

More information

Chapter 4. Fields and Galois Theory

Chapter 4. Fields and Galois Theory Chapter 4 Fields and Galois Theory 63 64 CHAPTER 4. FIELDS AND GALOIS THEORY 4.1 Field Extensions 4.1.1 K[u] and K(u) Def. A field F is an extension field of a field K if F K. Obviously, F K = 1 F = 1

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

QUALIFYING EXAM IN ALGEBRA August 2011

QUALIFYING EXAM IN ALGEBRA August 2011 QUALIFYING EXAM IN ALGEBRA August 2011 1. There are 18 problems on the exam. Work and turn in 10 problems, in the following categories. I. Linear Algebra 1 problem II. Group Theory 3 problems III. Ring

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information

Notes on graduate algebra. Robert Harron

Notes on graduate algebra. Robert Harron Notes on graduate algebra Robert Harron Department of Mathematics, Keller Hall, University of Hawai i at Mānoa, Honolulu, HI 96822, USA E-mail address: rharron@math.hawaii.edu Abstract. Graduate algebra

More information

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

Solutions for Field Theory Problem Set 1

Solutions for Field Theory Problem Set 1 Solutions for Field Theory Problem Set 1 FROM THE TEXT: Page 355, 2a. ThefieldisK = Q( 3, 6). NotethatK containsqand 3and 6 3 1 = 2. Thus, K contains the field Q( 2, 3). In fact, those two fields are the

More information

Fundamental Theorem of Algebra

Fundamental Theorem of Algebra EE 387, Notes 13, Handout #20 Fundamental Theorem of Algebra Lemma: If f(x) is a polynomial over GF(q) GF(Q), then β is a zero of f(x) if and only if x β is a divisor of f(x). Proof: By the division algorithm,

More information

Math 581 Problem Set 5 Solutions

Math 581 Problem Set 5 Solutions Math 581 Problem Set 5 Solutions 1. Show that the set { 2, 2 + i, 3 i} is linearly independent over Q. Proof: Suppose there exists a 0, a 1, and a 2 in Q so that a 0 2 + a1 ( 2 + i) + a 2 ( 3 i) = 0. Then

More information

p-adic fields Chapter 7

p-adic fields Chapter 7 Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

More information

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory D. R. Wilkins Copyright c David R. Wilkins 1997 2006 Contents 4 Introduction to Galois Theory 2 4.1 Polynomial Rings.........................

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Page Points Possible Points. Total 200

Page Points Possible Points. Total 200 Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10

More information

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009 Directions: Solve 10 of the following problems. Mark which of the problems are to be graded. Without clear indication which problems are to be graded

More information

Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu

Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu Fields and Galois Theory Fall 2004 Professor Yu-Ru Liu CHRIS ALMOST Contents 1 Introduction 3 1.1 Motivation....................................................... 3 1.2 Brief Review of Ring Theory............................................

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

Fields. Victoria Noquez. March 19, 2009

Fields. Victoria Noquez. March 19, 2009 Fields Victoria Noquez March 19, 2009 5.1 Basics Definition 1. A field K is a commutative non-zero ring (0 1) such that any x K, x 0, has a unique inverse x 1 such that xx 1 = x 1 x = 1. Definition 2.

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Section 31 Algebraic extensions

Section 31 Algebraic extensions Section 31 Algebraic extensions Instructor: Yifan Yang Spring 2007 Vector spaces over a field Definition Let F be a field. A vector space over F is an additive group V, together with a scalar multiplication

More information

Fundamental Theorem of Galois Theory. The Theorem (Dummit & Foote Version):

Fundamental Theorem of Galois Theory. The Theorem (Dummit & Foote Version): Fundamental Theorem of Galois Theory Introduction: Previously we worked through an example illustrating many of the components of Galois Theory including the Fundamental Theorem. Here I will state and

More information

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions

More information

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Homework 4 Algebra. Joshua Ruiter. February 21, 2018 Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying

More information

Identify F inside K and K. Then, by the claim, we have an embedding σ : K K such that σ F = id F. Since σ(k)/f and K/F are isomorphic extensions, the

Identify F inside K and K. Then, by the claim, we have an embedding σ : K K such that σ F = id F. Since σ(k)/f and K/F are isomorphic extensions, the 11. splitting field, Algebraic closure 11.1. Definition. Let f(x) F [x]. Say that f(x) splits in F [x] if it can be decomposed into linear factors in F [x]. An extension K/F is called a splitting field

More information

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

AN INTRODUCTION TO GALOIS THEORY

AN INTRODUCTION TO GALOIS THEORY AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is

More information

CSIR - Algebra Problems

CSIR - Algebra Problems CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com

More information

GALOIS THEORY. Contents

GALOIS THEORY. Contents GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.

More information

GALOIS THEORY BRIAN OSSERMAN

GALOIS THEORY BRIAN OSSERMAN GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial

More information

THROUGH THE FIELDS AND FAR AWAY

THROUGH THE FIELDS AND FAR AWAY THROUGH THE FIELDS AND FAR AWAY JONATHAN TAYLOR I d like to thank Prof. Stephen Donkin for helping me come up with the topic of my project and also guiding me through its various complications. Contents

More information

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2)

GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) GALOIS GROUPS OF CUBICS AND QUARTICS (NOT IN CHARACTERISTIC 2) KEITH CONRAD We will describe a procedure for figuring out the Galois groups of separable irreducible polynomials in degrees 3 and 4 over

More information

GALOIS THEORY I (Supplement to Chapter 4)

GALOIS THEORY I (Supplement to Chapter 4) GALOIS THEORY I (Supplement to Chapter 4) 1 Automorphisms of Fields Lemma 1 Let F be a eld. The set of automorphisms of F; Aut (F ) ; forms a group (under composition of functions). De nition 2 Let F be

More information

Ideals, congruence modulo ideal, factor rings

Ideals, congruence modulo ideal, factor rings Ideals, congruence modulo ideal, factor rings Sergei Silvestrov Spring term 2011, Lecture 6 Contents of the lecture Homomorphisms of rings Ideals Factor rings Typeset by FoilTEX Congruence in F[x] and

More information

1 The Galois Group of a Quadratic

1 The Galois Group of a Quadratic Algebra Prelim Notes The Galois Group of a Polynomial Jason B. Hill University of Colorado at Boulder Throughout this set of notes, K will be the desired base field (usually Q or a finite field) and F

More information

Solutions for Field Theory Problem Set 5

Solutions for Field Theory Problem Set 5 Solutions for Field Theory Problem Set 5 A. Let β = 2 + 2 2 2 i. Let K = Q(β). Find all subfields of K. Justify your answer carefully. SOLUTION. All subfields of K must automatically contain Q. Thus, this

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

More information

Information Theory. Lecture 7

Information Theory. Lecture 7 Information Theory Lecture 7 Finite fields continued: R3 and R7 the field GF(p m ),... Cyclic Codes Intro. to cyclic codes: R8.1 3 Mikael Skoglund, Information Theory 1/17 The Field GF(p m ) π(x) irreducible

More information

7 Orders in Dedekind domains, primes in Galois extensions

7 Orders in Dedekind domains, primes in Galois extensions 18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Integral Domains and Fraction Fields 0.1.1 Theorems Now what we are going

More information

EXTENSIONS OF ABSOLUTE VALUES

EXTENSIONS OF ABSOLUTE VALUES CHAPTER III EXTENSIONS OF ABSOLUTE VALUES 1. Norm and Trace Let k be a field and E a vector space of dimension N over k. We write End k (E) for the ring of k linear endomorphisms of E and Aut k (E) = End

More information

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

INTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics.

INTRODUCTION TO GALOIS THEORY. 1. Introduction and History. one of the most interesting and dramatic tales in the history of mathematics. INTRODUCTION TO GALOIS THEORY JASON PRESZLER 1. Introduction and History The life of Évariste Galois and the historical development of polynomial solvability is one of the most interesting and dramatic

More information

MAT 535 Problem Set 5 Solutions

MAT 535 Problem Set 5 Solutions Final Exam, Tues 5/11, :15pm-4:45pm Spring 010 MAT 535 Problem Set 5 Solutions Selected Problems (1) Exercise 9, p 617 Determine the Galois group of the splitting field E over F = Q of the polynomial f(x)

More information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

Supplement. Algebraic Closure of a Field

Supplement. Algebraic Closure of a Field Supplement: Algebraic Closure of a Field 1 Supplement. Algebraic Closure of a Field Note. In this supplement, we give some background material which is used in the proof of Fraleigh s Theorem 31.17/31.22

More information

54.1 Definition: Let E/K and F/K be field extensions. A mapping : E

54.1 Definition: Let E/K and F/K be field extensions. A mapping : E 54 Galois Theory This paragraph gives an exposition of Galois theory. Given any field extension E/K we associate intermediate fields of E/K with subgroups of a group called the Galois group of the extension.

More information

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction

ON GALOIS GROUPS OF ABELIAN EXTENSIONS OVER MAXIMAL CYCLOTOMIC FIELDS. Mamoru Asada. Introduction ON GALOIS GROUPS OF ABELIAN ETENSIONS OVER MAIMAL CYCLOTOMIC FIELDS Mamoru Asada Introduction Let k 0 be a finite algebraic number field in a fixed algebraic closure Ω and ζ n denote a primitive n-th root

More information

50 Algebraic Extensions

50 Algebraic Extensions 50 Algebraic Extensions Let E/K be a field extension and let a E be algebraic over K. Then there is a nonzero polynomial f in K[x] such that f(a) = 0. Hence the subset A = {f K[x]: f(a) = 0} of K[x] does

More information

Notes on Galois Theory

Notes on Galois Theory Notes on Galois Theory Math 431 04/28/2009 Radford We outline the foundations of Galois theory. Most proofs are well beyond the scope of the our course and are therefore omitted. The symbols and in the

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More information