Homework 4 Solutions

Similar documents
Algebra Homework, Edition 2 9 September 2010

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Explicit Methods in Algebraic Number Theory

Algebraic Number Theory

n P say, then (X A Y ) P

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Math 121 Homework 2 Solutions


ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

MINKOWSKI THEORY AND THE CLASS NUMBER

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

Dedekind Domains. Mathematics 601

5 Dedekind extensions

6]. (10) (i) Determine the units in the rings Z[i] and Z[ 10]. If n is a squarefree

Page Points Possible Points. Total 200

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

Solutions of exercise sheet 8

Math 121 Homework 5: Notes on Selected Problems

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

Problem 1. Characterizing Dedekind domains (64 points)

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

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

ALGEBRA QUALIFYING EXAM SPRING 2012

Introduction Non-uniqueness of factorization in A[x]... 66

4.4 Noetherian Rings

These warmup exercises do not need to be written up or turned in.

5 Dedekind extensions

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

ABSTRACT NONSINGULAR CURVES

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

1. Group Theory Permutations.

Graduate Preliminary Examination

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

Galois Theory TCU Graduate Student Seminar George Gilbert October 2015

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

MATH 131B: ALGEBRA II PART B: COMMUTATIVE ALGEBRA

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Solutions of exercise sheet 11

Galois theory (Part II)( ) Example Sheet 1

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

MAT 535 Problem Set 5 Solutions

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

A PROOF OF BURNSIDE S p a q b THEOREM

A COURSE ON INTEGRAL DOMAINS

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Real Analysis Prelim Questions Day 1 August 27, 2013

Homework problems from Chapters IV-VI: answers and solutions

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

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

18. Cyclotomic polynomials II

Part IX. Factorization

Solutions of exercise sheet 6

Some algebraic number theory and the reciprocity map

Inverse Galois Problem for Totally Real Number Fields

The primitive root theorem

Math 121 Homework 3 Solutions

Factorization in Polynomial Rings

Algebraic number theory

32 Divisibility Theory in Integral Domains

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

Homework #5 Solutions

List of topics for the preliminary exam in algebra

Notes on p-divisible 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.

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN

LECTURE 4: GOING-DOWN THEOREM AND NORMAL RINGS

HILBERT FUNCTIONS. 1. Introduction

Extension theorems for homomorphisms

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

IUPUI Qualifying Exam Abstract Algebra

ABSTRACT ALGEBRA 2 SOLUTIONS TO THE PRACTICE EXAM AND HOMEWORK

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Algebra Qualifying Exam Solutions. Thomas Goller

Factorization in Polynomial Rings

RINGS: SUMMARY OF MATERIAL

Factorization in Integral Domains II

Algebra SEP Solutions

Review of Linear Algebra

Math 6370: Algebraic Number Theory

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

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

Part 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form

Assigned homework problems S. L. Kleiman, fall 2008

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

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

Tensor Product of modules. MA499 Project II

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

NOVEMBER 22, 2006 K 2

GALOIS THEORY AT WORK: CONCRETE EXAMPLES

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

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

Surjectivity in Honda-Tate

Section 19 Integral domains

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

Algebraic Number Theory Course Notes (Fall 2006) Math 8803, Georgia Tech. Matthew Baker

QUALIFYING EXAM IN ALGEBRA August 2011

GALOIS THEORY. Contents

11. Finitely-generated modules

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Transcription:

Homework 4 Solutions November 11, 2016 You were asked to do problems 3,4,7,9,10 in Chapter 7 of Lang. Problem 3. Let A be an integral domain, integrally closed in its field of fractions K. Let L be a finite separable extension of K and let B be the integral closure of A in L. If A is Noetherian, show that B is a finitely generated A-module. Solution. Lemma 1 If x L then tx B for some t A. Proof Since L/K is algebraic, x satisfies a polynomial x n + a n 1 x n 1 +... + a 0 = 0 with coefficients in K. Thus y = tx satisfies the polynomial y n + b n 1 x n 1 +... + b 0, b n i = t i a n i. Taking t to be the product of the denominators of the a k written as fractions in A, we can arrange that the b k A. Hence tx B. Lemma 2 If t B then tr(t) A. Proof Since t is integral over A it is the root of a monic polynomial f with coefficients in A. The conjugates of t also satisfy this polynomial, so they are also integral over A. Thus the conjugates of t are in B. The trace tr(t) is the sum of the conjugates of t, so it is in B. However by Theorem VI.5.1 on page 285 of Lang, tr(t) K. Since A is integrally closed B K = A and so tr(t) A. 1

