Solutions for Practice Problems for the Math 403 Midterm

Size: px
Start display at page:

Download "Solutions for Practice Problems for the Math 403 Midterm"

Transcription

1 Solutions for Practice Problems for the Math 403 Midterm 1. This is a short answer question. No explanations are needed. However, your examples should be described accurately and precisely. (a) Given an example of a prime ideal of Z which is not a maximal ideal of Z. SOLUTION. There is just one such example, namely the ideal (0) of Z. This ideal is {0}. (b) Give an example of a maximal ideal of Z. SOLUTION. There are many examples. Suppose that p is a prime number. Then (p) is a maximal ideal of Z. In particular, (2) = 2Z, the set of even integers, is one example of a maximal ideal of Z. (c) Give an example of a maximal ideal in the ring Z[i]. SOLUTION. There are many examples, as we will soon discuss in class. One example is the principal ideal I = (3) of Z[i]. This is a nonzero ideal and we have I Z[i]. As explained in class, Z[i] is a PID. Suppose that J is an ideal of Z[i]] and that I J. Now J must be a principal ideal. Suppose that β is a generator of J. Thus, J = (β). Since I J, and 3 I, it follows that 3 J. Therefore, 3 = βγ for some γ Z[i]. We will use the norm map for Q[i]. This is defined by N(r+si) = (r+si)(r si) = r 2 +s 2 for all r, s Q. We have N(3) = 9 and N(βγ) = N(β)N(γ). That is, N(β)N(γ) = 9 and therefore, N(β) is an integer which divides 9. We have β = a + bi, where a, b Z. We have N(β) = a 2 + b 2. Thus, N(β) is a positive integer which divides 9. Thus, N(β) {1, 3, 9}. But the equation a 2 + b 2 = 3 has no solutions where a, b Z. Thus, either N(β) = 1 or N(β) = 9. If N(β) = 1, then β is a unit in Z[i]. It then follows that J = Z[i]. On the othet hand, if N(β) = 9, then N(γ) = 1. It then follows that γ is a unit of Z[i]. Since 3 = βγ and γ is a unit of Z[i], it follows that (3) = (β). Therefore, we have I = (3) = (β) = J. It follows that if J is any ideal of Z[i] containing I, then either J = Z[i] or J = I. We also have I Z[i]. It follows that I is a maximal ideal of Z[i].

2 (d) Give an example of a maximal ideal in the ring R R. SOLUTION. There are two examples. One is the ideal I = { (a, 0) a R }. This is the principal ideal of R R generated by (1, 0). (e) Give an example of an injective ring homomorphism ϕ : Z/5Z Z/10Z. SOLUTION. There are four idempotents e in the ring Z/10Z. As explained in class, for each of those idempotents, there exists a ring homomorphism from Z to Z/10Z which sends 1 to e. Take e to be the idempotent Z. We then get a ring homomorphism χ from Z to Z/10Z. For any m Z, we have χ(m) = me = 6m + 10Z. One finds that Ker(χ) = 5Z. Therefore, by the first isomorphism theorem, we obtain an injective ring isomorphism ϕ : Z/5Z Z/10Z defined by ϕ(m + 5Z) = χ(m) = 6m + 10Z for all m Z. 2. Suppose that R and S are rings with identity and that ϕ : R S is a surjective ring homomorphism. Let 1 R and 1 S denote the multiplicative identity elements of R and S, respectively. Prove that ϕ(1 R ) = 1 S. SOLUTION: Let e = ϕ(1 R ). Thus, e S. Furthermore, suppose that s S. Since ϕ is surjective, there exists an element r R such that ϕ(r) = s. Note that es = ϕ(1 R )ϕ(r) = ϕ(1 R r) = ϕ(r) = s and se = ϕ(r)ϕ(1 R ) = ϕ(r1 R ) = ϕ(r) = s. Therefore, e S and es = s = se for all s S. Thus, e is a multiplicative identity element for the ring S. However, so is 1 S. We proved in class that the multiplicative identity element of a ring (if it exists) is unique. Therefore, we have e = 1 S. That is, we have ϕ(1 R ) = 1 S. 3. Suppose that R is a ring and that I is an ideal of R. Suppose also that R/I = Z, where Z is the ring of integers. Suppose that J is an ideal of R, that I J, and that I J. Prove that R/J is a finite ring. SOLUTION: As pointed out in class one day, there exists a surjective ring homomorphism ϕ : R R/I. By assumption, there exists a ring isomorphism ψ : R/I Z. Let χ = ψ ϕ, which is a surjective ring homomorphism from R to Z. Furthermore, Ker(χ) = Ker(ϕ) because ψ is an isomorphism. Thus, Ker(χ) = I. We will consider the surjective homomorphism χ : R Z and use the correspondence theorem. We are assuming that J is an ideal of R containing I and that J I. The

