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

Size: px
Start display at page:

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

Transcription

1 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 α K and L = K(α). What is irr(α, K)? Solution: First notice that char(l) as well, since otherwise 0 = 1 L = 1 K, contradiction. Hence 1 K L. Since [L : K] =, the extension is not trivial and there exists β L K. Then [L : K(β)][K(β) : K] = [L : K] = forces L = K(β) and in particular deg(irr(β, K)) = [K(β) : K] =. Write irr(β, K) = X + ax + b. Then ( 0 = β + aβ + b = β + a ) ( ) a 4 b, so that for α = β + a we see that α = a 4 b K and that K(α) = K(β) = L.. Let L = K(α)/K be a field extension such that [L : K] is odd. Prove that L = K(α ). Solution: Clearly, K(α ) K(α) = L. Notice that the element α L is a root of X α K(α )[X]. This implies that [L : K(α )] = deg(irr(α, K)). On the other hand, [L : K(α )][K(α ) : K] = [L : K] is odd, so that [L : K(α )] must be odd, too. Hence [L : K(α )] = 1, meaning that L = K(α ). 3. Let α = + 3 C (a) Show that α is algebraic over Q. (b) Compute [Q(α) : Q]. [Hint: α + α 1 Q(α)] (c) Determine irr(α, Q). Solution: (a) Since [Q( ) : Q] = and 3 is a root of X 3 Q( )[X], so that [Q(, 3) : Q( )], the extension Q(, 3)/Q is finite and hence algebraic. In particular, α = + 3 Q(, 3) is algebraic over Q. (b) Since Q(α) α+α 1 = = 3, we know that 3 Q(α) and = α 3 Q(α). This implies that Q(α) = Q(, 3). Notice that X 3 Q( )[X] is irreducible, because otherwise it would have a root in Q( ), which is not the case [indeed, writing a general element of Q( ) as s + t for s, t Q, we see that 3 = (s + t ) = s + t + st implies 1

2 that st = 0, so that 3 = s or 3 = t, which are impossible equalities]. Hence [Q(, 3) : Q( )] = and we can conclude that [Q(α) : Q] = [Q(, 3) : Q( )][Q( ) : Q] = = 4. (c) Squaring both sides of 3 = α we obtain 3 = α +, that is, = α 1. Squaring this equality, we get 8 = α 4 α + 1. Hence α is a root of the polynomial f := X 4 10X + 1, so that irr(α, Q) f. But deg(irr(α, Q)) = [Q(α) : Q] = 4 = deg(f), so that irr(α, Q) = f = X 4 10X Let p be a prime number. For d 1, let N d be the number of monic irreducible polynomials in F p [X] of degree d. (a) Compute N 1 and N. (b) Let n Z >1. Using the description of finite fields stated in class, prove that X pn X is the product of all irreducible monic polynomials over F p whose degree divides n. (c) Deduce that dn d = p n, d n where d runs over divisors d 1 of n. (d) Prove that Solution: lim n N n (p n /n) = 1. [Hint: p n d n,d<n dn d = nn n p n. Notice that N d p d and d n/ for d < n. Use this to estimate 1 n d n,d<n dn d and conclude] (a) A monic polynomial of degree 1 in F p can be written as X + a for a F p. This is an irreducible polynomial for each a F p, so that N 1 = p. In degree, we see that there are p monic polynomials (corresponding to the choices of coefficients a 1, a in the expression X + a 1 X + a ). Among those, there are the non-irreducible polynomials, which can all written as (X b 1 )(X b ) in a unique way up to switching b 1 and b, so that there are p + ( ) p = p +p non-irreducible monic polynomials of degree. Hence N = p p + p = p p.

3 (b) Fix an algebraic closure F p of F p. As seen in class, for each m Z >1 there exists a unique subfield of F p containing p m elements, that is, F p m = {y F p : y pm = y}. In particular, F p n is the set of roots of X pn X and since its cardinality is equal to the degree of the polynomial and the polynomials X α F p n are coprime, we know that X pn X = (X α). α F p n For every α F p n we know that deg(irr(α, F p )) = [F p (α) : F p ] [F p n : F p ] = n, so that X α divides the product of all monic irreducible polynomials whose degree divides n. As the polynomials X α are pairwise coprime in F p n, we obtain that X pn X = (X α) f. α F p n f F p[x] irr. monic deg(f) n Conversely, let f F p [X] be a monic irreducible polynomial of degree d n. Let x F p be a root of f, so that f = irr(x, F p ) and [F p (x) : F p ] = d, which implies that Card(F p (x)) = p d. Hence F p (x) = F p d and in particular x pd = x. Write n = dl for l N. Since p n = (p d ) l, we see that x pn is obtained by repeatedly raising x to the p d -th power for l times, so that x pn = x. Hence x is a root of X pn X, which implies that f = irr(x, F p ) divides X pn X. By arbitrarity of f and since two distinct irreducible monic polynomials in F p [X] must be coprime, we obtain that f F p[x] irr. monic deg(f) n f X pn X. Since the two polynomials are associated in F p [X] and both monic, they must coincide. (c) This follows immediately from part (b), by comparing the degrees. Indeed, p n = deg(x pn X) = deg f F p[x] irr. monic deg(f) n f = ( d n f F p[x] irr. monic deg(f)=d = d n ) deg(f) dn d. 3

