You are on page 1of 4

1202 2013

The douath o
iattee l6omoophism Throem foa nqs
let I be an
ideal of Bhe coza eponden ce
4Al1 is an inelusion pesta vimq bijection etw
and th
theCt of Suboings 4
Athat cont2in I

get fSuba ings of RI |Juathramooe, A (a subamga

Cont&imin 5an ideal of R if A/L Is an idea


/
/

R to
Defint a roap : K/1 |atuaal paojec bion of
R

R/J b 9) 3+I =5 veR oth Kednel I


.homomo a phiso
TS map
is a Sua jective
trat
f ho o moaphinm
ule knou the paopea
R ¢(A]=A
ia 2 subainq of
A is a 6ubaing of
Sujecttive only show th2t
it Dettve we i
that
(uniqueness of paei
pocve
A uniqueness
To

E is iecttve ie, (

kle now 4 = 0(A (ztuwau olds)


O
Ho to paove (A)£A
et e (4)
eA.
Som a
fo
let 6(x)=
z-a)Pz-a) = ry
tdeal is the
FD hemee
ivn A Contatns I

A
=7- a e
e A (::ae 4))
e( ) e A -
dom O 2nd , b(A) - A

tHene Is biection

Next 5how that

A f R contaung. 1 is a ideas of R

A1 is 20 ideal af R/I

To p3ove tis We use anotbes a


esut
I R S IS 2 alng fon omophism the

(3) wil 6e 2 ideal in R heneved

Jis an ideal Spvease of an ideal is an ide


, AI is ap idezl in. R/L. A=
ideal im R
et b e 2 ideal m S' and let d(a)-r
Sh , *0,*tmeo
oEJ- o - o(0) e 1 {" s homonpoaphsm

146 nd Jeo a,b e1;


dla-) d(a) -¢ (6) ( torzcmoaphism)
J
a-b I ased undeo subtaatton

da)6a)¢(6)

abe1

elese ndJ»

Nou fox Er.bste


a)= ¢()J £J
£I
, (31) SJ I
S:l12l¢(1) -67)
)sJ
e,(12) eJ=>1z eI

I is an ideal of R
deal is an ideal
ar
rnvese imaqe of
omto
2m deal 1 is apped an

Convesse
that.
Now fo toue
in, ouz case
must be Suajeckive , 0hich
deal
o Rtua al p7ojection. and let
R+S
ap
2 Suajective
an tdel
IC R be
s.
a) s 2 subaumg of
T
o(o)=o nd Smce,if ,y e ¢(z)
Sone a,b 6I with p(a)= 2 and

'T-y o(a) -¢l)


homomoapus)
(a-6) (:0 is a

Now fea mlti plic ation.


s éS } a6R
ecause
of surjectivity for evesy

sJ= dl) ¢()

Sirill2y Js 3
I s a ideal of S
sujective onapnaphusm I ap
S

. .If Is
R = P() 2n tdeal f s.
deal of
homomaphi,
our case R RI ís Suajective

I 3 ao ideal of e/L
R
A is 2 ideal of
fence the pooaf

You might also like