3 corresponding ideal in Z is χ(j). Denote χ(j) by K. Since J I, K = χ(j) is not the zero ideal of the ring Z. Thus, J = mz for some positive integer m. Now we use proposition 4 on the handout about homomorphisms and ideals. With the above notation, it follows that R/J = Z/K. Now K = mz for some positive integer m and hence Z/K = Z/mZ. This ring has finitely many elements. To be precise, it has m elements. The ring R/J is isomorphic to Z/K and therefore also has a finite number of elements. Thus, R/J is indeed a finite ring. 4. Suppose that R and S are rings and that ϕ : R S is a ring homomorphism. Suppose that e is an idempotent of R. Prove that ϕ(e) is an idempotent of S. By making use of this result, determine all possible ring homomorphisms from Z to Q. Determine all possible ring homomorphisms from Z to Z/10Z. SOLUTION: Let s = ϕ(e), which is an element in S. Since e is an idempotent of R, we have ee = e. Thus, we have ss = ϕ(e)ϕ(e) = ϕ(ee) = ϕ(e) = s. This proves that ss = s and hence that s is an idempotent in the ring S. Now suppose that R = Z. The multiplicative identity element of Z is 1. This element is an idempotent in Z. Thus, if ϕ : Z S is a ring homomorphism, then s = ϕ(1) is an idempotent in the ring S. Furthermore, since ϕ is a homomomorphism of the additive group of Z to the additive group of S, we can say that ϕ(m) = ϕ(m 1) = mϕ(1) = ms for all m Z. Thus, ϕ is completely determined if one knows what ϕ(1) is. We also use the fact mentioned in class which states that if s is an idempotent in a ring S, and if one defines ϕ : Z S by ϕ(m) = ms for all m Z, then ϕ is actually a ring homomorphism. For completeness, we outline the proof of that fact. Lemma: Suppose that s is any idempotent in S. Define a map ϕ : Z S by ϕ(n) = ns for all n Z. The map ϕ is a ring homomorphism from Z to S. Furthermore, we have ϕ(1) = s.

4 Note that ns does not refer to ring multiplication. The element ns of S is defined in terms of the underlying additive group of S. (Recall that if G is a group, g G, and n Z, then one can define g n. But if the group operation is written additively, one would write ng instead of g n.) We will give most of the proof of the above lemma. The fact that ϕ(1) = s is clear. Suppose that n, m Z. Then ϕ(n + m) = (n + m)s = = ns + ms = ϕ(n) + ϕ(m). We have used the law of exponents from group theory. To prove that ϕ(nm) = ϕ(n)ϕ(m), we must use the distributive law many times. If n and m are positive, then ϕ(n)ϕ(m) = (ns)(ms) = (s + s + s... + s)(s + s + s...s), where the first parenthesis contains n terms, the second contains m terms. Using the distributive law, we obtain ss + ss ss, with nm terms. Thus, ϕ(n)ϕ(m) = (nm)(ss) = (nm)s = ϕ(nm) as we wanted to show. Note that we are using the fact that s is an idempotent of S when we replace ss by s. One must also consider the cases where n and m are not necessarily positive. We won t do every case. Suppose that n is positive and m is negative. Then, by the definitions in group theory, ns is as before and ms = m ( s) = m s. We will use the above calculation, but applied to the positive integers n and m. Thus, ϕ(n)ϕ(m) = (ns)(ms) = ( ns )( m s ) = ( (ns)( m s) ) = (n m )(ss) = ( n m )(ss) = (nm)s = ϕ(nm). We have used the elementary fact that a( b) = (ab) for a, b S in the third equality. We have used the law of exponents from group theory for the fifth equality. The above lemma is helpful in this problem. Consider first S = Q. Since Q is a field, Q is also an integral domain and hence the only idempotents in Q are 0 and 1. This was proved for any integral domain in the solution to problem 38 on page 265 of the text. Thus either ϕ(1) = 0 or ϕ(1) = 1. The above discussion and the lemma show that there are exactly two ring homomorphisms from Z to Q. However, we can exhibit them explicitly and so we don t have to use the lemma. One homomorphism is simply the inclusion map ϕ : Z Q defined by ϕ(n) = n for all n Z. This map is clearly a ring homomorphism. It has the property that ϕ(1) = 1.

