Algebra. Übungsblatt 12 (Lösungen)

Size: px
Start display at page:

Download "Algebra. Übungsblatt 12 (Lösungen)"

Transcription

1 Fakultät für Mathematik Sommersemester 2017 JProf Dr Christian Lehn Dr Alberto Castaño Domínguez Algebra Übungsblatt 12 (Lösungen) Aufgabe 1 Berechnen Sie Minimalpolynome f i, i = 1,, 4, der folgenden komplexen Zahlen 1 α 1 = α 2 = α 3 = α 4 = Es bezeichne k i den Zerfällungskörper von f i Man berechne die Grade [k i : Q] für i = 1,, 4 Ist Q(α i ) = k i? Für welche i ist Q Q(α i ) eine normale Körpererweiterung? Lösen sie dieselbe Aufgabe, wenn wir den Grundkörper Q durch k = F 5 ersetzen Hierbei sind die α i als im algebraischen Abschluss k von k liegend zu verstehen Was sind nun die Grade bzw Beweis In this exercise we can learn that the meaning of expressions like 2 goes beyond real numbers If we are working over Q, then the symbol above means the usual and known positive square root of two, but in a general field k, it means one of the two elements of k such that its square is two What could be 2 in F 7? 1 From the lecture (example IV113a) we already know that the minimal polynomial of α 1 is f 1 (x) = x 4 4x 2 +2 (we can see its irreducibility in Q[x] applying Eisenstein s criterion with p = 2, for instance) f 1 is a biquadratic polynomial, so it is easy to find its roots Namely, they are x 1 = 2 + 2, x 2 = 2 + 2, x 3 = 2 2, x 4 = 2 2 We have the obvious inclusions Q Q(α 1 ) k, where [Q(α 1 ) : Q] = 4 Clearly x 2 belongs to Q(α 1 ), but it is not so clear that x 3 and x 4 are there too However, we

2 could notice that α 1 x 3 = 4 2 = 2 = α 2 1 2, so x 3 Q(α 1 ) and then, k 1 = Q(α 1 ), having in conclusion that [k 1 : Q] = 4 and the extension Q Q(α 1 ) is normal Over F 5, the story does not change that much We can check that the polynomial x 2 2 has no roots in F 5, so 2 / F 5 and then, the calculation of the minimal polynomial would be approximately the same as before, getting f 1 = x 4 + x as a candidate In order to see that it is irreducible, since it has no roots in F 5 we can assume the existence of two degree two polynomials x 2 +ax+b and x 2 +cx+d (monic because so is f 1 ) such that their product is f 1 We obtain the following equations: a + c = 0 b + ac + d = 1 ad + bc = 0 bd = 2 From the first equation we have c = a If a = 0, then from the second d = 1 b and so, b(1 b) = 2 from the fourth, but that is impossible Then a cannot vanish, so we deduce from the third equation that b = d, but then in the fourth we would have that b 2 = 2, which we already know it is impossible in F 5 In conclusion, f1 is irreducible Its roots are the analogous of the ones before, ± 2 ± 2, and the formula α 1 x 3 = 4 2 = 2 = α is still valid, so the extension F 5 F 5 (α 1 ) is normal and [k 1 : F 5 ] = 4 2 From the relation (α 2 2 3) 2 = 3 we get that α 2 is a root of the polynomial f 2 = x 4 6x 2 +6, which is irreducible in Q[x] by virtue of Eisenstein s criterion with p = 2 or p = 3 The roots of f 2 are x 1 = 3 + 3, x 2 = 3 + 3, x 3 = 3 3, x 4 = 3 3 As we did in the previous point, x 3 and x 4 will belong to Q(α 2 ) if and only if α 2 x 3 = 6 belongs to Q(α 2 ) as well Since 3 = α2 2 3, we can wonder whether 2 lives in Q(α 2 ) or not Now, from exercise 736 we know that [Q( 2, 3) : Q] = 4, so 2 Q(α 2 ) if and only if the fields Q( 2, 3) and Q(α 2 ) are the same, because [Q(α 2 ) : Q] = 4 as well Assume α 2 = a + b 2 + c 3 + d 6 Q( 2, 3) for some a, b, c, d Q Then squaring both sides of the equality we get the following system of equations: If a = 0, then the system simplifies to a 2 + 2b 2 + 3c 2 + 6d 2 = 3 ab + 3cd = 0 2ac + 4bd = 1 ad + bc = 0 2b 2 + 3c 2 + 6d 2 = 3 cd = 0 4bd = 1 bc = 0,

