Solutions of exercise sheet 11

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

Solutions of exercise sheet 6

Solutions of exercise sheet 8

Math 121 Homework 2 Solutions

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

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

GALOIS THEORY. Contents

Solutions of exercise sheet 2

18. Cyclotomic polynomials II

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

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

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

DETAILED ANSWERS TO STARRED EXERCISES

(January 14, 2009) q n 1 q d 1. D = q n = q + d

g(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.

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

MAT 535 Problem Set 5 Solutions

M3P11/M4P11/M5P11. Galois Theory

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

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

Solutions 13 Paul Garrett garrett/

Algebra Ph.D. Preliminary Exam

Factorization in Integral Domains II

Galois theory (Part II)( ) Example Sheet 1

Math 547, Exam 2 Information.

Exercise Sheet 3 - Solutions

Graduate Preliminary Examination

Galois Theory of Cyclotomic Extensions

Section III.6. Factorization in Polynomial Rings

Explicit Methods in Algebraic Number Theory

MATH 361: NUMBER THEORY TENTH LECTURE

Modern Algebra 2: Midterm 2

FIELD THEORY. Contents

Solutions of exercise sheet 4

Homework problems from Chapters IV-VI: answers and solutions

August 2015 Qualifying Examination Solutions

Math 210B: Algebra, Homework 6

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 121 Homework 3 Solutions

M3P11: GALOIS THEORY

Part II Galois Theory

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

Course 311: Hilary Term 2006 Part IV: Introduction to Galois Theory

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

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

NOTES ON FINITE FIELDS

1. Algebra 1.5. Polynomial Rings

Math 581 Problem Set 3 Solutions

(January 14, 2009) a primitive fifth root of unity, so have order divisible by 5.) Recall the isomorphisms

IUPUI Qualifying Exam Abstract Algebra

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

ORAL QUALIFYING EXAM QUESTIONS. 1. Algebra

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

RUDIMENTARY GALOIS THEORY

Extension theorems for homomorphisms

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

Course 311: Abstract Algebra Academic year

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Math 4320 Final Exam

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators.

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

Absolute Values and Completions

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

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

Lecture 7: Polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

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.

Notes on graduate algebra. Robert Harron

Algebra Qualifying Exam Solutions. Thomas Goller

QUALIFYING EXAM IN ALGEBRA August 2011

Chapter 8. P-adic numbers. 8.1 Absolute values

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

Homework 4 Solutions

Appendix Homework and answers

CYCLOTOMIC POLYNOMIALS

Practice problems for first midterm, Spring 98

Lecture 6.3: Polynomials and irreducibility

Homework 6 Solution. Math 113 Summer 2016.

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

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

1 Spring 2002 Galois Theory

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

Math 504, Fall 2013 HW 2

A BRIEF INTRODUCTION TO LOCAL FIELDS

Math 120 HW 9 Solutions

AN INTRODUCTION TO GALOIS THEORY

CYCLOTOMIC POLYNOMIALS

x 3 2x = (x 2) (x 2 2x + 1) + (x 2) x 2 2x + 1 = (x 4) (x + 2) + 9 (x + 2) = ( 1 9 x ) (9) + 0

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

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.

Primary Decomposition

Selected Math 553 Homework Solutions

Further linear algebra. Chapter II. Polynomials.

M345P11 Galois Theory

Profinite Groups. Hendrik Lenstra. 1. Introduction

Polynomial Rings : Linear Algebra Notes

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

ALGEBRA QUALIFYING EXAM SPRING 2012

Practice Algebra Qualifying Exam Solutions

Algebraic number theory Revision exercises

Transcription:

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 of α over Q: α = 2 + 5 α = 3 3 3 α = λ + iλ, where λ R >0, λ 4 = 5 Suppose that α = 2 + 5 Then we have α 2 = 7 + 2 10, which implies (by subtracting 7 from both sides and squaring them) α 4 14α 2 + 49 = 40, so that α satisfies the polynomial f(x) = X 4 14X 2 + 9 To prove that f is the minimal polynomial of α, we need to check that it is irreducible over Q Notice that the complex roots of f are ±α and ±( 2 5) so that there is no linear factor in the decomposition of f The only remaining possibility for f not to be irreducible would be that it factors into two rational polynomials of degree 2, in which case one of two factors would be (X α)(x β) Q[X] for β equal to one of the remaining roots It can be easily checked that none of those polynomials have rational coefficients, contradiction Hence f(x) = X 4 14X 2 + 9 is the minimal polynomial of α = 2 + 5 Suppose that α = 3 3 3 Then (α 3) 3 = ( 3 3) 3, ie, α 3 + 9α + 3 = 3(3α 2 + 3), which implies, by squaring both sides, α 6 + 81α 2 + 9 + 18α 4 + 6α 3 + 54α = 27(α 4 + 2α 2 + 1) α 6 9α 4 + 6α 3 + 27α 2 + 54α 18 = 0 Then α is a root of f(x) = X 6 9X 4 + 6X 3 + 27X 2 + 54X 18 and we claim this polynomial is irreducible This is true if and only if [Q(α) : Q] = 6 Notice that α Q( 6 3), which is a degree-6 extension of Q (because the polynomial X 6 3 is irreducible in Q[X] by Eisenstein Criterion and Gauss s Lemma below) Hence f is irreducible if and only if Q(α) = Q( 6 3), which is true if and only if (1, α, α 2, α 3, α 4, α 5 ) are generators for Q( 6 3) Denote β = 6 3, so that α = β 3 β 2 = β 2 (β 1) Then we have α 2 = 3 + β 4 2β 5, α 3 = 3(β 1) 3 = 3 + 9β 9β 2 + 3β 3 α 4 = 3β 2 (β 1) 4 = 9 + 3β 2 12β 3 + 18β 4 12β 5 α 5 = 3β 4 (β 1) 5 = 90 + 90β 45β 2 + 9β 3 3β 4 + 15β 5, Please turn over!

