Math 121 Homework 6 Solutions

Size: px
Start display at page:

Download "Math 121 Homework 6 Solutions"

Transcription

1 Math 11 Homework 6 Solutions Problem 14. # 17. Let K/F be any finite extension and let α K. Let L be a Galois extension of F containing K and let H Gal(L/F ) be the subgroup corresponding to K. Define the norm of α from K to F to be N K/F (α) = σ σ(α), where the product is taken over all embeddings of K into an algebraic closure of F (so over a set of coset representatives for H in Gal(L/F ) by the Fundamental Theorem of Galois Theory.) In particular if K/F is Galois this is σ Gal(K/F ) σ(α). (a) Prove that N K/F (α) F. (b) Prove that N K/F (αβ) = N K/F (α)n K/F (b), so the norm is a multiplicative map from( K to F. D ) (c) Let K = F be a quadratic extension of K. Show that N K/F (a + b ) D = a Db. (d) Let m α (x) = x d +a d 1 x d a 1 x+a 0 be the minimal polynomial of α K over F. Let n = [K : F ]. Prove that d n, that there are d distinct Galois conjugates of α which are all repeated n/d times in the product above, and conclude that N K/F (α) = ( 1) n a n/d 0. Solution. We review some points that are made in the proof of Theorem 14 (The Fundamental Theorem of Galois Theory), page We may take the algebraic closure F of F to contain L. We will denote G = Gal(L/K). Lemma 1. Let G = Gal(L/F ) and H = Gal(L/K) G. Then every embedding σ : K F extends to an automorphism σ 1 G, and σ 1, σ G 1

2 have the same restriction to K if and only if they represent the same coset σ 1 H = σ H. Therefore the distinct embeddings of K into F over F are in bijection with the cosets σh. Proof. Since L is a splitting field, every embedding σ : K F has image in L, and extends to an automorphism of L. If σ 1 and σ Gal(L/K) are two such extensions, then they are the same if σ 1 (x) = σ (x) for all x K, in other words, σ1 1 σ (x) = x which means σ1 1 al(l/k) = H. This is equivalent to σ 1 H = σ H. So we can write N K/F (α) = cosets σh σ(α). (1) Now let us show N K/F (α) F. Since F is the fixed field of G, it is sufficient to show that τn K/F (α) = N K/F (α) for τ G. This is because σh τσh is a permutation of the cosets and so N K/F (α) = cosets σh σ(α) = cosets τσh τσ(α) = τ cosets σh σ(α) = τn K/F (α). This proves (a). As for (b), σ(αβ) = σ(α)σ(β) and taking the product over all embeddings σ of K into L over F gives N K/F (αβ) ( = N K/F (α)n K/F (β). D ) For (c), the assumption that F is a quadratic extension of K implies that the polynomial x D is irreducible over F. Its roots are D and D, so N K/F (α + b ) ( D = a + b ) ( D a b ) D = a Db. Before we prove (d), we will prove another important property of the norm. Proposition. Let E K F and let α E. Then N E/F (α) = N K/F (N E/K (α)). This property is sometimes called the transitivity of the norm map.

3 Proof. We may choose the Galois extension L of F in the definition of the norm so that it contains both K and E. Let H = Gal(L/K) as before, and let M = Gal(L/E) so M H. Now we can choose coset representatives for M in G as follows. First, let σ 1,, σ k be left coset representatives for H = Gal(L/K) in G = Gal(L/F ). This means G = σ i H (disjoint). i Similarly, let τ 1,, τ l be left coset representatives for M in H, so H = j τ j M (disjoint). Then G = i σ i H = i,j σ i τ j M, so the σ i τ j are a set of coset representatives for M in G. This means that N E/F (α) = σ i τ j (α) = ( ) σ i τ j α = σ i (N E/K (α)) = N K/F (N E/K (α)). i,j i j i Now let us prove (d). We have inclusions K F (α) F. Let [F (α) : F ] = d so [K : F (α)] = n/d. By the transitivity of the norm, N K/F (α) = N F (α)/f N K/F (α) (α). Since α F (α), τ(α) = α for every embedding of K into L over F (α), and there are n/d such embeddings, so N K/F (α) (α) = τ τ(α) = α n/d. Now let us compute N F (α)/f (α). This is the product of the conjugates σ(α) of α. These are the distinct roots of the minimal polynomial d (x σ i α). i=1 3

