Ring Theory Problem Set 2 Solutions

Similar documents
Solutions to Assignment 3

Section 18 Rings and fields

CHAPTER 14. Ideals and Factor Rings

9 Solutions for Section 2

Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation.

RINGS: SUMMARY OF MATERIAL

Math 547, Exam 1 Information.

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism.

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Ideals, congruence modulo ideal, factor rings

Algebraic Structures Exam File Fall 2013 Exam #1

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

Prove proposition 68. It states: Let R be a ring. We have the following

Part IV. Rings and Fields

Written Homework # 4 Solution

Algebraic structures I

CHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ).

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

32 Divisibility Theory in Integral Domains

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Groups. 3.1 Definition of a Group. Introduction. Definition 3.1 Group

Section 19 Integral domains

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

Rings and Fields Theorems

Solutions for Homework Assignment 5

Math Introduction to Modern Algebra

TROPICAL SCHEME THEORY

Tripotents: a class of strongly clean elements in rings

Solutions for Some Ring Theory Problems. 1. Suppose that I and J are ideals in a ring R. Assume that I J is an ideal of R. Prove that I J or J I.

Math 210B: Algebra, Homework 4

Eighth Homework Solutions

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

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

3.1 Do the following problem together with those of Section 3.2:

Answers and Solutions to Selected Homework Problems From Section 2.5 S. F. Ellermeyer. and B =. 0 2

1 First Theme: Sums of Squares

and this makes M into an R-module by (1.2). 2

Classical Rings. Josh Carr. Honors Thesis. Appalachian State University

Math 210A: Algebra, Homework 6

MATH 420 FINAL EXAM J. Beachy, 5/7/97

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part III: Ring Theory

Homework 3/ Solutions

Solutions for Practice Problems for the Math 403 Midterm

COMMUTATIVE RINGS. Definition 3: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

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

Math 412, Introduction to abstract algebra. Overview of algebra.


5.1 Commutative rings; Integral Domains

Math 300 Introduction to Mathematical Reasoning Autumn 2017 Axioms for the Real Numbers

Foundations of Cryptography

THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I

Recall, R is an integral domain provided: R is a commutative ring If ab = 0 in R, then either a = 0 or b = 0.

MATH 42041/62041: NONCOMMUTATIVE ALGEBRA UNIVERSITY OF MANCHESTER, AUTUMN Preliminaries and examples.

First Semester Abstract Algebra for Undergraduates

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2

Lecture 4.1: Homomorphisms and isomorphisms

Definitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch

Some practice problems for midterm 2

Cyclic groups Z Z Theorem Proof

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

1. Group Theory Permutations.

Abstract Algebra II. Randall R. Holmes Auburn University. Copyright c 2008 by Randall R. Holmes Last revision: November 7, 2017

Math 4320, Spring 2011

ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.

2. Modules. Definition 2.1. Let R be a ring. Then a (unital) left R-module M is an additive abelian group together with an operation

Exercises on chapter 1

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.

A. (Groups of order 8.) (a) Which of the five groups G (as specified in the question) have the following property: G has a normal subgroup N such that

5.2.8: Let A be a finite abelian group written multplicatively, and let p be a prime. Define

Quiz 2 Practice Problems

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

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12

The group (Z/nZ) February 17, In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer.

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

ALGEBRA AND NUMBER THEORY II: Solutions 3 (Michaelmas term 2008)

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS

Abstract Algebra: Chapters 16 and 17

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

MODEL ANSWERS TO THE FIRST HOMEWORK

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

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

IDEAL CLASSES AND RELATIVE INTEGERS

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

Prime and irreducible elements of the ring of integers modulo n

Introduction to Algebra

Math 4400, Spring 08, Sample problems Final Exam.

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

3.4 Isomorphisms. 3.4 J.A.Beachy 1. from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair

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

Ring Theory Problems. A σ

Rings. EE 387, Notes 7, Handout #10

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

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Abstract Algebra II. Randall R. Holmes Auburn University

MODEL ANSWERS TO HWK #10

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

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004

a + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.

Transcription:

