1. - K . A N I T H A M . S C . , M . P H I L . ,
- M . M O H A N A M A L A R M . S C . , M . P H I L . ,
III B.Sc Mathematics Sf
Modern Algebra-15UMTC51
2. Rings
ο A non empty set together with two binary operations
β+β and β.β satisfying the following axioms is called a
Ring.
ο i) (R,+) is an abelian group.
ο ii)β.β is an associative binary operation on R.
ο Iii)a.(b+c)=a.b+a.c and (a+b).c = a.c+b.c for all a,b,c
belongs to R.
3. Examples
ο (Z,+,.);(Q,+,.);(R,+,.);(C,+,.);(2z,+,.) are all rings.
ο {0} with binary operations + and . Defined as 0+0=0
and 0.0=0 is a ring.This is called null ring.
ο M2(R)under matrix addition and multiplication is a
ring.
4. Properties of Rings
ο 0a=0
ο a(-b)=(-a)b=-(ab)
ο (-a)(-b)=ab
ο a(b-c)=ab-ac
ο A ring is called a Boolean ring if a2 = a
5. Isomorphism
ο Let (R,+,.) and (R/ ,+,.)be two rings. A bijection f from R
to R/ is called isomorphism if
ο i) f(a+b) = f(a) +f(b)
ο ii) f(ab) = f(a)f(b)
6. Types of Rings
ο A ring R is said to be commutative if ab=ba for all a,b
in R
ο A ring Ris said to be a ring with identity if there
exists an element 1 in R such that 1a=a1=a for all a in
R.
ο An element u in R is called a unit in R if it has a
multiplicative inverse in R
ο R is called a skew field if every non zero element in R
is a unit
7. Field
ο A commutative skew field is called a field.
ο Examples
ο Q,R and C are fields .
ο (Z,+,.)is not a field since 1 and -1 are the only
nonzero elements which have inverse.
8. Integral Domain
ο A nonzero element a in R is said to be a zero divisor
if there exists a nonzero element b in R such that
ab=0 or ba=0
ο A commutative ring with identity having no zero
divisors is called an integral domain.
ο Z is an integral domain
ο nZ is not an integral domain
ο Z7 is an integral domain
9. Results
ο A ring has no zero divisors iff cancellation law is
valid in R
ο Any unit in R cannot be a zero divisor
ο Z7 is an integral domain iff n is prime.
ο Any field F is an integral domain.
ο Any finite integral domain is a field.
ο Zn is a field iff n is prime.
10. Properties
ο R is commutative implies R/ is commutative
ο R is ring with identity implies R/ is ring with identity
ο R is an integral domain implies R/ is an integral
domain
ο R is a field implies R/ is a field