3 from which we can deduce that c = 0, d = 1/4b and 2b 2 + 3/(8b 2 ) = 3 This last equation can be written as a polynomial one, associated with the polynomial 16t 4 24t 2 + 3, which is irreducible (Eisenstein s criterion, p = 3), so it has no roots and then a 0 Then we can write d = bc a, and b = 3cd a = 3bc2 a 2 Then, either b = 0 or (a/c) 2 = 3, but that last thing is impossible, because 3 / Q Hence b = d = 0 and we obtain the new system } a 2 + 3c 2 = 3 2ac = 1 As before, it yields the equation a 2 + 3/(4a 2 ) = 3, coming from the polynomial 4t 4 12t 2 + 3, which is again irreducible (Eisenstein s criterion, p = 3) and thus has no solution Summing up, α 2 / Q( 2, 3), so Q(α 2 ) k 2, and then the extension Q Q(α 2 ) is not normal Now consider the minimal polynomial of x 3 over Q(α 2 ) Since 3 Q(α 2 ), we can take g = x 2 (3 3), which is irreducible (x 3 / Q( 3) as 3 / Q) Then the degree of the extension Q(α 2 ) Q(α 2, x 3 ) is two and in conclusion, [k 2 : Q] = [k 2 : Q(α 2 )][Q(α 2 ) : Q] = 8 Over F 5, things are quite different Performing the same calculations as over Q, we find that α 2 is a root of f2 = x 4 x 2 + 1, but that polynomial is reducible, and the product of the irreducible polynomials x 2 + 2x 1 and x 2 + 3x 1 (one can see that solving the system arising from imposing an equality of the form f 2 (x) = (x 2 + ax + b)(x 2 + cx + d)) Then α 2 will be a root of one of those, so in this case k 2 = F 5 (α 2 ), because quadratic extensions are split (once we find a root of a degree two polynomial we have already splitted it into linear factors) and thus [k 2 : F 5 ] = 2 If you, dear and curious reader, want to know which of the two polynomials has α 2 as a root, use that in F 5, α 2 2 = (2 3) = ( 3 + 3) 2 3 Clearly in this case the minimal polynomial of α 3 is f 3 = x 3 2, and then, [Q(α 3 ) : Q] = 3 The other two roots of f 3 are x 2 = α 3 ζ and x 3 = α 3 ζ 2, ζ being a primitive cubic root of one It is clear that k 3 = Q(α 3, ζ) Now, since the minimal polynomial of ζ is x 2 + x + 1 = (x 3 1)/(x 1) 1, the extension Q Q(ζ) has degree two, so if ζ belonged to Q(α 3 ), the degree [Q(α 3 ) : Q] should be even, and that is not the case Therefore, the extension Q Q(α 3 ) is not normal The minimal polynomial of ζ over Q(α 3 ) is again x 2 + x + 1, so in the end, [k 3 : Q] = [Q(α 3, ζ) : Q(α 3 )][Q(α 3 ) : Q] = 6 Over F 5 the situation is much simpler Namely, 3 3 = 2 (actually x x 3 is bijective in F 5 ), so 3 2 F 5 2 and then, k 3 = F 5 ( 3 2) = F 5, so the minimal polynomial is x + 2, the extension is normal and the degree is one 1 Do you remember that it is irreducible? No? Go to exercise We are implicitly fixing 3 2 to be the cubic root of 2 in F 5 that also belongs to F 5

