Section 31 Algebraic extensions

Size: px
Start display at page:

Download "Section 31 Algebraic extensions"

Transcription

1 Section 31 Algebraic extensions Instructor: Yifan Yang Spring 2007

2 Vector spaces over a field Definition Let F be a field. A vector space over F is an additive group V, together with a scalar multiplication by elements of F, satisfying aα V, (ab)α = a(bα), (a + b)α = aα + bα, a(α + β) = aα + aβ, 1α = α, for all a, b F and all α, β V. Lemma Let E be an extension field of a field F. Then E is a vector space over F.

3 Linear independence and bases Definition Let V be a vector space over F. A set {α 1,..., α n } is said to be linearly independent over F if a 1 α a n α n = 0 implies that a i = 0 for all i. If a set of vectors is not linearly independent over F, then it is linearly dependent over F. Definition Let V be a vector space over F. A set of vectors {α i : i I} is a basis for V over F if it is linearly independent and every vector in V is a finite linear combination of α i with coefficients in F.

4 Basis for F (α) Theorem (30.23) Let E = F(α) be a simple extension of a field F. If α is algebraic over F with deg(α, F) = n, then E = F(α) is a finite-dimensional vector space over n, and a basis is given by {1, α,..., α n 1 }. If α is not algebraic over F, then E = F(α) is an infinite-dimensional vector space over F. Proof. If α is algebraic over F, then Theorem says that {1, α,..., α n 1 } is a basis for F(α). If α is transcendental over F, then the vectors 1, α, α 2,... are linearly independent. Thus, F(α) is not finite-dimensional.

5 Algebraic extensions and finite extensions Definition An extension field E of a field F is an algebraic extension of F if every element in E is algebraic over F. Definition If an extension field E of a field F is of finite dimension n as a vector space over F, then E is a finite extension of degree n over F. We let [E : F] denote the degree of E over F. Remark The finiteness in the definition of a finite extension refers to the degree. It does not mean that the field E is a finite field. For instance, Q[i] is a finite extension of degree 2 of Q, but it has infinitely many elements.

6 Finite extension algebraic extension Theorem (31.3) A finite extension E of a field F is an algebraic extension. Proof. Let α E. Assume that [E : F] = n. Then the n + 1 vectors 1, α,..., α n+1 are linearly dependent over F. Thus, there are elements a i, not all zero, such that a 0 + a 1 α + + a n α n = 0, that is, α is algebraic over F.

7 Theorem (31.4) If E is a finite extension of a field F, and K is a finite extension of E, then K is a finite extension of F and [K : F] = [K : E][E : F]. Proof of Theorem Let {α 1,..., α m } be a basis for E over F, and {β 1,..., β n } be a basis for K over E. It suffices to prove that every element of K is a linear combination of α i β j, i = 1,..., m, j = 1,..., n, with coefficients in F, and α i β j are linearly independent over F.

8 Proof of Theorem 31.4, continued Let γ K. Then γ = m i=1 b iα i for some b i E since {α i } is a basis for K over E. Each b i is a linear combination b i = n j=1 c ijβ j over F since {β j } is a basis for E over F. Then γ = i,j c ijα i β j. Thus, every element of K is a linear combination of α i β j over F. Now suppose that c ij are elements in F such that i,j c ijα i β j = 0. Write it in the form m n c ij β j α i = 0, i=1 j=1 where n j=1 c ijβ j are elements of E. Since α i are linearly independent over E, n j=1 c ijβ j = 0 for each i. Then c ij = 0 for all j since β j are linearly independent over F.

9 Degrees of field extensions Corollary (31.6) If F 1 F 2... F n is a series of finite extension of fields, then [F n : F 1 ] = [F n : F n 1 ]... [F 2 : F 1 ]. Corollary (31.7) Assume that E is an extension field of F and α E is algebraic over F. If β F(α), then deg(β, F) divides deg(α, F). Example Using Corollary 31.7, it is easy to see that the field Q[ 2] does not contain 3 2 since deg( 3 2, Q) = 3 does not divide deg( 2, Q) = 2.

