Solutions of exercise sheet 2

Similar documents
Solutions of exercise sheet 11

Solutions of exercise sheet 6

Solutions of exercise sheet 8

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

THE GALOIS CORRESPONDENCE

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

Name: Solutions Final Exam

MAT 535 Problem Set 5 Solutions

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

Exercise Sheet 3 - Solutions

Homework 4 Algebra. Joshua Ruiter. February 21, 2018

Graduate Preliminary Examination

Fields. Victoria Noquez. March 19, 2009

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Math 121 Homework 2 Solutions

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

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

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

Course 311: Abstract Algebra Academic year

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

55 Separable Extensions

FIELD THEORY. Contents

The Galois group of a polynomial f(x) K[x] is the Galois group of E over K where E is a splitting field for f(x) over K.

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

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

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Math 603, Spring 2003, HW 6, due 4/21/2003

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

GALOIS THEORY AT WORK

AN INTRODUCTION TO GALOIS THEORY

Math 504, Fall 2013 HW 2

arxiv: v1 [math.gr] 3 Feb 2019

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

Integration of Rational Functions by Partial Fractions

Solutions of exercise sheet 4

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

Keywords and phrases: Fundamental theorem of algebra, constructible

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

GALOIS THEORY. Contents

Integration of Rational Functions by Partial Fractions

Galois Theory. This material is review from Linear Algebra but we include it for completeness.

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

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

Galois Theory, summary

Section V.6. Separability

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

15. Polynomial rings Definition-Lemma Let R be a ring and let x be an indeterminate.

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Chapter V. Solvability by Radicals

MATH 361: NUMBER THEORY TENTH LECTURE

RINGS: SUMMARY OF MATERIAL

54.1 Definition: Let E/K and F/K be field extensions. A mapping : E

M345P11 Galois Theory

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

7 Orders in Dedekind domains, primes in Galois extensions

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

50 Algebraic Extensions

August 2015 Qualifying Examination Solutions

The following results are from the review sheet for the midterm.

2.8 Endomorphisms. Rong-Jaye Chen ECC Department of Computer Science, National Chiao Tung University. Rong-Jaye Chen 2.

ALGEBRA 11: Galois theory

RUDIMENTARY GALOIS THEORY

Field Theory Qual Review

Chapter 4. Fields and Galois Theory

Notes on Field Extensions

Math 414 Answers for Homework 7

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.

M3P11/M4P11/M5P11. Galois Theory

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

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

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.

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

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

MATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS

TEST CODE: PMB SYLLABUS

Math 120 HW 9 Solutions

9. Finite fields. 1. Uniqueness

Math 581 Problem Set 3 Solutions

Section IV.23. Factorizations of Polynomials over a Field

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

By Dr. P.M.H. Wilson, L A TEXed by Matt Daws, Michaelmas Galois Theory, IIB

NOTES ON FINITE FIELDS

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

6.3 Partial Fractions

SEPARABILITY II KEITH CONRAD

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Galois theory (Part II)( ) Example Sheet 1

ALGEBRA QUALIFYING EXAM SPRING 2012

Normal forms in combinatorial algebra

Identify F inside K and K. Then, by the claim, we have an embedding σ : K K such that σ F = id F. Since σ(k)/f and K/F are isomorphic extensions, the

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

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

Question 1: The graphs of y = p(x) are given in following figure, for some Polynomials p(x). Find the number of zeroes of p(x), in each case.

Math 121. Fundamental Theorem and an example

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Transcription:

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 such that β 2 = b. Prove that either a or ab is a square in k. [Hint: Distinguish the cases β k and β k. For the second case, expand (c + dβ) 2, for c, d k.] 2. Now consider K = k(u, v), where u, v k are elements in an algebraic extension of k such that u 2, v 2 k. Set γ = u(v + 1). Prove: K = k(γ). 1. If β k, then k(β) = k, so that a is a square in k. Else, β is algebraic of order 2 over k, and any element in k(β) can be expressed as c + dβ, with c, d k. In particular, for some c and d in k we have a = (c + dβ) 2 = (c 2 + bd 2 ) + 2cdβ, which gives, since 1 and β are two k-linear independent elements, a = c 2 + bd 2, 2cd = 0. Then, since char(k) 2, we get cd = 0, implying that c = 0 or d = 0. If d = 0, then a = c 2 is a square in k. Else c = 0, and a = bd 2, so that ab = b 2 d 2 = (bd) 2 is a square in k. 2. The inclusion K k(γ) is clear, since γ = u(v + 1) k(u, v) = K. To prove the other inclusion, we need to show that u, v k(γ). We have k(γ) γ 2 = u 2 (v 2 + 2v + 1), which implies, since u 2, v 2 k k(γ) and char(k) 2, that v = 1 ( ) γ 2 2 u 2 v2 1 k(γ). Then v + 1 k(γ) as well, so that u = γ(v + 1) 1 k(γ) and we are done. Notice that it makes sense to quotient by u and v + 1 because they cannot be zero as they lie outside k. 2. 1. Prove that if [K : k] = 2, then k K is a normal extension. 2. Show that Q( 4 2, i)/q is normal. Please turn over!