4 4 α 4 is a root of f 4 = (x 2) 2 2 = x 2 4x + 2, which is irreducible, not having roots in Q The other root of f 4 is 2 2, which is 2 (α 4 2), so k 4 = Q(α 4 ), that is, the extension Q Q(α 4 ) is normal and [k 4 : Q] = 2 Over F 5, α 4 is again a root of f 4 = x 2 + x + 2, which has no roots on F 5 either, so it is irreducible and thus the minimal polynomial of α 4 Following the same argument as before, the extension F 5 F 5 (α 4 ) is normal and [k 4 : F 5 ] = 2 Aufgabe 2 Zeigen Sie, dass Q = {x C x algebraisch über Q} ein algebraischer Abschluss des Körpers der rationalen Zahlen ist Beweis It is clear from the definition that the extension Q Q is algebraic Now we should check that Q is algebraically closed as well Let K be the algebraic closure of Q in C, and take any element α K Since it must be algebraic over Q, there will exist some a 0,, a n 1 Q such that α n + a n 1 α n a 1 α + a 0 = 0, for some natural n Now note that the extension Q(a 0,, a n 1 ) Q(a 0,, a n 1, α) is finite of degree n at most, but since every a i is algebraic over Q, the extension Q Q(a 0,, a n 1 ) is also finite and then [Q(a 0,, a n 1, α) : Q] <, so α is algebraic over Q, and hence belongs to Q As a conclusion, Q = K, as we wanted to prove Aufgabe 3 Es sei k der Zerfällungskörper über Q von f = x 3 6x 6 und α die eindeutig bestimmete reelle Lösung von f = 0 Ferner setzen wir ϱ = 1+i 3 Zeigen Sie, 2 dass k = Q(α, ϱ) gilt Beweis In this exercise, as well as in many other examples, it is useful to play a bit with the roots of the polynomial, and multiply them, or raise them to some number, to find which elements belong to the fields under consideration Sometimes it does not lead to any good, but sometimes yes, as here Another way of writing ϱ is e 2πi/3 ; now it is easier to see that ϱ is a primitive cubic unit root Thanks to example IV113c from the lecture, we know that the other roots of f are β = ϱ ϱ and γ = ϱ ϱ 3 2 Obviously, k = Q(α, β, γ), so we have to prove that Q(α, β, γ) = Q(α, ϱ) On one hand, α 2 = , so 3 2 = α 2 α 4 Q(α) Since every root of f can be written in terms of 3 2 and ϱ, k Q(α, ρ) = Q( 3 2, ϱ) On the other, analogously as before, β 2 β 4 = ϱ and γ 2 γ 4 = ϱ 3 2, so ϱ = (β 2 β 4)/(γ 2 γ 4) k Then, Q(α, ϱ) k and we are done

5 Aufgabe 4 Zeigen Sie, dass je zwei Körper mit 9 Elementen zueinander isomorph sind Beweis Let K be a field with nine elements Since it is finite, it must have positive characteristic, otherwise it would contain Q Then there is a prime p for which F p K, and since K is finite again, that extension must be finite and then, K can be seen as a vector space over F p Thus there must be some r 1 such that K = p r In conclusion, p = 3 and r = 2 Since K is a quadratic extension of F 3, we can express it as a quotient ring of the form F 3 [x]/(p(x)), where p(x) is an irreducible polynomial in F 3 [x] of degree 2 There are nine polynomials of degree 2 in F 3 [x], and only three of them irreducible: p 1 (x) = x 2 + 1, p 2 (x) = x 2 + x + 2, and p 3 (x) = x 2 + 2x + 2 If we build an isomorphism from F 3 [x]/(p i (x)) to F 3 [x]/(p j (x)) for any i and j we will be done In order to do so, we just need such isomorphisms for (i, j) = (1, 2), (2, 3) Consider the automorphism of F 3 [x] given by the change of variable x x 1 (with inverse automorphism given by x x + 1) Together with its inverse homomorphism exchanges p 1 and p 2, and p 2 and p 3, inducing thus an isomorphism between F 3 [x]/(p 1 (x)) and F 3 [x]/(p 2 (x)) and F 3 [x]/(p 2 (x)) and F 3 [x]/(p 3 (x)), as we wanted A much more general and conceptual proof is the following, valid to prove the existence and uniqueness of every finite field The beginning is the same; any field of nine elements must be an extension of F 3 Now, given a field of nine elements, the eight units of the multiplicative group are a root of the polynomial x 8 1, and hence of p(x) = x 9 x, together with zero On the hand, we can consider then the splitting field of p over F 3 Now, the sum, product, opposite and inverse of every root is also a root 3, so the set of roots of p is actually a subfield of nine elements of F 3 that must be the splitting field of p Finally, the splitting field of a polynomial is unique, and we are done 3 The most difficult to prove is the sum: if a and b are roots of p in F 3, then (a + b) 9 = a + b because we work in a characteristic three field, so a + b is also a root of p

