ALGEBRA HW 9 CLAY SHONKWILER

Size: px
Start display at page:

Download "ALGEBRA HW 9 CLAY SHONKWILER"

Transcription

1 ALGEBRA HW 9 CLAY SHONKWILER 1 Let F = Z/pZ, let L = F (x, y) and let K = F (x p, y p ). Show that L is a finite field extension of K, but that there are infinitely many fields between K and L. Is L = K[α] for some α L? Is L separable over K? Proof. Note that x satisfies the polynomial Z p x p K[Z], so the minimal polynomial of x over K must divide this polynomial. Since Z p x p = (Z x) p, this polynomial is inseparable and, hence, the minimal polynomial of x must be separable as well, meaning it must be a polynomial in Z p. However, this in turn implies that the minimal polynomial of x must be Z p x p. Therefore, [K(x) : K] insep = p. On the other hand, since the minimal polynomial of x has a unique root and since any K-embedding of K(x) into K must take x to one of the roots of its minimal polynomial, we see that there is only one such embedding; hence, [K(x) : K] sep = 1, and so [K(x) : K] = [K(x) : K] insep = p. Now, consider L = K(x, y) = K(x)(y) as an extension of K(x). Clearly, y satisfies the polynomial Z p y p K(x)[Z], so the minimal polynomial of y over K(x) must divide Z p y p. By the same argument as above, this implies that [L : K(x)] insep = p and, furthermore, since Z p y p = (Z y) p, we see that [L : K(x)] sep = 1, so [L : K(x)] = [L : K(x)] insep = p. Finally, this means that so L is finite over K. Define Now, for any K i, [L : K] = [L : K(x)][K(x) : K] = p p, K 1 = K(x p+1 + y) K 2 = K(x +1 + y). K n = K(x np+1 + y). (x ip+1 + y) p (x p(ip+1) + y p ) = (x p(ip+1) + y p ) (x p(ip+1) + y p ) = 0 1

2 2 CLAY SHONKWILER since we re in characteristic p, so x ip+1 + y satisfies the polynomial Z p (x p(ip+1) + y p ) K[Z]. Now, in K (or even L), f i (Z) = Z p (x p(ip+1) + y p ) = Z p (x ip+1 + y) p = (Z (x ip+1 + y)) p, so this polynomial is inseperable. Since the minimal polynomial of x ip+1 + y over K must divide this polynomial, it must also be inseparable and, therefore, a polynomial in Z p. The only such polynomial is Z p (x p(ip+1) + y p ), we see that f i (Z) is the minimal polynomial of x ip+1 + y over K and, hence, [K i : K] insep = p. Since the minimal polynomial of x ip+1 + y, f i (Z), has a unique root and any K-embedding of K i must map x ip+1 to another root of its minimal polynomial, we see that there is only on K-embedding of K i into K, so [K i : K] sep = 1. Hence, K i is purely inseparable over K, and so [K i : K] = p. In particular, this means that K i L for all i N. Now, suppose K i = K j for some i j. Then x ip+1 + y, x jp+1 + y K i = K j, so (x ip+1 + y) (x jp+1 + y) = x ip+1 x jp+1 K i = K j. Now, since K i K, we can divide by a multiple of x p ; in particular, x ip+1 x jp+1 x ip = x x (j i)p+1 K i = K j. Now, since 1, x (j i)p K K i, we can divide by 1 x (j i)p : x x (j i)p+1 1 x (j i)p = x K i = K j. Hence, x ip+1 K i = K j, so (x ip+1 + y) x ip+1 = y K i = K j, and so K i = L. However, since this is impossible, we conclude that K i K j for all i j, and so there are infinitely many distinct, non-trivial intermediate extensions K K i L. By the Primitive Element Theorem, since L is finite over K, L = K[α] if and only if there are only finitely many intermediate fields M such that K M L. Since we just saw that there are infinitely many such intermediate fields, we conclude that there is no such α L such that L = K[α]. Furthermore, if L is separable over K, then the Primitive Element Theorem tells us that there is such a primitive element; since there isn t one, we conclude that L is not separable over K. 2 Let ζ n = e 2πi/n C and let Φ n (x) be the minimal polynomial of ζ n over Q. (a): Find the roots of Φ n (x). Show that deg Φ n (x) = φ(n), where φ(n) = #{m Z 1 m n, (m, n) = 1}.