5 Another ring homomorphism from Z to Q is defined by ϕ(n) = 0 for all n Z. This map ϕ is clearly a ring homomorphism. We have ϕ(1) = 0. Now we come to a description of all ring homomorphisms ϕ from Z to Z/10Z. As above, such a ring homomorphism is determined if one knows ϕ(1). Also, ϕ(1) must be an idempotent in the ring Z/10Z. Furthermore, by the lemma, each idempotent in Z/10Z will correspond to a homomorphism. By checking each of the elements in the ring Z/10Z, one finds four idempotents, namely Z, Z, Z, Z and the corresponding ring homomorphisms ϕ i : Z Z/10Z (where 1 i 4) are given by: ϕ 1 (m) = 0+10Z, ϕ 2 (m) = m+10z, ϕ 3 (m) = 5m+10Z, ϕ 4 (m) = 6m+10Z, for all m Z. 5. Consider the ring R = Z/256Z. Prove that every element of R is either a unit of R or a nilpotent element. Determine all maximal ideals of R. SOLUTION: In general, if m 1, we know that the units in Z/mZ are the elements a+mz, where a Z and gcd(a, m) = 1. Consider m = 256 = 2 8. If a Z, then gcd(a, 256) = 1 if and only if a is odd. Thus, the units in Z/256Z are the elements of the form a + 256Z, where a is odd. Now suppose that r R and that r is not a unit of R. Then r = a + 256Z, where a is not odd. Thus, a = 2k, where k Z. Notice that r 8 = (2k + 256Z) 8 = (2k) Z = 256k Z = Z, which is the additive identity 0 R in the ring R. Hence r is indeed a nilpotent element in R. Finally, suppose that I is an ideal of R and that I R. Then I cannot contain any units of R. To see this, suppose to the contrary that I contains a unit u of R. Since u R, there exists an element v R such that uv = 1 R. Since u I and v R, we have uv I. Hence 1 R I. Hence, for every element r R, we have r = r1 R I. This contradicts the assumption that I R. We have shown that if I is an ideal of R and I R, then I contains no units of R. Thus, the elements of I must be of the form 2k + 256Z, where k Z. Thus, they must be

6 of the form (k + 256Z)( Z), and hence must be in the principal ideal of R generated by Z. Therefore, apart from R, every ideal of R is contained in M = { 2k + 256Z k Z } = ( Z), the principal ideal of R generated by Z. It follows that this ideal M is a maximal ideal of R and that no other maximal ideals of R exist. 6. Suppose that R is a ring and that I and J are maximal ideals of R. TRUE OR FALSE: If R/I = R/J, then I = J. If true, give a proof. If false, give a specific counterexample. SOLUTION: The statement is false. As a counterexample, let R be the ring of continuous functions from the interval (0, 1) to R. Consider the homomorphisms ϕ and ψ from R to R defined as follows. For every f R, define ϕ(f) = f(1/2), ψ(f) = f(1/3). Let I = Ker(ϕ) and J = Ker(ψ). Both ϕ and ψ are surjecxtive ring homomorphisms. Therefore, by the first isomorphism theorem, we have R/I = R, R/J = R. Therefore, R/I = R/J. But, I J. To see this, let f R be the function defined by f(x) = x (1/2) for all x (0, 1). Then ϕ(f) = 0, but ψ(f) 0. Thus, f I, but f J. Hence, I J. 7. Find all of the maximal ideals in the ring R R. SOLUTION. First of all, we will determine all of the ideals in the ring R = R R. The additive identity in R is 0 R = (0, 0). Note that R is a commutative ring with identity. The multiplicative identity is 1 R = (1, 1). One ideal in R is the zero ideal Z = { (0, 0) }. Suppose that I is an ideal, but I Z. Then I contains a nonzero element (a, b). Choose one such element. At least one of the real numbers a or b is nonzero. We will consider three cases. Suppose that both a and b are nonzero. Since R is a field, both a and b are units of R. Thus, there exist c, d R such that ca = 1 and db = 1. We have (c, d)(a, b) = (1, 1), which