which can be written in matrix notation as 1 1 0 0 0 0 0 α 0 0 1 1 0 0 α 2 α 3 = 3 0 0 0 1 2 3 9 9 3 0 0 α 4 9 0 3 12 18 12 α 5 90 90 45 9 3 15 Since the determinant of the square matrix can be computed to be 3 4 73, it is invertible, making (1, α, α 2, α 3, α 4, α 5 ) a Q-basis for Q(β), so that Q(α) = Q(β) and f(x) = X 6 9X 4 + 6X 3 + 27X 2 + 54X 18 is the minimal polynomial of α Suppose that α = λ + iλ, with λ = 4 5 Then α = λ 2e iπ/4 and α 4 = 5 4 e iπ = 20 and α is a root of f(x) = X 4 + 20 This is a polynomial with integer coefficients which is irreducible in Z[X] by Eisenstein s Criterion (Exercise 23 from Exercise sheet 9) As it is monic, it has coprime coefficients, so that it is also irreducible in Q[X] by Gauss s Lemma (see below) Then f(x) = X 4 + 20 is the minimal polynomial of α We say that a polynomial f Z[X] is primitive if the coefficients of f are coprime Gauss s Lemma The product of two primitive polynomials in Z[X] is a primitive polynomial If f(x) Z[X] is primitive, then it is irreducible in Z[X] if and only if it is irreducible in Q[X] Proof: For the first part of the statement, notice that a polynomial f Z[X] is primitive if and only if for every prime p one has 0 f Z/pZ[X] (via the reduction map Z[X] Z/pZ from Exercise 21 in Exercise sheet 9) Then if f and g are primitive, the reduction modulo each p of fg, which is f ḡ, cannot be zero, as Z/pZ[X] is an integral domain and f, ḡ 0 Hence fg is primitive For the second part, it is easy to see that when f Z[X] is irreducible in Q[X], then so is in Z[X], because if f = gh is a non-trivial factorization in Z[X] (that is, g, h Z[X] ), then g and h are non-constant (as f is primitive), so that f = gh is also a non-trivial factorization in Q[X] Conversely, assume that f is irreducible in Z[X], and that f = gh is a factorization in Q[X] Let n = deg(f), d = deg(g) and e = deg(h) Computing common denominators and putting together common factors of the resulting numerator, one can find γ, τ Q and primitive polynomials g, h Z[X] such that g = γ g and h = τ h Then f = γτ g h Since g h is primitive by previous part, we get γτ Z (actually, γτ = ±1, as f is also primitive) 1 β β 2 β 3 β 4 β 5 2 Suppose that the field extension L = K(α) over K is finite of odd degree Prove: L = K(α 2 ) See next page!

Of course, one has K K(α 2 ) K(α) = L, and by multiplicativity of degrees in towers, we have [L : K] = [L : K(α 2 )][K(α 2 ), K], and since [L : K] is odd by hypothesis, we get that [L : K(α 2 )] is also odd Moreover, α satisfies the polynomial f(x) = X 2 α 2 K(α 2 ), so that [L : K(α 2 )] 2 This degree can then only be equal to 1, which implies L = K(α 2 ) 3 (*) (Trace and norm for finite field extensions) Let L over K be a finite field extension 1 For x L, show that the following is a K-linear map: m x : L L y xy When K = R, L = C and α C, compute the matrix representing m α with respect to the basis (1, i) 2 Show that we have an injective ring homomorphism 3 Consider the maps r L/K : L End K (L) x m x Tr L/K : L K x Tr(m x ) (trace map) and N L/K : L K x det(m x ) (norm map) Prove: Tr L/K is K-linear N L/K (xy) = N L/K (x)n L/K (y) for every x, y L, and N L/K (x) = 0 if and only if x = 0 4 Given a tower of finite extensions L 1 /L 2 /K, show that Tr L1 /K = Tr L2 /K Tr L1 /L 2 [Hint: Get a K-basis for L 1 starting from a K-basis for L 2 and an L 2 -basis for L 1, then evaluate the right hand side on α L 1 ] 5 Prove that if x L is such that L = K(x), and Irr(x, K)(X) = X d + a d 1 X d 1 + + 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] Please turn over!