10 Example Problem. Find the degree and the irreducible polynomial for over Q[ 3]. Solution. Let α = It is clear that α satisfies (x 3) 2 = 2, i.e., x 2 2 3x + 1 = 0. Thus, [Q(α) : Q( 3)] 2. Then [Q(α) : Q( 3)] = 1 or 2. If [Q(α) : Q( 3)] = 1, then Q(α) = Q( 3) and α Q( 3). This implies 2 = a + b 3 for some a, b Q. We have irr( 2, Q) = x 2 2 and irr(a + b 3, Q) = x 2 2ax + (a 2 3b 2 ). We find a = 0 and 3b 2 = 2, which is impossible when b Q. Thus, [Q(α) : Q( 3)] = 2 and irr(α, Q( 3)) = x 2 2 3x + 1.

11 Determining irr(β, F ) for β F (α) Problem. Let E = F (α) be a finite extension of a field F. Given β F(α), find irr(β, F) (and thus also deg(β, F)). Idea. Assume that deg(α, F) = n. Recall that 1, α,..., α n 1 is a basis for F(α) over F. Since β F(α), this implies that βα i is again a linear combination of α j. In other words, we have 1 β. α n 1 = M for some n n matrix over F. 1. α n 1 Thus, β is a zero of the characteristic polynomial of M. We then factor the characteristic polynomial to get irr(β, F).

12 Example Problem. Find the irreducible polynomial of over Q. Solution. Set α = 3 2 and β = α 2 + α 1. We have α 3 2 = 0. Thus, β1 = 1 + α + α 2, βα = α 3 + α 2 α = 2 α + α 2, βα 2 = α 4 + α 3 α 2 = 2 + 2α α 2. Thus, β is a zero of the characteristic polynomial of We find β is a zero of x 3 + 3x 2 3x 11.

13 Example Problem. Let α be a zero of x 4 10x Find the irreducible polynomial for β = α 3 9α. Solution. We have β1 = 0 9α + 0α 2 α 3 βα = α 4 9α 2 = (10α 2 1) 9α 2 = 1 + 0α + α 2 + 0α 3 βα 2 = α 5 9α 3 = 0 α + 0α 2 + α 3 βα 3 = α 2 + α 4 = 1 + 0α + 9α 2 + 0α 3. Thus, β is a zero of the characteristic polynomial of

14 Example, continued We find β is zero of x 4 18x This time, x 4 18x = (x 2 8)(x 2 10) is not irreducible. To determine which factor is the irreducible polynomial for β over Q, we compute β 2. We find β 2 = (α 3 9α) 2 = α 6 18α α 2. Using the division algorithm, we find that this is equal to (α 2 8)(α 4 10α 2 + 1) + 8 = 8. Therefore, irr(β, Q) = x 2 8, i.e., β is either 2 2 or 2 2. (The exact value of β depends on which zero of x 4 10x we take as α.)

15 In-class exercises Let α = Find irr(α 2 α, Q). 2. Find irr(α 2 + 1, Q). Let α be a zero of x 3 + x + 1 Z 2 [x]. 1. Find irr(α 2 + 1, Z 2 ). 2. Find irr(α 2 + α, Z 2 ).

16 Algebraic closure Lemma Let E be an extension field of a field F. If α, β 0 E are algebraic over F, then so are α + β and α/β. Proof. In view of Theorem 31.3, it suffices to prove that F(α, β) = F(α)(β) is a finite extension of F. Regarding f (x) = irr(β, F) as a polynomial in F(α)[x], we see that β is algebraic over F(α). Then [F(α, β) : F] = [F(α)(β) : F(α)][F(α) : F ] <. Therefore, F (α, β) is a finite extension of F.

17 Algebraic closure Corollary (31.12) Let E be an extension field of F. Then the set F E = {α E : α is algebraic over F} is a subfield of E, the algebraic closure of F in E. Corollary (31.13) The set Q of all algebraic numbers forms a field.

18 Algebraically closed Definition A field F is algebraically closed if every nonconstant polynomial in F[x] has a zero in F. Remarks An algebraically closed field F can be characterized by the property that every polynomial f (x) in F[x] factors into a product of linear factors over F. (Theorem ) This means that if F is algebraically closed, then we will not get anything new by joining zeros of polynomials in F[x] to F. (Corollary )