7 is the multiplicative identity element 1 R in the ring R. Since I is an ideal of R, (a, b) I, and (c, d) R, we must have (c, d)(a, b) I. That is, we must have 1 R I. It follows that if r R, then r = r 1 R I. Therefore, I = R. Apart from the ideals Z and R, there are two other ideals, namely M = { (u, 0) u R }, N = { (0, v) v R }. It is clear that M and N are additive subgroups of R. The fact that M and N are ideals of R follows from the fact that if (c, d) R, then (c, d) (u, 0) = (c u, d 0) = (cu, 0) M, (c, d) (0, v) = (c 0, d v) = (0, dv) N Thus, the ring R has at least four distinct ideals, namely Z, R, M, and N. We will prove that no other ideals I in the ring R exist. Assume that I is an ideal of R and that I Z and that I R. Thus, if (a, b) is a nonzero element of I, then we have shown that either a = 0 or b = 0. Otherwise, we would have I = R, as explained above. Assume that a 0 and hence that b = 0. Thus, I contains (a, 0). Now a is a unit in R. There exists a c R such that ca = 1. Then I contains (c, 0)(a, 0) = (1, 0). Furthermore, if u R, it follows that I contains (u, 0)(1, 0) = (u, 0). This is true for all u R. Thus, I contains M. We claim that I = M. If this were not so, then I would be bigger than M and I would contain an element (e, f) where f 0. But then I would contain all the elements (u, 0) + (e, f) = (u + e, f) and hence I would contain an element (a, b), where both a and b are nonzero. But this would imply (as shown above) that I = R. Since we are assuming now that I R, we have shown that I = M. Now assume that b 0 and hence that a = 0. The argument in the previous paragraph can be modified to show that I = N. It is a very similar argument. Now we will find all of the maximal ideals in the ring R. As explained above, The ring R has exactly four ideals. Two of the ideals of R described in the solution to that problem are: M = { (u, 0) u R }, N = { (0, v) v R }. The other two ideals of R are R itself and the zero ideal Z = { (0, 0) }. By definition, R is not a maximal ideal. Since Z M R, M Z, and M R, it follows that Z is not a maximal ideal of R. However, the only ideals of R containing M (from among the four ideals in that ring) are M itself and R. Thus, by definition, M is a maximal ideal of R. For a similar reason, N is also a maximal ideal of R.

8 8. Suppose that R and S are fields and that ϕ : R S is a ring homomorphism. TRUE OR FALSE: If ϕ is surjective, then ϕ is injective. If true, give a proof. If false, give a specific counterexample. SOLUTION: The statement is true. Here is a proof. Let K = Ker(ϕ). Thus, K is an ideal in the ring R. Since R is a field, it has only two ideals, namely R itself or the zero ideal. Thus, either K = R or K = { 0 R }. We will show that K R. Suppose to the contrary that K = R. Then, we would have ϕ(r) = 0 S for all r R. Since S is a field, it contains an element 1 S such that 1 S 0 S. Hence 1 S is not in the image of ϕ. Therefore, ϕ cannot be surjective. This contradicts our assumption that ϕ is surjective. It follows that K = { 0 R }. This implies that ϕ is indeed injective.

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

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.

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. 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. SOLUTION. Assume to the contrary that I is not a subset

More information

Total 100

Total 100 Math 542 Midterm Exam, Spring 2016 Prof: Paul Terwilliger Your Name (please print) SOLUTIONS NO CALCULATORS/ELECTRONIC DEVICES ALLOWED. MAKE SURE YOUR CELL PHONE IS OFF. Problem Value 1 10 2 10 3 10 4

More information

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall

Problem 1. Let I and J be ideals in a ring commutative ring R with 1 R. Recall I. Take-Home Portion: Math 350 Final Exam Due by 5:00pm on Tues. 5/12/15 No resources/devices other than our class textbook and class notes/handouts may be used. You must work alone. Choose any 5 problems

More information

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

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b), 16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)

More information

MATH RING ISOMORPHISM THEOREMS

MATH RING ISOMORPHISM THEOREMS MATH 371 - RING ISOMORPHISM THEOREMS DR. ZACHARY SCHERR 1. Theory In this note we prove all four isomorphism theorems for rings, and provide several examples on how they get used to describe quotient rings.

More information

Math 547, Exam 1 Information.

Math 547, Exam 1 Information. Math 547, Exam 1 Information. 2/10/10, LC 303B, 10:10-11:00. Exam 1 will be based on: Sections 5.1, 5.2, 5.3, 9.1; The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/547sp10/547.html)

More information

1.5 The Nil and Jacobson Radicals