3 ALGEBRA HW 9 3 Proof. We want to show that Φ n (x) = Ψ n (x), where Ψ n (x) := (x ζn m ). 1 m n (m,n)=1 Now, if ψ : Q(ζ n ) Q, then ψ must fix Q and is completely determined by ψ(ζ n ). Now, since ζ n n = 1, it must be the case that 1 = ψ(1) = ψ(ζ n n) = ψ(ζ n ) n, so ψ(ζ n ) is an nth root of unity; that is, ψ(ζ n ) = ζn k for some 1 k n. On the other hand, suppose (k, n) 1. Then n = kd for some 1 < d < n, and so (ζn) k d = ζn n = 1; that is, k is of order d < n. Since ζn d 1, it cannot be the case that ψ(ζ n ) = ζn. k Hence, the only possible images of ζ n under embeddings of Q(ζ n ) Q are ζn m for (m, n) = 1. Since all conjugates of ζ n must be roots Φ n (x), we see that Φ n (x) divides Ψ n (x). On the other hand, suppose (m, n) = 1 and we define the map ψ m : Q(ζ n ) Q(ζ n ) by 1 1 ζ n ζ m n and extend as usual. Then ψ m is certainly a homomorphism. On the other hand, since m (Z/nZ), m has a multiplicative inverse m (Z/nZ), which is also relatively prime to n. Then ψ m : Q(ζ n ) Q(ζ n ) given by 1 1 ζ n ζ m n is also a homomorphism. Now, for α = a 1 ζ n + + a n 1 ζn n 1 + a n Q(ζ n ), ψ m ψ m (α) = ψ m (ψ m (a 1 ζ n ) + + ψ m (a n )) = ψ m (a 1 ζ m n + + a n 1 ζ m(n 1) n + a n ) = ψ m (a 1 ζ m n ) + + ψ m (a n 1 ζ m(n 1) n ) + ψ m (a n ) = a 1 ζ mm n + + a n 1 ζ mm (n 1) n = a 1 ζ n + + a n 1 ζn n 1 = α, + a n + a n so ψ m ψ m id. A parallel computation shows that ψ m ψ m id, so we see that ψ m is an inverse of ψ m. Therefore, ψ m is an isomorphism and, thus, is an embedding Q(ζ n ) Q. Since ψ m (ζ n ) = ζn m, this implies that ζn m must be a root of Φ n (x). Since our choice of m < n such that (m, n) = 1 was arbitrary, we see that all such m must be roots of Φ n (x) and, thus, Ψ n (x) must divide Φ n (x).

