ISOMORFISME

MAKALAH

Diajukan Untuk Memenuhi Tugas Aljabar Abstrak

Dosen Pengampu:

Dr. Muniri, S.Pd

Disusun Oleh :

Alfa Roisya (12851221002)

Anik Setyawati (12851221006)
Eva Rizkiyanti (12851221009)

PROGRAM MAGISTER TADRIS MATEMATIKA

PASCASARJANA
UNIERSITAS ISLAM NEGERI SAYYID ALI RAHMATULLAH
TULUNGAGUNG
APRIL 2022
 1

3.4 Isomorfisme

Dalam mempelajari grup, kita tertarik pada sifat aljabarnya, dan bukan pada bentuk
khusus penyajiannya. Misalnya, jika kita membangunmutabel perkalian untuk dua grup
berhingga dan menemukan bahwa mereka memiliki pola yang sama, meskipun elemen-
elemennya mungkin memiliki bentuk yang berbeda, maka kita akan mengatakan bahwa
grup tersebut memiliki sifat aljabar yang persis sama.

Pertimbangkan subgrup {±1} dari𝑄 𝑋 dan grup 𝑍2 . Jika Anda menuliskan tabel grup
untuk grup ini, Anda akan menemukan pola yang persis sama, seperti yang ditunjukkan
pada Tabel 3.4. 1 dan 3.4.2.

Sebenarnya, jika kita memiliki sembarang grup G dengan dua elemen, katakanlah
elemen identitas e dan satu elemen lainnya a, maka hanya ada satu kemungkinan untuk
perkalian

Tabel 3.4.1: Perkalian dalam {± I}

X 1 -1
1 1 -1
-1 -1 1

Tabel 3.4.2: Penambahan pada 𝑍2

+ [0] [1]
[0] [0] [1]
[1] [1] [1]

tabel untuk G. Kita telah mengamati bahwa Proposisi 3. 1.7 dan 3. 1.8 menyiratkan
bahwa di setiap baris dan kolom tabel grup, setiap elemen grup harus muncul tepat satu
kali. Sejak eis elemen identitas, e . e = e, e . a = a, dan a. e = a. Karena a tidak dapat diulang
 2

pada baris terakhir daritabel, kita harus memiliki a . a = e. Ini memberi kita Tabel 3.4.3, dan
menunjukkan bahwa semua grup dengan dua elemen harus memiliki sifat aljabar yang
persis sama.

Peradalah 3.4.3

e a
e e a
a a e

Korespondensi satu-satu yang mempertahankan produk disebut isomorfisme. Ini

berasal dari kata Yunani isos yang berarti "sama" dan morphe yang berarti "bentuk".

3.4.1 Definisi. Let 𝐺1 dan 𝐺2 menjadi grup, dan biarkan ∅:𝐺1 → 𝐺2 menjadi sebuah fungsi.
Kemudian ∅ dikatakan sebagai isomorfisme grup jika ∅ adalah satu- satu dan onto

∅(ab) =∅(a)∅(b)

untuk semuaa, b∈ 𝐺1 . Pada kasus ini,𝐺1 dikatakan isomorfik untuk𝐺2 , dan ini dilambangkan
dengan 𝐺1 ≅ 𝐺2 .

Ada beberapa konsekuensi langsung dari definisi isomorfisme. Menggunakan

argumen induksi adalah mungkin untuk menunjukkan bahwa

∅ (𝑎1, 𝑎2 … 𝑎𝑛 ) = ∅ (𝑎1 ) ∅ (𝑎2 ).... ∅ (𝑎𝑛 )

untuk setiap isomorfisme∅:𝐺1 → 𝐺2 .Secara khusus,∅(𝑎𝑛 ) == (∅(𝑎))𝑛 untuk semua

bilangan bulat positif n. Membiarkan 𝑒1 dan𝑒2 menjadi elemen identitas 𝐺1 dan 𝐺2 masing-
masing. Kemudian

∅(𝑒1 ). ∅(𝑒1 ) = ∅ (𝑒1 . 𝑒1 ) = ∅(𝑒1 ) = ∅(𝑒1 ). 𝑒1