Let ω 1,, ω n be a basis of L. By the Lemma, we may assume that ω i B. Now consider the trace bilinear form. By Theorem VI.5.2 on page 286 of Lang, this form identifies L with its dual space, so there is a dual basis ω i such that tr(ω i ω j) = δ ij (Kronecker delta). Now consider the A-module M generated by ω i. Then B M because if x B then we may write x = c i ω i and tr(cω i ) = tr(c j ω j ω i) = c i. Thus c i A and x M. We see that B is a submodule of the finitelygenerated module M. Because A is Noetherian, it follows that B is also finitely-generated. Problem 4. Let L be a finite extension of Q and let o L be the ring of algebraic integers in L. Let σ 1,, σ n be the distinct embeddings of L into C. Embed L into a Euclidean space by α (α 1,, α n ). Show that any bounded region of space there are only a finite number of elements of o L. Use Exercise 5 of Chapter III to conclude that o L is a free Z-module of dimension n. In fact, show that the dimension is n, a basis of o L over Z being also a basis of L over Q. Solution (following the hints in the book). Let e i (i n) be the i-th elementary symmetric polynomial, so e i (x 1,, x n ) = x k1 x kn. 1 k 1 < <k i n If α o L, then α is a root of the polynomial f(x) = 0, f(x) = x n + a n 1 (α)x n 1 +... + a 0 (α) where a n i (α) = ( 1) i e i (σ 1 α,, σ n α). This formula shows that the coefficient a n i, regarded as a function of α, extends to a polynomial function on C n, namely the function ( 1) i e i. For α o L, On the other hand, a n i (α) is integral over Z (since each σ i α is integral) and they are invariant under the Galois group of the normal closure of L over Q, and so α n i (α) Q. Therefore a n i (α) Q o L = Z. So if K is a bounded region in C n, on the set K the function a n i takes bounded values. There are thus only a finite number of possible polynomials 2

f(x) Z[x] and therefore o L K is finite. We see that o L is a discrete subgroup of a Euclidean space, hence it is finitely generated as an abelian group, and therefore free. To see that the rank of o L is exactly n, it is sufficient to show that a basis of o L as a Z-module is a basis of L as a vector space. This is similar to the arguments in the preceding exercise. Problem 7 (Dedekind Domains). The usual definition of a Dedekind domain is a commutative domain that is Noetherian, integrally closed and of Krull dimension one which means that every nonzero prime ideal is maximal. These are rings that include principal ideal domains, and are almost as good as principal ideal domains. They come up frequently, for example, let K be an algebraic number field (a finite extension of Q). Then the integral closure of Z in K is called the ring of integers and it is a Dedekind domain. Assume that o is Noetherian, integrally closed and of Krull dimension one which means that every nonzero prime ideal is maximal. Let K be its field of fractions. (a) Given an ideal a of o prove that there exists a product of nonzero prime ideals p 1,, p r such that p 1 p r a. (b) Every maximal ideal p is invertible by a fractional ideal. Thus if p 1 = {x K xp o} then p 1 is a fractional ideal and pp 1 = o. (c) Every nonzero ideal is invertible. Solution. (a) Since o is Noetherian, any nonzero set of ideals has a maximal element. So we may assume that a is an ideal that is maximal with respect to the assumption that it does not contain a product of nonzero ideals. Obviously a cannot be prime, so find x, y o such that x, y / a but xy a. Then a + ox is strictly larger than a so it contains a product of prime ideals: p 1 p r a + ox. Similarly p r+1 p s a + oy. But then p 1 p r p r+1 p s (a + ox)(a + oy) a since xy o. This is a contradiction. (b) Clearly pp 1 o so it is an ideal. If it is not equal to o then it is a proper ideal. It contains p since 1 p 1. Therefore we must have pp 1 p. Now if x p 1 then xp p so p is an o[x]-module that is faithful (since o is a domain) and finitely generated as an o-module since o is Noetherian. By INT3 on page 334, it follows that x is integral over o and since o is integrally 3