1.5 The Nil and Jacobson Radicals 1.5 The Nil and Jacobson Radicals The idea of a radical of a ring A is an ideal I comprising some nasty piece of A such that A/I is well-behaved or tractable. Two types considered here are the nil and

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper. Be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] All of

More information

Math 120 HW 9 Solutions

Math 120 HW 9 Solutions Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z

More information

Math 4400, Spring 08, Sample problems Final Exam.

Math 4400, Spring 08, Sample problems Final Exam. Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that

More information

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

PRACTICE FINAL MATH , MIT, SPRING 13. You have three hours. This test is closed book, closed notes, no calculators. PRACTICE FINAL MATH 18.703, MIT, SPRING 13 You have three hours. This test is closed book, closed notes, no calculators. There are 11 problems, and the total number of points is 180. Show all your work.

More information

2. THE EUCLIDEAN ALGORITHM More ring essentials

2. THE EUCLIDEAN ALGORITHM More ring essentials 2. THE EUCLIDEAN ALGORITHM More ring essentials In this chapter: rings R commutative with 1. An element b R divides a R, or b is a divisor of a, or a is divisible by b, or a is a multiple of b, if there

More information

Ring Theory Problem Set 2 Solutions

Ring Theory Problem Set 2 Solutions 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],

More information

A Generalization of Boolean Rings

A Generalization of Boolean Rings A Generalization of Boolean Rings Adil Yaqub Abstract: A Boolean ring satisfies the identity x 2 = x which, of course, implies the identity x 2 y xy 2 = 0. With this as motivation, we define a subboolean

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

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

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)

More information

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

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Math 581 Problem Set 3 Solutions

Math 581 Problem Set 3 Solutions Math 581 Problem Set 3 Solutions 1. Prove that complex conjugation is a isomorphism from C to C. Proof: First we prove that it is a homomorphism. Define : C C by (z) = z. Note that (1) = 1. The other properties

More information

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

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

Math 3140 Fall 2012 Assignment #3

Math 3140 Fall 2012 Assignment #3 Math 3140 Fall 2012 Assignment #3 Due Fri., Sept. 21. Remember to cite your sources, including the people you talk to. My solutions will repeatedly use the following proposition from class: Proposition

More information

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

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018 Do 6 problems with at least 2 in each section. Group theory problems: (1) Suppose G is a group. The

More information

Solutions for Assignment 4 Math 402

Solutions for Assignment 4 Math 402 Solutions for Assignment 4 Math 402 Page 74, problem 6. Assume that φ : G G is a group homomorphism. Let H = φ(g). We will prove that H is a subgroup of G. Let e and e denote the identity elements of G

More information

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution

Johns Hopkins University, Department of Mathematics Abstract Algebra - Spring 2013 Midterm Exam Solution Johns Hopkins University, Department of Mathematics 110.40 Abstract Algebra - Spring 013 Midterm Exam Solution Instructions: This exam has 6 pages. No calculators, books or notes allowed. You must answer

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains

More information

Math 121 Homework 5: Notes on Selected Problems

Math 121 Homework 5: Notes on Selected Problems Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements

More information

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6

More information

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.

More information

Algebra Exam Syllabus

Algebra Exam Syllabus Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate

More information

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

More information

Math 210B: Algebra, Homework 1

Math 210B: Algebra, Homework 1 Math 210B: Algebra, Homework 1 Ian Coley January 15, 201 Problem 1. Show that over any field there exist infinitely many non-associate irreducible polynomials. Recall that by Homework 9, Exercise 8 of

More information

University of Ottawa

University of Ottawa University of Ottawa Department of Mathematics and Statistics MAT3143: Ring Theory Professor: Hadi Salmasian Final Exam April 21, 2015 Surname First Name Instructions: (a) You have 3 hours to complete

More information

Homework 6 Solution. Math 113 Summer 2016.

Homework 6 Solution. Math 113 Summer 2016. Homework 6 Solution. Math 113 Summer 2016. 1. For each of the following ideals, say whether they are prime, maximal (hence also prime), or neither (a) (x 4 + 2x 2 + 1) C[x] (b) (x 5 + 24x 3 54x 2 + 6x

More information

IUPUI Qualifying Exam Abstract Algebra

IUPUI Qualifying Exam Abstract Algebra IUPUI Qualifying Exam Abstract Algebra January 2017 Daniel Ramras (1) a) Prove that if G is a group of order 2 2 5 2 11, then G contains either a normal subgroup of order 11, or a normal subgroup of order

More information

I216e Discrete Math (for Review)

