SOME EXAMPLES OF THE GALOIS CORRESPONDENCE

Size: px
Start display at page:

Download "SOME EXAMPLES OF THE GALOIS CORRESPONDENCE"

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

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

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

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

More information

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

Name: Solutions Final Exam

Name: 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 information

Symmetries and Polynomials

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

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

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

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

More information

disc 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

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

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

Overview: 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 information

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

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

More information

Chapter 11: Galois theory

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

Fields and Galois Theory

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

More information

GENERATING SETS KEITH CONRAD

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

x by so in other words ( )

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

WHY WORD PROBLEMS ARE HARD

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

THE ARTIN-SCHREIER THEOREM KEITH CONRAD

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

RECOGNIZING GALOIS GROUPS S n AND A n

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

DIHEDRAL GROUPS II KEITH CONRAD

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

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

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

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

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

Galois Theory Overview/Example Part 1: Extension Fields. Overview:

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

Galois Theory and the Insolvability of the Quintic Equation

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

More information

CONSEQUENCES OF THE SYLOW THEOREMS

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

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

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

More information

1. Group Theory Permutations.

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

More information

TC10 / 3. Finite fields S. Xambó

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

More information

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

ORDERS OF ELEMENTS IN A GROUP

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

SOME SPECIAL VALUES OF COSINE

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

More information

GROUPS OF ORDER p 3 KEITH CONRAD

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

x by so in other words ( )

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

CSIR - Algebra Problems

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

More information

ISOMORPHISMS KEITH CONRAD

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

SIMPLE RADICAL EXTENSIONS

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

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

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

More information

* 8 Groups, with Appendix containing Rings and Fields.

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

FINITE FIELDS KEITH CONRAD

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

GENERATING SETS KEITH CONRAD

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

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

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

Lecture 6.6: The fundamental theorem of Galois theory

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

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

SOLVING SOLVABLE QUINTICS. D. S. Dummit

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

More information

5 Group theory. 5.1 Binary operations

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

Galois theory of fields

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

Real representations

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

MATH 113 FINAL EXAM December 14, 2012

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

FINITE GROUP THEORY: SOLUTIONS FALL MORNING 5. Stab G (l) =.

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

THE MINIMAL POLYNOMIAL AND SOME APPLICATIONS

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

MAT 535 Problem Set 5 Solutions

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

More information

Algebra Ph.D. Preliminary Exam

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

CONJUGATION IN A GROUP

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

AN ALGEBRA PRIMER WITH A VIEW TOWARD CURVES OVER FINITE FIELDS

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

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

TOPOLOGY IN INFINITE GALOIS THEORY

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

M3/4/5P12 PROBLEM SHEET 1

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

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

A PROOF OF BURNSIDE S p a q b THEOREM

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

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

Math 370 Homework 2, Fall 2009

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

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

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

More information

GROUP ACTIONS KEITH CONRAD

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

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

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

More information

Math 121 Homework 5 Solutions

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

More information

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

GENERALIZED QUATERNIONS

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

GROUP ACTIONS KEITH CONRAD

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

1 Fields and vector spaces

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

Exercises on chapter 1

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

Fundamental theorem of modules over a PID and applications

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

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

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

3 Galois Theory. 3.1 Definitions and Examples

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

More information

REPRESENTATIONS OF U(N) CLASSIFICATION BY HIGHEST WEIGHTS NOTES FOR MATH 261, FALL 2001

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

REPRESENTATION THEORY OF S n

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

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

Computing the Galois group of a polynomial

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

Sage Exercises Math 434, Spring 2010 Dr. Beezer

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

BMT 2014 Symmetry Groups of Regular Polyhedra 22 March 2014

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

Algebraic number theory Revision exercises

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

1 Finite abelian groups

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

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

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