4 4 CLAY SHONKWILER Since each divides the other and each is monic, we conclude that Φ n (x) = Ψ n (x). Clearly, the degree of Φ n (x) is φ(n). (b): Show that d n Φ d (x) = x n 1, and deduce that d n φ(d) = n. Proof. Since the roots of x n 1 are precisely the nth roots of unity, we see that, in Q, we can factor x n 1 as x n 1 = n (x ζn). j j=1 Thus, simply grouping appropriately and using the fact that Φ d = (x ζd m ), which we showed in (a) above, we see that 1 m d (m,d)=1 n x n 1 = ζn) j=1(x j = d n 1 m d (m,d)=1 (x ζ n d ) = d n Φ d (x). Obviously, deg(x n 1) = n. On the other hand, since x n 1 = Φ d (x), d n n = deg(x n 1) = deg Φ d (x) d n = d n deg Φ d (x) = d n φ(d) by the result proved above. (c): Let K n = Q(ζ n ). What is [K n : Q]? Answer: Since Φ n (x) is the minimal polynomial of ζ n, K n Q[x]/(Φ n (x)), which is a degree φ(n) extension of Q, since Φ n is irreducible of degree φ(n). Hence, [K n : Q] = φ(n). (d): Show that K n is Galois over Q. Proof. Since Q is characteristic 0, it suffices to show that K n is normal over Q. However, this is clear, because the roots of Φ n (x) are simply powers of ζ n, so Φ n (x) splits in K n ; that is, K n is the splitting field of Φ n (x) (and, in fact, of x n 1), so K n is normal over Q.

5 ALGEBRA HW Let K be a field, and let x 1,..., x n be transcendentals over K. For i = 1,..., n, let s i be the ith symmetric polynomial in x 1,..., x n. (a): Show that K(x 1,..., x n ) is the splitting field over K(s 1,..., s n ) of the polynomial Z n s 1 Z n 1 + s 2 Z n 2 + ( 1) n s n. Proof. Consider the product n (Z x i ). i=1 Then, when we multiply out this product, the coefficient on x k will be ( 1) k s k, so n (Z x i ) = Z n s 1 Z n 1 + s 2 Z n 2 + ( 1) n s n. i=1 Hence, we see that the roots of this polynomial are precisely the x i, so K(x 1,..., x n ) is the splitting field over K(s 1,..., s n ) of this polynomial. (b): Show that the extension K(s 1,..., s n ) K(x 1,..., x n ) is Galois. Proof. Since the minimal polynomial of x i must divide Z n s 1 Z n 1 + s 2 Z n 2 + ( 1) n s n, which has all distinct roots, so the minimal polynomial of x i is seperable. Since this is true for all i = 1,..., n, we see that the extension K(s 1,..., s n ) K(x 1,..., x n ) is separable. On the other hand, since we saw in (a) that K(x 1,..., x n ) is the splitting field of the polynomial Z n s 1 Z n 1 +s 2 Z n 2 +( 1) n s n, this extension is also normal and, therefore, Galois. (c): Show that the Galois group is the symmetric group S n. Proof. First, note that any permutation σ S n corresponds to an automorphism φ σ of K(x 1,..., x n ) where φ σ (x i ) = x σ(i) and φ σ K = id K, since the x i are algebraically independent. Hence, if we can show that for each σ S n, φ σ K(s1,...,s n) is the identity map, then this will imply that there is a copy of S n contained in G. However, this is clear, because, since s i is symmetric for all i, φ σ (s i ) = s i for all i = 1,..., n and all σ S n. Thus, S n G. Note that this implies that #G #S n = n!. On the other hand, consider the notation L = K(s 1,..., s n ). Then [L(x 1 ) : L] n, since the minimal polynomial of x 1 must divide f(z) = Z n s 1 Z n 1 +s 2 Z n 2 +( 1) n s n = (Z x 1 ) n i=2 (Z x i). In turn, [L(x 1, x 2 ) : L(x 1 )] n 1, since the minimal polynomial of x 2 over L(x 1 ) divides f(z) Z x i, which has degree n 1. Iterating in

6 6 CLAY SHONKWILER this fashion, we see that [L(x 1,..., x k ) : L(x 1,..., x k 1 )] n k + 1 and, in turn, that [L(x 1,..., x n ) : L] = [L(x 1,..., x n ) : L(x 1,..., x n 1 ] [L(x 1 ) : L] 2 3 (n 1) n = n!. Since L(x 1,..., x n ) = K(x 1,..., x n ) and since this is a Galois extension of L, we know that #G = [K(x 1,..., x n )] n! Since we ve shown that n! #G n!, we conclude that, in fact, #G = n!. Since #S n = n! and S n G, this in turn implies that G S n. 4 Let L be a normal field extension of K, and let K 0 be the maximal purely inseparable extension of K contained in L. View L as contained in a fixed algebraic closure K of K. (a): Let β L, and let β 1,..., β n K be the distinct images of β under the K-embeddings L K. Let f(x) = (x β i ). Show that f(x) K 0 [x]. Proof. Since L is normal over K, every K-embedding L K is an automorphism of L, so it must be that case that all of the β i are in L. Hence, f(x) L[x]. Now, as in Problem 3(a) above, the coefficients of f(x) are just the elementary symmetric polynomials s 1,..., s n in β 1,..., β n. Furthermore, again as in 3(a), any K-automorphism of L simply permutes the β i, so the s i are fixed by any such automorphism. Thus, since s i L for each i = 1,..., n and every s i is fixed by every K-automorphism of L, we see that each s i is purely inseparable over K and, therefore, must be contained in the maximal purely inseparable extension of K contained in L. Therefore, we conclude that f(x) K 0 [x]. (b): In part (a), show that f(x) is the minimal polynomial of β over K 0. Proof. Since the identity map is certainly a K-automorphism of L, β = β i for some i. Hence, f(β) = 0, so the minimal polynomial of β over K 0 must divide f(x) K 0 [x]. Now, note that if ψ is a K-automorphism of L, then ψ K0 defines a K-embedding of K 0 into L K; since K 0 is purely inseparable, there is only one K- embedding K 0 K, so we see that ψ K0 id. Therefore, ψ is also a K 0 -automorphism of L. Therefore, every K-conjugate of β is also a K 0 -conjugate of β, i.e. all the β i are images of β under K 0 -embeddings L K 0 = K. Hence, since every conjugate of β must be a factor of its minimal polynomial over K 0, we see that the minimal polynomial of β must be divisible by f(x). Therefore, since

7 ALGEBRA HW 9 7 the minimal polynomial and f mutually divide eachother and both are monic, we conclude that f(x) is the minimal polynomial of β over K 0. (c): Conclude that L is separable over K 0. Proof. Since our choice of β in part (a) was arbitrary, we see that the minimal polynomial over K 0 of every element of L is separable, which implies that L is separable over K 0. 5 Let K = F p (t) and let L = K [ t ], where p is an odd prime number. (a): Find the maximal separable extension K of K in L, and the maximal purely inseparable extension K 0 of K in L. Answer: As we ve seen, the minimal polynomial of t over K is x t. Let α = t. Now, in L, we can factor this as ( x t = x p ) ( t x p + ) t = (x p α p ) (x p + α p ) = (x α) p (x + α) p ; since p 2, α α, so we see that there are two distinct roots of the minimal polynomial of α over K. Hence, there are two distinct embeddings L K, and so [L : K] sep = 2. Thus, if we can find an intermediate separable extension of degree 2, this must be the maximal separable extension K of K in L. Our choice, is clear, however: since t = α p L, consider K [ t ]. t has separable minimal polynomial ( x ) ( t x + ) t = x 2 t K[x], so K = K [ t ] is the maximal separable extension of K in L. On the other hand, since [L : K] = [L : K] sep [L : K] insep and [L : K] =, [L : K] sep = 2, we know that [L : K] insep = p. Now, p t has minimal polynomial x p t = ( x p t ) p over K, so we see that K 0 = K [ p t ] is purely inseparable. Since it is an extension of degree p, we conclude that it is the maximal purely inseparable extension of K in L. (b): Show explicitly in this example that L is the compositum of K and K 0, by expressing t as a combination of elements from K and K 0. Proof. Certainly, it suffices to show that we can express t as a combination of elements from K and K 0. Now, t K and ( p ) p 1 t 2 K 0, since p is odd and thus p 1 is divisible by 2. In

8 8 CLAY SHONKWILER 1 turn, this implies that K ( p t) p 1 0. Now, 2 t t ( p ) p 1 = p t ( ) p 1 = p t t 2 t 2 2 t = p p 1 t p 1 = t. Hence, we see that, indeed, t is the combination of elements of K and K 0, so L is the compositum of K and K 0. (c): What if instead p = 2? Answer: If p = 2, then α t = t, and so the minimal polynomial for α, x t = (x α) p (x + α p ) = (x α) has only a single root. Since every K-embedding of L into K must map α to a root of this polynomial, this implies that there is only a single such K-embedding, so L is purely inseperable over K. Hence, K = K, K 0 = L and it s trivially true that L is the compositum of K and K 0. DRL 3E3A, University of Pennsylvania address: shonkwil@math.upenn.edu

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

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

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

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

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

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

Galois Theory of Cyclotomic Extensions

Galois Theory of Cyclotomic Extensions Galois Theory of Cyclotomic Extensions Winter School 2014, IISER Bhopal Romie Banerjee, Prahlad Vaidyanathan I. Introduction 1. Course Description The goal of the course is to provide an introduction to

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

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

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 603, Spring 2003, HW 6, due 4/21/2003

Math 603, Spring 2003, HW 6, due 4/21/2003 Math 603, Spring 2003, HW 6, due 4/21/2003 Part A AI) If k is a field and f k[t ], suppose f has degree n and has n distinct roots α 1,..., α n in some extension of k. Write Ω = k(α 1,..., α n ) for the

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

Algebra SEP Solutions

Algebra SEP Solutions Algebra SEP Solutions 17 July 2017 1. (January 2017 problem 1) For example: (a) G = Z/4Z, N = Z/2Z. More generally, G = Z/p n Z, N = Z/pZ, p any prime number, n 2. Also G = Z, N = nz for any n 2, since

More information

ALGEBRA HW 3 CLAY SHONKWILER

ALGEBRA HW 3 CLAY SHONKWILER ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination

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

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

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

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

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

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

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

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

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

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

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

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

Section X.55. Cyclotomic Extensions

Section X.55. Cyclotomic Extensions X.55 Cyclotomic Extensions 1 Section X.55. Cyclotomic Extensions Note. In this section we return to a consideration of roots of unity and consider again the cyclic group of roots of unity as encountered

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

Field Theory Problems

Field Theory Problems Field Theory Problems I. Degrees, etc. 1. Answer the following: (a Find u R such that Q(u = Q( 2, 3 5. (b Describe how you would find all w Q( 2, 3 5 such that Q(w = Q( 2, 3 5. 2. If a, b K are algebraic

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

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

5 Algebraicially closed fields and The Fundamental Theorem of Algebra

5 Algebraicially closed fields and The Fundamental Theorem of Algebra 5 Algebraicially closed fields and The Fundamental Theorem of Algebra In this chapter all fields will be of characteristic zero. Definition. A field K is algebraically closed if every polynomial in K[x],

More information

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. ALGEBRA HW 4 CLAY SHONKWILER (a): Show that if 0 M f M g M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are. Proof. ( ) Suppose M is Noetherian. Then M injects into

More information

GEOMETRY HW 12 CLAY SHONKWILER

GEOMETRY HW 12 CLAY SHONKWILER GEOMETRY HW 12 CLAY SHONKWILER 1 Let M 3 be a compact 3-manifold with no boundary, and let H 1 (M, Z) = Z r T where T is torsion. Show that H 2 (M, Z) = Z r if M is orientable, and H 2 (M, Z) = Z r 1 Z/2

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

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

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

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

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

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

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

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

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

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

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

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

GEOMETRY HW 8. 1 x z

GEOMETRY HW 8. 1 x z GEOMETRY HW 8 CLAY SHONKWILER Consider the Heisenberg group x z 0 y which is a Lie group diffeomorphic to R 3 a: Find the left invariant vector fields X, Y, Z on R 3 whose value at the identity is the

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

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

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

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally Math 248A. Discriminants and étale algebras Let A be a noetherian domain with fraction field F. Let B be an A-algebra that is finitely generated and torsion-free as an A-module with B also locally free

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

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

Department of Mathematics, University of California, Berkeley

Department of Mathematics, University of California, Berkeley ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden Department of Mathematics, University of California, Berkeley K = field of characteristic zero, Ω = algebraically

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

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field

D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field D-MATH Algebra I HS17 Prof. Emmanuel Kowalski Solution 1 Algebraic closure, splitting field 1. Let K be a field of characteristic and L/K a field extension of degree. Show that there exists α L such 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

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

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

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

An Additive Characterization of Fibers of Characters on F p

An Additive Characterization of Fibers of Characters on F p An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009

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

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

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

(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

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

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/25833 holds various files of this Leiden University dissertation Author: Palenstijn, Willem Jan Title: Radicals in Arithmetic Issue Date: 2014-05-22 Chapter

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

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

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

CYCLOTOMIC EXTENSIONS

CYCLOTOMIC EXTENSIONS CYCLOTOMIC EXTENSIONS KEITH CONRAD 1. Introduction For a positive integer n, an nth root of unity in a field is a solution to z n = 1, or equivalently is a root of T n 1. There are at most n different

More information

GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

More information

CYCLICITY OF (Z/(p))

CYCLICITY OF (Z/(p)) CYCLICITY OF (Z/(p)) KEITH CONRAD 1. Introduction For each prime p, the group (Z/(p)) is cyclic. We will give seven proofs of this fundamental result. A common feature of the proofs that (Z/(p)) is cyclic

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

Solutions 13 Paul Garrett garrett/

Solutions 13 Paul Garrett   garrett/ (March 1, 005) Solutions 13 Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [13.1] Determine the degree of Q( 65 + 56i) over Q, where i = 1. We show that 65 + 56i is not a suare in

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

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

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

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

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of

Q N id β. 2. Let I and J be ideals in a commutative ring A. Give a simple description of Additional Problems 1. Let A be a commutative ring and let 0 M α N β P 0 be a short exact sequence of A-modules. Let Q be an A-module. i) Show that the naturally induced sequence is exact, but that 0 Hom(P,

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

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

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

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

ALGEBRA HW 4 CLAY SHONKWILER

ALGEBRA HW 4 CLAY SHONKWILER ALGEBRA HW 4 CLAY SHONKWILER.2.19 Prove that if N is a nmal subgroup of the finite group G ( N, G : N ) = 1 then N is the unique subgroup of G of der N. Proof. Let H G such that H = N. By Proposition 1,

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

There is 2 c automorphisms of complex numbers

There is 2 c automorphisms of complex numbers University of Silesia, Institute of Mathematics Wisła, February 7, 2011 Some facts from field theory Every field has its algebraic closure. It is unique up to isomorphism; hence one can denote the algebraic

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

THE GALOIS CORRESPONDENCE

THE GALOIS CORRESPONDENCE THE GALOIS CORRESPONDENCE KEITH CONRAD 1. Introduction Let L/K be a field extension. A K-automorphism of L is a field automorphism σ : L L which fixes the elements of K: σ(c) = c for all c K. The set of

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

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

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

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS

COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS COMPUTING GALOIS GROUPS WITH GENERIC RESOLVENT POLYNOMIALS JOHN KOPPER 1. Introduction Given an arbitrary irreducible polynomial f with rational coefficients it is difficult to determine the Galois group

More information