Scribd
Upload
53 views1 page

HW10 Solutions

This document contains solutions to 9 problems about abstract algebra concepts: 1) Proving an ideal in Z is principal 2) Finding and classifying ideals of Z12 3) Proving the intersection and sum of ideals are also ideals 4) Proving the only ideals of a field are (0) and the field itself 5) Proving a defined set is an ideal of a ring 6) Finding and classifying an ideal of Z[x] 7) Similarly finding and classifying another ideal of Z[x] 8) Proving an isomorphism between Z/20Z and Z20 9) Proving the quotient of an ideal by a subideal is also an ideal

Uploaded by

Jeoff Libo-on
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
53 views1 page

HW10 Solutions

This document contains solutions to 9 problems about abstract algebra concepts: 1) Proving an ideal in Z is principal 2) Finding and classifying ideals of Z12 3) Proving the intersection and sum of ideals are also ideals 4) Proving the only ideals of a field are (0) and the field itself 5) Proving a defined set is an ideal of a ring 6) Finding and classifying an ideal of Z[x] 7) Similarly finding and classifying another ideal of Z[x] 8) Proving an isomorphism between Z/20Z and Z20 9) Proving the quotient of an ideal by a subideal is also an ideal

Uploaded by

Jeoff Libo-on
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

MATH 521A: Abstract Algebra

Homework 10 Solutions

1. Prove that (6, 15, 27) = (3) in Z.


We have (6, 15, 27) ⊆ (3) since 6 = 2 · 3, 15 = 5 · 3, and 27 = 9 · 3. We also have (6, 15, 27) ⊇ (3) because
12 = 2 · 6 ∈ (6, 15, 27) and hence 3 = 15 − 12 ∈ (6, 15, 27).

2. Find all ideals of Z12 . Determine which of these are principal, maximal, and prime.
The principal ideals are (0) = {0}, (1) = (5) = (7) = (11) = Z12 , (2) = (10) = {0, 2, 4, 6, 8, 10},
(3) = (9) = {0, 3, 6, 9}, (4) = (8) = {0, 4, 8}, and (6) = {0, 6}. There are no nonprincipal ideals. [Proof:
compose φ : Z → Z12 , π : Z12 → Z12 /I to get a ring homomorphism, whose kernel is an ideal in Z, which is
principal since Z is a PID.] Of these, (2) and (3) are both maximal and prime.

3. Suppose I, J are ideals of some ring R. Prove that I ∩ J and I + J are both ideals of R.
I ∩ J: Let x, y ∈ I ∩ J. The x + y, xy, −x are all in both I, J, so in I ∩ J. Also 0 ∈ I ∩ J, so I ∩ J is a subring.
Let r ∈ R. We have xr in both I, J, so in I ∩ J. Hence (I ∩ J)R ⊆ (I ∩ J).
I + J: Let a + b, a0 + b0 ∈ I + J, for some a, a0 ∈ I, b, b0 ∈ J. (a + b) + (a0 + b0 ) = (a + a0 ) + (b + b0 ) ∈ I + J.
(a + b)(a0 + b0 ) = a(a0 + b0 ) + b(a0 + b0 ) ∈ I + J (since I, J ideals). −(a + b) = (−a) + (−b) ∈ I + J.
0 = 0 + 0 ∈ I + J. Hence I + J is a subring. Let r ∈ R. We have (a + b)r = ar + br ∈ I + J. Hence I + J is
an ideal.
4. Let R be a field. Prove that its only ideals are (0) and R.
Let I be an ideal. If I contains no nonzero element, then I = (0). Otherwise, let x ∈ I be nonzero. Let y ∈ R
be arbitrary. x−1 y ∈ R, so x(x−1 y) = y ∈ I. Hence I = R.

5. Let R be a ring, and a ∈ R. Set I = {b ∈ R : ab = 0}. Prove that I is an ideal of R.


Let b, b0 ∈ I. We have a(b + b0 ) = ab + ab0 = 0 + 0 = 0, so b + b0 ∈ I. We have a(bb0 ) = (ab)b0 = 0, so bb0 ∈ I.
We have a(−b) = −(ab) = 0, so −b ∈ I. We have a0 = 0, so 0 ∈ I. Hence I is a subring of R. Let r ∈ R. We
have a(br) = (ab)r = 0, so br ∈ I. Hence I is an ideal.

6. Calculate simple forms for the elements of the ideal I = (6x, 10) in R = Z[x]. Is it principal? Maximal?
Prime?
Note that 2x = 2 · 6x − x · 10 ∈ I. Hence I ⊆ (2x, 10). But also 6x = 3 · 2x, so in fact I = (2x, 10). Thus a
simple form for I = {10a0 +2a1 x+2a2 x2 +· · ·+2an xn : ai ∈ Z}. We calculate R/I = {b0 +b1 x+· · ·+bn xn +I :
b0 ∈ [0, 9], bi ∈ {0, 1}}. This is not an integral domain, as 2 + I, 5 + I ∈ R/I yet (2 + I)(5 + I) = 0 + I. Hence
I is neither maximal nor prime. It is also not principal; to contain 10 it would have to be (a) for some integer
a. The only such principal ideals containing 2x are a ∈ {2, −1, 1, 2}, and all of these are bigger than I.

7. Calculate simple forms for the elements of the ideal I = (6x, 10x) in R = Z[x]. Is it principal? Maximal?
Prime?
Note that 2x = 2 · 6x − 1 · 10x, so (2x) ⊆ I. But also 6x = 3 · 2x and 10x = 5 · 2x, so in fact I = (2x). Thus
I is principal. Now, 2x ∈ I, but 2 ∈/ I and x ∈
/ I. Hence I is not prime, and thus not maximal.

8. Prove that Z/20Z ∼


= Z20 . Some people prefer to write Z/20Z instead of Z20 .
Consider the surjective ring homomorphism φ : Z → Z20 given by φ(x) = [x]20 . The kernel is {x ∈ Z : [x] =
[0]} = 20Z. We are now done by the First Isomorphism Theorem.

9. Let I, K be ideals in R, with K ⊆ I. Prove that I/K = {x+K : x ∈ I} is an ideal in R/K = {x+K : x ∈ R}.
I/K is a ring, contained in the ring R/K; hence it is a subring. Now, let a + K ∈ I/K and r + K ∈ R/K. We
have (a+K)(r+K) = ar+aK+rK+KK. Since K is an ideal, aK+rK+KK ⊆ K, so (a+K)(r+K) = ar+K.
Since I is an ideal, ar = b for some b ∈ I. Hence (a + K)(r + K) = b + K ∈ I/K.

You might also like