3. Show that Q( 4 2(1 + i))/q is not normal over Q. 4. Deduce that given a tower L/K/k of field extensions, L/k needs not to be normal even if L/K and K/k are normal. 1. Since [K : k] = 2, there is an element ξ K \ k. Then k(ξ)/k is a proper intermediate extension of K/k, and the only possibility is that K = k(ξ), so that ξ has a degree-2 minimal polynomial f(x) = X 2 sx + t k[x]. Then s ξ k(ξ) = K and f(s ξ) = s 2 2sξ + ξ 2 s 2 + sξ + t = sξ + ξ 2 + t = f(ξ) = 0. Hence K is the splitting field of f, implying that K/k is a normal extension. 2. Let us prove that Q( 4 2, i) is the splitting field of the polynomial X 4 2 Q[X] (which is irreducible by Eisenstein s criterion). This is quite straightforward: this splitting field must contain all the roots of the polynomials, i.e. 4 2, i 4 2, 4 2, i 4 2, implying that it must contain i 4 2/ 4 2 = i, so that it must contain Q(sqrt[4]2, i). Clearly all the roots of X 4 2 lie Q( 4 2, i) which is then the splitting field of X 4 2, so that it is a normal extension of Q. 3. Since i R Q( 4 2) satisfies the polynomial X 2 +1 Q( 4 2), we have [Q( 4 2, i) : Q( 4 2)] = 2. Moreover, [Q( 4 2) : Q] = 4 (as X 4 2 is irreducible by Eisenstein s criterion), so that [Q( 4 2, i) : Q] = 8. Let γ = 4 2(1 + i). It is enough to prove that the minimal polynomial of γ over Q does not split in Q(γ) to conclude that Q(γ)/Q is not a normal extension. Notice that γ 2 = 2(1 1 + 2i), so that γ 4 = 8, and γ satisfies the polynomial g(x) = X 4 + 8 Q[X]. Hence [Q(γ) : Q] 4. On the other hand, Q( 4 2, i) = Q( 4 2(1 + i), i) = Q(γ)(i), with [Q( 4 2, i) : Q(γ)] 2 since i satisfies X 2 + 1 Q(γ)[X]. Then 8 = [Q( 4 2, i) : Q] = [Q(γ)(i) : Q(γ)][Q(γ) : Q], and the only possibility is that [Q(γ)(i) : Q(γ)] = 2 and [Q(γ) : Q] = 4. In particular, g(x) is the minimal polynomial of γ over Q, and i Q(γ). But the roots of g(x) are easily seen to be uγ, for u {±1, ±i}, so that the root iγ of g does not lie in Q(γ) (as i Q(γ)). 4. Let k = Q, L = Q(γ) and K = Q(γ 2 ). Then γ 2 = 2 2i Q satisfies the degree-2 polynomial Y 2 + 8 Q[Y ], so that [K : k] = 2. Since [L : k] = 4, we have [L : K] = 2. Then by point 1 the extensions L/K and K/k are normal, while L/k is not by previous point. 3. Let K be a field, and L = K(X) its field of rational functions. See next page!