4 (The roots of this polynomial are all distinct since L/F is Galois and therefore separable, and so any intermediate extension such as F (α)/f is separable.) The constant term a 0 of this polynomial is then ( 1) d σ i (α) = ( 1) d N F (α)/f (α). Therefore N K/F (α) = N F (α)/f N K/F (α) (α) = N F (α)/f (α n/d ) = (N F (α)/f (α)) n/d = (( 1) d a 0 ) n/d = ( 1) n a n/d 0. Problem 14. #18. With notation as in the previous problem, define the trace of α from K to F to be Tr K/F (α) = σ σ(α), a sum of Galois conjugates of α. (a) Prove that Tr K/F (α) F. (b) Prove that Tr K/F (α + β) = Tr K/F (α) + Tr K/F (β), so that the trace is an additive map from ( K to F. D ) ( (c) Let K = F be a quadratic extension of K. Show that Tr K/F a + b ) D a. (d) Let m α (x) be as in the previous problem. Prove that Tr K/F (α) = n a d d 1. Solution: This is so similar to the previous problem that we won t write out solutions to (a) and (b). For (c), as in the previous problem the conjugates of a + b D over F are a + b D and a b D, so the trace is the sum a of these. For (d), this is also similar to the previous problem. We may use the transitivity property of the trace: Proposition 3. Let E K F and let α E. Then Tr E/F (α) = Tr K/F (Tr E/K (α)). Problem 14. #1. Use the linear independence of characters to show that for any Galois extension K of F there is an elment α K with Tr K/F (α) 0. Solution: The linear independence of characters is Theorem 7 on page 569. It is due to Artin. Since K/F is Galois, then Tr K/F (α) = χ(α). χ Gal(K/F ) If this is always zero, then χ = 0, contradicting Theorem 7 with all a i = 1. 4 =

5 Problem 14. #. Suppose K/F is a Galois extension of F and let σ be an element of Gal(K/F ). (a) Suppose that α K is of the form α = β for some nonzero β K. σβ Prove that N K/F (α) = 1. (b) Suppose that α K is of the form α = β σβ for some β K. Prove that Tr K/F (α) = 0. This problem sets up Hilbert s Theorem 90 (Exercise 3) which we will be discussing later. Solution: Since K/F is Galois, N(β) = τ(β), N(σβ) = τ Gal(K/F ) τ Gal(K/F ) τσ(β), But τ τσ just permutes the elements of Gal(K/F ). Therefore N(β) = N(σ(β)). Thus N(β/σβ) = N(β)/N(σβ) = 1. Part (b) is similar. Problem 14.3 #9. Let q = p m be a power of the prime p and let F q = F p m be the finite field with q elements. Let σ q = σp m be the m-th power of the Frobenius automorphism σ p, called the q-frobenius automorphism. (a) Prove that σ q fixes F q. (b) Prove that every finite extension of F q of degree n is the splitting field of x qn x over F q, and hence there is a unique such extension. (c) Prove that every finite extension of F q of degree n is cyclic with σ q as a generator. (d) Prove that the subfields of the unique extension of F q of degree n are in bijection with the divisors d of n. Solution. This problem is very similar to Proposition 15 on page 586. We could argue some points alternatively by making more use of Proposition 15. (a) We may interpret σ q as an automorphism of any field containing F p, in particular of F q. But as an automorphism of F q, it is trivial, and this is the content of (a). To see this, we must show that σ q (a) = a if a F q, that is, a q = a. If a = 0 this is obvious, so assume that a F q. This is a finite group of order q 1, so a q 1 = 1. Multiplying this equation by a gives a q = a. (b) If [E : F q ] = n, then E is a vector space of dimension n over F q, so E has cardinality q n. Now if a E, then we claim a qn = a. We may prove this the same way as (a): if x = 0 this is clear, and if a 0, then a lies in a group E of order q n 1, so a qn 1 = 1, so a qn = a. Now the polynomial 5

