Scribd Logo
Upload

Welcome to Scribd!

  • 33 views

    Fourth Isomorphism Theorem

    Uploaded by

    De Seb
    The document proves that if I is an ideal of a ring R, then: 1) The set of subrings of R containing I form a lattice. 2) The natural projection map from R to R/I is a ring homomorphism. 3) The kernel of this homomorphism is I, and I is an ideal of R.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Fourth Isomorphism Theorem

    Uploaded by

    De Seb
    33 views4 pages
    The document proves that if I is an ideal of a ring R, then: 1) The set of subrings of R containing I form a lattice. 2) The natural projection map from R to R/I is a ring homomorphism. 3) The kernel of this homomorphism is I, and I is an ideal of R.

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    The document proves that if I is an ideal of a ring R, then: 1) The set of subrings of R containing I form a lattice. 2) The natural projection map from R to R/I is a ring homomorphism. 3) The kernel of this homomorphism is I, and I is an ideal of R.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    33 views4 pages

    Fourth Isomorphism Theorem

    Uploaded by

    De Seb
    The document proves that if I is an ideal of a ring R, then: 1) The set of subrings of R containing I form a lattice. 2) The natural projection map from R to R/I is a ring homomorphism. 3) The kernel of this homomorphism is I, and I is an ideal of R.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    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