Scribd
Upload
62 views3 pages

Homework #2 Solutions

The document provides solutions to homework problems involving rings, fields, and other abstract algebra concepts. Specifically: - Problem 18 on page 241 shows that the set S = {x ∈ R | ax = 0} is a subring of R by verifying it satisfies the subring test. - Problem 42 on page 243 shows that the set of 2x2 matrices over Z with integer entries is a subring of M2(Z). - Problem 36 on page 256 proves that Zp[√k] is a field if and only if the equation x2 = k has no solutions in Zp.

Uploaded by

Lic Walter Andrés Ortiz Vargas
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
62 views3 pages

Homework #2 Solutions

The document provides solutions to homework problems involving rings, fields, and other abstract algebra concepts. Specifically: - Problem 18 on page 241 shows that the set S = {x ∈ R | ax = 0} is a subring of R by verifying it satisfies the subring test. - Problem 42 on page 243 shows that the set of 2x2 matrices over Z with integer entries is a subring of M2(Z). - Problem 36 on page 256 proves that Zp[√k] is a field if and only if the equation x2 = k has no solutions in Zp.

Uploaded by

Lic Walter Andrés Ortiz Vargas
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/ 3

Homework #2 Solutions

pp 254-257: 18, 34, 36, 50, 54


p 241, #18 We apply the subring test. First of all, S = since a 0 = 0 implies 0 S.
Now let x, y S. Then a(x y) = ax ay = 0 0 = 0 and a(xy) = (ax)y = 0 y = 0 so
that x y, xy S. Therefore S is a subring of R.
p 242, #38 Z
6
= {0, 1, 2, 3, 4, 5} is not a subring of Z
12
since it is not closed under addition
mod 12: 5 + 5 = 10 in Z
12
and 10 Z
6
.
p 243, #42 Let X =

a a
b b

, Y =

c c
d d

R. Then
X Y =

a c a c
b d b d

R
since a c, b d Z. Also
XY =

ac +ad ac +ad
bc +bd bc +bd

R
since ac + ad, bc + bd Z. Since R is clearly nonempty, the subring test implies that R is
indeed a subring of M
2
(Z).
p 254, #4 The zero divisors in Z
20
are 2, 4, 5, 6, 8, 10, 12, 14, 15, 16 and 18, since
2 10 = 0 mod 20
4 15 = 0 mod 20
6 10 = 0 mod 20
8 5 = 0 mod 20
12 5 = 0 mod 20
14 10 = 0 mod 20
16 5 = 0 mod 20
18 10 = 0 mod 20
and every nonzero element not in this list is a unit. In particular this shows that the zero
divisors in Z
20
are precisely the nonzero nonunits. This statement generalizes to every Z
n
(Why?).
p 254, #6 According to the nal statement of the preceding problem, well need to look
outside of Z
n
. An easy place to look is Z. Indeed, any element other than 0, 1 is nonzero,
not a unit, and not a zero-divisor.
p 255, #18 The element 3 +i is a zero divisor in Z
5
[i] since
(3 +i)(2 +i) = 5 + 5i = 0 + 0i
after reducing the coecients mod 5.
p 255, #20 By a previous homework exercise
U(Z
3
Z
6
) = U(Z
3
) U(Z
6
) = {1, 2} {1, 5} = {(1, 1), (1, 5), (2, 1), (2, 5)}.
The zero divisors in Z
3
Z
6
come in two avors: (0, a) for a = 1, 2, 3, 4, 5 and (b, c) where
b = 1, 2 and c = 0, 2, 3, 4, for a total of 13 elements. The idempotents satisfy (a, b)
2
=
(a
2
, b
2
) = (a, b). Therefore, a
2
= a in Z
3
and b
2
= b in Z
6
. It is easy to see that this means
a = 0, 1 and b = 0, 1, 3, 4, which gives 8 idempotents. Finally, the nilpotent elements satisfy
(a, b)
n
= (a
n
, b
n
) = (0, 0) for some n Z
+
. But a
n
= 0 has no solutions in Z
3
other than
a = 0 and b
n
= 0 has has no solution in Z
6
other than b = 0. Hence (0, 0) is the only
idempotent.
p 256, #30 Let D be an integral domain and let x D so that x is its own inverse. Then
x
2
= 1, which is the same as x
2
1 = 0. Factoring yields (x 1)(x + 1) = 0 and since D is
a domain this means x 1 = 0 or x + 1 = 0, i.e. x = 1.
p 256, #34 Direct computation yields
0 + 0i 1 + 0i 0 + 1i 1 + 1i
0 + 0i 0 + 0i 0 + 0i 0 + 0i 0 + 0i
1 + 0i 0 + 0i 1 + 0i 0 + 1i 1 + 1i
0 + 1i 0 + 0i 0 + 1i 1 + 0i 1 + 1i
1 + 1i 0 + 0i 1 + 1i 1 + 1i 0 + 0i
proving that Z
2
[i] is neither an integral domain nor a eld, since 1 + 1i is a zero divisor.
p 256, #36 We prove only the general statement: Z
p
[

k] is a eld if and only if the equation


x
2
= k has no solution in Z
p
. For one direction, suppose that x
2
= k has no solution in Z
p
.
We will show that every nonzero element in Z
p
[

k] has an inverse. Let a+b

k Z
p
[

k] be
nonzero. If b = 0 then a = 0 and a +b

k = a, which has an inverse in Z


7
, hence in Z
7
[

k].
If b = 0 then a
2
b
2
k = 0 in Z
p
, for otherwise we would have k = (ab
1
)
2
, with ab
1
Z
p
.
So c = (a
2
b
2
k)
1
exists in Z
p
and ac bc

k is an element of Z
p
[

k] which satises
(a +b

k)(ac bc

k) = (a
2
c b
2
ck) + 0

k = c(a
2
b
2
k) = 1
by the denition of c. Therefore, a + b

k has an inverse. Having shown that the arbitrary


nonzero element has an inverse, we conclude that Z
p
[

k] is a eld when x
2
= k has no
solution in Z
p
.
For the converse, we prove that if x
2
= k has a solution in Z
p
then Z
p
[

k] is not an integral
domain and therefore is not a eld. Let a Z
p
satisfy a
2
= k mod p. Let x = a +(p 1)

k
and y = a +

k. Then neither x nor y is zero in Z


p
[

k] yet
xy = (a
2
+k(p 1)) + (a(p 1) +a)

k = (a
2
k) + (a a)

k = 0 + 0

k
where we have reduced the coecients mod p at each step. Thus, Z
p
[

k] possesses zero
divisors and is not a eld.
p 257, #50 The characteristic is 0 since for any n Z
+
we have n (0, 4) = (0, 4n) and 4n
will never be zero in Z.
p 257, #54 First of all, we know from previous work that U(F) is a multiplicative group.
But, since F is a eld, U(F) = F \ {0}. Therefore, since F has n elements, F \ {0} = U(F)
is a nite group with n 1 elements. Since the order of an element in a nite group divides
the order of the group itself, we see that for any nonzero x F we have x
n1
= 1. Note that
if we multiply both sides of this equation by x we get x
n
= x, which is an equation satised
by every element of F.

You might also like