Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.

Similar documents
RINGS: SUMMARY OF MATERIAL

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

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

Algebra Homework, Edition 2 9 September 2010

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

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

Total 100

Lecture 7.3: Ring homomorphisms

Handout - Algebra Review


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

ALGEBRA QUALIFYING EXAM SPRING 2012

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

Ideals: Definitions & Examples

(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

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

Math 210B: Algebra, Homework 1

Quizzes for Math 401

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

Assigned homework problems S. L. Kleiman, fall 2008

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

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

Selected Math 553 Homework Solutions

Eighth Homework Solutions

MATH 431 PART 2: POLYNOMIAL RINGS AND FACTORIZATION

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Krull Dimension and Going-Down in Fixed Rings

Commutative Algebra and Algebraic Geometry. Robert Friedman

Math 120 HW 9 Solutions

4.4 Noetherian Rings

Homework problems from Chapters IV-VI: answers and solutions

IUPUI Qualifying Exam Abstract Algebra

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Algebraic structures I

Chapter 14: Divisibility and factorization

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

Solutions of exercise sheet 8

12 16 = (12)(16) = 0.

Computations/Applications

Math 547, Exam 2 Information.

MATH 326: RINGS AND MODULES STEFAN GILLE

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

1. Factorization Divisibility in Z.

Section III.6. Factorization in Polynomial Rings

Part IX. Factorization

M2P4. Rings and Fields. Mathematics Imperial College London

(Rgs) Rings Math 683L (Summer 2003)

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.

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved.

Part IV. Rings and Fields

MINKOWSKI THEORY AND THE CLASS NUMBER

Homework 6 Solution. Math 113 Summer 2016.

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

Modern Algebra Lecture Notes: Rings and fields set 6, revision 2

1. Group Theory Permutations.

MATH 113 FINAL EXAM December 14, 2012

NOTES ON FINITE FIELDS

Math 547, Exam 1 Information.

Math 210B:Algebra, Homework 2

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

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Sample algebra qualifying exam

Ring Theory Problems. A σ

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Factorization in Domains

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

Algebra Qualifying Exam, Fall 2018

CSIR - Algebra Problems

Lecture 7.5: Euclidean domains and algebraic integers

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

Solutions to Homework 1. All rings are commutative with identity!

Math 581 Problem Set 3 Solutions

Factorization in Integral Domains II

Factorization in Polynomial Rings

Rings. Chapter Homomorphisms and ideals

Prime Rational Functions and Integral Polynomials. Jesse Larone, Bachelor of Science. Mathematics and Statistics

Exploring the Exotic Setting for Algebraic Geometry

Algebra Exam Syllabus

Algebra Prelim Notes

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

The Geometry-Algebra Dictionary

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

Extension theorems for homomorphisms

Introduction to Ring Theory

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

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

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.

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

Math 121 Homework 2 Solutions

2a 2 4ac), provided there is an element r in our

5 Dedekind extensions

In Theorem 2.2.4, we generalized a result about field extensions to rings. Here is another variation.

Algebra Exam, Spring 2017

36 Rings of fractions

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

ALGEBRA HW 4. M 0 is an exact sequence of R-modules, then M is Noetherian if and only if M and M are.

Math 581: Skeleton Notes

Abstract Algebra: Chapters 16 and 17

Transcription:

Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does not exist a factorization a = bc with b, c R such that b and c are not units. (a) What are the irreducible elements in (i) C[x]? (ii) R[x]? (b) Show that if R is a principal ideal domain and R is not a field then the maximal ideals in R are the principal ideals (a) for a R an irreducible element. (Note: this follows directly from definitions without using the statement PID UFD proved in class.) (2) We say a ring R is Noetherian if there does not exist an infinite ascending chain I 1 I 2 I 3 of ideals of R. Equivalently, every ideal I of R is finitely generated, that is, there exist a 1, a 2,..., a n R such that I = (a 1, a 2,..., a n ) := {r 1 a 1 + r 2 a 2 + + r n a n r 1,..., r n R}. (a) Show that Z is Noetherian, and any field F is Noetherian. (b) The Hilbert basis theorem (DF p. 316) states that if R is Noetherian then R[x] is Noetherian. Deduce that the polynomial rings Z[x 1,..., x n ] and F [x 1,..., x n ] are Noetherian (where n N and F is a field). (c) Show that if R is a Noetherian ring and I R is an ideal then R/I is Noetherian. 1

