Solutions 9
Solutions 9
6.2.4 Let [a]n denote the congruence class of the integer a modulo n.
(a) Show that the map f : Z12 → Z4 that sends [a]12 to [a]4 is a well-defined,
surjective homomorphism.
To show that f is well defined, we need to show that whenever [a]12 = [b]12
in Z12 , then f ([a]12 ) = f ([b]12 ) in Z4 . If [a]12 = [b]12 , then a − b = 12t for
some t ∈ Z. Thus a − b = 4(3t) and hence f ([a]12 ) = [a]4 = [b]4 = f ([b]12 )
as required.
To show that f is a homomorphism, note that for any [a]12 , [b]12 ∈ Z12 ,
f ([a]12 + [b]12 ) = f ([a + b]12 ) = [a + b]4 = [a]4 + [b]4 = f ([a]12 ) + f ([b]12 ) and
f ([a]12 [b]12 ) = f ([ab]12 ) = [ab]4 = [a]4 [b]4 = f ([a]12 )f ([b]12 ) as required.
To show that f is surjective note that f [0]12 = [0]4 , f [1]12 = [1]4 , f [2]12 =
[2]4 , and f ([3]12 ) = [3]4 . Because we can hit everything in Z4 , f is a
surjection.
An element [a]12 ∈ Z12 is in the kernel of f if and only if [a]4 = [0]4 , that
is, if 4 | a. The integers between zero and eleven which are divisible by 4
are {0, 4, 8}. So the kernel of f is the ideal generated by {0, 4, 8}.
6.2.8 (a) Let I = {0, 3} in Z6 . Verify that I is an ideal and show that Z6 /I ∼
= Z3 .
1
surjective homomorphism from Z6 → Z3 , and that I is the kernel of this
map.
Let f : Z6 → Z3 be the map which sends [a]6 to [a]3 . To show that f
is well defined, we need to show that whenever [a]6 = [b]6 in Z6 , then
f ([a]6 ) = f ([b]6 ) in Z3 . If [a]6 = [b]6 , then a − b = 6t for some t ∈ Z. Thus
a − b = 3(2t) and hence f ([a]6 ) = [a]3 = [b]3 = f ([b]6 ) as required.
To show that f is a homomorphism, note that for any [a]6 , [b]6 ∈ Z6 ,
f ([a]6 + [b]6 ) = f ([a + b]6 ) = [a + b]3 = [a]3 + [b]3 = f ([a]6 ) + f ([b]6 ) and
f ([a]6 [b]6 ) = f ([ab]6 ) = [ab]3 = [a]3 [b]3 = f ([a]6 )f ([b]6 ) as required.
To show that f is surjective note that f [0]6 = [0]3 , f [1]6 = [1]3 , and
f [2]6 = [2]3 . Because we can hit everything in Z3 , f is a surjection.
An element [a]6 ∈ Z6 is in the kernel of f if and only if [a]3 = [0]3 , that
is, if 3 | a. The integers between zero and five which are divisible by 3
are {0, 3}. So the kernel of f is the ideal generated by {0, 3}, that is, the
kernel is I.
Now by the first isomorphism theorem, we conclude that Z/I ∼ = Z3 as
required.
(b) Let J = 0, 5 in Z10 . Verify that J is an ideal and show that Z10 /J ∼
= Z5 .
2
An element [a]10 ∈ Z10 is in the kernel of f if and only if [a]5 = [0]5 , that
is, if 5 | a. The integers between zero and nine which are divisible by 5
are {0, 5}. So the kernel of f is the ideal generated by {0, 5}, that is, the
kernel is J.
Now by the first isomorphism theorem, we conclude that Z/J ∼ = Z5 as
required.
(b) Show by example that part (a) may be false if f is not surjective.
6.2.18 Let I 6= R be an ideal in a commutative ring T R with identity. Prove that R/I
is an integral domain if and only if whenever ab ∈ I, either a ∈ I or b ∈ I.
We will use extensively in this proof that a = 0 as elements of R/I is the same
as saying that a ≡ 0 (mod I) which is the same as saying that a − 0 = a ∈ I.
Now suppose that R/I is an integral domain. Now whenever ab ∈ I, this means
that ab = 0 ∈ R/I, so either a = 0 or b = 0. But a = 0 or b = 0 means exactly
that a ∈ I or b ∈ I.
3
The converse is similar. Suppose that I is such that whenever ab ∈ I then
either a ∈ I or b ∈ I. Now if ab = 0 in R/I we know that ab ∈ I, and hence by
hypothesis, either a or b is in I. But this means exactly that either a or b is 0
in R/I.
6.3.4 Let R be a commutative ring with identity. Prove that R is an integral domain
if and only if (0R ) is a prime ideal.
Note that R/(0) is isomorphic to the ring R. This follows directly from theorem
6.12. That is, the map π : R → R/(0) is a surjective homomorphism with kernel
(0). By theorem 6.11, the kernel is (0) implies that π is an injection. So π is
an isomorphism. This exercise then follows directly from theorem 6.14 (that is,
because R ≡ R(0), (0) is a prime ideal if and only if R/(0) ≡ R is an integral
domain).