dan kemudian hukum pembatalan di 𝐺2 menyiratkan bahwa ∅ (𝑒1 ) = 𝑒2 Akhirnya,

 3

∅(𝑎−1 ) . ∅(𝑎) = ∅ (𝑎 −1 . 𝑎) = ∅(𝑒1 ) = 𝑒2

jadi (∅(𝑎))−1 = ∅(𝑎−1 ), dan selanjutnya ∅(𝑎𝑛 ) = ∅(𝑎))𝑛 untuk semua n∈Z. Kita dapat
meringkas dengan mengatakan bahwa setiap isomorfisme grup mempertahankan produk
umum, elemen identitas, dan invers elemen. Mulai sekarang kita biasanya akan
menggunakan e untuk menunjukkan elemen identitas suatu grup, dan kita tidak akan
membedakan antara elemen identitas dari berbagai grup kecuali jika sebaliknya akan terjadi
kebingungan.

Kami telah menekankan bahwa kami benar-benar tidak membedakan (secara

aljabar) antara grup yang isomorfik. Jadi isomorfisme harus hampir seperti kesetaraan.
Bahkan, itu memenuhi sifat-sifat yang mirip dengan hubungan ekivalensi. Ada beberapa
hal yang harus dibuktikan, karena definisi kita tentang isomorfisme grup melibatkan suatu
fungsi, katakanlah∅:𝐺1 → 𝐺2 , dan ini menentukan arah ke isomorfisme.

Properti refleksif berlaku, karena untuk setiap grup G pemetaan identitas adalah
isomorfisme, dan sebagainya𝐺1 ≅ 𝐺2 Jika𝐺1 ≅ 𝐺2 , maka ada isomorfisme∅:𝐺1 → 𝐺2, dan
sejak∅adalah satu-ke-satu dan ke, terdapat fungsi invers∅−1, yang oleh bagian (a) dari
proposisi berikutnya adalah isomorfisme. Dengan demikian𝐺2 ≅ 𝐺1, dan properti simetris
berlaku. Akhirnya, sifat transitif berlaku karena jika𝐺1 ≅ 𝐺2 dan𝐺2 ≅ 𝐺3 , maka oleh bagian
(b) dari proposisi berikutnya komposit dari dua isomorfisme yang diberikan adalah
isomorfisme, menunjukkan bahwa𝐺1 ≅ 𝐺3 .

3.4.2 Proposisi.

(a) Invers dari isomorfisme grup adalah isomorfisme grup.

(b) Gabungan dari dua isomorfisme grup adalah isomorfisme grup.

Bukti (a) Mari∅:𝐺1 → 𝐺2menjadi isomorfisme grup. Sejak∅adalah satu-ke-satu dan ke,
dengan Proposisi 2. 1.7 ada fungsi invers𝜃:𝐺2 → 𝐺1. Ingat itu𝜃didefinisikan sebagai
berikut: untuk setiap elemen𝑔2 ∈ 𝐺2 ada elemen unik 𝑔1 ∈ 𝐺1seperti yang ∅(𝑔1 ) = 𝑔2 , lalu
 4

𝜃(𝑔2 ) = 𝑔1 . Sebagai konsekuensi langsung dari definisi 𝜃, kita punya 𝜃∅ sama dengan
identitas pada𝐺1 dan∅𝜃sama dengan identitas pada 𝐺2 . Definisi tersebut juga menyiratkan
bahwa𝜃adalah satu-ke-satu dan ke. Yang tersisa hanyalah menunjukkan
bahwa 𝜃 melestarikan produk. Membiarkan 𝑠𝑒𝑏𝑢𝑎ℎ1 ,𝑠𝑒𝑏𝑢𝑎ℎ2 ∈ 𝐺2 , dan biarkan 𝜃 (𝑎2 ) =
𝑎1 and 𝜃 (𝑏2 ) = 𝑏1 . Then ∅ (𝑎1 ) = 𝑎2 and ∅ (𝑏1 ) = 𝑏2 , jadi