6 Let p be an odd prime number, ζ p = e 2πi p and K p = Q(ζ p ) Find Irr(ζ p, Q), Tr Kp/Q(ζ p ), N Kp/Q(ζ p ) and N Kp/Q(ζ p 1) [Hint: Look at Exercise 24 from Exercise sheet 9 Use previous point, and notice that Q(ζ p ) = Q(ζ p 1)] 1 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 For K = R, L = C and α = a+ib C (with a, b R), we have m α (1) = α = a+ib, while m α (i) = b + ia, so that m α is represented by the matrix ( ) a b M α = b a 2 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 3 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 ) 4 Let B 1 = (e 1,, e k ) be an L 2 -basis for L 1, and B 2 = (f 1,, f l ) be an K-basis for L 2 As seen in class, B := (e 1 f 1, e 1 f 2,, e 1 f l, e 2 f 1,, e 2 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 2, with 1 i, j k, so that for each i one has α 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 2 such that for each i, j and s one has λ ij f s = l µ ijst f t t=1 See next page!

Putting those two equalities together we get, for each i and t as above, α e i f s = j=1 t=1 l µ ijst e j f t Then the matrix correspondent to m α as a L 2 -linear map of L 1, with respect to the basis B 1, is [m α ] L1 /L 2 = T (λ ij ) i,j, so that Tr L1 /L 2 (α) = 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 2, with respect to the basis B 2, is so that Tr L2 /K(λ ij ) = l s=1 µ ijss In conclusion, we have [m λi,j ] L2 /K = T (µ ijst ) s,t, Tr L2 /K(Tr L1 /L 2 (α)) = Tr L2 /K( λ ii ) = i=1 Tr L2 /K(λ ii ) = i=1 l µ iiss = Tr L1 /K(α) i=1 s=1 5 We have that L = K[X]/(P (X)) as field extensions of K, and that (1, x,, x d 1 ) is a K-basis for L Then we are interested in the matrix M x = (λ ij ) 0 i,j d 1 associated to m x For j = 0,, d 2, we have x x j = x j+1 so that we have { 1 if i = j + 1 λ ij = 0 else, for j = 0,, d 2 Moreover, x x d 1 = x d = a 0 a 1 x a d 1 x d 1, so that λ i,(d 1) = a i What we have found is 0 0 0 a 0 1 0 0 a 1 M x = 0 1 0 ad 2 0 0 1 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 Please turn over!

6 Using the solution of Exercise 24 from Exercise sheet 9, ζ p satisfies the cyclotomic polynomial ϕ p (X) = X p 1 + + X + 1 Z[X], which is irreducible in Z[X] Since ϕ p is a primitive polynomial, it is also irreducible in Q[X] by Gauss Lemma, so that Irr(ζ p, Q) = ϕ p Then by previous point we have Tr Kp/Q(ζ p ) = 1 and N Kp/Q(ζ p ) = 1 as p is odd Notice that we have Q(ζ p ) = Q(ζ p 1), so that Irr(ζ p 1, Q has degree p 1 Since ζ p 1 satisfies G(X) := ϕ p (X + 1) which is irreducible of degree p 1, we get Irr(ζ p 1, Q) = ϕ p (X + 1) = (X + 1)p 1, X whose constant coefficient is easily seen to be equal to p, so that N L/K (ζ p 1) = p 4 Prove that for every algebraic field extension K/R we have that K is isomorphic either to R or to C Given a field k and an algebraic closure k of k, we have that for every algebraic extension K/k, the field K is isomorphic (with an isomorphism fixing k) to a field K k Indeed, fixing an algebraic closure K of K, we have that K is an algebraic closure of k Then by uniqueness of the algebraic closure there exists an isomorphism ϕ : K k fixing k, so that K = K := ϕ(k) k Applying this with k = R and K as in the exercise, we have that K is isomorphic over R to a field K such that R K C As C = R ir, we have [C : R] = 2, and the field extensions K /R and C/K are finite By multiplicativity of the degree in towers of extensions, we have [C : K ][K : R] = [C : R] = 2 and there are only 2 possibilities, in both of which the thesis is immediate: [C : K ] = 1 and [K : R] = 2 Then C = K = K; [C : K ] = 2 and [K : R] = 1 Then R = K = K