( a b 1. Show that, for any A = c d ) GL 2 (K), the map σ A (f) = f ( ) ax + b cx + d defines a K-automorphism of L, and we obtain a group homomorphism 2. Compute ker(i). i : GL 2 (K) Aut(L/K). 3. For f K(X), write f = p(x) q(x), with p(x), q(x) K[X] coprime polynomials. Prove that p(x) q(x)y is an irreducible polynomial in K[X, Y ], and deduce that X is algebraic of degree max{deg(p), deg(q)} over K(f). 4. Conclude that i is surjective [Hint: For σ Aut(L/K), apply previous point with f = σ(x)]. 5. Is an endomorphism of the field K(X) which fixes K always an automorphism? 1. Since σ A operates on f K(X) just by substituting X with σ A (X), it is clear that σ A is a field endomorphism fixing K. Define the map i : GL 2 (K) End K (L) sending A σ A. If we prove that it is a map of monoids (i.e., it respects multiplication), then its image will clearly lie in the submonoid of invertible elements of the codomain Aut(L/K) End K (L) because the domain is a group (explicitly, σ A will have inverse σ A 1). We are then only left to prove that σ AB = σ A σ B. Notice that we can write, for f L = K(X), the equality σ A (f(x)) = f(σ A (X)) because σ A is a field homomorphism. Then (σ A σ B )(f(x)) = σ A (σ B (f(x))) = σ A (σ B (f(x))) = f(σ A σ B (X)), so that we only need to prove that σ AB (X) = σ A σ B (X). This just an easy computation, which was already done (for K = R) in Algebra I (HS14), Exercise sheet 2, Exercise 4. Hence i is multiplicative. 2. The kernel of i consists of matrix A such that σ A (f) = f for every f K(X). Since σ A is a K-automorphism of L = K(X), this condition is equivalent to σ A (X) = X, i.e., ax+b cx+d = X, which is equivalent to ax + b = cx2 + dx, i.e. a = d and c = b = 0. Hence ker(i) = {( a 0 0 a ) } GL 2 (K). 3. As K is a field, K[X] is an integral domain, so that for t, u K[X, Y ] we have deg Y (tu) = deg Y (t) + deg Y (u), and each decomposition of r(x, Y ) = p(x) + Y q(x) is of the type r(x, Y ) = t(x)u(x, Y ), with u(x, Y ) = u 0 (X) + Y u 1 (X). Please turn over!

Then t(x) needs to be a common factor of p(x) and q(x), which are coprime, so that t(x) is constant. This proves that r(x, Y ) = p(x) + Y q(x) is irreducible in K[X, Y ]. We now prove that r(x, Y ) is also irreducible in K(Y )[X]: suppose that K[X, Y ] r(x, Y ) = r 1 (X, Y )r 2 (X, Y ), with r i (X, Y ) K(Y )[X]. Then we can write r i (X, Y ) = 1 R i (Y ) s i, with s i K[Y ][X] a primitive polynomial in X, that is, a polynomial in X whose coefficients are coprime polynomials in Y, and R i (Y ) K[Y ]. It is easily seen that the product of two primitive polynomials is again primitive, so that from r(x, Y ) K[X, Y ] we get that R 1 (Y ) and R 2 (Y ) are constant polynomials, and the factorization of r is a factorization in K[X, Y ]. Now X is a root of the irreducible polynomial s(t ) := r(t, f) K(f)[T ], so that [K(X) : K(f)] = deg(s) = max{deg(p), deg(q)} as desired. 4. For every σ Aut(L/K) and f L, we have σ(f(x)) = f(σ(x)), so that we just need to prove that σ(x) is a quotient of degree-1 polynomials. Clearly, the image of L via σ is K(σ(X)), and we have seen in the previous point that K(σ(X)) is a subfield of K(X). Then surjectivity of σ is attained only when max{deg(p), deg(q)} = 1, so that any K-automorphism of L comes is of the form σ A for some A GL 2 (K). In conclusion, i is surjective. 5. No. Indeed, one can send X X 2 to define a K-endomorphism τ of L. Then the image K(X 2 ) of this field endomorphism is a subfield of K(X), and [K(X 2 ) : K(X)] = 2 by what we have seen in the previous points, so that τ is not surjective. 4. 1. Let K be field containing Q. Show that any automorphism of K is a Q-automorphism. 2. From now on, let σ : R R be a field automorphism. Show that σ is increasing: 3. Deduce that σ is continuous. 4. Deduce that σ = Id R. x y = σ(x) σ(y). 1. Let σ : K K a field automorphism, and suppose that Q K. Then Z K, and for every n Z one has σ(n) = σ(n 1) = nσ(1), by writing n as a sum of 1 s or 1 s and using additivity of σ. Hence σ Z = Id Z. Now suppose f Q, and write f = mn 1 with n Z. Then by multiplicativity of σ we obtain σ(f) = σ(m)σ(n 1 ) = mn 1 = f, so that σ Q = Id Q and σ is a Q-isomorphism. 2. Let x, y R such that x y. Then y x 0, so that there exist z R such that y x = z 2. Then σ(y) σ(x) = σ(y x) = σ(z 2 ) = σ(z) 2 0, so that σ(y) σ(x) and σ is increasing. See next page!

3. To prove continuity, it is enough to check that counterimages of intervals are open. For I = (a, b) R an interval with a b, by surjectivity of σ there exist α, β R such that σ(α) = a and σ(β) = b, and since σ is injective and increasing we need α < β. Then σ 1 (I) = {x R : a < σ(x) < b} = {x R : σ(α) < σ(x) < σ(β)} = (α, β), which is an open interval in R. Hence σ is continuous. 4. Now σ is continuous and so is Id R. By point 1, those two maps coincide on Q, which is a dense subset of R. Then they must coincide on the whole R, so that σ = Id R.