19 Algebraic closure of a field Definition An algebraic closure F of a field F is an algebraic extension of F that is algebraically closed. Remark An algebraic closure of a field F can be thought of as the largest field one may obtain by algebraic means. Example The field C is an algebraic closure of R. (Fundamental theorem of algebra, Theorem ) The set Q of algebraic numbers is an algebraic closure of Q. (Proved in the next page.)

20 Algebraic closure of Q Theorem The set Q of algebraic numbers is an algebraic closure of Q. Proof. We have proved earlier that if α and β are algebraic over Q, then so are α + β and α/β. In other words, Q is an algebraic extension of Q. It remains to prove that Q is algebraically closed. That is, if α is a zero of f (x) Q[x], then α is in Q. Assume that α is a zero of a n x n + + a 0, where a i are algebraic numbers. We need to show that [Q(α) : Q] <.

21 Proof of Theorem, continued We have [Q(α) : Q] [Q(α, a 0,..., a n ) : Q] = [Q(α, a 0,..., a n ) : Q(a 0,..., a n )][Q(a 0,..., a n ) : Q]. Here [Q(α, a 0,..., a n ) : Q(a 0,..., a n )] n. Also using the same argument as in the proof of an earlier lemma (with induction), we find [Q(a 0,..., a n ) : Q] <. Therefore, [Q(α) : Q] < and α is algebraic over Q.

22 Algebraic closure of a field Theorem (31.17) Every field has an algebraic closure. Remark 1. The proof uses Zorn s lemma, which is equivalent to the axiom of choice. 2. A field may have several algebraic closures, but they are all isomorphic.

23 Homeworks Problems 8, 10, 12, 24, 26, 28, 29, 30 of Section 31.

Section 33 Finite fields

Section 33 Finite fields Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)

More information

Part VI. Extension Fields

Part VI. Extension Fields VI.29 Introduction to Extension Fields 1 Part VI. Extension Fields Section VI.29. Introduction to Extension Fields Note. In this section, we attain our basic goal and show that for any polynomial over

More information

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY

CONSTRUCTIBLE NUMBERS AND GALOIS THEORY CONSTRUCTIBLE NUMBERS AND GALOIS THEORY SVANTE JANSON Abstract. We correct some errors in Grillet [2], Section V.9. 1. Introduction The purpose of this note is to correct some errors in Grillet [2], Section

More information

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

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

Section VI.31. Algebraic Extensions

Section VI.31. Algebraic Extensions VI.31 Algebraic Extensions 1 Section VI.31. Algebraic Extensions Note. In the past we have only discussed the extension of a field either abstractly or by a single element at a time (eg., Q( 2)). We generalize

More information

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

4.5 Hilbert s Nullstellensatz (Zeros Theorem) 4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x

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

13 Endomorphism algebras

13 Endomorphism algebras 18.783 Elliptic Curves Lecture #13 Spring 2017 03/22/2017 13 Endomorphism algebras The key to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to

More information

Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement)

Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) 1 Section V.3. Splitting Fields, Algebraic Closure, and Normality (Supplement) Note. In this supplement, we consider splitting fields

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

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

More information

Math 581 Problem Set 5 Solutions

Math 581 Problem Set 5 Solutions Math 581 Problem Set 5 Solutions 1. Show that the set { 2, 2 + i, 3 i} is linearly independent over Q. Proof: Suppose there exists a 0, a 1, and a 2 in Q so that a 0 2 + a1 ( 2 + i) + a 2 ( 3 i) = 0. Then

More information

Modern Algebra 2: Midterm 2

Modern Algebra 2: Midterm 2 Modern Algebra 2: Midterm 2 April 3, 2014 Name: Write your answers in the space provided. Continue on the back for more space. The last three pages are left blank for scratch work. You may detach them.

More information

13 Endomorphism algebras

13 Endomorphism algebras 18.783 Elliptic Curves Spring 2015 Lecture #13 03/19/2015 13 Endomorphism algebras The key to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to

More information

Homework problems from Chapters IV-VI: answers and solutions