4 (d) The number of monic polynomials in F p of degree d is p d, so that N d p d for all d. If d is a proper divisor of n, then dl = n for l, so that d n/. In particular, the number of proper divisors of n is less than n/. Hence 1 n d n,d<n dn d 1 n n n pn = n 4 p n. (1) By the initial observation and by part (c), we know that p n d n,d<n dn d = nn n p n, which divided by p n gives By (1), we notice that 1 n p n 1 n d n,d<n dn d = N n p n /n 1 0 n p n 1 n d n,d<n dn d n p n n 4 p n = n 4p n n 0 and we can conclude that Nn p n /n 5. Prove that Q C is countable. 1 for n. Solution: First notice that Q is infinite because it contains N. If α is an algebraic number, there exists a unique irreducible polynomial f α Z[X] (in particular, f is primitive) with positive leading coefficient it is obtained by multiplying irr(α, Q) by the greatest common divisor of its coefficients. Thus for each α Q there exist unique n α N and a α 0,..., a α n α Z >0 such that a α n α > 0 and f α = a α n α X nα a α 1 X + a α 0. Define, for N N, By construction, X N := {α Q : n α N, i = 1,..., n α a i N}. N N X N = Q. Moreover, each X N has a finite cardinality. Indeed, for a fixed N, there are N + 1 possible values of n α, for each of which there are no more than (N + 1) nα values for the coefficients a i and for each of the finitely many admissible tuples (n α, a α 0,..., a α n α ) which actually gives an irreducible polynomial there are at most n α roots that can be chosen as initial α Q. This implies that Q is a countable union of finite sets and as such it is countable. 4

5 6. Let K be a field and f K[X] a non-constant polynomial. Let L be a splitting field of f. Show that [L : K] deg(f)!. Solution: We recall the procedure used to prove existence of the splitting field. Let g be an irreducible factor of f. Then K can be seen as a subfield of K 1 := K[X]/(g) [X] =: α. In L 1, the image of f is divisible by X α. By uniqueness of the splitting field, the splitting field L of f over K is isomorphic as a K-extension to the splitting field L of h = f over X α K. Since deg(h) = deg(f) 1, we can work by induction on deg(f), and get [L : K] = [L : K] = [L : K 1 ][K 1 : K] = deg(g)[l : K 1 ] deg(f)[l : K 1 ] deg(f)(deg(f) 1)! = deg(f)! where in the last inequality we supposed that our result works for degree deg(f) (Trace and norm for finite field extensions) Let L/K be a finite field extension. (a) For x L, show that the following is a K-linear map: m x : L L y xy (b) Show that the map r L/K : L End K (L) sending x m x is a ring homomorphism. (c) Consider the maps Prove: Tr L/K : L K x Tr(m x ), N L/K : L K x det(m x ). (trace map) (norm map) Tr L/K is K-linear. N L/K (xy) = N L/K (x)n L/K (y) for all x, y L and N L/K (x) = 0 if and only if x = 0. (d) Given a tower of finite extensions L 1 /L /K, show that Tr L1 /K = Tr L /K Tr L1 /L. [Hint: Write down a K-basis of L 1 starting from a K-basis of L and an L -basis of L 1, then evaluate the right-hand side on α L 1 ]. (e) Prove that if x L is such that L = K(x), and irr(x, K)(X) = X d + a d 1 X d a 1 X + a 0 K[X], then Tr L/K (x) = a d 1 and N L/K (x) = ( 1) d a 0. [Hint: (1, x,..., x d 1 ) is a K-basis of L.] 5

