SOME EXAMPLES OF THE GALOIS CORRESPONDENCE
|
|
- Verity Norton
- 5 years ago
- Views:
Transcription
1 SOME EXAMPLES OF THE GALOIS CORRESPONDENCE KEITH CONRAD Example 1. The field extension (, ω)/, where ω is a nontrivial cube root of unity, is Galois: it is a splitting field over for X, which is separable since any irreducible in [X] is separable. The number of field automorphisms of (, ω)/ is [(, ω) : ] = 6. (For comparison, the number of field automorphisms of ( )/ is 1, even though the field extension has degree : there is just nowhere for to go in ( ) except to itself.) We will give two ways to think about Gal((, ω)/). (, ω) ( ) (ω) For the first way, each σ in Gal((, ω)/) is determined by its effect on the roots of X, which are, ω, and ω, since these roots generate the top field over the bottom field (note ω = ω / is a ratio of two cube roots of ). There are at most 6 permutations of these roots, and since we know there are 6 automorphisms every permutation of the roots comes from an automorphism of the field extension. Therefore Gal((, ω)/) = S with S thought of as the symmetric group on the set of roots of X. For another viewpoint, any σ in the Galois group is determined by the two values σ( ) {, ω, ω } and σ(ω) {ω, ω }. Therefore there are at most = 6 possibilities for σ. Since 6 is the number of automorphisms, all of these possibilities really work: any choice of a root of X for σ( ) and a nontrivial cube root of unity for σ(ω) does come from an automorphism σ. Write σ(ω) = ω aσ where a σ (Z/()) and σ( ) = ω bσ where b σ Z/(). For two automorphisms σ and τ, σ(τ(ω)) = σ(ω aτ ) = σ(ω) aτ = ω aσaτ and σ(τ( )) = σ(ω bτ ) = σ(ω) bτ σ( ) = ω aσbτ ω bσ = ω aσbτ +bσ. Looking at the exponents of ω on the right side of these two equations, composition of σ and τ behaves like multiplication of matrices ( a 0 1 b ) with entries in Z/(), since ( a b 0 1 )( a b 0 1 ) = 1
2 KEITH CONRAD ( aa ab +b ): Gal((, ω)/) is isomorphic to the group of mod invertible matrices ( 0 1 a b aσ bσ by σ ( 0 1 ). That we found two different models for Gal((, ω)/), as permutations and as matrices, is no surprise since both of those groups are nonabelian and any two nonabelian groups of size 6 are isomorphic. Example. The extension (, i)/ is Galois by the same reasoning as in the previous example: the top field is the splitting field over for X, which is separable. The diagram below shows some of the intermediate fields, but these are not all the intermediate fields. For instance, ( ) ( ), but this is not the only missing subfield. 0 1 ) (, i) ( ) (i ) (i) Although any element of Gal((, i)/) permutes the roots of X, not all permutations of the roots are realized by the Galois group. (This is a contrast to Gal((, ω)/)!) For example, and add to 0, so under a field automorphism these two roots go to roots that are also negatives of each other. No field automorphism of (, i)/ could send to i and to because that doesn t respect the algebraic relation x + y = 0 that holds for x = and y =. To figure out what Gal((, i)/) is concretely, we think about an automorphism σ by what it does to and i, rather than what it does to all the fourth roots of. Since σ( ) has to be a root of X ( possible values) and σ(i) has to be a root of X + 1 ( possible values), there are at most = 8 automorphisms of ( )/. Because [(, i) : ] = 8, Gal((, i)/) has size 8 and therefore all assignments of σ( ) and σ(i) to roots of X and X + 1, respectively, must be realized by field automorphisms. Let r and s be the automorphisms of (, i)/ determined by r( ) = i, r(i) = i, s( ) =, s(i) = i. By taking powers and products (that is, composites) of automorphisms, we obtain the following table of 8 different automorphisms of (, i)/. (They are different because they don t have the same effect on both and i, which generate the field extension). σ id r r r s rs r s r s σ( ) i i i i σ(i) i i i i i i i i Table 1.
3 SOME EXAMPLES OF THE GALOIS CORRESPONDENCE A calculation at and i shows r = id, s = id, and rs = sr 1, so Gal((, i)/) is isomorphic (not equal, just isomorphic!) to D, where D can be viewed as the 8 symmetries of the square whose vertices are the four complex roots of X : r is rotation by 90 degrees counterclockwise and s is complex conjugation, which is a reflection across one diagonal of this square. (Strictly speaking, r and s as automorphisms are only defined on (, i), not on all complex numbers. While r looks like a rotation by 90 degrees on the four roots of X, it is not really a rotation on most elements of ( ), since r is not multiplication by i everywhere. For example, r(1) is 1 rather than i, and r(i) is i rather than 1. The function s, however, does coincide with complex conjugation on all of (, i).) Since (, i) is a Galois extension of, we can compute the degree of a number in (, i) over by counting the size of its Galois orbit. For example, let α = Applying Gal((, i)/) to α and seeing what different numbers come out amounts to replacing in the expression for α by the four different fourth roots of and replacing = in the expression for α by the squares of those respective fourth roots of. We obtain the list + + 1, i + 1, + + 1, i + 1. Although Gal((, i)/) has size 8, the Galois orbit of α only has size. Therefore the field extension (α)/ has degree. Since α ( ), so (α) ( ), a degree comparison implies (α) = ( ). It is easy to see why the Galois orbit has fewer than 8 numbers in it: complex conjugation s does not change α, so every σ and σs have the same value at α. Example. The extension (, ω)/ has Galois group isomorphic to S (Example 1). This group has subgroups of order and one subgroup (just A ) of order. In the diagram we have indicated the indices in S of subgroups. S A (1) (1) () {(1)}
4 KEITH CONRAD Let s flip this upside down, so larger groups are on the bottom. {(1)} (1) (1) () A S By the Galois correspondence, the arrangement of subfields of (, ω) looks the same, with indices of a subgroup in the Galois group turning into degrees of a subfield over. (, ω)???? So there is one quadratic subfield and three cubic subfields. It is easy to write down enough such fields by inspection: (ω) is quadratic and ( ), (ω ), and (ω ) are all cubic. (These three cubic fields are distinct since two different cube roots of can t lie in the same cubic field.) So these are the only (proper) intermediate fields, and the field diagram looks like this: (, ω) ( ) (ω ) (ω ) (ω) We were somewhat cavalier about the way we just wrote down the cubic fields without really paying attention to which ones should correspond to which subgroups of index (order ) in the Galois group. But we can t be more careful at this stage (beyond keeping track of indices of subgroups and degrees of subfields) because we didn t really keep track here of how Gal((, ω)/) is isomorphic to S. We simply used the subgroup structure
5 SOME EXAMPLES OF THE GALOIS CORRESPONDENCE 5 of S to figure out the subfield structure of (, ω). If we want to match specific subgroups with specific subfields through the Galois correspondence, we have to think about S as the Galois group in a definite way. There are three roots of X being permuted by the Galois group (in all 6 possible ways), so if we label these roots abstractly as 1,, and then we can see what the correspondence should be. Label as 1, ω as, and ω as. Then (1) fixes ω, and therefore (ω ) is contained in the fixed field (, ω) (1). The subgroup (1) has index and (ω )/ has degree, so (ω ) is the full fixed field of (1). In a similar way, (1) has fixed field (ω ) and () has fixed field ( ). So the subgroup and subfield diagrams are aligned if we draw them as follows: {(1)} (1) (1) () A S (, ω) (ω ) (ω ) ( ) (ω) Example. The extension (, i)/ has Galois group isomorphic to D according to the permutations that the Galois group induces on the fourth roots of. Generators are r and s where r( ) = i, r(i) = i and s( ) =, s(i) = i (s is complex conjugation). See Table 1 in Example. Below is the diagram of all subgroups of D, written upside down.
6 6 KEITH CONRAD {id} s r s r rs r s r, s r r, rs D All indices of successive subgroups here are, so we don t include that information in the diagram. The lattice of intermediate fields in (, i)/ looks the same: (, i) ( ) (i ) (, i)?? ( ) (i) (i ) To check the fields have been placed correctly according to the Galois correspondence H (, i) H, verify in each case that each field in the field diagram is fixed by the subgroup in the same relative position in the subgroup diagram, and the degree of the field over equals the index of the subgroup over : if F (, i) H and [F : ] = [D : H] then F = (, i) H. As an example, the subextension (i)/ has degree, so its corresponding subgroup H in D has index. Since r(i) = i, r is a subgroup fixing i with index 8/ =, so H = r. Thus (i) corresponds to r. Two fields in the field diagram have been left undetermined. They correspond to the subgroups rs and r s. The smallest subgroup properly containing either of these is r, rs, so we can figure out what the undetermined fields are by finding an α (, i) of degree over that is fixed by rs and not by r, and likewise finding a β of degree over that is fixed by r s and not by r. Then the two missing fields are (α) and (β). To find α, rather than blind guessing we simply write out a general element of (, i) in a basis over and see what the condition rs(α) = α means about the coefficients. Writing α = a + b + c + d + ei + fi + gi + hi, with rational coefficients a, b, c, d, e, f, g, h, applying rs to all terms gives rs(α) = a + bi c di ei + f + gi h,
7 SOME EXAMPLES OF THE GALOIS CORRESPONDENCE 7 so b = f, c = c, e = e, d = h. Therefore α = a + b( + i ) + d( i ) + gi. The coefficients a, b, d, g can be any rational numbers. To pick something simple of degree, we try b = 1 and the other coefficients equal to 0: α = + i = (1 + i). Easily r (α) = α, so α is fixed by rs but not by r, which means the field (α) is inside the fixed field of rs but not inside the fixed field of r, so (α) must be the fixed field of rs. The difference β = i is fixed by r s and not by r, so the fixed field of r s is (1 i). Now we have a complete field diagram. (, i) ( ) (i ) (, i) ((1 + i) ) ((1 i) ) ( ) (i) (i ) Example 5. The polynomial X X 1 is irreducible over since it is irreducible mod. Let s find its splitting field over and all of its subfields. The roots of X X 1 are ± (1 + 5)/ and ± (1 5)/. Let α = (1 + 5)/, so ± (1 5)/ = ±i/α. Therefore the splitting field of X X 1 over is (α, i). Since α is real, i (α), so as the diagram below illustrates [(α, i) : ] = 8. (α, i) (α) (i) Any σ Gal((α, i)/) is determined by σ(α) and σ(i). Since σ(α) has four possible values (±α and ±i/α) and σ(i) has two possible values (±i), there are at most eight pairs (σ(α), σ(i)) and hence at most 8 possibilities for σ. The group Gal((α, i)/) has order 8, so all 8 possible choices for (σ(α), σ(i)) really do arise. See Table. The fifth column is complex conjugation on (α, i).
8 8 KEITH CONRAD σ(α) α α i/α i/α α α i/α i/α σ(i) i i i i i i i i Table. To help us recognize Gal((α, i)/), the last two automorphisms in Table have order and the other nonidentity automorphisms in the table have order (check!). The extension (α)/ is not Galois (after all, α has -conjugate i/α, which is not in (α) since i/α is not real), so Gal((α, i)/) has a non-normal subgroup and in particular is not abelian. This is enough information to pin down the Galois group up to isomorphism: the two nonabelian groups of order 8 are D and 8, and every subgroup of 8 is normal, so Gal((α, i)/) = D. To make this isomorphism concrete, let r be the automorphism with the effect in the second to last column of Table (it has order ) and let s be complex conjugation on (α, i). Then we can list the automorphisms described in Table as in Table. As an exercise, check from Table that sr = r s. σ id r rs r s s r s r r σ(α) α α i/α i/α α α i/α i/α σ(i) i i i i i i i i Table. Below is the lattice of subgroups of D, upside down. {id} (α, i) s r s r rs r s r, s r r, rs D The field fixed by s is a real subfield of (α, i) whose degree over is 8/ =. This field must be (α), since it has degree and is a real field. From Table, i is fixed by {1, r, rs, r s} = r, rs, so the field fixed by r, rs, which must be quadratic, is (i). From the diagram of subgroups of D, there is a unique quadratic subfield of (α) on account of there being a unique subgroup of D containing s with index, namely r, s. An obvious quadratic subfield of (α) is (α ) = ((1 + 5)/) = ( 5), so this is the fixed field of r, s.
9 SOME EXAMPLES OF THE GALOIS CORRESPONDENCE 9 Here is a diagram of subfields of (α, i) so far. (α, i) (α)???? (α )? (i) Using Table, iα is fixed by r s, and iα has degree over (it s a root of X + X 1, which is irreducible mod and thus irreducible over ). Here is a more filled-in subfield diagram. Check for each number listed in the diagram that its fixed group is the corresponding subgroup in the subgroup diagram for D. (α, i) (α) (iα) (α, i)?? (α ) (i(α + 1/α )) (i) Remark 6. While the quadratic subfields of (, i) in Example are ( ), (i), and (i ), the quadratic subfields of (α, i) include (α ) and (i) but not (iα ) because iα does not have degree over : it has degree over with minimal polynomial T +T +1. The difference between in Example and α = (1+ 5)/ in this example is that α is not a pure square root of an integer, so iα need not be quadratic over. To complete the field diagram we seek elements of degree over that are fixed by rs and r s. Since both of these automorphisms have order, it s natural to consider α + (rs)(α) = α + i/α and α + (r s)(α) = α i/α. To prove α + i/α generates the fixed field of rs, let s use the field diagram: (α + i/α) is inside the fixed field of rs, so if it does not have degree over then this field is inside (i) and thus is fixed by r. Since r (α + i/α) = α i/α = (α + i/α), the only way α + i/α can be fixed by r is if it is 0, but this would be absurd since α is a real number. So the first question mark in the above diagram is (α + i/α). In a similar way, the field fixed by r s is (α i/α). We can make the generator for the field (α+i/α) more explicit. Since α = (1 + 5)/, by direct calculation ( α + i ) = α + i 1 α α = i = 1 + i,
10 10 KEITH CONRAD and likewise (α i/α) = 1 i. Therefore (α + i/α) = ( 1 + i) and (α i/α) = ( 1 i). Here is the field diagram with more explicit generators of the fields. (α, i) (α) (iα) ( 5, i) ( 1 + i) ( 1 i) ( 5) ( 5) (i) Galois theory tells us that ( 1 + i) ( 1 i) because these fields correspond to different subgroups of Gal((α, i)/). Since s(α + i/α) = α i/α, the field ( 1 + i) is carried over to ( 1 i) by complex conjugation.
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 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 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 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 informationGalois 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 informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
More informationSymmetries and Polynomials
Symmetries and Polynomials Aaron Landesman and Apurva Nakade June 30, 2018 Introduction In this class we ll learn how to solve a cubic. We ll also sketch how to solve a quartic. We ll explore the connections
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 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 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 informationALGEBRA 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 informationdisc f R 3 (X) in K[X] G f in K irreducible S 4 = in K irreducible A 4 in K reducible D 4 or Z/4Z = in K reducible V Table 1
GALOIS GROUPS OF CUBICS AND QUARTICS IN ALL CHARACTERISTICS KEITH CONRAD 1. Introduction Treatments of Galois groups of cubic and quartic polynomials usually avoid fields of characteristic 2. Here we will
More informationOverview: The short answer is no because there are 5 th degree polynomials whose Galois group is isomorphic to S5 which is not a solvable group.
Galois Theory Overview/Example Part 2: Galois Group and Fixed Fields I ll repeat the overview because it explains what I m doing with the example. Then I ll move on the second part of the example where
More informationSelected 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 informationChapter 11: Galois theory
Chapter 11: Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Spring 014 M. Macauley (Clemson) Chapter 11: Galois theory
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 informationFields 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 informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationx by so in other words ( )
Math 210B. Norm and trace An interesting application of Galois theory is to help us understand properties of two special constructions associated to field extensions, the norm and trace. If L/k is a finite
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 informationWHY WORD PROBLEMS ARE HARD
WHY WORD PROBLEMS ARE HARD KEITH CONRAD 1. Introduction The title above is a joke. Many students in school hate word problems. We will discuss here a specific math question that happens to be named the
More informationTHE ARTIN-SCHREIER THEOREM KEITH CONRAD
THE ARTIN-SCHREIER THEOREM KEITH CONRAD 1. Introduction The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic closure
More informationRECOGNIZING GALOIS GROUPS S n AND A n
RECOGNIZING GALOIS GROUPS S n AND A n KEITH CONRAD 1. Introduction If f(x) K[X] is a separable irreducible polynomial of degree n and G f is its Galois group over K (the Galois group of the splitting field
More informationDIHEDRAL GROUPS II KEITH CONRAD
DIHEDRAL GROUPS II KEITH CONRAD We will characterize dihedral groups in terms of generators and relations, and describe the subgroups of D n, including the normal subgroups. We will also introduce an infinite
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 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 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 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 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 informationGalois Theory Overview/Example Part 1: Extension Fields. Overview:
Galois Theory Overview/Example Part 1: Extension Fields I ll start by outlining very generally the way Galois theory works. Then, I will work through an example that will illustrate the Fundamental Theorem
More informationGalois 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 informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationGalois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.
Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More
More 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 informationTC10 / 3. Finite fields S. Xambó
TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the
More 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 informationORDERS OF ELEMENTS IN A GROUP
ORDERS OF ELEMENTS IN A GROUP KEITH CONRAD 1. Introduction Let G be a group and g G. We say g has finite order if g n = e for some positive integer n. For example, 1 and i have finite order in C, since
More informationSOME 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 informationGROUPS OF ORDER p 3 KEITH CONRAD
GROUPS OF ORDER p 3 KEITH CONRAD For any prime p, we want to describe the groups of order p 3 up to isomorphism. From the cyclic decomposition of finite abelian groups, there are three abelian groups of
More informationx by so in other words ( )
Math 154. Norm and trace An interesting application of Galois theory is to help us understand properties of two special constructions associated to field extensions, the norm and trace. If L/k is a finite
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 informationCSIR - Algebra Problems
CSIR - Algebra Problems N. Annamalai DST - INSPIRE Fellow (SRF) Department of Mathematics Bharathidasan University Tiruchirappalli -620024 E-mail: algebra.annamalai@gmail.com Website: https://annamalaimaths.wordpress.com
More informationISOMORPHISMS KEITH CONRAD
ISOMORPHISMS KEITH CONRAD 1. Introduction Groups that are not literally the same may be structurally the same. An example of this idea from high school math is the relation between multiplication and addition
More informationSIMPLE RADICAL EXTENSIONS
SIMPLE RADICAL EXTENSIONS KEITH CONRAD 1. Introduction A field extension L/K is called simple radical if L = K(α) where α n = a for some n 1 and a K. Examples of simple radical extensions of Q are Q( 2),
More information22M: 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* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
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 informationFINITE FIELDS KEITH CONRAD
FINITE FIELDS KEITH CONRAD This handout discusses finite fields: how to construct them, properties of elements in a finite field, and relations between different finite fields. We write Z/(p) and F p interchangeably
More informationGENERATING SETS KEITH CONRAD
GENERATING SETS KEITH CONRAD 1 Introduction In R n, every vector can be written as a unique linear combination of the standard basis e 1,, e n A notion weaker than a basis is a spanning set: a set of vectors
More informationFinite Fields: An introduction through exercises Jonathan Buss Spring 2014
Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence
More informationLecture 6.6: The fundamental theorem of Galois theory
Lecture 6.6: The fundamental theorem of Galois theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 410, Modern Algebra M. Macauley
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 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 informationSOLVING 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 information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationGalois theory of fields
1 Galois theory of fields This first chapter is both a concise introduction to Galois theory and a warmup for the more advanced theories to follow. We begin with a brisk but reasonably complete account
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationMATH 113 FINAL EXAM December 14, 2012
p.1 MATH 113 FINAL EXAM December 14, 2012 This exam has 9 problems on 18 pages, including this cover sheet. The only thing you may have out during the exam is one or more writing utensils. You have 180
More informationFINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.
FINITE GROUP THEORY: SOLUTIONS TONY FENG These are hints/solutions/commentary on the problems. They are not a model for what to actually write on the quals. 1. 2010 FALL MORNING 5 (i) Note that G acts
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 informationTHE MINIMAL POLYNOMIAL AND SOME APPLICATIONS
THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS KEITH CONRAD. Introduction The easiest matrices to compute with are the diagonal ones. The sum and product of diagonal matrices can be computed componentwise
More informationMAT 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 informationAlgebra Ph.D. Preliminary Exam
RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you
More informationCONJUGATION IN A GROUP
CONJUGATION IN A GROUP KEITH CONRAD 1. Introduction A reflection across one line in the plane is, geometrically, just like a reflection across any other line. That is, while reflections across two different
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 informationAN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS
AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS The integers are the set 1. Groups, Rings, and Fields: Basic Examples Z := {..., 3, 2, 1, 0, 1, 2, 3,...}, and we can add, subtract, and multiply
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 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 informationTOPOLOGY IN INFINITE GALOIS THEORY
TOPOLOGY IN INFINITE GALOIS THEORY DAVID NIELSEN 1. Introduction The idea of taking topology from analysis and using it in a algebraic group structure seemed interesting to me, so I chose to look at topological
More informationM3/4/5P12 PROBLEM SHEET 1
M3/4/5P12 PROBLEM SHEET 1 Please send any corrections or queries to jnewton@imperialacuk Exercise 1 (1) Let G C 4 C 2 s, t : s 4 t 2 e, st ts Let V C 2 with the stard basis Consider the linear transformations
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 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 informationA PROOF OF BURNSIDE S p a q b THEOREM
A PROOF OF BURNSIDE S p a q b THEOREM OBOB Abstract. We prove that if p and q are prime, then any group of order p a q b is solvable. Throughout this note, denote by A the set of algebraic numbers. We
More informationYale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions
Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall 2015 Midterm Exam Review Solutions Practice exam questions: 1. Let V 1 R 2 be the subset of all vectors whose slope
More informationMath 370 Homework 2, Fall 2009
Math 370 Homework 2, Fall 2009 (1a) Prove that every natural number N is congurent to the sum of its decimal digits mod 9. PROOF: Let the decimal representation of N be n d n d 1... n 1 n 0 so that N =
More informationThe 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 informationGROUP ACTIONS KEITH CONRAD
GROUP ACTIONS KEITH CONRAD. Introduction The groups S n, A n, and (for n 3) D n behave, by their definitions, as permutations on certain sets. The groups S n and A n both permute the set {, 2,..., n} and
More informationFundamental 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 informationMath 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 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 informationGENERALIZED QUATERNIONS
GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q 8 is one of the two non-abelian groups of size 8 (up to isomorphism). The other one, D 4, can be constructed as a semi-direct
More informationGROUP ACTIONS KEITH CONRAD
GROUP ACTIONS KEITH CONRAD 1. Introduction The symmetric groups S n, alternating groups A n, and (for n 3) dihedral groups D n behave, by their very definition, as permutations on certain sets. The groups
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationFundamental theorem of modules over a PID and applications
Fundamental theorem of modules over a PID and applications Travis Schedler, WOMP 2007 September 11, 2007 01 The fundamental theorem of modules over PIDs A PID (Principal Ideal Domain) is an integral domain
More information[06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal.
(January 14, 2009) [06.1] Given a 3-by-3 matrix M with integer entries, find A, B integer 3-by-3 matrices with determinant ±1 such that AMB is diagonal. Let s give an algorithmic, rather than existential,
More informationMath 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I.
Math 250A, Fall 2004 Problems due October 5, 2004 The problems this week were from Lang s Algebra, Chapter I. 24. We basically know already that groups of order p 2 are abelian. Indeed, p-groups have non-trivial
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 information3 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 informationREPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001
9 REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 21 ALLEN KNUTSON 1 WEIGHT DIAGRAMS OF -REPRESENTATIONS Let be an -dimensional torus, ie a group isomorphic to The we
More informationREPRESENTATION THEORY OF S n
REPRESENTATION THEORY OF S n EVAN JENKINS Abstract. These are notes from three lectures given in MATH 26700, Introduction to Representation Theory of Finite Groups, at the University of Chicago in November
More informationSUBGROUPS OF CYCLIC GROUPS. 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by
SUBGROUPS OF CYCLIC GROUPS KEITH CONRAD 1. Introduction In a group G, we denote the (cyclic) group of powers of some g G by g = {g k : k Z}. If G = g, then G itself is cyclic, with g as a generator. Examples
More informationComputing the Galois group of a polynomial
Computing the Galois group of a polynomial Curtis Bright April 15, 2013 Abstract This article outlines techniques for computing the Galois group of a polynomial over the rationals, an important operation
More informationSage Exercises Math 434, Spring 2010 Dr. Beezer
Sage Exercises Math 434, Spring 2010 Dr. Beezer Submit these exercises in a Sage worksheet attached to an email sent to the course s privacyport address. Please include your name near the beginning of
More informationBMT 2014 Symmetry Groups of Regular Polyhedra 22 March 2014
Time Limit: 60 mins. Maximum Score: 125 points. Instructions: 1. When a problem asks you to compute or list something, no proof is necessary. However, for all other problems, unless otherwise indicated,
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 informationAlgebraic number theory Revision exercises
Algebraic number theory Revision exercises Nicolas Mascot (n.a.v.mascot@warwick.ac.uk) Aurel Page (a.r.page@warwick.ac.uk) TA: Pedro Lemos (lemos.pj@gmail.com) Version: March 2, 20 Exercise. What is the
More information1 Finite abelian groups
Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room
More informationModern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur
Modern Algebra Prof. Manindra Agrawal Department of Computer Science and Engineering Indian Institute of Technology, Kanpur Lecture - 05 Groups: Structure Theorem So, today we continue our discussion forward.
More informationComputing complete lists of Artin representations given a group, character, and conductor bound
Computing complete lists of Artin representations given a group, character, and conductor bound John Jones Joint work with David Roberts 7/27/15 Computing Artin Representations John Jones SoMSS 1 / 21
More information