Algebra. Übungsblatt 10 (Lösungen)

Algebra. Übungsblatt 10 (Lösungen) Fakultät für Mathematik Sommersemester 2017 JProf. Dr. Christian Lehn Dr. Alberto Castaño Domínguez Algebra Übungsblatt 10 (Lösungen) Aufgabe 1. Es sei k ein Körper. Man zeige, dass es in k[x] unendlich

More information

Algebra. Übungsblatt 8 (Lösungen) m = a i m i, m = i=1

Algebra. Übungsblatt 8 (Lösungen) m = a i m i, m = i=1 Fakultät für Mathematik Sommersemester 2017 JProf. Dr. Christian Lehn Dr. Alberto Castaño Domínguez Algebra Übungsblatt 8 (Lösungen) Aufgabe 1. Es seien R ein Ring, m R ein maximales Ideal und M ein R-Modul.

More information

Math 121 Homework 2 Solutions

Math 121 Homework 2 Solutions Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.

More information

Algebra. Übungsblatt 5 (Lösungen)

Algebra. Übungsblatt 5 (Lösungen) Fakultät für Mathematik Sommersemester 2017 JProf. Dr. Christian Lehn Dr. Alberto Castaño Domínguez Algebra Übungsblatt 5 (Lösungen) Aufgabe 1. Für eine Gruppe G und ein g G sei der Zentralisator von g

More information

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK 1. Practice exam problems Problem A. Find α C such that Q(i, 3 2) = Q(α). Solution to A. Either one can use the proof of the primitive element

More information

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

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

arxiv: v1 [math.gr] 3 Feb 2019

arxiv: v1 [math.gr] 3 Feb 2019 Galois groups of symmetric sextic trinomials arxiv:1902.00965v1 [math.gr] Feb 2019 Alberto Cavallo Max Planck Institute for Mathematics, Bonn 5111, Germany cavallo@mpim-bonn.mpg.de Abstract We compute

More information

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

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

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

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

Math 210B: Algebra, Homework 6

Math 210B: Algebra, Homework 6 Math 210B: Algebra, Homework 6 Ian Coley February 19, 2014 Problem 1. Let K/F be a field extension, α, β K. Show that if [F α) : F ] and [F β) : F ] are relatively prime, then [F α, β) : F ] = [F α) :

More information

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

Galois Theory, summary

