1 1W 8 12WP Math 5209
1 1W 8 12WP Math 5209
Math 1 / 23
1-1W/8-12WP
Abstract Algebra III
Math-5209
TGU
Math 2 / 23
1. Definitions and Examples
a group is an algebraic system with only one operation.
an operation is a function
Math 3 / 23
Definition
Let R 6= ∅. R is called a ring if the two operations + and · from
R × R → R defined by
such that:
a + 0 = 0 + a = a, ∀a ∈ R.
a + b = b + a = 0.
(g) a · (b · c) = (a · b) · c, for a, b, c ∈ R.
(Associative law under multiplication)
(h) a · (b + c) = a · b + a · c and
(b + c) · a = b · a + c · a, for a, b, c ∈ R.
(Left and right distributive)
Math 5 / 23
Notes
(a)-(h) are called axioms.
Math 6 / 23
A commutative ring R is an integral domain if a · b = 0 in
R =⇒ a = 0 or b = 0.
Math 7 / 23
Example 1 [pg.128]
Show that the set of all integers, Z is a ring under the usual addition and
multiplication of integers. Is it an integral domain?
(b) a + (b + c) = (a + b) + c, ∀a, b, c ∈ Z.
(c) a + b = b + a since a, b ∈ Z
Math 8 / 23
(e) For any a ∈ Z, there exists −a ∈ Z such that a + (−a) = −a + a = 0.
Thus −a is an additive inverse of a.
(h) a × (b + c) = a × b + a × c and
(b + c) × a = b × a + c × a.
Thus Z is a ring under + and × .#
For a, b ∈ Z, a × b = b × a, thus Z is a commutative ring.
Suppose a × b = 0 in Z and a 6= 0. Then b = 0.
Thus Z is an integral domain.#
Math 9 / 23
Example 2 [Pg.128]
Let Q be the set of all rational numbers. Show that Q is a field under
usual addition and multiplication.
p
Let Q = | p, q ∈ Z, q 6= 0 .
q
p r
(a) Let a, b ∈ Q, then a = , b = where q, s 6= 0, p, q, r, s ∈ Z. Then
q s
p r ps + qr
a+b= + = ∈ Q where qs 6= 0.
q s qs
ps + qr rq + sp r p
(b) a + b = = = + = b + a.
qs sq s q
Math 10 / 23
ps + qr t t
(c) (a + b) + c = + where c = , u ∈ Z, u 6= 0
qs u u
ps + qr)u + (qs)t
=
qs)u
(ps)u + (qr)u] + q(st)
=
q(su)
p(su) + [q(ru) + q(st)]
=
q(su)
p(su) + q(ru + st)
=
q(su)
p ru + st
= +
q su
r t
=a+ +
s u
= a + (b + c).
Math 11 / 23
0
(d) For any a ∈ Q, there is an element 0 = , where s 6= 0, in Z such that
s
p 0 ps + 0 ps
a+0= + = = =a
q s qs qs
and
0 p 0 + sp sp
0+a= + = = = a.
s q sq sq
Thus 0 is an additive identity element in Q.
p
(e) For any a ∈ Q, we have −a = − ∈ Q such that
q
p p p−p
a + (−a) = + (− ) = =0
q q q
and
p p −p + p
−a + a = − + = = 0.
q q q
Thus −a is an inverse of a in Q.
Math 12 / 23
p r p r pr
(f) a = , b = ∈ Q =⇒ a × b = × = ∈Q
q s q s qs
since pq 6= 0 as p 6= 0, q 6= 0.
Math 14 / 23
Also, for any a, b, c ∈ Q, we have and
t p t r
c×a+c×b= × + ×
u q u s
tp tr
= +
uq us
t p r tp)s q(tr)
c × (a + b) = × + = +
u q s uq)s q(us)
t ps + qr t(ps) qt)r
= × = +
u qs u(qs) qu)s
t(ps + qr) t(ps) tq)r
= = +
u(qs) u(qs) uq)s
t(ps) + t(qr) t(ps) + t(qr)
= = .
u(qs) u(qs)
Let C = {a + ib | a, b ∈ R}.
(a) x, y ∈ C =⇒ x + y = (a + ib) + (c + id) = (a + c) + i(b + d) ∈ C
where x = a + ib and y = c + id.
Math 17 / 23
(b)
x + y = (a + ib) + (c + id)
= (a + c) + i(b + d)
= (c + a) + i(d + b)
= c + id + a + ib
= y + x.
(c)
(x + y) + z = [a + c + i(b + d)] + (e + if ) where z = e + if
= [(a + c) + e] + i[(b + d) + f ]
= [a + (c + e)] + i[b + (d + f )]
= a + ib + [(c + e) + i(d + f )]
= x + [(c + id) + (e + if )]
= x + (y + z).
Math 18 / 23
(d) For any x ∈ C, we have 0 = 0 + i0 ∈ C such that
x + 0 = (a + ib) + (0 + i0) = a + ib = x
and
0 + x = (0 + i0) + (a + ib) = a + ib = x.
x + (−x) = a + ib − a − ib = a − a + i(b − b) = 0
and
−x + x = −a − ib + a + ib = −a + a + i(−b + b) = 0.
x, y ∈ C =⇒ x × y = (a + ib) × (c + id)
= ac + iad + ibc − bd
= ac − bd + i(ad + bc) ∈ C.
(g)
x × (y × z) = (a + ib) × [(c + id) × (e + if )]
= (a + ib) × [(ce − df ) + i(cf + de)]
= a(ce) − a(df ) + ia(cf ) + ia(de) + ib(ce) − ib(df ) − b(cf ) − b(de)
= (ac)e − (bd)e − (ad)f − (bc)f + i(ac)f − i(bd)f + i(ad)e + i(bc)e
= [(ac − bd)e − (ad + bc)f ] + i[(ac − bd)f + (ad + bc)e]
= [(ac − bd) + i(ad + bc)] × (e + if )
= [(a + ib) × (c + id)] × (e + if )
= (x × y) × z for all x, y, z ∈ C.
Math 20 / 23
(h) (x × z) + (y × z) = (a + ib)(e + if ) + (c + id)(e + if )
x × y = (a + ib) × (c + id)
= ac + iad + ibc − bd
= ca + ida + icb − db
= (c + id)(a + ib) = y × x.
x × 1 = (a + ib) × (1 + i0) = a + ib + 0 = x
and
1 × x = (1 + i0) × (a + ib) = a + ib + 0 = x.
a − ib a − ib
x × y = (a + ib) × = 1 and y × x = × (a + ib) = 1.
a2 + b2 a2 + b2
a − ib
Thus x × y = y × x = 1 so that y = is an inverse of x under ×.
a2 + b2
Thus C is a field under + and × .#
Math 22 / 23
The End
Math 23 / 23