Professional Documents
Culture Documents
(1)
(2)
(3)
(4)
(5)
(6) a b R,
(7) (a b) c a (b c),
a, b R.
a, b, c R.
(8) a (b c) a b a c,
(9) (b c) a b a c a,
a, b, c R.
a, b, c R.
(10)
(11)
(12)
(13)
a b b a,
1 R such that a 1 a 1 a,
a b 0 a 0 or b 0,
} Distributive law
a, b R.
a R.
a, b R.
a R, a 1 R such that a a 1 1 a 1 a.
Note.
(i)
(ii)
(iii)
(iv)
(v)
(vi)
INTEGRAL DOMAIN
5.9. Theorem. Let ( R, , ) be a commutative ring with identity 1. Then ( R, , ) is an integral
domain if and only if ab ac and a 0 b c, a, b, c R.
Proof.
Suppose R is an integral domain.
Let ab ac and a 0.
ab ac 0 and a 0.
a(b c) 0 and a 0.
(R integral domain and a 0. )
b c 0.
b c.
Suppose ab ac and a 0 b c, a, b, c R.
To show that R does not any have zero divisor.
Let ab 0 and a 0.
(Thm 5.4)
ab a 0 and a 0.
b 0.
R does not have any zero divisor.
So R is an integral domain.
5.10. Corollary. Let ( R, , ) be a commutative ring with identity 1. Then ( R, , ) is an
integral domain if and only if ba ca and a 0 b c, a, b, c R.
5.11. Definition. (Cancellation Laws)
Let ( R, , ) be a commutative ring with identity 1. Then
(i) ab ac and a 0 b c, a, b, c R is called the left cancellation law.
(ii) ba ca and a 0 b c, a, b, c R is called the right cancellation law.
Note.
Let ( R, , ) be a commutative ring with identity 1. Then ( R, , ) is an integral domain if and
only if the cancellation laws hold.
Criterion: Let ( R,, ) be a commutative ring with identity 1.
( R, , ) is an integral domain iff
ab ac and a 0 b c, a, b, c R.
(Thm 5.7)
(R is finite)
(aR )
(Thm 5.8 and a 0 )
But ri r j , i j.
So ri a r j a, i j.
This implies that Ra R.
So 1 Ra since 1 R.
1 rn a, rn R.
a 1 rn .
a is a unit.
So, R is a field.
5.14. Theorem. In every field, the cancellation laws hold.
Proof.
Method 1.
R is a field.
R is an integral domain.
(Thm 5.12)
The cancellation laws hold.
(Thm 5.9 & 5.10)
Method 2.
Let ab ac and a 0.
a 1 exists.
a 1 (ab) a 1 (ac).
b c.
The cancellation laws hold.
ring
commutative ring
ring with identity
commutative ring with identity
integral domain
field
ring
commutative ring
ring with identity
integral domain
field