Ring Theory Problem Set 2 Solutions 16.24. SOLUTION: We already proved in class that Z[i] is a commutative ring with unity. It is the smallest subring of C containing Z and i. If r = a + bi is in Z[i], then a and b are in Z. It follows that N(r) = a 2 + b 2 is a nonnegative integer. Suppose that r = a + bi and s = c + di are elements of Z[i]. Then N(r) = a 2 + b 2 and N(s) = c 2 + d 2. Note that rs = (ac bd) + (ad + bc)i and therefore N(rs) = (ac bd) 2 + (ad + bc) 2 = (a 2 c 2 2acbd + b 2 d 2 ) + (a 2 d 2 + 2adbc + b 2 c 2 ) as stated in the problem. = a 2 c 2 + a 2 d 2 + b 2 c 2 + b 2 d 2 = (a 2 + b 2 )(c 2 + d 2 ) = N(r)N(s) Suppose that r is a unit in Z[i]. Then there exists an element s Z[i] such that rs = 1 = 1 + 0i. We have N(1) = 1. Hence N(rs) = 1. Therefore, N(r)N(s) = 1. Since both factors are nonnegative integers and their product is 1, it is clear that each factor must be 1. Thus, if r is a unit in Z[i], then N(r) = 1. For the converse, note that if r = a + bi Z[i], then N(r) = a 2 + b 2 = (a + bi)(a bi). Let s = a bi. Then s Z[i] too. We have N(r) = rs. If N(r) = 1, then rs = 1. It follows that r is a unit in Z[i]. We have proved that r is a unit in Z[i] if and only if N(r) = 1. The equation a 2 + b 2 = 1, where a, b Z, obviously has only four solutions, namely (a, b) = (1, 0), ( 1, 0), (0, 1), or (0, 1). It follows that there are four units in Z[i], namely, 1, 1, i, and i. Thus, U(Z[i]) has order 4. It is clearly the cyclic group generated by i. Problem 16.26 Give an example of a finite noncommutative ring. SOLUTION; Let F = Z 2 = {0.1}. Let R = M 2 (F ). Since F has two elements, it is clear that R has 2 4 = 16 elements. As discussed in class, R is a ring. One verifies that R is noncommutative by just considering the elements A = ( ), B = ( ) 0 1.

One finds that AB = ( ) and BA = ( ). We have A, B R and AB BA. Thus, R is a noncommutative ring with just a finite number of elements. Problem 17.1 SOLUTIONS: ( ) For part (a), the subset ( S fails ) to be closed under 0 1 multiplication. In fact, A = is in S, but AA = A 2 = is not in S. 0 1 For part (c), the set S is ( not) closed under addition. ( ) It is not a subgroup of M 2 (R) under addition. Let A = and let B =. Then A and B have nonzero 0 1 0 1 ( ) determinant and hence are in the given subset, but A + B = has determinant equal to 0 and is not in the given subset. For parts (b) and (d), one sees easily that they are both subgroups of M 2 (R) under addition. Concerning multiplication, we note that ( ) ( ) ( ) a 0 e 0 ae 0 = c d g f ce + dg df and ( ) ( ) a b c d b a d c = ( ac + bd ) ad + bc bc + ad bd + ac = ( ac + bd ) ad + bc ad + bc ac + bd These calculations show that both of the sets specified in parts (b) and (d) are closed under multiplication. It follows that the subsets of M 2 (R) in parts (b) and (d) are subrings.. Problem 17.20 Suppose R is a commutative ring with unity 1 and that a R. Prove that ar = R if and only if a is a unit in R. SOLUTION: First of all, assume that ar = R. In particular, 1 R = ar and hence there exists an element b R such that 1 = ab. Since R is commutative, we also have ba = 1. Hence a is a unit of R.

Now assume that a is a unit in R. Hence there exists an element b R such that ab = 1. Suppose that r R Then r = 1r = (ab)r = a(br) ar because br R. Thus, R ar. It is obvious that ar R. Therefore, we have shown that ar = R whenever a is a unit of R. Problem A, part (a) in R. Suppose that R is an integral domain. Find all the idempotents SOLUTION; Let 0 = 0 R and 1 = 1 R. First of all, note that 0 0 = 0 and 1 1 = 1. Hence the elements 0 and 1 are idempotents. Also 1 0 because R is an integral domain. Suppose that e R is an idempotent. Then e e = e = e 1 We already know that 0 is an idempotent in R. Suppose that e 0. Then, by the cancellation law discussed in class (which is valid for any integral domain R), the equation e e = e 1 implies that e = 1. Therefore, there are only two idempotents in R, namely the elements 0 and 1. Problem A, part (b) Suppose that R is Z 10. Find the idempotents in R. SOLUTION; We just have to check each of the 10 elements in R. We find that 0 0 = 0, 1 1 = 1, 2 2 = 4, 3 3 = 9, 4 4 = 6, 5 5 = 5, 6 6 = 6, 7 7 = 9, 8 8 = 6, 9 9 = 1. Therefore, the idempotents in R are 0, 1, 5, and 6. Problem A, part (c) Suppose that R = Z Z. Find the idempotents in R. SOLUTION; We make the following general observation. Suppose that R 1 and R 2 are rings. Let R = R 1 R 2. Every element r R is of the form r = (r 1, r 2 ) where r 1 R 1 and r 2 R 2. Note that rr = (r 1 r 1, r 2 r 2 ). We have rr = r (r 1 r 1, r 2 r 2 ) = (r 1, r 2 ) r 1 r 1 = r 1 and r 2 r 2 = r 2.