Homework problems from Chapters IV-VI: answers and solutions Homework problems from Chapters IV-VI: answers and solutions IV.21.1. In this problem we have to describe the field F of quotients of the domain D. Note that by definition, F is the set of equivalence

More information

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,

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

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

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

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

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

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

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

Chapter 12. Algebraic numbers and algebraic integers Algebraic numbers

Chapter 12. Algebraic numbers and algebraic integers Algebraic numbers Chapter 12 Algebraic numbers and algebraic integers 12.1 Algebraic numbers Definition 12.1. A number α C is said to be algebraic if it satisfies a polynomial equation with rational coefficients a i Q.

More information

AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS

AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS SAMUEL MOY Abstract. Assuming some basic knowledge of groups, rings, and fields, the following investigation will introduce the reader to the theory of

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

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

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

Supplement. Algebraic Closure of a Field

Supplement. Algebraic Closure of a Field Supplement: Algebraic Closure of a Field 1 Supplement. Algebraic Closure of a Field Note. In this supplement, we give some background material which is used in the proof of Fraleigh s Theorem 31.17/31.22

More information

CHAPTER 10: POLYNOMIALS (DRAFT)

CHAPTER 10: POLYNOMIALS (DRAFT) CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously

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

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 31, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Symbolic Adjunction of Roots When dealing with subfields of C it is easy to

More information

ALGEBRA QUALIFYING EXAM SPRING 2012

ALGEBRA QUALIFYING EXAM SPRING 2012 ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.

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

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

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Finite Fields. Sophie Huczynska. Semester 2, Academic Year Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,

More information

Notes on graduate algebra. Robert Harron

Notes on graduate algebra. Robert Harron Notes on graduate algebra Robert Harron Department of Mathematics, Keller Hall, University of Hawai i at Mānoa, Honolulu, HI 96822, USA E-mail address: rharron@math.hawaii.edu Abstract. Graduate algebra

More information

Places of Number Fields and Function Fields MATH 681, Spring 2018

Places of Number Fields and Function Fields MATH 681, Spring 2018 Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote

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

3.2 Constructible Numbers

3.2 Constructible Numbers 102 CHAPTER 3. SYMMETRIES 3.2 Constructible Numbers Armed with a straightedge, a compass and two points 0 and 1 marked on an otherwise blank number-plane, the game is to see which complex numbers you can

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

Elliptic Curves Spring 2013 Lecture #14 04/02/2013

Elliptic Curves Spring 2013 Lecture #14 04/02/2013 18.783 Elliptic Curves Spring 2013 Lecture #14 04/02/2013 A key ingredient to improving the efficiency of elliptic curve primality proving (and many other algorithms) is the ability to directly construct

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains

More information

Chapter 2: Linear Independence and Bases

