ALGEBRA HW 9 CLAY SHONKWILER
|
|
- Brenda Maxwell
- 6 years ago
- Views:
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 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 informationFIELD 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 informationField 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 informationA 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 informationGALOIS 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 informationbut 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 informationNotes 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 informationFields 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 informationGalois 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 informationChapter 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 informationGalois 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 informationNOTES 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 informationMath 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 informationTheorem 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 informationAlgebra 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 informationALGEBRA 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 information1 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 informationProfinite 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 informationMath 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 informationTHE 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 informationPart 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 informationMATH 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 information9. 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 information1 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 informationGraduate 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 informationAlgebra 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 informationGALOIS 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 informationQuasi-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 informationGALOIS 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 informationSection 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 information1. 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 informationField 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 information22. 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 informationCourse 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 informationMath 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 information5 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 informationALGEBRA 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 informationGEOMETRY 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 informationGALOIS 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 informationMath 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 informationIUPUI 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 informationAlgebraic 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 informationMath 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 informationABSTRACT 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 information55 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 informationRUDIMENTARY 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 informationFactorization 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 informationPart 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 informationarxiv: 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 informationSolutions 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 informationReal 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 informationGEOMETRY 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 informationSection 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 informationHomework 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 informationMath 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 informationThus, 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 informationGALOIS 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 informationCONSTRUCTIBLE 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 informationDepartment 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 informationFactorization 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 informationD-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 informationALGEBRA 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 informationSample 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 informationNOTES 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 information1 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 informationAn 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 informationPage 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 informationALGEBRA 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 informationA 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 informationThe 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) [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 informationA 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 informationCover 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 information18. 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 informationKeywords 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 informationMath 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 informationCYCLOTOMIC 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 informationGALOIS 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 informationCYCLICITY 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 informationMath 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 informationSolutions 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 informationMath 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 informationGalois 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 informationFields 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 informationContradiction. 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 informationQ 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 informationSection 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 informationThe 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 informationSection 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 information54.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 informationALGEBRA 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 informationSome 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 informationThere 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 informationExtension 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 informationTHE 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 informationGalois 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 informationD-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 informationCourse 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 informationThe 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 informationCOMPUTING 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