It follows that r is an idempotent in the ring R if and only if r 1 is an idempotent in R 1 and r 2 is an idempotent in R 2. We can apply the above observation to the ring R = Z Z. Since Z is an integral domain, the idempotents in Z are 0 and 1. It then follows that the idempotents in R are the four elements (0, 0), (1, 0), (0, 1), (1, 1). Problem B: Suppose that R is an integral domain. Let 1 R be the unity element of R. Suppose that! is a subring of R, that S is a ring with unity 1 S, and that 1 S 0 S. Prove that 1 S = 1 R. Furthermore, prove that S is an integral domain. SOLUTION Since 1 S is the unity in S, we have 1 S 1 S = 1 S. Also, S is a subset of R and hence 1 S is an element of R. Since 1 S 1 S = 1 S, it follows that 1 S is an idempotent in the ring R. Now S is a subgroup of R under the operation + and hence 0 S = 0 R. Since 1 S 0 S, it follows that 1 S 0 R. Since R is an integral domain, we can use part (a) of problem A. The only idempotents in R are 0 R and 1 R. Now 1 S is an idempotent in R and 1 S 0 S. Therefore, we must have 1 S = 1 R. We can see that S is an integral domain as follows. Since S is a subring of R and R is a commutative ring, it follows that S is a commutative ring. Also, S has a unity 1 S and 1 S 0 S. Furthermore, if a, b S and a 0, b 0, then we can conclude that ab 0 because a and b are also nonzero elements of R and R is an integral domain. Therefore, S is indeed an integral domain. Problem C: Let R = Z Z. Determine U(R). SOLUTION: We will use what we proved in the solution of problem 16.11 in problem set 1. If R 1 and R 2 are rings with unity, we proved that an element (a 1, a 2 ) is a unit in R 1 R 2 if and only if a 1 is a unit in R 1 and a 2 is a unit in R 2. We can apply that to this question. The units in the ring Z are 1 and -1. Therefore, it follows that the units in the ring R are (1, 1), (1, 1), ( 1, 1), ( 1, 1). Problem D: TRUE OR FALSE: The ring R = Z 25 contains a subring which is isomorphic to Z 5. Explain your answer carefully.

SOLUTION: The statement is false. It is true that the additive group Z 25 contains a subgroup of order 5. This is true because the group Z 25 is a cyclic group of order 25 ad 5 divides 25. In fact, that subgroup is unique and consists of the elements S = {0, 5, 10, 15, 20}. Furthermore, it is clear that S is closed under multiplication and so S is a subring of R. In fact, one checks easily that ab = 0 for all a, b S. Suppose that T is a ring which is isomorphic to S and let φ : S T be an isomorphism. Then T must also have five elements. Since ab = 0 S for all elements a, b S, it follows that φ(a)φ(b) = φ(ab) = φ(0 S ) = 0 T. Since φ is surjective, it follows that t 1 t 2 = 0 T for all t 1, t 2 T. In the ring Z 5, one has 1 1 = 1 0. Hence the ring Z 5 cannot be isomorphic to S. Since S is the only subring of R with five elements, we have proved that the statement in the problem is indeed false. Problem E: Determine all the ideals in the ring R = R R. SOLUTION: Let I be an ideal in the ring R. One possible ideal is the trivial ideal I = { (0, 0) }. Assume now that I is a nontrivial ideal. Thus, it contains an element (a, b), where a 0 or b 0. Assume that I contains an element r = (a, b) where a 0 and b 0. This means that both a and b are units in the ring R. It follows that r is a unit in R. (Here we are using the result we proved in our solution to problem 16.11 which was mentioned in our solution to problem C above.) Since I is an ideal of R and r I, it follows that rr I. We now use the result from problem 17.20. Since r is a unit in R, it follows that rr = R. Therefore, R I. Obviously, I R. Therefore, we have proved that I = R. Assume for the rest of this proof that I contains no elements which satisfy the assumption in the previous paragraph. Thus, if (a, b) I, then either a = 0 or b = 0. Two such ideals are the principal ideals generated by (1, 0) or by (0, 1). Those ideals are the following J = R(0, 1) = { (0, b) b R } and K = R(1, 0) = { (a, 0) a R } As proved in class, principal ideals are ideals and so both J and K are ideals of the ring R. Our assumptions about I is that I J K. Assume that I is not the trivial ideal. Then either I contains a nonzero element of J or a nonzero element of K. Suppose first that I contains a nonzero element (0, b) of J. Thus b 0. This means that b is a unit in R because R is a field. It follows that I contains (0, b 1 )(0, b) = (0, 1). It then follows that I contains the principal ideal J. Thus,

J I J K. By a similar argument, if we assume that I contains a nonzero element of K, then we must have K I J K. It follows that either J I or that K I. Assume now that I contains a nonzero element of J and also a nonzero element of K. The remarks in the previous paragraph then show that both J and K are contained in I. Hence J K I. We also have I J K. Hence I = J K. However, this leads to a contradiction because J K is not an ideal of R. To verify this, just note that both (0, 1) and (1, 0) are in J K, but their sum is (1, 1) which is not in J K. If J I, then we must have J = I. For otherwise, I would contain an element in J K which is not in J. It would then follow that I contains a nonzero element of K too. This is impossible. If K I, then we must have K = I for a similar reason. It follows that either I = J or I = K. To summarize, we have proved that the ring R has exactly four ideals, namely the trivial ideal {(0, 0)}, the ring R itself, and the ideals J and K.