I216e Discrete Math (for Review) I216e Discrete Math (for Review) Nov 22nd, 2017 To check your understanding. Proofs of do not appear in the exam. 1 Monoid Let (G, ) be a monoid. Proposition 1 Uniquness of Identity An idenity e is unique,

More information

Homework 10 M 373K by Mark Lindberg (mal4549)

Homework 10 M 373K by Mark Lindberg (mal4549) Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients

More information

Computations/Applications

Computations/Applications Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x

More information

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b,

MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems. a + b = a + b, MATH 1530 ABSTRACT ALGEBRA Selected solutions to problems Problem Set 2 2. Define a relation on R given by a b if a b Z. (a) Prove that is an equivalence relation. (b) Let R/Z denote the set of equivalence

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Extension theorems for homomorphisms

Extension theorems for homomorphisms Algebraic Geometry Fall 2009 Extension theorems for homomorphisms In this note, we prove some extension theorems for homomorphisms from rings to algebraically closed fields. The prototype is the following

More information

Math 210B: Algebra, Homework 4

Math 210B: Algebra, Homework 4 Math 210B: Algebra, Homework 4 Ian Coley February 5, 2014 Problem 1. Let S be a multiplicative subset in a commutative ring R. Show that the localisation functor R-Mod S 1 R-Mod, M S 1 M, is exact. First,

More information

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12

Zachary Scherr Math 503 HW 3 Due Friday, Feb 12 Zachary Scherr Math 503 HW 3 Due Friay, Feb 1 1 Reaing 1. Rea sections 7.5, 7.6, 8.1 of Dummit an Foote Problems 1. DF 7.5. Solution: This problem is trivial knowing how to work with universal properties.

More information

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element.

Know the Well-ordering principle: Any set of positive integers which has at least one element contains a smallest element. The first exam will be on Monday, June 8, 202. The syllabus will be sections. and.2 in Lax, and the number theory handout found on the class web site, plus the handout on the method of successive squaring

More information

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

MATH 420 FINAL EXAM J. Beachy, 5/7/97 MATH 420 FINAL EXAM J. Beachy, 5/7/97 1. (a) For positive integers a and b, define gcd(a, b). (b) Compute gcd(1776, 1492). (c) Show that if a, b, c are positive integers, then gcd(a, bc) = 1 if and only

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

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

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Examination 3 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. The rings

More information

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

12 16 = (12)(16) = 0. Homework Assignment 5 Homework 5. Due day: 11/6/06 (5A) Do each of the following. (i) Compute the multiplication: (12)(16) in Z 24. (ii) Determine the set of units in Z 5. Can we extend our conclusion

More information

Chapter 5. Modular arithmetic. 5.1 The modular ring

Chapter 5. Modular arithmetic. 5.1 The modular ring Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence

More information

Handout - Algebra Review

Handout - Algebra Review Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much

More information

Modern Algebra Math 542 Spring 2007 R. Pollack Solutions for HW #5. 1. Which of the following are examples of ring homomorphisms? Explain!

Modern Algebra Math 542 Spring 2007 R. Pollack Solutions for HW #5. 1. Which of the following are examples of ring homomorphisms? Explain! Modern Algebra Math 542 Spring 2007 R. Pollack Solutions for HW #5 1. Which of the following are examples of ring homomorphisms? Explain! (a) φ : R R defined by φ(x) = 2x. This is not a ring homomorphism.

More information

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

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22 RAVI VAKIL Hi Dragos The class is in 381-T, 1:15 2:30. This is the very end of Galois theory; you ll also start commutative ring theory. Tell them: midterm

More information

Math 581 Problem Set 7 Solutions

Math 581 Problem Set 7 Solutions Math 581 Problem Set 7 Solutions 1. Let f(x) Q[x] be a polynomial. A ring isomorphism φ : R R is called an automorphism. (a) Let φ : C C be a ring homomorphism so that φ(a) = a for all a Q. Prove that

More information

Modules Over Principal Ideal Domains

Modules Over Principal Ideal Domains Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this

More information

The number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!.

The number of ways to choose r elements (without replacement) from an n-element set is. = r r!(n r)!. The first exam will be on Friday, September 23, 2011. The syllabus will be sections 0.1 through 0.4 and 0.6 in Nagpaul and Jain, and the corresponding parts of the number theory handout found on the class

More information

4.5 Hilbert s Nullstellensatz (Zeros Theorem)