closed we must have x o. Thus we will have a contradiction if we can show p 1 o. Arguing by contradiction assume p 1 o. Choose y p, y o. By (a) we have a product p 1 p r oy. Arguing by induction, assume r is as small as possible. One of the p i must equal p because otherwise we could choose x i p i p and then x i p i oy p, which is a contradiction since p is prime. So assume that p r = p. Then y 1 p 1 p r 1 p o y 1 p 1 p r 1 p 1 o. So p 1 p r 1 oy which contradicts the minimality of r. (c) Let a be a nonzero ideal that is not invertible. Since o is Noetherian, take a to be maximal with this property, and let p be a maximal ideal containing a. Then p a and so o = pp 1 p 1 a. Therefore p 1 a is an ideal. We claim that p 1 a is strictly larger than a. If not, p 1 a = a and so if x p 1 then a is a faithful o[x] module that is finitely generated as an o-module so again by INT3, x is integral over the integrally closed ring o proving p 1 o. But we have already shown that this is not true in our proof of (b). So p 1 a is an ideal that is strictly larger than a and by induction it is invertible. Thus a = p p 1 a is invertible. 9. Let A be an integral domain. Let B be an integral domain that is integral over A. Let Q 1 and Q 2 be prime ideals of B with Q 1 Q 2 and Q 1 Q 2. Prove that if P i = Q i A then P 1 P 2. Note: Lang assumes that A is integrally closed but it appears that this assumption is unnecessary. Because Lang states an unnecessary hypothesis I am writing this up in greater detail than one usually would. Solution. Assume that P 1 = P 2. Call this prime ideal P. Let S = A P. Let us check that S 1 Q i S 1 A = S 1 P. If q Q i and s S such that q/s S 1 A then q/s = a/t for a A and t T. Then qt = as A Q i, that is qt P and since t / P and P is prime we have q P. So q/s S 1 P. Now S 1 P is the maximal ideal of the local ring S 1 A. Since S 1 B is integral over S 1 A (Proposition 1.8) we may invoke Proposition 1.11 (page 339) to conclude that S 1 Q 2 is maximal and so S 1 Q 1 = S 1 Q 2. Now let q Q 1. Then q S 1 Q 2 so q = q 2 /s for some s S and therfore qs Q 2. 4

Now s / P and so s / Q 2. Since Q 2 is prime it follos that q Q 2. We have proved Q 1 Q 2 and so Q 1 = Q 2. 10. Let n be a positive integer and let ζ, ζ be primitive n-th roots of unity. (a) Show that (1 ζ)/(1 ζ ) is an algebraic integer. (b) If n 6 is divisible by at least two primes, show that 1 ζ is a unit in the ring Z[ζ]. For (b) I said to assume that n = pq is a product of two distinct primes. This makes the problem slightly easier. Solution. (a) Since ζ is a primitive n-th root of unity, ζ is a power of ζ, that is, ζ = (ζ ) m for some m. Now 1 ζ 1 ζ = 1 (ζ ) m 1 ζ = 1 + ζ + (ζ ) 2 + (ζ ) m 1. Thus 1 ζ is in the ring generated by ζ, and since ζ is integral over Z, so is 1 ζ this ratio. That is, it is an algebraic integer. (b) We first prove, with ζ m = e 2πi/m that m 1 ( 1 ζ i m ) = m. (1) Indeed, the polynomial X m 1 has roots ζ i m for i = 0, 1,, m 1 and so Dividing by the i = 0 factor m 1 X m 1 = (X ζm). i i=0 m 1 (X ζm) i = Xm 1 X 1 = Xm 1 + X m 2 +... + 1 and substituting X = 1 gives (1). Now we prove that pq 1 i = 1 (p, i) = 1 (q, i) = 1 (1 ζ i pq) = 1. (2) 5

This equals pq (1 ζi pq) [ p (1 ζqi pq) ] [ q (1 ζpi pq) ] since the factors on the right that are not in the denominator are exactly those with i prime to both p and q. Recognizing that ζ q pq = ζ p this equals pq (1 ζi pq) [ p (1 ζi p) ] [ q (1 ζi q) ] = pq p q = 1 where all three factors are evaluated using (1). Now one of the factors in (2) is 1 ζ, and the others are in Z[ζ], proving that 1 ζ is a unit. 6