6 f(x) = x qn x is separable, since f (x) = 1, so f and f are coprime. Thus its roots are distinct, but we have shown that the q n elements of E are roots, so the elements of E are precisely the roots of this polynomial in an algebraic closure of E. It is now clear that E is the splitting field of f. (c) With F = F q and E = F q n, the field E is the splitting field of a separable polynomial, so it is Galois over E. The group G = Gal(E/F ) has order n = [E : F ], and σ q is an element. To show that it is cyclic with generator σ q sufficient to show that if m is a divisor of n = G and σq m = 1 E then m = n. Indeed, for all a E, we have a = σq m (a) = a qm, so the polynomial x qm x has q n roots, namely all elements of E. Because a polynomial of degree q m cannot have more than q m roots, we must have m = n. (d) This now follows from the fundamental theorem of Galois theory, since a cyclic group of order n has one subgroup for each divisor of n. Problem 14.3 #10. Prove that n divides ϕ(p n 1). [Hint: observe that ϕ(p n 1) is the order of the group of automorphisms of a cyclic group of order p n 1. Solution. By Proposition 16 on page 135 of Dummit and Foote, the group of automorphisms of the cyclic group Z m of order m is (Z/mZ), which has order φ(m). We apply this with m = p n 1. The group F p is cyclic n of order p n 1 so Aut(F p n) has order φ(pn 1). Now we may exhibit an automorphism of order exactly n, namely the Frobenius map x x p. By Lagrange s theorem, every element of Aut(F pn) must have order dividing Aut(F p n) and so n pn 1. Problem 14.5 #3. Determine the quadratic equation satisfied by the period α = ζ 5 + ζ5 1 of the fifth root of unity ζ 5. Determine the quadratic equation satisfied by ζ 5 over Q(α) and use this to explicitly solve for the fifth root of unity. Solution. Let al(q(ζ 5 )/Q). Then σ(ζ 5 ) = ζ5 a where a can be 1,, 1 or. So σ(ζ 5 ) = ζ5 a + ζ5 a. α± α 4 This means that the conjugates of α are α = ζ 5 + ζ5 1 and β = ζ5 + ζ5. Now 1 + α + β = 1 + ζ 5 + ζ ζ 5 + ζ 5 = 0. Also αβ = (ζ 5 + ζ 1 5 )(ζ 5 + ζ 5 ) = ζ ζ ζ 5 + ζ 3 5 = 1. 6

7 Since α + b = αβ = 1 we have (x α)(x β) = x (α + β)x + αβ = x + x 1. The f(x) = x + x 1 is the quadratic equation satisfied by α, β and so α, β are 1 ± 5. With ζ 5 = e πi/5 we have α = cos ( ) π 5 > 0 since 0 < π < π, while 5 β = cos ( ) 4π 5 < 0. So α = , β =. α± α 4 Now we are asked to find the quadratic equation satisfied by ζ = ζ 5 over Q(α). Since α is real, complex conjugation σ 1 Gal(Q(ζ 5 )/Q(α)). Thus the conjugates of ζ over Q(α) are ζ and ζ 1, and the irreducible polynomial they satisfy is (x ζ)(x ζ 1 ) = x αx + 1. Using the quadratic equation again, ζ = α ± α 4. Here α 4 < 0 so if we interpet the square root as ( 4 α ) i then we want the positive sign because ζ has positive imaginary part sin ( ) π 5. Thus ζ = α + α 4. Problem 14.5 #4. Let σ a Gal(Q(ζ n )/Q) denote hte automorphism of the cyclotomic field of n-th roots of unity such that σ a (ζ n ) = ζ a n. Show that σ a (ζ) = ζ a for every n-th root of unity ζ. Solution. For some m we have ζ = ζ m n. Therefore σ a (ζ) = σ a (ζ n ) m = ζ am n = (ζ m n ) a = ζ a. 7

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

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

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

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

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

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

Automorphisms and bases

Automorphisms and bases Chapter 5 Automorphisms and bases 10 Automorphisms In this chapter, we will once again adopt the viewpoint that a finite extension F = F q m of a finite field K = F q is a vector space of dimension m over

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

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

3 Galois Theory. 3.1 Definitions and Examples

3 Galois Theory. 3.1 Definitions and Examples 3 Galois Theory 3.1 Definitions and Examples This section of notes roughly follows Section 14.1 in Dummit and Foote. Let F be a field and let f (x) 2 F[x]. In the previous chapter, we proved that there

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

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

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G. 1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore

More information

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

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

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

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

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

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

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 Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

1 Spring 2002 Galois Theory

1 Spring 2002 Galois Theory 1 Spring 2002 Galois Theory Problem 1.1. Let F 7 be the field with 7 elements and let L be the splitting field of the polynomial X 171 1 = 0 over F 7. Determine the degree of L over F 7, explaining carefully

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 121. Fundamental Theorem and an example

Math 121. Fundamental Theorem and an example Math 121. Fundamental Theorem and an example Let K/k be a finite Galois extension and G = Gal(K/k), so #G = [K : k] by the counting criterion for separability discussed in class. In this handout we will

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

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

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

