PEMBUKTIAN TEOREMA UTAMA HOMOMORFISMA MODUL

Tugas Teori Modul Disusun oleh : Dian Pratama (11/322416/PPA/03557) Diberikan ring ( memenuhi : ( 1. ( 2. ( ) ) ( ) ( ) ) ke ( ) ( )...................................................................................(i) ( ) ...............................................................................(ii) juga dapat dipandang sebagai homomorfisma grup dari ). Selanjutnya akan didefinisikan himpunan ( ) ( ) Dari definisi diatas, selanjutnya ( ) atau subring ( ( ) ( ) * { ( ( ) ) ( ) } + ) yang ) atau subring ( ( ) dan ) dan ( ), suatu homomorfisma ring

yang

Perhatikan persamaan (i) dan (ii), grup abelian ( ( ) sebagai berikut :

( ) merupakan subgrup ( ). Karena *

( ) merupakan ideal. Untuk himpunan

( ) hanya merupakan subgrup , maka dapat jika sebagai

( ) merupakan ideal dari + dengan

dibentuk himpunan dan hanya jika berikut :

( ). Elemen dan

( ). Kemudian didefinisikan operasi

( )

( ) (

( )

( )

) ( ) ( ) ( ) ( )

( )

( )

( )

Sehingga (

( )

) merupakan ring faktor.

Selanjutnya akan dibuktikan tentang Teorema Utama Homomorfisma Ring (TUHR) : Diberikan ring ( maka Bukti : Untuk ( ) merupakan ideal terhadap ring ( ( ) ( ). ) telah dibuktikan sebelumnya. ) dan ( ), jika ) dan merupakan homomorfisma ring, ( ) ( ).

( )merupakan ideal terhadap ring (

Selanjutnya akan dibuktikan bahwa Diketahui 1. ( 2. ( ) ) ( ) ( )

merupakan homomorfisma ring, sehingga memenuhi : ( ) ( ) ( ) ( ) ( ) sebagai berikut : ( ) ( ) ( ) ( ) ( ) dengan

Didefinisikan pengaitan

Jelas bahwa sifat

merupakan pemetaan karena, jika diambil sebarang

sehingga diperoleh : ( ( ( ) ( ) ( ( ) ( ( ) )) ) ( )) ( ) dengan definisi yang sama ( )

Sekarang akan dibutikan bahwa dengan , maka akan jelas bahwa Selanjutnya akan dibuktikan bahwa Ambil sebarang 1. ( ) () ( ) ( )

tunggal. Andaikan terdapat .

merupakan homomorfisma ring :

( Definisi operasi ) ( Definisi pemetaan )

( ) ( ) 2. ( ) ( ( ) ( )

( ) ( ) ) ( ) ( )

homomorfisma ring ) )