4.5 Hilbert s Nullstellensatz (Zeros Theorem) 4.5 Hilbert s Nullstellensatz (Zeros Theorem) We develop a deep result of Hilbert s, relating solutions of polynomial equations to ideals of polynomial rings in many variables. Notation: Put A = F[x 1,...,x

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

RINGS: SUMMARY OF MATERIAL

RINGS: SUMMARY OF MATERIAL RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered

More information

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

Algebra Exam Fall Alexander J. Wertheim Last Updated: October 26, Groups Problem Problem Problem 3... Algebra Exam Fall 2006 Alexander J. Wertheim Last Updated: October 26, 2017 Contents 1 Groups 2 1.1 Problem 1..................................... 2 1.2 Problem 2..................................... 2

More information

Section 3 Isomorphic Binary Structures

Section 3 Isomorphic Binary Structures Section 3 Isomorphic Binary Structures Instructor: Yifan Yang Fall 2006 Outline Isomorphic binary structure An illustrative example Definition Examples Structural properties Definition and examples Identity

More information

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: Discrete valuation rings Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: 1. v is surjective. 2. v(ab) = v(a) + v(b). 3. v(a + b) min(v(a), v(b)) if a + b 0. Proposition:

More information

Lecture 7.3: Ring homomorphisms

Lecture 7.3: Ring homomorphisms Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:

More information

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

Algebraic structures I

Algebraic structures I MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one

More information

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

Math 553 Qualifying Exam. In this test, you may assume all theorems proved in the lectures. All other claims must be proved. Math 553 Qualifying Exam January, 2019 Ron Ji In this test, you may assume all theorems proved in the lectures. All other claims must be proved. 1. Let G be a group of order 3825 = 5 2 3 2 17. Show that

More information

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011

ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 ALGEBRA PH.D. QUALIFYING EXAM SOLUTIONS October 20, 2011 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved

More information

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

More information

Algebra Qualifying Exam Solutions. Thomas Goller

Algebra Qualifying Exam Solutions. Thomas Goller Algebra Qualifying Exam Solutions Thomas Goller September 4, 2 Contents Spring 2 2 2 Fall 2 8 3 Spring 2 3 4 Fall 29 7 5 Spring 29 2 6 Fall 28 25 Chapter Spring 2. The claim as stated is false. The identity

More information

1 First Theme: Sums of Squares

1 First Theme: Sums of Squares I will try to organize the work of this semester around several classical questions. The first is, When is a prime p the sum of two squares? The question was raised by Fermat who gave the correct answer

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

IDEAL CLASSES AND RELATIVE INTEGERS

IDEAL CLASSES AND RELATIVE INTEGERS IDEAL CLASSES AND RELATIVE INTEGERS KEITH CONRAD The ring of integers of a number field is free as a Z-module. It is a module not just over Z, but also over any intermediate ring of integers. That is,

More information

36 Rings of fractions

36 Rings of fractions 36 Rings of fractions Recall. If R is a PID then R is a UFD. In particular Z is a UFD if F is a field then F[x] is a UFD. Goal. If R is a UFD then so is R[x]. Idea of proof. 1) Find an embedding R F where

More information

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

ALGEBRA AND NUMBER THEORY II: Solutions 3 (Michaelmas term 2008) ALGEBRA AND NUMBER THEORY II: Solutions 3 Michaelmas term 28 A A C B B D 61 i If ϕ : R R is the indicated map, then ϕf + g = f + ga = fa + ga = ϕf + ϕg, and ϕfg = f ga = faga = ϕfϕg. ii Clearly g lies

More information

5.1 Commutative rings; Integral Domains

5.1 Commutative rings; Integral Domains 5.1 J.A.Beachy 1 5.1 Commutative rings; Integral Domains from A Study Guide for Beginner s by J.A.Beachy, a supplement to Abstract Algebra by Beachy / Blair 23. Let R be a commutative ring. Prove the following

More information

Quizzes for Math 401

Quizzes for Math 401 Quizzes for Math 401 QUIZ 1. a) Let a,b be integers such that λa+µb = 1 for some inetegrs λ,µ. Prove that gcd(a,b) = 1. b) Use Euclid s algorithm to compute gcd(803, 154) and find integers λ,µ such that

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral

More information

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

and this makes M into an R-module by (1.2). 2 1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together

More information

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

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2 Solutions to odd-numbered exercises Peter J Cameron, Introduction to Algebra, Chapter 1 The answers are a No; b No; c Yes; d Yes; e No; f Yes; g Yes; h No; i Yes; j No a No: The inverse law for addition