Class Field Theory. Travis Dirle. December 4, 2016

Class Field Theory. Travis Dirle. December 4, 2016 Class Field Theory 2 Class Field Theory Travis Dirle December 4, 2016 2 Contents 1 Global Class Field Theory 1 1.1 Ray Class Groups......................... 1 1.2 The Idèlic Theory.........................

More information

Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!)

Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!) Insolvability of the Quintic (Fraleigh Section 56 Last one in the book!) [I m sticking to Freleigh on this one except that this will be a combination of part of the section and part of the exercises because

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

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

GALOIS THEORY AT WORK

GALOIS THEORY AT WORK GALOIS THEORY AT WORK KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are determined by their

More information

Math 121 Homework 3 Solutions

Math 121 Homework 3 Solutions Math 121 Homework 3 Solutions Problem 13.4 #6. Let K 1 and K 2 be finite extensions of F in the field K, and assume that both are splitting fields over F. (a) Prove that their composite K 1 K 2 is a splitting

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

3 Examples Involving Small Galois Groups

3 Examples Involving Small Galois Groups 3 Examples Involving Small Galois Groups In this section we work out some of the details from recent homework problems and some additional results for Galois groups of orders 4 and 8. Throughout this section

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

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

Notes on Field Extensions

Notes on Field Extensions Notes on Field Extensions Ryan C. Reich 16 June 2006 1 Definitions Throughout, F K is a finite field extension. We fix once and for all an algebraic closure M for both and an embedding of F in M. When

More information

Finite fields Michel Waldschmidt

Finite fields Michel Waldschmidt Finite fields Michel Waldschmidt http://www.imj-prg.fr/~michel.waldschmidt//pdf/finitefields.pdf Updated: 03/07/2018 Contents 1 Background: Arithmetic 1.1 Cyclic groups If G is a finite multiplicative

More information

Solutions of exercise sheet 6

Solutions of exercise sheet 6 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 6 1. (Irreducibility of the cyclotomic polynomial) Let n be a positive integer, and P Z[X] a monic irreducible factor of X n 1

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

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

Finite fields: some applications Michel Waldschmidt 1

Finite fields: some applications Michel Waldschmidt 1 Ho Chi Minh University of Science HCMUS Update: 16/09/2013 Finite fields: some applications Michel Waldschmidt 1 Exercises We fix an algebraic closure F p of the prime field F p of characteristic p. When

More information

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H

22. Galois theory. G = Gal(L/k) = Aut(L/k) [L : K] = H. Gal(K/k) G/H 22. Galois theory 22.1 Field extensions, imbeddings, automorphisms 22.2 Separable field extensions 22.3 Primitive elements 22.4 Normal field extensions 22.5 The main theorem 22.6 Conjugates, trace, norm

More information

Maximal Class Numbers of CM Number Fields

Maximal Class Numbers of CM Number Fields Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

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

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

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

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

Chapter V. Solvability by Radicals

Chapter V. Solvability by Radicals Matematisk Institut Mat 3AL 5.1 Chapter V. Solvability by Radicals One of the oldest problems in algebra was to find roots of an equation. Already in the antiquity solutions of quadratic equations were

More information

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

GALOIS THEORY AT WORK: CONCRETE EXAMPLES GALOIS THEORY AT WORK: CONCRETE EXAMPLES KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are

More information

THE HASSE DAVENPORT RELATION. F = F q. is an automorphism of F, and the group of automorphisms of F is the cyclic group of order r generated by σ p,

THE HASSE DAVENPORT RELATION. F = F q. is an automorphism of F, and the group of automorphisms of F is the cyclic group of order r generated by σ p, THE HASSE DAVENPORT RELATION 1. Environment: Field, Traces, Norms Let p be prime and let our ground field be F o = F p. Let q = p r for some r 1, and let the smaller of our two main fields be The map F

More information

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Definitions 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)

More information

Math 414 Answers for Homework 7