( Definisi pemetaan ( Definisi operasi ) ( Definisi pemetaan (

()

homomorfisma ring ) )

( Definisi pemetaan homomorfisma ring. bersifat bijektif : ( ) dengan sifat () sedemikian sehingga () artinya () ( ) ( ) ( ) ( ( ( ) ( ( ( ) () ( ) ( )) ) )) ( ) ( ).

Dari pembuktian 1. Dan 2. maka

Selanjutnya akan ditunjukan bahwa 1. Sifat Injektif Ambil sebarang () () ( ), maka terdapat Akan ditunjukan bahwa

(). Karena () () ( ) dan () ( ).

Diperoleh 2. Sifat Surjektif Ambil sebarang Karena Karena

dengan kata lain

bersifat injektif. ( )

( ) , maka terdapat

sedemikian sehingga ( ) sehingga untuk setiap .

homomorfisma ring, maka terdapat ( ). Jadi terdapat

( ) sehingga berlaku () bersifat bijektif.

bersifat injektif dan surjektif, maka

Dari pembuktian pembuktian diatas diperoleh terdapat pemetaan ( )

dengan definisi

( ) merupakan homomorfisma yang bersifat bijektif atau pemetaan

merupakan isomorfisma. Jadi terbukti teorema utama homomorfisma ring.

Selanjutnya akan dibuktikan pula untuk fenomena homomorfisma modul. Diberikan yang memenuhi : ( 1. ( 2. ( ) ) ( ( ) ( dan ) dan ( ) , suatu homomorfisma modul

) .............................................................................(iii)

) .......................................................................................(iv) juga dapat dipandang sebagai homomorfisma grup ). Selanjutnya akan didefinisikan himpunan ( ) ( ) * { ( ( ) ) ( ) } + ) yang ( ) hanya merupakan ( ) ) ke (

Perhatikan persamaan (iii) dan (iv) , dari grup abelian ( dan ( ) sebagai berikut :

Dari definisi diatas, selanjutnya

( ) merupakan subgroup dari grup abelian ( ) yang selanjutnya

( ) merupakan subgroup normal. Untuk himpunan ( ) merupakan subgroup normal dari ( ) ( ) * + dengan

subgroup dari grup abelian ( normal. Karena himpunan hanya jika

( ) juga merupakan subgroup , maka dapat dibentuk ( ). Elemen jika dan

( ). Kemudian didefinisikan operasi ( ) ( ) ( ) ( )

sebagai berikut :

( )

( ) ring dengan elemen satuan

Sehingga (

( ) ) merupakan grup faktor abelian dan dengan definisi berikut : ( ) ( ) ( ) ( )

serta operasi pergandaan skalar

( )

Operasi diatas well defined karena :

Ambil sebarang ( ). Karena

dan

( ) dengan sifat

dan

artinya

( ) submodul, maka ( ) ( ) ( ) ( ) ( ) ( )) ( )

Karena

diperoleh ( )

Memenuhi aksioma aksioma berikut : ( 1. 2. ( 3. ( 4. ( ) ) ) ( ( ( ) ( ) ( ) ) )

Selanjutnya akan dibuktikan tentang Teorema Utama Homomorfisma Modul (TUHM) : Diberikan homomorfisma modul, maka Bukti : Untuk ( ) merupakan modul atas ( ) ( ). homomorfisma modul, sehingga memenuhi : telah dibuktikan sebelumnya. Selanjutnya akan dan , jika dan ( ) merupakan ( ).

( ) merupakan modul atas

dibuktikan bahwa Diketahui ( 1. ( 2. ( ) )

merupakan ) dan ( ( ( ) ) ( ) ( ) )

Didefinisikan pengaitan

( ) sebagai berikut : ( ) ( ) ( ) ( ) ( )

Jelas bahwa dengan sifat

( )

merupakan pemetaan karena, jika diambil sebarang sehingga diperoleh :

 ( ( ( ) ( ) ( ( ) Sekarang akan dibutikan bahwa dengan , maka akan jelas bahwa Selanjutnya akan dibuktikan bahwa Ambil sebarang 1. ( ) () ( ( ) ( ) 2. ( ) ( ) ( ) ( ) ) ( ) ( ) Dari pembuktian 1. Dan 2. maka ( ( )

( ) )) ) ( )) ( ) dengan definisi yang sama

tunggal. Andaikan terdapat .

merupakan homomorfisma modul :

( ) dan ( Definisi operasi ) ( Definisi pemetaan ( )

homomorfisma modul ) )

( Definisi pemetaan ( Definisi operasi ) ( Definisi pemetaan (

()

homomorfisma modul ) )

( Definisi pemetaan homomorfisma modul. bersifat bijektif : ( ) dengan sifat artinya ( ( ) ( ) ( ) ( ) ( ( ( ) ( ( ) ( ) ( ) ( )) ) )) ( ) ( ) ( ) ( ).

Selanjutnya akan ditunjukan bahwa 1. Sifat Injektif Ambil sebarang ( ) ( )

( ). Karena ( ) dan

( ) ( ) ( ) ( ).

( ), maka terdapat Akan ditunjukan bahwa

sedemikian sehingga

Diperoleh

dengan kata lain

bersifat injektif.

2. Sifat Surjektif Ambil sebarang Karena Karena ( ) , maka terdapat sedemikian sehingga ( ) . ( ) sehingga untuk setiap .

homomorfisma modul, maka terdapat ( ). Jadi terdapat

( ) sehingga berlaku () bersifat bijektif.

bersifat injektif dan surjektif, maka

Dari pembuktian pembuktian diatas diperoleh terdapat pemetaan ( )

dengan definisi

( ) merupakan homomorfisma yang bersifat bijektif atau pemetaan

merupakan isomorfisma. Jadi terbukti teorema utama homomorfisma modul.