More information

Section III.15. Factor-Group Computations and Simple Groups

Section III.15. Factor-Group Computations and Simple Groups III.15 Factor-Group Computations 1 Section III.15. Factor-Group Computations and Simple Groups Note. In this section, we try to extract information about a group G by considering properties of the factor

More information

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

THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION ADVANCED ALGEBRA I. THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - FALL SESSION 2006 110.401 - ADVANCED ALGEBRA I. Examiner: Professor C. Consani Duration: take home final. No calculators allowed.

More information

Fall /29/18 Time Limit: 75 Minutes

Fall /29/18 Time Limit: 75 Minutes Math 411: Abstract Algebra Fall 2018 Midterm 10/29/18 Time Limit: 75 Minutes Name (Print): Solutions JHU-ID: This exam contains 8 pages (including this cover page) and 6 problems. Check to see if any pages

More information

Subrings of Finite Commutative Rings

Subrings of Finite Commutative Rings Subrings of Finite Commutative Rings Francisco Franco Munoz arxiv:1712.02025v1 [math.ac] 6 Dec 2017 Abstract We record some basic results on subrings of finite commutative rings. Among them we establish

More information

Tripotents: a class of strongly clean elements in rings

Tripotents: a class of strongly clean elements in rings DOI: 0.2478/auom-208-0003 An. Şt. Univ. Ovidius Constanţa Vol. 26(),208, 69 80 Tripotents: a class of strongly clean elements in rings Grigore Călugăreanu Abstract Periodic elements in a ring generate

More information

0.1 Universal Coefficient Theorem for Homology

0.1 Universal Coefficient Theorem for Homology 0.1 Universal Coefficient Theorem for Homology 0.1.1 Tensor Products Let A, B be abelian groups. Define the abelian group A B = a b a A, b B / (0.1.1) where is generated by the relations (a + a ) b = a

More information

Groups of Prime Power Order with Derived Subgroup of Prime Order

Groups of Prime Power Order with Derived Subgroup of Prime Order Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*

More information

Math 581 Problem Set 9

Math 581 Problem Set 9 Math 581 Prolem Set 9 1. Let m and n e relatively prime positive integers. (a) Prove that Z/mnZ = Z/mZ Z/nZ as RINGS. (Hint: First Isomorphism Theorem) Proof: Define ϕz Z/mZ Z/nZ y ϕ(x) = ([x] m, [x] n

More information

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations

Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations Hilbert s theorem 90, Dirichlet s unit theorem and Diophantine equations B. Sury Stat-Math Unit Indian Statistical Institute 8th Mile Mysore Road Bangalore - 560 059 India. sury@isibang.ac.in Introduction

More information

THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I

THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the

More information

A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC

A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC A SIMPLE PROOF OF BURNSIDE S CRITERION FOR ALL GROUPS OF ORDER n TO BE CYCLIC SIDDHI PATHAK Abstract. This note gives a simple proof of a famous theorem of Burnside, namely, all groups of order n are cyclic

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

5 Structure of 2-transitive groups

5 Structure of 2-transitive groups Structure of 2-transitive groups 25 5 Structure of 2-transitive groups Theorem 5.1 (Burnside) Let G be a 2-transitive permutation group on a set Ω. Then G possesses a unique minimal normal subgroup N and

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2. Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

More information

Written Homework # 2 Solution

Written Homework # 2 Solution Math 517 Spring 2007 Radford Written Homework # 2 Solution 02/23/07 Throughout R and S are rings with unity; Z denotes the ring of integers and Q, R, and C denote the rings of rational, real, and complex

More information

Topics in Module Theory

Topics in Module Theory Chapter 7 Topics in Module Theory This chapter will be concerned with collecting a number of results and constructions concerning modules over (primarily) noncommutative rings that will be needed to study

More information

Math 203A - Solution Set 3

Math 203A - Solution Set 3 Math 03A - Solution Set 3 Problem 1 Which of the following algebraic sets are isomorphic: (i) A 1 (ii) Z(xy) A (iii) Z(x + y ) A (iv) Z(x y 5 ) A (v) Z(y x, z x 3 ) A Answer: We claim that (i) and (v)

More information

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

Math 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1. 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

More information

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.

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. The group (Z/nZ) February 17, 2016 1 Introduction In these notes we figure out the structure of the unit group (Z/nZ) where n > 1 is an integer. If we factor n = p e 1 1 pe, where the p i s are distinct

More information