Math 414 Answers for Homework 7 Math 414 Answers for Homework 7 1. Suppose that K is a field of characteristic zero, and p(x) K[x] an irreducible polynomial of degree d over K. Let α 1, α,..., α d be the roots of p(x), and L = K(α 1,...,α

More information

(January 14, 2009) q n 1 q d 1. D = q n = q + d

(January 14, 2009) q n 1 q d 1. D = q n = q + d (January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)

More information

9 Artin representations

9 Artin representations 9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation

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

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

1 Separability and splitting fields

1 Separability and splitting fields Supplementary field theory notes E/F is a finite field extension throughout. We also fix an algebraic closure F in which all our extensions live, although it will rarely be explicitly mentioned. Further

More information

Section V.6. Separability

Section V.6. Separability V.6. Separability 1 Section V.6. Separability Note. Recall that in Definition V.3.10, an extension field F is a separable extension of K if every element of F is algebraic over K and every root of the

More information

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved. Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that

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

Section V.7. Cyclic Extensions

Section V.7. Cyclic Extensions V.7. Cyclic Extensions 1 Section V.7. Cyclic Extensions Note. In the last three sections of this chapter we consider specific types of Galois groups of Galois extensions and then study the properties of

More information

M3P11/M4P11/M5P11. Galois Theory

M3P11/M4P11/M5P11. Galois Theory BSc and MSci EXAMINATIONS (MATHEMATICS) May-June 2014 This paper is also taken for the relevant examination for the Associateship of the Royal College of Science. M3P11/M4P11/M5P11 Galois Theory Date:

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

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

SOME SPECIAL VALUES OF COSINE

SOME SPECIAL VALUES OF COSINE SOME SPECIAL VALUES OF COSINE JAKE LEVINSON. Introduction We all learn a few specific values of cos(x) (and sin(x)) in high school such as those in the following table: x 0 6 π 4 π π π π cos(x) sin(x)

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

18. Cyclotomic polynomials II

18. Cyclotomic polynomials II 18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients

More information

SOLVING SOLVABLE QUINTICS. D. S. Dummit

SOLVING SOLVABLE QUINTICS. D. S. Dummit D. S. Dummit Abstract. Let f(x) = x 5 + px 3 + qx + rx + s be an irreducible polynomial of degree 5 with rational coefficients. An explicit resolvent sextic is constructed which has a rational root if

More information

Galois theory and the Abel-Ruffini theorem

Galois theory and the Abel-Ruffini theorem Galois theory and the Abel-Ruffini theorem Bas Edixhoven November 4, 2013, Yogyakarta, UGM A lecture of two times 45 minutes. Audience: bachelor, master and PhD students, plus maybe some lecturers. This

More information

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

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 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

More information

Ramification Theory. 3.1 Discriminant. Chapter 3

Ramification Theory. 3.1 Discriminant. Chapter 3 Chapter 3 Ramification Theory This chapter introduces ramification theory, which roughly speaking asks the following question: if one takes a prime (ideal) p in the ring of integers O K of a number field

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No

More information

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n )

A SIMPLE PROOF OF KRONECKER-WEBER THEOREM. 1. Introduction. The main theorem that we are going to prove in this paper is the following: Q ab = Q(ζ n ) A SIMPLE PROOF OF KRONECKER-WEBER THEOREM NIZAMEDDIN H. ORDULU 1. Introduction The main theorem that we are going to prove in this paper is the following: Theorem 1.1. Kronecker-Weber Theorem Let K/Q be

More information

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. 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

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

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

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

GALOIS EXTENSIONS ZIJIAN YAO

GALOIS EXTENSIONS ZIJIAN YAO GALOIS EXTENSIONS ZIJIAN YAO This is a basic treatment on infinite Galois extensions, here we give necessary backgrounds for Krull topology, and describe the infinite Galois correspondence, namely, subextensions

More information

Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement)

Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) 1 Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) Note. In this supplement, we consider splitting fields

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

More information

Some algebraic number theory and the reciprocity map

Some algebraic number theory and the reciprocity map Some algebraic number theory and the reciprocity map Ervin Thiagalingam September 28, 2015 Motivation In Weinstein s paper, the main problem is to find a rule (reciprocity law) for when an irreducible

More information

Homework 4 Solutions

Homework 4 Solutions Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite

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

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

Quasi-reducible Polynomials

Quasi-reducible Polynomials Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let

More information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved

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

ϕ : Z F : ϕ(t) = t 1 =

ϕ : Z F : ϕ(t) = t 1 = 1. Finite Fields The first examples of finite fields are quotient fields of the ring of integers Z: let t > 1 and define Z /t = Z/(tZ) to be the ring of congruence classes of integers modulo t: in practical

More information

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions. D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial

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

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

Math 120: Homework 6 Solutions

Math 120: Homework 6 Solutions Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has

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

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-TATE THEOREM FOR ELLIPTIC CURVES HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.

More information