∅ (𝑎1 𝑏1) = ∅ (𝑎1 ) ∅ (𝑏1 ) = 𝑎2 𝑏2 ,

Yang menunjukkan, dengan definisi 𝜃, itu

𝜃(𝑎2 𝑏2 ) =𝑎1 𝑏1=𝜃(𝑎2 )𝜃(𝑏2 ) .

(b) biarkan∅:𝐺1 → 𝐺2 dan𝜃:𝐺2 → 𝐺1 menjadi isomorfisme grup. Dengan proposisi 2.1.5,

gabungan dari dua fungsi satu-satu dan ke atas adalah gain satu-satu dan ke atas,
jadi𝜃∅adalah satu-ke-satu dan ke. Jika a,b∈ 𝐺1 , kemudian

𝜃∅ (ab) = 𝜃(∅(𝑎𝑏)) = 𝜃(∅(𝑎)∅(𝑏)) = 𝜃(∅(𝑎)𝜃(∅(𝑏)) = 𝜃∅(𝑎)𝜃∅(𝑏)

Menunjukkan bahwa 𝜃∅ melestarikan produk.

Contoh 3.4.1(〈𝒊〉 ≅ 𝒁𝟒 ).

Pertimbangkan subgrup〈𝒊〉 = {±1, ±𝑖}dari CX tabel 3.4.4 memberikan tabel perkalian untuk
subkelompok ini.

Tabel 3.4.4: perkalian dalam〈𝒊〉

1 -1 i -i
1 1 -1 i -i
-1 -1 1 -i i
i i -i -1 1
-i -i i 1 -1
 5

Meskipun Tabel 3.4.4 menyajikan grup dalam urutan yang paling alami, akan berguna
untuk mengatur ulang tabel. Sangat menarik untuk mengatur meja dalam urutan

Tabel 3.4.5: Perkalian dalam〈𝒊〉

𝑖0 𝑖1 𝑖2 𝑖3
𝑖0 𝑖0 𝑖1 𝑖2 𝑖3
𝑖1 𝑖1 𝑖2 𝑖3 𝑖0
𝑖2 𝑖2 𝑖1 𝑖0 𝑖3
𝑖3 𝑖3 𝑖0 𝑖1 𝑖2

1, 𝑖 , −1, −𝑖,seperti yang ditunjukkan pada Tabel 3.4.5. Sebenarnya,

1 = 𝑖 0 , 𝑖 = 𝑖 1 , −1 = 𝑖 2 , 𝑎𝑛𝑑 𝑖 3 = −𝑖, kami telah menggunakan representasi ini dalam
tabel.

Untuk perbandingan, pada Tabel 3.4.6 kami memberikan tabel penambahan untuk 𝑍4 .
elemen dari𝑍4 muncul dalam posisi yang persis sama dengan eksponen i pada tabel
sebelumnya. Ini menggambarkan secara konkret gagasan intuitif bahwa perkalian pangkat i
harus sesuai dengan penambahan eksponen.

Tabel 3.4.6: Penambahan pada 𝑍4

[0] [1] [2] [3]

[0] [0] [1] [2] [3]
[1] [1] [2] [3] [0]
[2] [2] [3] [0] [1]
[3] [3] [0] [1] [2]

Untuk membuat isomorfisme tepat, tentukan fungsi∅: 𝑍4 → 〈𝑖〉 oleh ∅: ([𝑛]) = 𝑖 𝑛 . Rumus
ini tergantung pada pemilihan perwakilan n dari kelas ekivalensinya, jadi untuk
 6

menunjukkan bahwa fungsi terdefinisi dengan baik, kita harus menunjukkan bahwa
jika 𝑛 ≡ 𝑚 (𝑚𝑜𝑑 4), kemudian 𝑖 𝑛 = 𝑖 𝑚 . . Ini segera mengikuti dari Proposisi 3.2.8, karena i
memiliki orde 4. Fungsi mendefinisikan korespondensi satu-satu, jadi yang tersisa hanyalah
menunjukkan bahwa∅mempertahankan operasi masing-masing. Pertama-tama kita harus
menambahkan elemen [n] dan [m] dari 𝑍4 (menggunakan operasi dalam 𝑍4 ) dan kemudian
terapkan∅, andbandingkan ini dengan elemen yang kita peroleh dengan terlebih dahulu
menerapkan∅lalu dikalikaning (menggunakan operasi di〈𝑖〉):

∅ ([n] + [m]) = ∅ ([n + m]) == 𝑖 𝑛+𝑚 = 𝑖 𝑛 𝑖 𝑚 == ∅ ([n]) ∅ ([m]).

Disimpulkan bahwa adalah isomorfik grup.

Contoh 3.4.2 (Fungsi eksponensial dan logaritma).

Grup R (di bawah penjumlahan) dan R+ (di bawah perkalian) adalah isomorfik.
Tentukan 𝜙: R → R+ dengan 𝜙(x) == ex. Kemudian 𝜙 mempertahankan operasi
masing-masing oprasi sejak 𝜙(x + y) = ex+y == ex ey = 𝜙 (x) 𝜙 (y). Untuk
menunjukkan bahwa 𝜙 adalah satu-satu, misalkan 𝜙 (x) = 𝜙 (y). Kemudian ambil
logaritma natural dari setiap sisi persamaan ex = ey memberikan x = y. Akhirnya, 𝜙
adalah pemetaan ke karena untuk sembarang y ∈ R+ kita memiliki y = eln(y)= 𝜙
(In(y)) .

Untuk menunjukkan bahwa dua gugus Gl dan G2 isomorfik, seringkali diperlukan

sebenarnya mendefinisikan fungsi yang memberikan isomorfisme. Dalam prakteknya,
biasanya ada beberapa korespondensi alami antara elemen yang menunjukkan bagaimana
mendefinisikan fungsi yang diperlukan.

Di sisi lain, untuk menunjukkan bahwa grup tidak isomorfik, tidak praktis untuk
mencoba memeriksa semua korespondensi satu-ke-satu antara kelompok untuk melihat
bahwa tidak ada diantaranya melestarikan produk. (Tentu saja, jika tidak ada korespondensi
satu-satu antara kelompok, mereka tidak isomorfik. Misalnya, tidak ada grup dengan empat
 7

elemen dapat isomorfik ke grup dengan lima elemen.) Yang perlu kita lakukan adalah
untuk menemukan properti dari grup pertama yang (i) grup kedua tidak memiliki dan (ii)
akan dipertahankan oleh isomorfisme apapun. Proposisi berikutnya mengidentifikasi
beberapa sifat struktural yang diawetkan oleh isomorfisme kelompok

3.4.3 Proposisi. Misalkan : G1 → G2 merupakan isomorfisme grup.

(a) Jikaa berorde n di G1 , maka 𝜙(𝑎) berorde n di G2

(b) Jika G1 abelian, maka G2 juga demikian

(c) Jika G1 siklik, maka G2 juga demikian

Bukti (a) Misalkan a ∈ G1 dengan 𝑎n = e. Maka kita harus memiliki (𝜙 (𝑎))n = 𝜙 (𝑎n) =
𝜙(e) = e. Hal ini menunjukkan bahwa orde 𝜙(𝑎) merupakan pembagi dari orde 𝑎. Karena
adalah isomorfisme, maka terdapat isomorfisme invers yang memetakan 𝜙(𝑎) ke 𝑎, dan
argumen serupa menunjukkan bahwa orde 𝑎 adalah pembagi orde dari 𝜙(𝑎). Oleh karena
itu 𝑎 dan 𝜙(𝑎) harus memiliki orde yang sama.

(b) Asumsikan bahwa G1 adalah abelian, dan misalkan a2, b2 ∈ G2 . Karena adalah
pemetaan ke (onto mapping), ada a1 , b1 ∈ G1 dengan 𝜙 (a1 ) = a2 dan 𝜙 (b1 ) = b2 .
Kemudian

𝑎2 𝑏2 = 𝜙(𝑎1 )𝜙(𝑏1 ) = 𝜙(𝑎1 𝑏1 ) = 𝜙(𝑏1 𝑎1 ) = 𝜙(𝑏1 )𝜙(𝑎1 ) = 𝑏2 𝑎2

menunjukkan bahwa G2 adalah abelian.

(c) Misalkan G1 adalah siklik, dengan G1 = (𝑎). Untuk setiap elemen y ∈ G2 kita miliki y =
(x) untuk beberapa x ∈ G1 , karena ke atas. Menggunakan asumsi bahwa G1 adalah
siklik,kita dapat menulis x = 𝑎n untuk beberapa n ∈ Z. Kemudian y = (𝑎n) == (𝜙 (𝑎))n ,
yang menunjukkan bahwa setiap elemen G2 dapat dinyatakan sebagai pangkat dari (𝑎) .
Jadi G2 adalah siklik, dihasilkan oleh (𝑎).
 8

Contoh 3.4.3 (𝑅 ≇ 𝑅 × ).

Grup aditif R dari bilangan real tidak isomorfik terhadap perkalian kelompokkan 𝑅 ×
bilangan real bukan nol. Salah satu cara untuk melihat ini adalah dengan mengamati bahwa
𝑅 × memiliki elemen orde 2 yaitu, - 1 . Di sisi lain, sebuah element orde 2 di R harus
memenuhi persamaan 2x = 0 (dalam notasi aditif). Itu satu-satunya solusi adalah x = 0, dan
ini menunjukkan bahwa R tidak memiliki elemen urutan 2. Jadi tidak mungkin ada
isomorfisme antara dua kelompok, karena dengan Proposisi 3.4.3 itu akan mempertahankan
urutan semua elemen.

Contoh 3.4.4 (𝒁𝟒 ≇ 𝒁𝟐 × 𝒁𝟐 )

Grub siklik 𝑍4 dan gugus empat Klein 𝑍2 x Z2 tidak isomorfik. Di Z4 terdapat unsur
orde 4 yaitu [1]. Sebaliknya, urutan sebuah elemen dalam produk langsung adalah kelipatan
persekutuan terkecil dari ordokomponennya, dan setiap elemen Z2 x Z2 yang tidak sama
dengan identitasnya harus ada pesanan 2.

Untuk memotivasi beberapa pekerjaan lebih lanjut dengan isomorfisme, mari kita
tanyakan yang berikut ini pertanyaan. Manakah dari kelompok S3, GL2(Z2), Z6, dan Z2 x Z3
isomorfik? Itu dua kelompok pertama yang kita kenal sebagai nonabelian. Di sisi lain,
setiap grup siklik adalah abelian, karena kekuatan elemen tetap akan bolak-balik satu sama
lain. Elemen ([ 1], [1]) dari Z2 x Z3 memiliki orde 6 (kelipatan persekutuan terkecil dari 2
dan 3), dan seterusnya Z2 x Z3 adalah siklik, serta Z6. Dengan demikian empat kelompok
mewakili setidaknya dua yang berbeda kelas isomorfisme. Proposisi 3.4.5 akan
menunjukkan bahwa Z2 x Z3 isomorfik terhadap Z6,dan contoh berikut menunjukkan bahwa
dua kelompok nonabelian yang kita pertimbangkan adalah juga isomorfik.
 9

Contoh 3.4.5 (𝑮𝑳𝟐 (𝒁𝟐 ) ≅ 𝑺𝟑 )

Lihat table 3.3.5 untuk table perkalian 𝐺𝐿2 (𝑍2 ). Untuk mendirikan koneksi antara 𝑆3
dan 𝐺𝐿2 (𝑍2 ), membiarkan
1 0 1 1 0 1
𝑒=[ ], 𝑎=[ ], 𝑎𝑛𝑑 𝑏 = [ ]
0 1 1 0 1 0
Kemudian perhitungan langsung menunjukkan bahwa 𝑎3 = 𝑒, 𝑏 2 = 𝑒 𝑎𝑛𝑑 𝑏𝑎 = 𝑎2 𝑏.
Dengan setiap elemen 𝐺𝐿2 (𝑍2 ) dapat diekpresikan secara unik dalam salah satu dari
berikut : 𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏. Jika kita membuat subtitusi ini dalam perkalian untuk 𝐺𝐿2 (𝑍2 ),
diperoleh taebl 3.4.7
Dalam bagian 3.3 kami menjelaskan 𝑆3 dengan membiarkan 𝑎 = (1,2,3) 𝑎𝑛𝑑 𝑏 = (1,2),
yang dapat ditulis
𝑆3 = (𝑒, 𝑎, 𝑎2 , 𝑏, 𝑎𝑏, 𝑎2 𝑏) kemudian 𝑎3 = 𝑒, 𝑏 2 = 𝑒, 𝑏𝑎 = 𝑎2 𝑏

Tabel 3.4.7 Multiplication in 𝐺𝐿2 (𝑍2 )

Tanpa menggunakan permutasi. Ini menunjukkan bagaimana mendefinisikan isomorphism

dari 𝑆3 ke 𝐺𝐿2 (𝑍2 ) . Let
 10

1 1 0 1
∅(1,2,3) = [ ] dan ∅(1,2) = [ ]
1 0 1 0
Kemudian diperluas ke semua elemen
1 1𝑖 0 1𝑗
∅(1,2,3)𝑖 (1,2)𝑗 = [ ] [ ]
1 0 1 0
Untuk 𝑖 = 0,1,2 dan 𝑗 = 0,1. Pernyataan kami tentang bentuk bentuk unik dari masingg-
masing elemen menunjukkan bahwa korespondesi satu-satu. Fakta bahwa table perkalian
identik menunjukkan ∅ berlaku dua operasi. Ini membuktikan bahwa ∅ adalah
ishomorphism.

Contoh 3.4.6 (𝒁𝟔 ≅ 𝒁𝟐 × 𝒁𝟑 )

Menggunakan ide dari contoh sebelumnya, untuk menunjukkan bahwa 𝑍6 dan 𝑍2 × 𝑍3
adalah ishomorphism. Kita dapat mencari elemen yang dapat digunakan untuk
menggambarkan setiap grup. Karena kita telah mengamati dalam contoh 3.2.8 dan 3.3.5
bahwa kedua grup adalah siklik, kita dapat membiarkan 𝑎 sebagai generator untuk 𝑍6 dan 𝑏
untuk generator 𝑍2 × 𝑍3 . Kemudian fungsi ∅(𝑛𝑎) = 𝑛𝑏 dapat ditunjukkan untuk
mendefinisikan sebuah ishomorphism. (Ingat bahwa kita menggunakan fungsi aditif).
Proposisi berikut akan memberikan cara yang lebih mudah untuk memeriksa bahwa
suatu fungsi yang mempertahankan products adalah satu ke satu. Dalam notasi aditif itu
tergantung pada fakta bahwa setiap pemetaan mempertahankan jumlah yang dimiliki
∅(𝑥1 ) = ∅(𝑥2 ) jika dan hanya jika ∅(𝑥1 − 𝑥2 ) = 0. Setiap ruang vektor adalah grup
abelian dibawah penjumlahan vektor, dan sembarang linier transformasi mempertahankan
jumlah. Sehingga hasil transformasi liniernya adalah satu-ke-satu jika dan hanya jika ruang
nolnya adalah kasus khusus dari proposisi berikutnya.

Proposisi 3.4.4
Misalkan 𝐺1 dan 𝐺2 menjadi grup dan misalkan ∅ ∶ 𝐺1 → 𝐺2 sebuah fungsi sehingga
∅(𝑎𝑏) = ∅(𝑎)∅(𝑏) untuk semua 𝑎, 𝑏 ∈ 𝐺1 . Kemudian ∅ adalah satu ke satu jika dan hanya
jika ∅(𝑥) = 𝑒 impikasi 𝑥 = 𝑒, untuk semua 𝑥 ∈ 𝐺1
 11

Pembuktian :
Misalkan ∅ ∶ 𝐺1 → 𝐺2 memenuhi hipotesis proposisi. Jika ∅ adalah satu ke satu, maka
satu-satunya elemen yang dapat memetakan identitas 𝐺2 adalah identitas 𝐺1 . Sebaliknya
misalkan ∅(𝑥) = 𝑒 implikasi 𝑥 = 𝑒, untuk semua 𝑥 ∈ 𝐺1 jika ∅(𝑥1 ) = ∅(𝑥2 ) untuk
beberapa 𝑥1 , 𝑥2 ∈ 𝐺1 , maka ∅(𝑥1 𝑥2 −1 )∅(𝑥2 ) = ∅(𝑥1 𝑥2 −1 𝑥2 ) = ∅(𝑥1 ) = ∅(𝑥2 ) = 𝑒∅(𝑥2 )
jadi kita bisa membatalkan ∅(𝑥2 ) untuk memulai ∅(𝑥1 𝑥2 −1 ) = 𝑒 yang menunjukkan
asumsi bahwa 𝑥1 𝑥2 −1 = 𝑒 dan dengan demikian 𝑥1 = 𝑥2 . Hal ini menunjukkan ∅ adalah
satu ke satu.
Proposisi 3.4.5
Jika 𝑚, 𝑛 adalah bilangan bulat positif sehingga 𝑔𝑐𝑑(𝑚, 𝑛) = 1, maka 𝑍𝑚𝑛 adalah
ishomorphic dari 𝑍𝑚 × 𝑍𝑛
Pembuktian :
Definisi ∅ ∶ 𝑍𝑚𝑛 → 𝑍𝑚 × 𝑍𝑛 untuk ∅([𝑥]𝑚𝑛 ) = ([𝑥]𝑚 , [𝑥]𝑛 ). Jika 𝑎 ≡ 𝑏(𝑚𝑜𝑑𝑚𝑛),
maka 𝑎 ≡ 𝑏(𝑚𝑜𝑑 𝑚) dan 𝑎 ≡ 𝑏(𝑚𝑜𝑑 𝑛), dan ∅ terdefinisi dengan baik. Sangat mudah
untuk memeriksa bahwa ∅ mempertahankan jumlah. Untuk menunjukkan bahwa ∅ adalah
satu ke satu kita dapat menggunakan proposisi sebelumnya. Jika ∅([𝑥]𝑚𝑛 ) = ([0]𝑚 , [0]𝑛 ),
maka 𝑚 dan 𝑛 harus pembagi dari 𝑥. Karena 𝑔𝑐𝑑(𝑚, 𝑛) = 1, maka 𝑚𝑛 harus merupakan
pembagi dari 𝑥, yang menunjukkan bahwa [𝑥]𝑚𝑛 = [0]𝑚𝑛 . Karena kedua grup memiliki
jumlah unsur yang sama setiap pemetaan satu ke satu termasuk onto dan dengan demikian
∅ adalah ishomorphism.
Pada latihan soal untuk menunjukkan bahwa dua grup 𝐺1 dan 𝐺2 adalah ishomorphism,
harus mendefinisikan fungsi satu ke satu dari satu grup ke grup lainnya. Terkadang lebih
mudah untuk mendefinisikan fungsi di satu arah daripada di yang lainnya. Jadi ketika
sedang mengerjakan masalah, mungkin ada baiknya memeriksa kedua cara. Kebalikka dari
fungsi yang kita gunakan dalam membuktikan proposisi 3.4.5. Diketahui ∅ ∶ 𝑍𝑚𝑛 → 𝑍𝑚 ×
𝑍𝑛 didefinisikan oleh ∅([𝑥]𝑚𝑛 ) = ([𝑥]𝑚 , [𝑥]𝑛 ) invers harus tetap untuk setiap
([𝑎]𝑚𝑛 , [𝑏]𝑛 ) ∈ 𝑍𝑚 × 𝑍𝑛 untuk setiap [𝑥]𝑚𝑛 ∈ 𝑍𝑚𝑛 sedemikian sehingga 𝑥 ≡ 𝑎(𝑚𝑜𝑑 𝑚)
 12

dan 𝑥 ≡ 𝑏(𝑚𝑜𝑑 𝑛). Kita dapat menerapkan teorema sisa cina (Teorema 1.3.6) untuk
mendefinisikan fungsi ke arah ini, tetapi cara lain tampak lebih natural