6 (f) Let p be an odd prime number, ζ = e πi p and K = Q(ζ) (see Assignment 11, Exercise 4). Compute: Tr K/Q (ζ), N K/Q (ζ) and N K/Q (ζ 1). Solution: (a) It is immediate to check K-linearity of each map m x. Indeed, m x is additive by distributivity of the multiplication with respect to addition, and it respect scalar multiplication by commutativity of the multiplication in L. (b) We immediately notice that m 0 = 0 and m 1 = id L. For x, y, z L, we have m x+y (z) = (x + y)z = xz + yz = m x (z) + m y (z) and m xy (z) = (xy)z = x(yz) = m x (m y (z)) = (m x m y )(z). This means that r L/K respects both sum and multiplication, and we can conclude that it is a ring homomorphism. As r L/K is not the zero map (since it sends 1 id L 0) and L is a field, the kernel is equal to (0), so that r L/K is injective. (c) First, we prove linearity of Tr L/K. Let n = [L : K] and fix a K-basis B for L. Then by basic linear algebra we have a K-linear ring isomorphism ϕ : End K (L) M n (K). Also, the trace map tr : M n (K) K is easily seen to be K-linear. Then by construction we have that Tr L/K = tr ϕ r L/K, which is K-linear as it is a composition of K-linear maps. As concerns norm, we have N L/K = det ϕ r L/K. Since all the composed maps respect multiplication, so does N L/K. Moreover, we have N L/K (x) = 0 if and only if det(m x ) = 0, which is equivalent to saying that m x is not an invertible endomorphism, and this happens precisely when x = 0 (since for x 0, me have m x 1 = m 1 x ). (d) Let B 1 = (e 1,..., e k ) be an L -basis for L 1, and B = (f 1,..., f l ) be an K-basis for L. As seen in class, B := (e 1 f 1, e 1 f,..., e 1 f l, e f 1,..., e f l,..., e k f 1,..., e k f l ) is a K-basis for L 1. For α L 1, we can find coefficients λ ij L, with 1 i, j k, so that for each i one has k α e i = λ ij e j. j=1 Then for each i, j as above and 1 s, t l we can find coefficients µ ijst L such that for each i, j and s one has l λ ij f s = µ ijst f t. Putting those two equalities together we get, for each i and t as above, k l α e i f s = µ ijst e j f t 6 j=1 t=1 t=1