(d) Show that if R is a Noetherian ring, S is any ring, and ϕ: R S is a ring homomorphism, then the image ϕ(r) of ϕ (a subring of S) is a Noetherian ring. (e) Let R be a ring. Suppose there exist a coefficient ring A = Z or F, a field, and elements α 1,..., α n R such that every element of R may be expressed as a finite sum ai1,...,i n α i 1 1 αn in with coefficients a i1,...,i n A. (Here in the case A = F we assume that F is a subring of R.) Show that R is Noetherian. (3) In this question we will show by example that a subring of a Noetherian ring is not necessarily Noetherian. Let F be a field and S = F [x, y]. Then S is Noetherian by the Hilbert basis theorem. Define { } R := aij x i y j S a 0j = 0 for all j > 0. (a) Show that R is a subring of S. (b) Show that R is not Noetherian. (4) We say a ring R is Artinian if there does not exist an infinite descending chain I 1 I 2 I 3 of ideals of R. While this condition appears to be similar to the Noetherian condition, it is actually much more restrictive! (a) Show that Z is not Artinian. (b) Let R be a ring, R {0}. Show that R[x] is not Artinian. (c) Suppose R is a ring such that R is a finite set. Show that R is Artinian. (d) Suppose F is a field and R is a ring containing F as a subring. Then R has the structure of an F -vector space (with the scalar multiplication λ v for λ F and v R being given by multiplication in the ring R). Suppose that R is finite dimensional as an F -vector space. Show that R is Artinian. 2

(e) Let n be a positive integer. Show that Z/nZ is Artinian (f) Let F be a field and 0 f F [x] a nonzero polynomial. Show that the quotient ring F [x]/(f) is Artinian. (5) Let R be a ring and a R an element of R. Consider the quotient ring R a := R[x]/(ax 1). This is the ring obtained from R by formally inverting the element a R. Let ϕ: R R a be the composition of the inclusion R R[x] and the quotient map R[x] R a. (6) Let (a) Show that if R is an integral domain, F = ff R is its fraction field, and a 0, then R a is isomorphic to the subring S of F given by S = {b/a n b R, n Z 0 } F. (b) In general show that the kernel of ϕ is given by ker(ϕ) = (ax 1) R = {b R a n b = 0 for some n N}. (c) Let R = C[s, t]/(st) and a = s R. (More carefully, I mean that a is the image of s in R under the quotient map C[s, t] R). Describe R a as a subring of a standard ring. R = Z[ 2] = {a + b 2 a, b Z} C, a subring of C. Prove that R is a UFD. (7) Let d Z be an integer. Prove that R := {a + b(1 + d)/2 a, b Z} C is a subring of C iff d 1 mod 4. (8) Let ω = 1 2 ( 1 + 3), a primitive cube root of unity, and R = Z[ω] = {a + bω a, b Z} C. (This is a subring of C by Q7.) Prove that R is a UFD. 3

(9) Let R be a UFD and F = ff(r) its field of fractions. Suppose f R[x] is a monic polynomial (a polynomial with leading coefficient equal to 1). Suppose α F satisfies f(α) = 0. Prove that α R. (10) Let (11) Let R = Z[ 5] = {a + b 5 a, b Z} R, a subring of R. Show that R is not a UFD. a subring of R. Define R = Z[ 2] = {a + b 2 a, b Z} R, θ : R R, θ(a + b 2) = a b 2 and explicitly σ : R Z 0, σ(α) = α θ(α), σ(a + b 2) = a 2 2b 2. (12) Let (a) Show that θ is a ring homomorphism. Deduce that σ(αβ) = σ(α)σ(β) for all α, β R. (b) Show that σ(α) 0 for α 0. (c) Show that α R is a unit iff σ(α) = 1. (d) Find a unit α R, and use it to prove that there are infinitely many units in R. (e) (Optional) Show that R is a UFD. R = C[x, y]/(y 2 x 3 ). Prove carefully that R is not a UFD. 4

Hints: (2) (b) Recall R[x, y] = (R[x])[y]. (d) Use the first isomorphism theorem. (e) Use (b) and (d). (3) (b) For n Z 0 define the ideal I n = (x, xy, xy 2,..., xy n ) R. Prove that I n I n+1 for all n 0. (4) (d) If I R is an ideal then in particular I is a subspace of the F - vector space R (why?). (f) What is a basis for F [x]/(f) as an F -vector space? (5) (a) Use the first isomorphism theorem. (b) Compute the intersection (ax 1) R in R[x] explicitly. (c) R a = C[s, t, x]/(st, sx 1). What can you say about the element t R a? (6) Adapt the geometric proof that Z[i] is a UFD given in class. (8) Again there is a geometric proof similar to the case of Z[i]. (9) You may be familiar with this result in the case R = Z. The proof in the general case is the same. (10) This can be proved using the result of Q9. (11) (d) The units form a group under multiplication. (e) Show that R is an ED for the size function σ. Given α, β R, β 0, we have α/β = x + y 2 with x, y Q. So there exists q R such that α/β q = u + v 2 with u, v 1/2. (12) The ring R can be identified with the subring S of C[t] given by S = { a i t i a 1 = 0} C[t] using the map ϕ: C[x, y] C[t], ϕ(f(x, y)) = f(t 2, t 3 ) and the first isomorphism theorem. See HW5Q5a. Prove carefully that x, y R are irreducible. Consider the equality y 2 = x 3 in R. Alternatively, use Q9.] 5