Galois Theory, summary Galois Theory, summary Chapter 11 11.1. UFD, definition. Any two elements have gcd 11.2 PID. Every PID is a UFD. There are UFD s which are not PID s (example F [x, y]). 11.3 ED. Every ED is a PID (and

More information

A simple method for solving the diophantine equation Y 2 = X 4 + ax 3 + bx 2 + cx + d

A simple method for solving the diophantine equation Y 2 = X 4 + ax 3 + bx 2 + cx + d Elem. Math. 54 (1999) 32 36 0013-6018/99/010032-5 $ 1.50+0.20/0 c Birkhäuser Verlag, Basel, 1999 Elemente der Mathematik A simple method for solving the diophantine equation Y 2 = X 4 + ax 3 + bx 2 + cx

More information

M3P11/M4P11/M5P11. Galois Theory

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

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION 1. Polynomial rings (review) Definition 1. A polynomial f(x) with coefficients in a ring R is n f(x) = a i x i = a 0 + a 1 x + a 2 x 2 + + a n x n i=0

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

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

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

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

More information

MATH 361: NUMBER THEORY TENTH LECTURE

MATH 361: NUMBER THEORY TENTH LECTURE MATH 361: NUMBER THEORY TENTH LECTURE The subject of this lecture is finite fields. 1. Root Fields Let k be any field, and let f(x) k[x] be irreducible and have positive degree. We want to construct a

More information

How might we evaluate this? Suppose that, by some good luck, we knew that. x 2 5. x 2 dx 5

How might we evaluate this? Suppose that, by some good luck, we knew that. x 2 5. x 2 dx 5 8.4 1 8.4 Partial Fractions Consider the following integral. 13 2x (1) x 2 x 2 dx How might we evaluate this? Suppose that, by some good luck, we knew that 13 2x (2) x 2 x 2 = 3 x 2 5 x + 1 We could then

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

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

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

More information

Finite fields: some applications Michel Waldschmidt 1

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

More information

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

Extension fields II. Sergei Silvestrov. Spring term 2011, Lecture 13 Extension fields II Sergei Silvestrov Spring term 2011, Lecture 13 Abstract Contents of the lecture. Algebraic extensions. Finite fields. Automorphisms of fields. The isomorphism extension theorem. Splitting

More information

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

Polynomial Rings. (Last Updated: December 8, 2017)

Polynomial Rings. (Last Updated: December 8, 2017) Polynomial Rings (Last Updated: December 8, 2017) These notes are derived primarily from Abstract Algebra, Theory and Applications by Thomas Judson (16ed). Most of this material is drawn from Chapters

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

Solutions of exercise sheet 2

Solutions of exercise sheet 2 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 2 1. Let k be a field with char(k) 2. 1. Let a, b k be such that a is a square in k(β), where β is an element algebraic over k

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

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

MODEL ANSWERS TO HWK #10

MODEL ANSWERS TO HWK #10 MODEL ANSWERS TO HWK #10 1. (i) As x + 4 has degree one, either it divides x 3 6x + 7 or these two polynomials are coprime. But if x + 4 divides x 3 6x + 7 then x = 4 is a root of x 3 6x + 7, which it

More information

Factorization in Integral Domains II

Factorization in Integral Domains II Factorization in Integral Domains II 1 Statement of the main theorem Throughout these notes, unless otherwise specified, R is a UFD with field of quotients F. The main examples will be R = Z, F = Q, and

More information

Math 504, Fall 2013 HW 2

Math 504, Fall 2013 HW 2 Math 504, Fall 203 HW 2. Show that the fields Q( 5) and Q( 7) are not isomorphic. Suppose ϕ : Q( 5) Q( 7) is a field isomorphism. Then it s easy to see that ϕ fixes Q pointwise, so 5 = ϕ(5) = ϕ( 5 5) =

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

Partial Fractions. Combining fractions over a common denominator is a familiar operation from algebra: 2 x 3 + 3

Partial Fractions. Combining fractions over a common denominator is a familiar operation from algebra: 2 x 3 + 3 Partial Fractions Combining fractions over a common denominator is a familiar operation from algebra: x 3 + 3 x + x + 3x 7 () x 3 3x + x 3 From the standpoint of integration, the left side of Equation

More information

Polynomials. Chapter 4

Polynomials. Chapter 4 Chapter 4 Polynomials In this Chapter we shall see that everything we did with integers in the last Chapter we can also do with polynomials. Fix a field F (e.g. F = Q, R, C or Z/(p) for a prime p). Notation

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

Roots and Coefficients Polynomials Preliminary Maths Extension 1

Roots and Coefficients Polynomials Preliminary Maths Extension 1 Preliminary Maths Extension Question If, and are the roots of x 5x x 0, find the following. (d) (e) Question If p, q and r are the roots of x x x 4 0, evaluate the following. pq r pq qr rp p q q r r p

More information

Lecture 6.3: Polynomials and irreducibility

Lecture 6.3: Polynomials and irreducibility Lecture 6.3: Polynomials and irreducibility Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson)

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

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

Section 8.3 Partial Fraction Decomposition

Section 8.3 Partial Fraction Decomposition Section 8.6 Lecture Notes Page 1 of 10 Section 8.3 Partial Fraction Decomposition Partial fraction decomposition involves decomposing a rational function, or reversing the process of combining two or more

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

Solutions of exercise sheet 6

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

More information

50 Algebraic Extensions

50 Algebraic Extensions 50 Algebraic Extensions Let E/K be a field extension and let a E be algebraic over K. Then there is a nonzero polynomial f in K[x] such that f(a) = 0. Hence the subset A = {f K[x]: f(a) = 0} of K[x] does

More information

Garrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know

Garrett Z p. Few explicit parametrizations of algebraic closures of fields are known: not Q, for sure. But we do also know Garrett 0-2-20 Examples (cont d): Function fields in one variable... as algebraic parallels to Z and Q. Theorem: All finite field extensions of C((X z)) are by adjoining solutions to Y e = X z for e =