7 Then the matrix correspondent to m α as a L -linear map of L 1, with respect to the basis B 1, is [m α ] L1 /L = T (λ ij ) i,j, so that Tr L1 /L (α) = k i=1 λ ii. Moreover, the matrix correspondent to m α as a K-linear map of L 1, with respect to the basis B, is [m α ] L1 /K = T (µ ijst ) (i,s),(j,t), where the row index is the couple (i, s) and the column index is the couple (j, t), and row (column) indexes are ordered with lexicographical order, so that Tr L1 /K(α) = k l i=1 s=1 µ iiss. Furthermore, for each i, j as before, the matrix correspondent to m λi,j as a K-linear map of L, with respect to the basis B, is so that Tr L /K(λ ij ) = l s=1 µ ijss. In conclusion, we have [m λi,j ] L /K = T (µ ijst ) s,t, Tr L /K(Tr L1 /L (α)) = Tr L /K( = k i=1 k λ ii ) = i=1 k Tr L /K(λ ii ) i=1 l µ iiss = Tr L1 /K(α). (e) Since L = K[X]/(irr(x, Q)) as field extensions of K and (1, x,..., x d 1 ) is a K-basis of L, we are interested in the matrix M x = (λ ij ) 0 i,j d 1 associated to m x. For j = 0,..., d, we have x x j = x j+1 so that we have { 1 if i = j + 1 λ ij =, for j = 0,..., d. 0 else. Moreover, x x d 1 = x d = a 0 a 1 x a d 1 x d 1, so that s=1 λ i,(d 1) = a i. What we have found is a a 1 M x = ad a d 1 Then we get Tr L/K (x) = tr(m x ) = a d 1, and using Legendre form for the determinant on the first row we also obtain N L/K (x) = det(m x ) = ( 1) d a 0. 7

8 (f) By Assignment 11, Exercise 4, the minimal polynomial of ζ is Φ p := Xp 1 X 1. By part (e), Tr K/Q (ζ) = 1 and N K/Q (ζ) = 1, since p is odd. Notice that Q(ζ) = Q(ζ 1), so that Irr(ζ 1, Q) has degree p 1. Since ζ 1 satisfies G(X) := ϕ(x + 1) which is irreducible of degree p 1, we get Irr(ζ 1, Q) = (X + 1)p 1, X whose constant coefficient has been seen in Assignment 11, Exercise 4 to be equal to p. Then N L/K (ζ 1) = p. 8

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

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 6. Unique Factorization Domains D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 6 Unique Factorization Domains 1. Let R be a UFD. Let that a, b R be coprime elements (that is, gcd(a, b) R ) and c R. Suppose that a c and b c.

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

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

Solutions of exercise sheet 8

Solutions of exercise sheet 8 D-MATH Algebra I HS 14 Prof. Emmanuel Kowalski Solutions of exercise sheet 8 1. In this exercise, we will give a characterization for solvable groups using commutator subgroups. See last semester s (Algebra

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

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

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

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

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

More information

DETAILED ANSWERS TO STARRED EXERCISES

DETAILED ANSWERS TO STARRED EXERCISES DETAILED ANSWERS TO STARRED EXERCISES 1. Series 1 We fix an integer n > 1 and consider the symmetric group S n := Sym({1,..., n}). For a polynomial p(x 1,..., X n ) C[X 1,..., X n ] in n variables and

More information

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions.

D-MATH Algebra II FS18 Prof. Marc Burger. Solution 26. Cyclotomic extensions. D-MAH Algebra II FS18 Prof. Marc Burger Solution 26 Cyclotomic extensions. In the following, ϕ : Z 1 Z 0 is the Euler function ϕ(n = card ((Z/nZ. For each integer n 1, we consider the n-th cyclotomic polynomial

More information

Section 31 Algebraic extensions

Section 31 Algebraic extensions Section 31 Algebraic extensions Instructor: Yifan Yang Spring 2007 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

More information

Galois theory (Part II)( ) Example Sheet 1

Galois theory (Part II)( ) Example Sheet 1 Galois theory (Part II)(2015 2016) Example Sheet 1 c.birkar@dpmms.cam.ac.uk (1) Find the minimal polynomial of 2 + 3 over Q. (2) Let K L be a finite field extension such that [L : K] is prime. Show that

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

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

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

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

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

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

(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

1. Algebra 1.5. Polynomial Rings

1. Algebra 1.5. Polynomial Rings 1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are

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

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

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.

More information

Finite Fields. [Parts from Chapter 16. Also applications of FTGT]

Finite Fields. [Parts from Chapter 16. Also applications of FTGT] Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory

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

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

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti

Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions. Timothy All Michael Belfanti Ohio State University Department of Mathematics Algebra Qualifier Exam Solutions Timothy All Michael Belfanti July 22, 2013 Contents Spring 2012 1 1. Let G be a finite group and H a non-normal subgroup

More information

Lecture 7: Polynomial rings

Lecture 7: Polynomial rings Lecture 7: Polynomial rings Rajat Mittal IIT Kanpur You have seen polynomials many a times till now. The purpose of this lecture is to give a formal treatment to constructing polynomials and the rules

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

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

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

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

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

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings. i=0. i=0. n+m. i=0. k=0 Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

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

Algebra Qualifying Exam, Fall 2018

Algebra Qualifying Exam, Fall 2018 Algebra Qualifying Exam, Fall 2018 Name: Student ID: Instructions: Show all work clearly and in order. Use full sentences in your proofs and solutions. All answers count. In this exam, you may use the

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

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.

D-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma. D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +

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

August 2015 Qualifying Examination Solutions

August 2015 Qualifying Examination Solutions August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,

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

Part II Galois Theory

Part II Galois Theory Part II Galois Theory Theorems Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after

More 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

Practice Algebra Qualifying Exam Solutions

Practice Algebra Qualifying Exam Solutions Practice Algebra Qualifying Exam Solutions 1. Let A be an n n matrix with complex coefficients. Define tr A to be the sum of the diagonal elements. Show that tr A is invariant under conjugation, i.e.,

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

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

Algebra Exam, Spring 2017

Algebra Exam, Spring 2017 Algebra Exam, Spring 2017 There are 5 problems, some with several parts. Easier parts count for less than harder ones, but each part counts. Each part may be assumed in later parts and problems. Unjustified

More information

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3...

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

TRACE AND NORM KEITH CONRAD

TRACE AND NORM KEITH CONRAD TRACE AND NORM KEITH CONRAD 1. Introduction Let L/K be a finite extension of fields, with n = [L : K]. We will associate to this extension two important functions L K, called the trace and the norm. They

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

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

Fields. Victoria Noquez. March 19, 2009

Fields. Victoria Noquez. March 19, 2009 Fields Victoria Noquez March 19, 2009 5.1 Basics Definition 1. A field K is a commutative non-zero ring (0 1) such that any x K, x 0, has a unique inverse x 1 such that xx 1 = x 1 x = 1. Definition 2.

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

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

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

ALGEBRA HW 9 CLAY SHONKWILER

ALGEBRA HW 9 CLAY SHONKWILER ALGEBRA HW 9 CLAY SHONKWILER 1 Let F = Z/pZ, let L = F (x, y) and let K = F (x p, y p ). Show that L is a finite field extension of K, but that there are infinitely many fields between K and L. Is L =

More information

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr

2 (17) Find non-trivial left and right ideals of the ring of 22 matrices over R. Show that there are no nontrivial two sided ideals. (18) State and pr MATHEMATICS Introduction to Modern Algebra II Review. (1) Give an example of a non-commutative ring; a ring without unit; a division ring which is not a eld and a ring which is not a domain. (2) Show that

More information

4 Etale algebras, norm and trace

4 Etale algebras, norm and trace 18.785 Number theory I Fall 2017 Lecture #4 09/18/2017 4 Etale algebras, norm and trace 4.1 Separability In this section we briefly review some standard facts about separable and inseparable field extensions

More information

M3P11: GALOIS THEORY

M3P11: GALOIS THEORY M3P11: GALOIS THEORY LECTURES BY PROF. KEVIN BUZZARD; NOTES BY ALEKSANDER HORAWA These are notes from the course M3P11: Galois Theory taught by Prof. Kevin Buzzard in Fall 2015 at Imperial College London.

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

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

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More 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

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

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

Algebraic number theory

Algebraic number theory Algebraic number theory F.Beukers February 2011 1 Algebraic Number Theory, a crash course 1.1 Number fields Let K be a field which contains Q. Then K is a Q-vector space. We call K a number field if dim

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

Homework 10 M 373K by Mark Lindberg (mal4549)

Homework 10 M 373K by Mark Lindberg (mal4549) Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients

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

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.

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

Galois Theory. Torsten Wedhorn. July 13, These lecture notes contain the final third of my lecture on abstract algebra.

Galois Theory. Torsten Wedhorn. July 13, These lecture notes contain the final third of my lecture on abstract algebra. Galois Theory Torsten Wedhorn July 13, 2015 These lecture notes contain the final third of my lecture on abstract algebra. Notation: If not otherwise stressed, all rings and all algebras are commutative.

More information

Cover Page. The handle holds various files of this Leiden University dissertation

Cover Page. The handle   holds various files of this Leiden University dissertation Cover Page The handle http://hdl.handle.net/1887/32076 holds various files of this Leiden University dissertation Author: Junjiang Liu Title: On p-adic decomposable form inequalities Issue Date: 2015-03-05

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

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

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

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 In Lecture 6 we proved (most of) Ostrowski s theorem for number fields, and we saw the product formula for absolute values on

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

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

Sample algebra qualifying exam

Sample algebra qualifying exam Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)

More information

Real Analysis Prelim Questions Day 1 August 27, 2013

Real Analysis Prelim Questions Day 1 August 27, 2013 Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable

More information

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Math 2070BC Term 2 Weeks 1 13 Lecture Notes Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic

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

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

A Field Extension as a Vector Space

A Field Extension as a Vector Space Chapter 8 A Field Extension as a Vector Space In this chapter, we take a closer look at a finite extension from the point of view that is a vector space over. It is clear, for instance, that any is a linear

More information

Profinite Groups. Hendrik Lenstra. 1. Introduction

Profinite Groups. Hendrik Lenstra. 1. Introduction Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,

More 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

Polynomial Rings. i=0

Polynomial Rings. i=0 Polynomial Rings 4-15-2018 If R is a ring, the ring of polynomials in x with coefficients in R is denoted R[x]. It consists of all formal sums a i x i. Here a i = 0 for all but finitely many values of

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

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

Math 581 Problem Set 6 Solutions

Math 581 Problem Set 6 Solutions Math 581 Problem Set 6 Solutions 1. Let F K be a finite field extension. Prove that if [K : F ] = 1, then K = F. Proof: Let v K be a basis of K over F. Let c be any element of K. There exists α c F so

More information

Graduate Preliminary Examination

Graduate Preliminary Examination Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.

More information

a c b b a + c b + c. c b a + c

a c b b a + c b + c. c b a + c TRACE AND NORM KEITH CONRAD 1. Introduction Let L/K be a finite extension of fields, with n = [L : K]. We will associate to this extension two important functions L K, called the trace and the norm. For

More information

Algebraic Number Theory

Algebraic Number Theory TIFR VSRP Programme Project Report Algebraic Number Theory Milind Hegde Under the guidance of Prof. Sandeep Varma July 4, 2015 A C K N O W L E D G M E N T S I would like to express my thanks to TIFR for

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