7/28/2019 Gallian Ch 15
1/28
Ring homomorphism
7/28/2019 Gallian Ch 15
2/28
A mapping from a ring Rto a ring S that preserves thetwo ring operations; that is, for all ,a b R , we have
( ) ( ) ( )a b a b and ( ) ( ) ( )ab a b .
7/28/2019 Gallian Ch 15
3/28
Ring isomorphism
7/28/2019 Gallian Ch 15
4/28
A ring homomorphism that is both one-to-one and onto.
7/28/2019 Gallian Ch 15
5/28
Properties of ring homomorphisms
7/28/2019 Gallian Ch 15
6/28
Let be a ring homomorphism from a ring Rto a
ring S. LetA be a subring ofRand B an ideal ofS.
1. For any r R and any positive integern,
( ) ( )nr n r and ( ) ( ( ))n nr r .
2. ( ) { ( ) | }A a a A is a subring ofS.
3. IfA is an ideal and is onto S, then ( )A is anideal.
4. 1( ) { | ( ) }B r R r B is an ideal ofR.
5. IfRis commutative, then ( )R is commutative.
7/28/2019 Gallian Ch 15
7/28
More properties of ring homomorphisms
7/28/2019 Gallian Ch 15
8/28
Let be a ring homomorphism from a ring Rto a ring
S. LetA be a subring ofRand B an ideal ofS.
IfRhas a unity 1, {0}S , and is onto, then(1) is the unity ofS.
7. is an isomorphism if and only if is onto and
{ | ( ) 0} {0}Ker r R r .
8. If is an isomorphism from Ronto S, then 1 is
an isomorphism from S onto R.
7/28/2019 Gallian Ch 15
9/28
Kernels are Ideals
7/28/2019 Gallian Ch 15
10/28
Let be a homomorphism from a ring Rto a ring S.
Then { | ( ) 0}Ker r R r is an ideal ofR.
7/28/2019 Gallian Ch 15
11/28
First Isomorphism Theorem for Ringsa.k.a.
Fundamental Theorem of Ring Homomorphisms
7/28/2019 Gallian Ch 15
12/28
Let be a ring homomorphism from Rto S. Then the
mapping from /R Ker to ( )R , given by
( )r Ker r , is an isomorphism. In symbols,
/ ( )R Ker R .
7/28/2019 Gallian Ch 15
13/28
Ideals are Kernels
7/28/2019 Gallian Ch 15
14/28
Every ideal of a ring Ris the kernel of a ringhomomorphism ofR. In particular, an idealA is the
kernel of the mapping r r A from R to /R A .
7/28/2019 Gallian Ch 15
15/28
Natural homomorphism from Rto R/A
7/28/2019 Gallian Ch 15
16/28
The mapping r r A .
7/28/2019 Gallian Ch 15
17/28
Homomorphism from Zto a Ring with Unity
7/28/2019 Gallian Ch 15
18/28
Let Rbe a ring with unity 1. The mapping :Z R
given by 1n n is a ring homomorphism.
7/28/2019 Gallian Ch 15
19/28
A Ring with Unity Contains nZ orZ
7/28/2019 Gallian Ch 15
20/28
IfRis a ring with unity and the characteristic ofRis0n , then Rcontains a subring isomorphic to nZ . If
the characteristic ofRis 0, then Rcontains a subringisomorphic to Z.
7/28/2019 Gallian Ch 15
21/28
mZ is a Homomorphic Image ofZ
7/28/2019 Gallian Ch 15
22/28
For any positive integerm, the mapping of : mZ Z
given by modx x m is a ring homomorphism.
7/28/2019 Gallian Ch 15
23/28
A Field Contains pZ orQ
7/28/2019 Gallian Ch 15
24/28
IfFis a field of characteristicp, then Fcontains asubfield isomorphic to pZ . IfFis a field of
characteristic 0, then Fcontains a subfield isomorphicto the rational numbers.
7/28/2019 Gallian Ch 15
25/28
Prime subfield
7/28/2019 Gallian Ch 15
26/28
The smallest subfield (a subfield contained in everysubfield).
7/28/2019 Gallian Ch 15
27/28
Field of Quotients
7/28/2019 Gallian Ch 15
28/28
Let D be an integral domain. Then there exists a field F(called the field of quotients ofD) that contains a
subring isomorphic to D.