Professional Documents
Culture Documents
a, b, c R : a b
c. Prove
Solution: We will prove that S is not a subring of R. Recall that the operations on the
external direct product are componentwise. Consider 1, 0, 1 and 0, 1, 1, both of which
are elements of S. Then multiplication gives
since 0 0 1. Thus, S is not closed under multiplication and hence is not a subring of R.
(2) (Gallian Chapter 12 #44, special case) Suppose that a2
ring. Show that
a a for all a in the ring.
a a2 a aa a
a2 a2 a2 a2
a a,
that is,
a a a a.
a.
a
a2
a
a Thm 12.1.3 aa
a2
a. By assumption,
a.
This solution generalizes to prove the bonus once a general version of Theorem 12.1.3. is
proved.
(3) (Gallian Chapter 13 #10) Describe all zero-divisors and units of Z Q Z.
1, b,
11 1, 1b ,
1,
1, b,
11
1, 1b ,
1.
f gx
f xg x
Thus, f is a unit.
f x
f x
(5) (Gallian Chapter 13 # 54) Let R be a ring with m elements. Show that the characteristic
of R divides m.
Solution: Let n be the characteristic of R. That is, it is the smallest positive integer
such that na 0 for each a R. Since R is a finite group (under addition), Lagranges
theorem says that the order of each element of R divides m. In particular, for each a R,
0.
ma
By the division theorem, let q
For each a R,
0
ma
q na ra
2
q 0 ra
0 ra
ra.
Thus, the rth multiple of each ring element vanishes. By definition of the characteristic
and since r n, r cannot be positive. Therefore, r 0 and n divides m.
(6) (Gallian Chapter 13 #32) Let R
ulo 10. Prove that R is a field.
Solution: Addition and multiplication modulo 10 are associative and commutative operations, which also satisfy distributivity. Thus, it remains to prove the following:
R is closed under 10 , 10:
10 0 2 4 6 8
10 0 2 4 6 8
0 0 2 4 6 8
0 0 0 0 0 0
2 2 4 6 8 0
2 0 4 8 2 6
4 4 6 8 0 2
4 0 8 6 4 2
6 6 8 0 2 4
6 0 2 4 6 8
8 8 0 2 4 6
8 0 6 2 8 4
R has a unity: 6 acts as the unity of this ring.
Every nonzero element is a unit:
21
41
8,
61
4,
81
6,
2.
(7) (Gallian Chapter 13 #60) In a commutative ring of characteristic 2, prove that the idempotents form a subring. Recall (from question 18) that a is idempotent if a2 a.
Solution: We use the Subring Test.
Nonempty? The additive identity 0 is always idempotent, 0 0 0.
Closure under subtraction? Suppose a2 a and b2 b. Consider
a
b2 a
ba
b
a2
ba a
b b2
Thm 12.1
a
b
ab
a2
ab ab b2
0 for each x, so x
a
b
a
b
ab,
Char 2
a
0b
a b.
b. Consider