More information

Math 121 Homework 3 Solutions

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

More information

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

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

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

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.

More information

Math Lecture 18 Notes

Math Lecture 18 Notes Math 1010 - Lecture 18 Notes Dylan Zwick Fall 2009 In our last lecture we talked about how we can add, subtract, and multiply polynomials, and we figured out that, basically, if you can add, subtract,

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

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

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Practice problems for first midterm, Spring 98

Practice problems for first midterm, Spring 98 Practice problems for first midterm, Spring 98 midterm to be held Wednesday, February 25, 1998, in class Dave Bayer, Modern Algebra All rings are assumed to be commutative with identity, as in our text.

More information

ALGEBRA 11: Galois theory

ALGEBRA 11: Galois theory Galois extensions Exercise 11.1 (!). Consider a polynomial P (t) K[t] of degree n with coefficients in a field K that has n distinct roots in K. Prove that the ring K[t]/P of residues modulo P is isomorphic

More information

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should

More information

Chapter 4. Remember: F will always stand for a field.

Chapter 4. Remember: F will always stand for a field. Chapter 4 Remember: F will always stand for a field. 4.1 10. Take f(x) = x F [x]. Could there be a polynomial g(x) F [x] such that f(x)g(x) = 1 F? Could f(x) be a unit? 19. Compare with Problem #21(c).

More information

Solutions to the Worksheet on Polynomials and Rational Functions

Solutions to the Worksheet on Polynomials and Rational Functions Solutions to the Worksheet on Polynomials and Rational Functions Math 141 1 Roots of Polynomials A Indicate the multiplicity of the roots of the polynomialh(x) = (x 1) ( x) 3( x +x+1 ) B Check the remainder

More information

MT5836 Galois Theory MRQ

MT5836 Galois Theory MRQ MT5836 Galois Theory MRQ May 3, 2017 Contents Introduction 3 Structure of the lecture course............................... 4 Recommended texts..................................... 4 1 Rings, Fields and

More information

Section VI.33. Finite Fields

Section VI.33. Finite Fields VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,

More information

Oliver Kullmann Computer Science Department Swansea University. MRes Seminar Swansea, November 17, 2008

Oliver Kullmann Computer Science Department Swansea University. MRes Seminar Swansea, November 17, 2008 Computer Science Department Swansea University MRes Seminar Swansea, November 17, 2008 Introduction In this lecture some fundamental aspects of set theory and related to ideals (and their existence) are

More information

FIELD THEORY. Contents

FIELD THEORY. Contents FIELD THEORY MATH 552 Contents 1. Algebraic Extensions 1 1.1. Finite and Algebraic Extensions 1 1.2. Algebraic Closure 5 1.3. Splitting Fields 7 1.4. Separable Extensions 8 1.5. Inseparable Extensions

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

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

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS JENNY WANG Abstract. In this paper, we study field extensions obtained by polynomial rings and maximal ideals in order to determine whether solutions

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

Solutions of exercise sheet 11

Solutions of exercise sheet 11 D-MATH Algebra I HS 14 Prof Emmanuel Kowalski Solutions of exercise sheet 11 The content of the marked exercises (*) should be known for the exam 1 For the following values of α C, find the minimal polynomial

More information

Algebra SEP Solutions

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

More information

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

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

More information

8.4 Partial Fractions

8.4 Partial Fractions 8.4 1 8.4 Partial Fractions Consider the following integral. (1) 13 2x x 2 x 2 dx How might we evaluate this? Suppose that, by some good luck, we knew that (2) 13 2x x 2 x 2 = 3 x 2 5 x+1 We could then

More information

AN INTRODUCTION TO GALOIS THEORY

AN INTRODUCTION TO GALOIS THEORY AN INTRODUCTION TO GALOIS THEORY STEVEN DALE CUTKOSKY In these notes we consider the problem of constructing the roots of a polynomial. Suppose that F is a subfield of the complex numbers, and f(x) is

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

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS

SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS SEVERAL PROOFS OF THE IRREDUCIBILITY OF THE CYCLOTOMIC POLYNOMIALS STEVEN H. WEINTRAUB ABSTRACT. We present a number of classical proofs of the irreducibility of the n-th cyclotomic polynomial Φ n (x).

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