Chapter 2: Linear Independence and Bases MATH20300: Linear Algebra 2 (2016 Chapter 2: Linear Independence and Bases 1 Linear Combinations and Spans Example 11 Consider the vector v (1, 1 R 2 What is the smallest subspace of (the real vector space

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY

UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY UNDERSTANDING RULER AND COMPASS CONSTRUCTIONS WITH FIELD THEORY ISAAC M. DAVIS Abstract. By associating a subfield of R to a set of points P 0 R 2, geometric properties of ruler and compass constructions

More information

SEPARABILITY II KEITH CONRAD

SEPARABILITY II KEITH CONRAD SEPARABILITY II KEITH CONRAD 1. Introduction Separability of a finite field extension L/K can be described in several different ways. The original definition is that every element of L is separable over

More information

THROUGH THE FIELDS AND FAR AWAY

THROUGH THE FIELDS AND FAR AWAY THROUGH THE FIELDS AND FAR AWAY JONATHAN TAYLOR I d like to thank Prof. Stephen Donkin for helping me come up with the topic of my project and also guiding me through its various complications. Contents

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

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient

More information

Section 19 Integral domains

Section 19 Integral domains Section 19 Integral domains Instructor: Yifan Yang Spring 2007 Observation and motivation There are rings in which ab = 0 implies a = 0 or b = 0 For examples, Z, Q, R, C, and Z[x] are all such rings There

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

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

(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

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

38 Irreducibility criteria in rings of polynomials

38 Irreducibility criteria in rings of polynomials 38 Irreducibility criteria in rings of polynomials 38.1 Theorem. Let p(x), q(x) R[x] be polynomials such that p(x) = a 0 + a 1 x +... + a n x n, q(x) = b 0 + b 1 x +... + b m x m and a n, b m 0. If b m

More information

Chapter 4. Fields and Galois Theory

Chapter 4. Fields and Galois Theory Chapter 4 Fields and Galois Theory 63 64 CHAPTER 4. FIELDS AND GALOIS THEORY 4.1 Field Extensions 4.1.1 K[u] and K(u) Def. A field F is an extension field of a field K if F K. Obviously, F K = 1 F = 1

More information

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

Math 4310 Solutions to homework 7 Due 10/27/16

Math 4310 Solutions to homework 7 Due 10/27/16 Math 4310 Solutions to homework 7 Due 10/27/16 1. Find the gcd of x 3 + x 2 + x + 1 and x 5 + 2x 3 + x 2 + x + 1 in Rx. Use the Euclidean algorithm: x 5 + 2x 3 + x 2 + x + 1 = (x 3 + x 2 + x + 1)(x 2 x

More information

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G.

Contradiction. Theorem 1.9. (Artin) Let G be a finite group of automorphisms of E and F = E G the fixed field of G. Then [E : F ] G. 1. Galois Theory 1.1. A homomorphism of fields F F is simply a homomorphism of rings. Such a homomorphism is always injective, because its kernel is a proper ideal (it doesnt contain 1), which must therefore

More information

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction

TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS. 1. Introduction TOTALLY RAMIFIED PRIMES AND EISENSTEIN POLYNOMIALS KEITH CONRAD A (monic) polynomial in Z[T ], 1. Introduction f(t ) = T n + c n 1 T n 1 + + c 1 T + c 0, is Eisenstein at a prime p when each coefficient

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

Automorphisms and bases

Automorphisms and bases Chapter 5 Automorphisms and bases 10 Automorphisms In this chapter, we will once again adopt the viewpoint that a finite extension F = F q m of a finite field K = F q is a vector space of dimension m over

More information

2a 2 4ac), provided there is an element r in our

2a 2 4ac), provided there is an element r in our MTH 310002 Test II Review Spring 2012 Absractions versus examples The purpose of abstraction is to reduce ideas to their essentials, uncluttered by the details of a specific situation Our lectures built

More information

ABSTRACT DIOPHANTINE GENERATION, GALOIS THEORY, AND HILBERT S TENTH PROBLEM. Kendra Kennedy. April, 2012

ABSTRACT DIOPHANTINE GENERATION, GALOIS THEORY, AND HILBERT S TENTH PROBLEM. Kendra Kennedy. April, 2012 ABSTRACT DIOPHANTINE GENERATION, GALOIS THEORY, AND HILBERT S TENTH PROBLEM by Kendra Kennedy April, 2012 Chair: Dr. Alexandra Shlapentokh Major Department: Mathematics Hilbert s Tenth Problem was a question

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

0.2 Vector spaces. J.A.Beachy 1

0.2 Vector spaces. J.A.Beachy 1 J.A.Beachy 1 0.2 Vector spaces I m going to begin this section at a rather basic level, giving the definitions of a field and of a vector space in much that same detail as you would have met them in a

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

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

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

A Do It Yourself Guide to Linear Algebra

A Do It Yourself Guide to Linear Algebra A Do It Yourself Guide to Linear Algebra Lecture Notes based on REUs, 2001-2010 Instructor: László Babai Notes compiled by Howard Liu 6-30-2010 1 Vector Spaces 1.1 Basics Definition 1.1.1. A vector space

More information

Explicit Methods in Algebraic Number Theory

Explicit Methods in Algebraic Number Theory Explicit Methods in Algebraic Number Theory Amalia Pizarro Madariaga Instituto de Matemáticas Universidad de Valparaíso, Chile amaliapizarro@uvcl 1 Lecture 1 11 Number fields and ring of integers Algebraic

More information

NOTES ON DIOPHANTINE APPROXIMATION

NOTES ON DIOPHANTINE APPROXIMATION NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics

More information

Course 311: Abstract Algebra Academic year

Course 311: Abstract Algebra Academic year Course 311: Abstract Algebra Academic year 2007-08 D. R. Wilkins Copyright c David R. Wilkins 1997 2007 Contents 3 Introduction to Galois Theory 41 3.1 Field Extensions and the Tower Law..............

More information

Resultants. Chapter Elimination Theory. Resultants

Resultants. Chapter Elimination Theory. Resultants Chapter 9 Resultants 9.1 Elimination Theory We know that a line and a curve of degree n intersect in exactly n points if we work in the projective plane over some algebraically closed field K. Using the

More information

Row Space, Column Space, and Nullspace

Row Space, Column Space, and Nullspace Row Space, Column Space, and Nullspace MATH 322, Linear Algebra I J. Robert Buchanan Department of Mathematics Spring 2015 Introduction Every matrix has associated with it three vector spaces: row space

More information

Public-key Cryptography: Theory and Practice

Public-key Cryptography: Theory and Practice Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

Review of Linear Algebra

Review of Linear Algebra Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space

More information

GALOIS THEORY BRIAN OSSERMAN

GALOIS THEORY BRIAN OSSERMAN GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

A COURSE ON INTEGRAL DOMAINS

A COURSE ON INTEGRAL DOMAINS A COURSE ON INTEGRAL DOMAINS ALGEBRA II - SPRING 2004 Updated - March 3, 2004 1. The Fundamental Theorem of Arithmetic My son who is in the 4 th grade is learning about prime numbers and cancelling prime

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

55 Separable Extensions

55 Separable Extensions 55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple

More information

Section 18 Rings and fields

Section 18 Rings and fields Section 18 Rings and fields Instructor: Yifan Yang Spring 2007 Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R)

More information

Section IV.23. Factorizations of Polynomials over a Field

Section IV.23. Factorizations of Polynomials over a Field IV.23 Factorizations of Polynomials 1 Section IV.23. Factorizations of Polynomials over a Field Note. Our experience with classical algebra tells us that finding the zeros of a polynomial is equivalent

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

FIELDS AND GALOIS THEORY

FIELDS AND GALOIS THEORY FIELDS AND GALOIS THEORY J.S. Milne August 31, 2003 Abstract These notes, which are a revision of those handed out during a course taught to first-year graduate students, give a concise introduction to

More information

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z. ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space

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

Topics In Algebra Elementary Algebraic Geometry

Topics In Algebra Elementary Algebraic Geometry Topics In Algebra Elementary Algebraic Geometry David Marker Spring 2003 Contents 1 Algebraically Closed Fields 2 2 Affine Lines and Conics 14 3 Projective Space 23 4 Irreducible Components 40 5 Bézout

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

Homework 8 Solutions to Selected Problems

Homework 8 Solutions to Selected Problems Homework 8 Solutions to Selected Problems June 7, 01 1 Chapter 17, Problem Let f(x D[x] and suppose f(x is reducible in D[x]. That is, there exist polynomials g(x and h(x in D[x] such that g(x and h(x

More information

Galois Theory of Cyclotomic Extensions

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

More information

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

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

EXAMPLES OF PROOFS BY INDUCTION

EXAMPLES OF PROOFS BY INDUCTION EXAMPLES OF PROOFS BY INDUCTION KEITH CONRAD 1. Introduction In this handout we illustrate proofs by induction from several areas of mathematics: linear algebra, polynomial algebra, and calculus. Becoming

More information

Core Mathematics 2 Algebra

Core Mathematics 2 Algebra Core Mathematics 2 Algebra Edited by: K V Kumaran Email: kvkumaran@gmail.com Core Mathematics 2 Algebra 1 Algebra and functions Simple algebraic division; use of the Factor Theorem and the Remainder Theorem.

More information

but no smaller power is equal to one. polynomial is defined to be

but no smaller power is equal to one. polynomial is defined to be 13. Radical and Cyclic Extensions The main purpose of this section is to look at the Galois groups of x n a. The first case to consider is a = 1. Definition 13.1. Let K be a field. An element ω K is said

More information