D-MATH Algebra I HS17 Prof. Emmanuel Kowalski. Solution 12. Algebraic closure, splitting field
|
|
- Darcy Francis
- 5 years ago
- Views:
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
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 informationD-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 informationTHE 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 informationMATH 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 informationSolutions 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 informationSolutions 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 informationMath 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 information18. Cyclotomic polynomials II
18. Cyclotomic polynomials II 18.1 Cyclotomic polynomials over Z 18.2 Worked examples Now that we have Gauss lemma in hand we can look at cyclotomic polynomials again, not as polynomials with coefficients
More informationSolutions 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 informationD-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 informationDETAILED 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 informationD-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 informationSection 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 informationGalois 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 informationNOTES 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 informationMATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11
MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of
More information55 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 informationGalois 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 informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationφ(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 informationGalois Theory TCU Graduate Student Seminar George Gilbert October 2015
Galois Theory TCU Graduate Student Seminar George Gilbert October 201 The coefficients of a polynomial are symmetric functions of the roots {α i }: fx) = x n s 1 x n 1 + s 2 x n 2 + + 1) n s n, where s
More information(January 14, 2009) q n 1 q d 1. D = q n = q + d
(January 14, 2009) [10.1] Prove that a finite division ring D (a not-necessarily commutative ring with 1 in which any non-zero element has a multiplicative inverse) is commutative. (This is due to Wedderburn.)
More information1. 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 informationALGEBRA 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 informationAlgebraic 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 informationADVANCED 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 informationFinite 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 informationGALOIS THEORY. Contents
GALOIS THEORY MARIUS VAN DER PUT & JAAP TOP Contents 1. Basic definitions 1 1.1. Exercises 2 2. Solving polynomial equations 2 2.1. Exercises 4 3. Galois extensions and examples 4 3.1. Exercises. 6 4.
More informationPage Points Possible Points. Total 200
Instructions: 1. The point value of each exercise occurs adjacent to the problem. 2. No books or notes or calculators are allowed. Page Points Possible Points 2 20 3 20 4 18 5 18 6 24 7 18 8 24 9 20 10
More informationABSTRACT 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 informationOhio 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 informationLecture 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 informationx by so in other words ( )
Math 210B. Norm and trace An interesting application of Galois theory is to help us understand properties of two special constructions associated to field extensions, the norm and trace. If L/k is a finite
More informationMath 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 informationMath 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 informationbut 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 informationExtension 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 informationPolynomial 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 informationCourse 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 informationAutomorphisms 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 informationAlgebra 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 informationAlgebra 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 informationD-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 informationNotes 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 informationAugust 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 informationRUDIMENTARY 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 informationPart 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 informationAlgebra Ph.D. Preliminary Exam
RETURN THIS COVER SHEET WITH YOUR EXAM AND SOLUTIONS! Algebra Ph.D. Preliminary Exam August 18, 2008 INSTRUCTIONS: 1. Answer each question on a separate page. Turn in a page for each problem even if you
More informationPractice 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 informationx by so in other words ( )
Math 154. Norm and trace An interesting application of Galois theory is to help us understand properties of two special constructions associated to field extensions, the norm and trace. If L/k is a finite
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationAlgebra 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 informationAlgebra 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 informationTRACE 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 informationThus, 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 informationRINGS: 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 informationFields. 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 informationLecture 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 informationMath 201C Homework. Edward Burkard. g 1 (u) v + f 2(u) g 2 (u) v2 + + f n(u) a 2,k u k v a 1,k u k v + k=0. k=0 d
Math 201C Homework Edward Burkard 5.1. Field Extensions. 5. Fields and Galois Theory Exercise 5.1.7. If v is algebraic over K(u) for some u F and v is transcendental over K, then u is algebraic over K(v).
More informationMATH 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 informationALGEBRA 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 information2 (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 information4 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 informationM3P11: 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 informationFields 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 informationHomework 4 Algebra. Joshua Ruiter. February 21, 2018
Homework 4 Algebra Joshua Ruiter February 21, 2018 Chapter V Proposition 0.1 (Exercise 20a). Let F L be a field extension and let x L be transcendental over F. Let K F be an intermediate field satisfying
More informationIUPUI 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 informationarxiv: 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 informationM3P11/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 informationFinite 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 informationAlgebraic 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 informationPart II Galois Theory
Part II Galois Theory Definitions Based on lectures by C. Birkar Notes taken by Dexter Chua Michaelmas 2015 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationHomework 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 informationMath 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 informationD-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 information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationGalois 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 informationCover 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 informationMATH 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 informationFIELD 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 informationGALOIS THEORY AT WORK
GALOIS THEORY AT WORK KEITH CONRAD 1. Examples Example 1.1. The field extension Q(, 3)/Q is Galois of degree 4, so its Galois group has order 4. The elements of the Galois group are determined by their
More informationIntroduction 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 informationPublic-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 informationFields and Galois Theory
Fields and Galois Theory Rachel Epstein September 12, 2006 All proofs are omitted here. They may be found in Fraleigh s A First Course in Abstract Algebra as well as many other algebra and Galois theory
More informationSample 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 informationReal 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 informationMath 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 informationPractice 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 informationAlgebraic 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 informationA 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 informationProfinite 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 information22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.
22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good
More informationPolynomial 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 information22. 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 informationAN 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 informationMath 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 informationGraduate 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 informationa 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 informationAlgebraic 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 informationContradiction. 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