3.0 INTRODUCTION 3.1 OBJECTIVES 3.2 SOLUTION OF QUADRATIC EQUATIONS. Structure

3.0 INTRODUCTION 3.1 OBJECTIVES 3.2 SOLUTION OF QUADRATIC EQUATIONS. Structure UNIT 3 EQUATIONS Equations Structure 3.0 Introduction 3.1 Objectives 3.2 Solution of Quadratic Equations 3.3 Quadratic Formula 3.4 Cubic and Bioquadratic Equations 3.5 Answers to Check Your Progress 3.6

More information

Partial Fractions. June 27, In this section, we will learn to integrate another class of functions: the rational functions.

Partial Fractions. June 27, In this section, we will learn to integrate another class of functions: the rational functions. Partial Fractions June 7, 04 In this section, we will learn to integrate another class of functions: the rational functions. Definition. A rational function is a fraction of two polynomials. For example,

More information

51 Kronecker's Theorem

51 Kronecker's Theorem 1 Kronecker's Theorem In this paragraph, we prove an important theorem due to L. Kronecker which states that any polynomial over a field has a root in some extension field. It can be regarded as the fundamental

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

Direction: You are required to complete this test by Monday (April 24, 2006). In order to

Direction: You are required to complete this test by Monday (April 24, 2006). In order to Test 4 April 20, 2006 Name Math 522 Student Number Direction: You are required to complete this test by Monday (April 24, 2006). In order to receive full credit, answer each problem completely and must

More information

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

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

More information

Quasi-reducible Polynomials

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

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

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

Algebraic Cryptography Exam 2 Review

Algebraic Cryptography Exam 2 Review Algebraic Cryptography Exam 2 Review You should be able to do the problems assigned as homework, as well as problems from Chapter 3 2 and 3. You should also be able to complete the following exercises:

More information

Expressing a Rational Fraction as the sum of its Partial Fractions

Expressing a Rational Fraction as the sum of its Partial Fractions PARTIAL FRACTIONS Dear Reader An algebraic fraction or a rational fraction can be, often, expressed as the algebraic sum of relatively simpler fractions called partial fractions. The application of partial

More information

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups

Chapter 4. Characters and Gauss sums. 4.1 Characters on finite abelian groups Chapter 4 Characters and Gauss sums 4.1 Characters on finite abelian groups In what follows, abelian groups are multiplicatively written, and the unit element of an abelian group A is denoted by 1 or 1

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

DONG QUAN NGOC NGUYEN

DONG QUAN NGOC NGUYEN REPRESENTATION OF UNITS IN CYCLOTOMIC FUNCTION FIELDS DONG QUAN NGOC NGUYEN Contents 1 Introduction 1 2 Some basic notions 3 21 The Galois group Gal(K /k) 3 22 Representation of integers in O, and the

More information

Galois groups of polynomials and the construction of finite fields

Galois groups of polynomials and the construction of finite fields Pure and Applied Mathematics Journal 01; 1(1) : 10-16 Published online December 0, 01 (http://wwwsciencepublishinggroupcom/j/pamj) doi: 1011648/jpamj0101011 Galois groups of polynomials and the construction

More information

We say that a polynomial is in the standard form if it is written in the order of decreasing exponents of x. Operations on polynomials:

We say that a polynomial is in the standard form if it is written in the order of decreasing exponents of x. Operations on polynomials: R.4 Polynomials in one variable A monomial: an algebraic expression of the form ax n, where a is a real number, x is a variable and n is a nonnegative integer. : x,, 7 A binomial is the sum (or difference)

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

RUDIMENTARY GALOIS THEORY

RUDIMENTARY GALOIS THEORY RUDIMENTARY GALOIS THEORY JACK LIANG Abstract. This paper introduces basic Galois Theory, primarily over fields with characteristic 0, beginning with polynomials and fields and ultimately relating the

More information

Computations in inverse Galois theory

Computations in inverse Galois theory Computations in inverse Galois theory Johan Bosman Supervisor: Bas Edixhoven Nederlands Mathematisch Congres April 13, 2007, Leiden The quadratic polynomial has zeroes Galois theory Motivating examples

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