TUGAS STRUKTUR ALJABAR

NAMA : 1. DESSY ANGGRENI

2. YETTI WIDIARTI

PROGRAM STUDI PASCASARJANA PENDIDIKAN MATEMATIKA

FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN
UNIVERSITAS BENGKULU
2020
5. Homomorphisms And Normal Subgroup (Homomorfisme dan
Subgroup Normal)
Dalam arti tertentu subjek teori grup dibangun dari tiga konsep dasar:
homomorfisme, subgrup normal, dan faktor atau hasil grup oleh subgrup normal. Kami
membahas dua yang pertama di bagian ini, dan yang ketiga di Bagian 6.
Tanpa basa-basi kami memperkenalkan yang pertama.
Definisi
Misalkan G, G’ masing – masing adalah grup, pemetaan : G G’ adalah
Homomorfisma jika φ (ab) = φ ( a ) φ (b) untuk semua a, b ∈ G.
(Catatan : φtidak ada hubungannya dengan φ fungsi Euler)
Dalam definisi ini hasil di sisi kiri — dalam φ (ab)—adalah hasil G, sedangkan
hasil φ (a) φ (b) adalah produk G '. Penjelasan singkat tentang homomorfisme adalah
bahwa ia mempertahankan operasi G. Kami tidak mendesak agar φ ke operasi, jika ya,
kami akan mengatakan itu. Sebelum mengerjakan beberapa fakta tentang homomorfisme,
kami menyajikan beberapa contoh.
Contoh
1. Misalkan G adalah grup semua bilangan real positif di bawah penggandaan real, dan
G ' grup semua real di bawah penambahan. Misalkan φ : G G ' didefinisikan oleh
φ (x) = log10 x untuk x ∈ G. Karena log10 (xy) = log10 x + log10 y, kami memiliki φ(xy
) = φ (x) + φ (y), jadi φ adalah homomorfisme. Itu juga kebetulan ke dan 1-1.
2. Misalkan G ke grup abelian dan misalkan φ: G G’ didefinisikan oleh
φ (a) = a2. Karena φ (ab) = (ab)2 = a2b2 = φ (a) φ (b), φ adalah homomorfisme G ke
dalam dirinya sendiri. Tidak perlu ke atas, pembaca harus memeriksa bahwa dalam
Us (lihat Bagian 4) a2 = e untuk semua a ∈ U8, jadi φ (G) = (e)
3. Contoh U8 di atas menunjukkan apa yang disebut homomorfisme trivial. Misalkan G
adalah grup apa pun dan G 'yang lain; definisikan φ (x) = e', elemen unit G ', untuk
semua x ∈ G. Trivial, φ adalah homomorfisme G ke G'. Ini tentu saja bukan yang
sangat menarik.
Homomorfisme lain selalu hadir adalah pemetaan identitas i dari grup manapun
G ke dalam dirinya sendiri. karena i(x) = x untuk semua x ∈ G, jelas i (xy) = xy = i
(x) i (y). peta itu i adalah 1-1 dan ke atas, tetapi, sekali lagi, tidak terlalu menarik
sebagai homomorfisme.
 4. Misalkan G adalah grup bilangan bulat di bawah + dan G ' = {1, -1}, subgrup real
dengan dikalikan multiplikasi. Definisikan φ(m) = 1 jika m adalah genap,
φ(m) = -1 jika m adalah ganjil. Pernyataan bahwa φ adalah homomorfisme
hanyalah pernyataan ulang dari:
genap + genap = genap, genap + ganjil = ganjil, dan ganjil + ganjil = genap
5. Misalkan G grup semua bilangan kompleks bukan nol di bawah perkalian dan
misalkan G ' ke grup bilangan real positif di bawah perkalian. Misalkan
φ: G -> G ' didefinisikan oleh φ (a) = |a| ; lalu φ (ab) = |a||b|= φ(a) φ(b), jadi φ
adalah homomorfisme dari G ke G '. Bahkan, φ ada.
6. Misalkan G adalah grup dalam Contoh 6 Bagian 1, dan G ' grup bukan nol dalam
penggandaan. Tentukan φ: G G ' oleh φ (Ta.b) = a. Itu φ adalah homomorfisme
yang mengikuti dari aturan produk dalam G, yaitu, Ta.b Tc.d = T ac, ad + b
7. Misalkan G = Z adalah grup bilangan bulat di bawah + dan misalkan G ' = Z „.
Tentukan φ: G Z "oleh φ(m) = [m]. Karena penambahan dalam Z didefinisikan
oleh [m] + [r] = [m + r], kita melihat bahwa φ (m + r) = φ (m) + φ (r), jadi φ
adalah memang homomorfisme dari Z ke Z.
8. Konstruksi umum berikut ini memunculkan teorema yang terkenal. Misalkan G ke
grup mana pun, dan misalkan A(G) ke himpunan semua 1-1 pemetaan G ke dirinya
sendiri - di sini kita melihat G hanya sebagai suatu himpunan, melupakan tentang
penggandaannya. Tentukan Ta : G G oleh
Ta(x) = ax untuk setiap i ∈ G, Apa hasil, Ta Tb, dari Ta dan Tb sebagai pemetaan
pada G? Baiklah,
(Ta Tb) (x) = Ta (Tb x) = Ta (b x) = a (bx) = (ab) x = Tab(x)
(kami menggunakan hukum asosiatif). Jadi kita melihat bahwa Ta Tb = Tab.
Mendefinisikan pemetaan φ : G -> A(G) oleh φ(a) =Ta untuk a ∈ G. Hasil aturan
untuk menerjemahkan T ke dalam φ(ab) = Tab = TaTb = φ(a) φ(b), jadi φ adalah
homomorfisme G ke A(G). Kami mengklaim bahwa φ adalah 1-1. Misalkan
φ(a) = φ(b), yaitu, Ta = Tb. Oleh karena itu, a = Ta(e) = Tb(e) = b, jadi φ memang 1-1. Ini
tidak pada umumnya — misalnya, jika G memiliki urutan n > 2, maka A(G) memiliki
urutan n!, dan karena n! > n, φ tidak memiliki peluang untuk ke. Sangat mudah untuk
memverifikasi bahwa gambar φ, φ (G) = {Ta | a ∈ G}, adalah subgrup dari A(G).
Fakta bahwa φ adalah 1-1 menunjukkan bahwa mungkin 1-1 homomorfisme harus
memainkan peran khusus. Kami memilihnya dalam definisi berikut.
Definisi.
 Homomorfisme φ: G G' disebut monomorfisme jika φadalah 1-1. Monomorfisme
yang disebut disebut isomorfisme. Isomorfisme dari G ke G sendiri disebut automorfisme.
Satu definisi lagi.
Definisi.
Dua grup G dan G 'dikatakan isomorfik jika ada isomorfisme G onto G'.

Kami akan menyatakan bahwa G dan G 'adalah isomorfik dengan menulis G ͂- G'.
Definisi ini tampaknya asimetris, tetapi, pada kenyataannya, tidak. Karena jika
ada isomorfisme G ke G ', ada salah satu G' ke G (lihat Masalah 2).
Kita akan membahas lebih teliti nanti apa artinya dua grup ke isomorfik. Tapi
sekarang kita meringkas apa yang kita lakukan dalam Contoh 8.

Teorema 2.5.1 (Cayley Teorema).

Setiap grup G isomorfis beberapa subgrup A (S), untuk semua S.
Yang sesuai S yang kami gunakan adalah G itu sendiri. Tetapi mungkin ada pilihan
yang lebih baik. Kita akan melihat beberapa masalah yang akan terjadi.
Ketika G adalah terbatas, kita dapat mengambil himpunan S dalam Teorema 2.5.1
ke terbatas, dalam hal ini A(S) adalah Sn dan elemen-elemennya adalah permutasi. Dalam
hal ini, Teorema Cayley biasanya dinyatakan sebagai: Grup hingga dapat diwakili sebagai
grup permutasi.
(Arthur Cayley (1821-1895) was an English mathematician who worked in matrix
theory, invariant theory, and many other parts of algebra.)

Ini adalah tempat yang baik untuk membahas pentingnya "isomorfisme." Misalkan
φ isomorfisme G ke G '. Kita dapat melihat G ' sebagai pelabelan ulang G, menggunakan
label φ(x) untuk elemen x. Apakah pelabelan ini konsisten dengan struktur G sebagai suatu
grup? Yaitu, jika x berlabel φ(x), y berlabel φ(y), apa yang xy diberi label? Karena φ (x) φ
(y) = φ (xy), kita melihat bahwa xy diberi label sebagai φ (x) φ (y), jadi penamaan ulang
elemen-elemen ini konsisten dengan produk dalam G. Jadi dua grup yang isomorfik —
meskipun mereka tidak harus sama — dalam arti tertentu, seperti yang dijelaskan di atas,
sama. Seringkali, diinginkan untuk dapat mengidentifikasi grup tertentu sebagai isomorfik
untuk beberapa grup nyata yang kita tahu. Kami melanjutkan dengan lebih banyak contoh.

9. Misalkan G ke grup, a ∈ G. Definisikan

φ: G -> G dengan φ (x) =a-1xa untuk semua x ∈ G. Kami mengklaim bahwa φ
 adalah isomorfisma G pada dirinya sendiri.
Pertama,
φ (xy) = a-1x(xy) a = a-1xa • a-1xya = φ (x) φ (y),
jadi φ setidaknya merupakan homomorfisme G ke dalam dirinya sendiri. Ini 1-1
untuk jika φ (x) = φ (y), maka a-1xa = a-1ya, jadi dengan pembatalan di G kita
mendapatkan x = y. Akhirnya, φ adalah homomorfisme untuk
x = a-1(axa-1)a = φ (axa-1) untuk setiap x ∈ G.
Berikut φ disebut automorphism G incluid. Gagasan automorphism dan beberapa
propertinya akan muncul dalam masalah.
Satu contoh terakhir:
10. Misalkan G ke grup bilangan real di bawah + dan misalkan G ' adalah grup semua
bilangan kompleks bukan nol di bawah penggandaan. Tetapkan φ: G -> G' oleh
φ (x) = cosx + i sinx.
Kami melihat bahwa (cos x + i sin x) (cos y + i sin y) = cos (x + y) + i sin (x + y),
maka φ ( x) φ (y) = φ (x + y) dan φ adalah homomorfisme G ke G '. φ bukan 1-1
karena, misalnya, φ (0) = φ (2π) = 1, juga tidak φ .

Sekarang kita memiliki beberapa contoh di tangan, kita mulai sedikit

penyelidikan homomorfisme. Kita mulai dengan
Lemma 2.5.2.
Jika φ adalah homomorfisme G ke G ', maka:
(a) φ (e ) = e', elemen unit G'.
(b) φ {a-1) = φ (a)-1 untuk semua a ∈G.
Karena x = xe, φ(x) = φ(xe) = φ (x) φ (e); dengan pembatalan di G ' kita
mendapatkan φ {e) = e'. Juga, φ(aa-1) = φ (e) = e', maka e' = φ (aa-1) = φ (a) φ (a-1), yang
membuktikan bahwa φ (a-1) = φ (a)-1

Definisi.
Gambar untuk φ, φ(G), adalah φ (G) = (φ (a) | a ∈G}.
Kami meninggalkan kepada pembaca bukti

Lemma 2.5.3.
Jika ada homomorfisme G ke G ', maka bayangan φ adalah subgrup dari G'.
 Kami memilih homomorfisme tertentu dan menyebutnya monomorfisme.
Properti mereka adalah 1-1. ini petunjuknya

Definisi
Jika φ adalah homomorfisma dari G ke G 'maka kernel dari φ, Ker φ, didefinisikan oleh
Ker φ ={ a ∈G | φ (a) = e' }
Ker φ mengukur kurangnya 1-1 'ness at one point e'. Kami mengklaim bahwa
kekurangan ini agak seragam. Apa itu W = {x ∈ G φ (x) = w' } untuk yang diberikan
w' ∈ G'? Kami menunjukkan bahwa jika φ (x) = w ' untuk beberapa x∈ G, maka
W = [kx k ∈ Ker φ = (Ker φ) x. Jelas, jika k ∈ Ker φ dan φ(x) = w', maka
φ(kx) = φ(k) φ(x) = e'φ (x) = w', jadi kx ∈ W. Juga, jika φ(x) = φ(y) = w', maka
φ(x) = φ(y), maka φ(y) φ(x)-1 = e' tetapi φ(x)-1 = φ(x-1) oleh Lemma 2.5.2,
jadi e' = φ (y) φ(x)-1 = φ (y) φ (x-1) = φ (yx-1), dari mana yx-1 ∈ Ker φ dan begitu
y ∈ (Ker φ) x. Jadi gambar terbalik dari setiap elemen w' dalam φ(G) ∈ G' adalah
himpunan (Ker φ)x, di mana x adalah elemen dalam G sedemikian sehingga φ (x) = w'.
Kami menyatakan ini sebagai

Lemma 2.5.4.
Jika w' ∈ G' adalah bentuk dari φ (x) = w', maka { y ∈G | φ (y) = w' } = (Ker φ) x.

Kita sekarang akan mempelajari beberapa sifat dasar dari kernel homomorfisma.
Teorema 2.5.5.
Jika φ adalah homomorfisma dari G ke G', maka
(a) Ker φ adalah subgrup G.
(b) Diberikan a ∈ G, a-1 (Ker φ) a ∁ Ker φ.
Bukti.
Meskipun ini sangat penting, buktinya mudah. Jika a, b ∈ Ker φ, maka φ (a) = φ
(b) = e ', maka φ (ab) = φ (a) φ (b) = e', di mana ab ∈ Ker φ, jadi Ker φ adalah ditutup di
bawah produk. Juga φ (a) = e ' menyiratkan bahwa φ (a-1) = φ(a)-1 = e', dan jadi
a-1∈ Ker φ. Oleh karena itu, Ker φ adalah subgrup dari G. Jika k ∈ Ker φ dan ∈ G, maka φ
(k) = e '. Akibatnya, φ (a-1ka) = φ (a-1) φ (k) φ (a) = φ {a -1)e' φ(a) = φ {a-1) φ(a) = φ(a-1a) =
φ(e) = e '. Ini memberitahu kita bahwa a-1ka ∈ Ker φ , maka a-1 (Ker φ) a ∈ Ker φ Teorema
sekarang sepenuhnya terbukti.
Akibat wajar.
Jika φ adalah homomorfisme G ke G ', maka φ adalah monomorfisme jika dan hanya jika
Ker φ = (e).
Bukti.
Hasil ini benar-benar merupakan akibat wajar bagi Lemma 2.5.4. Kami
menyerahkan beberapa detail kepada pembaca.
Properti (b) dari Ker φ di Theorem 2.5.5 adalah properti yang menarik dan
mendasar untuk dinikmati subgrup. Kami mengalami properti ini dalam materi teks dan
masalah sebelumnya pada beberapa kesempatan. Kami menggunakannya untuk
mendefinisikan kelas sub-grup yang sangat penting.

Definisi.
Subgrup N dari G dikatakan subgrup normal G jika a-1Na ∁ N untuk setiap a ∈ G.
Tentu saja, Ker φ, untuk homomorfisma apapun, adalah subgrup normal dari G.
Seperti yang akan kita lihat dalam bagian berikutnya, setiap subgrup normal G adalah
kernel dari beberapa homomorfisme G yang sesuai menjadi grup sesuai G’. Jadi dalam arti
tertentu, pengertian homomorfisme dan subgrup normal akan ditunjukkan setara.
Meskipun kita mendefinisikan subgrup normal melalui a-1Na ∁ N, kita benar-
benar memiliki a-1Na = N. Untuk jika a-1Na ∁ N untuk semua ∈ G, maka N = a (a-1Na)a-1
∁ aNa-1 = (a-1)-1 Na-1 ∁ N. Jadi N = aNa-1 untuk setiap a ∈ G. Transposing, kita punya
Na = aN, yaitu setiap koset kiri dari N di G adalah coset kanan N dalam G. Di sisi lain, jika
setiap coset kiri N di G.
Pada coset kanan, maka coset kiri N, yang berisi a, harus sama dengan coset kanan
yang berisi a, yaitu Na. dengan demikian, aN = Na dan N = a-1Na untuk semua a ∈G, yang
mengatakan bahwa N adalah normal di G.
Kami menulis "N adalah subgrup normal dari G" dengan simbol disingkat N ∆ G
Perhatikan bahwa a-1Na = N tidak berarti bahwa a-1na = n untuk setiap n ∈G,
tidak ada-hanya bahwa himpunan semua a-1na adalah sama dengan himpunan semua n.
Kami telah membuktikan

Teorema 2.5.6.
N ∆G jika dan hanya jika setiap coset kiri N di G adalah coset kanan N di G.
 Sebelum melangkah lebih jauh, kita berhenti sejenak untuk melihat beberapa
contoh kernel homomorphisms dan subgrup normal.
Jika G adalah abel, maka setiap subgrup G adalah normal, untuk a-1xa = x untuk
setiap a, x ∈ G. Kebalikan dari ini tidak benar. Grup nonabel ada di mana setiap subgrup
normal. Lihat apakah anda dapat menemukan contoh urutan 8. Grup nonabel seperti itu
disebut Hamiltonian, setelah ahli matematika Irlandia WR Hamilton (1805-1865). Grup
urutan 8 yang diinginkan dapat ditemukan di angka empat Hamilton, yang kami
perkenalkan pada Bab 4, Bagian 1.
Dalam Contoh 1, φ(x) =log10 x, dan Ker φ = [ x | log10 x = 0} = {1}. Dalam
Contoh 2, di mana G adalah abel, dan φ (x) = x2,
Ker φ = { x ∈G | x2 = e }
Kernel dari homomorfisma sepele dari Contoh 3 adalah semua G. Dalam Contoh
4, Ker φ adalah himpunan semua bilangan bulat genap. Dalam Contoh 5, Ker φ = {a GC | \
a | = 1), yang dapat diidentifikasi, dari bentuk kutub dari bilangan kompleks, seperti Ker φ
= (cos x + i sin x | x real}. Dalam Contoh 6, Ker φ = {T1.b , ∈G | b real}. Dalam Contoh 7,
Ker φ adalah himpunan semua kelipatan n. Dalam Contoh 8 dan 9, kernel terdiri dari e
saja, karena peta adalah monomorfisme. Dalam Contoh 10, kita melihat bahwa
Ker φ ={2πm | m any integer}.
Tentu saja, semua kernel di atas adalah subgrup normal dari masing-masing grup.
Kita harus melihat beberapa subgrup normal, secara intrinsik dalam G sendiri, tanpa jalan
lain ke kernel homomorfisme. Kita kembali ke contoh Bagian 1.
1. Dalam Contoh 7, H = {Ta.b ∈G | a rasional}. Jika Txy ∈G, kita serahkan kepada
pembaca untuk memeriksa bahwa T xy −1 HTxy ⸦ H dan jadi H < G.
2. Dalam Contoh 9 subgrup {i, g, g2, g3} < G. Di sini kita juga menyerahkan
pemeriksaan kepada pembaca.
3. Dalam Contoh 10 subgrup H = {i, h, h2, ..., hn-1} adalah normal dalam G. Ini juga
kami serahkan kepada pembaca.
4. Jika G adalah grup, Z (G), pusat G, adalah subgrup normal dari G (lihat
Contoh 11 dari Bagian 3).
5. Jika G = S3, G memiliki elemen i, f, g, g2, fg, dan gf, di mana f (x1) = x2 ,
f (x2) = x1 . f (x3) = x3 dan g (x1) = x2, g(x2) = x3, g (x3) = x1. Kami mengklaim
bahwa subgrup N = { i, g, g2} <i S3. Seperti yang kita lihat sebelumnya (atau dapat
menghitung sekarang), fgf-1 = g-1 = g2, fg2f-1= g, (fg) g (fg)-1 = fggg-1f-1 = fgf-1 = g2,
dan seterusnya . Jadi N <\ S3 mengikuti.
 Materi dalam bagian ini adalah makanan yang agak kaya. Kelihatannya tidak
begitu, tetapi ide-ide yang disajikan, meskipun sederhana, cukup halus. Kami
merekomendasikan bahwa pembaca mencerna konsep dan hasil secara menyeluruh
sebelum melanjutkan. Salah satu cara untuk melihat seberapa lengkap pencernaan ini
adalah, adalah dengan menusuk banyak dari daftar masalah yang hampir tak terbatas yang
mengikutinya. Bahan dari bagian selanjutnya adalah diet yang lebih kaya, dan lebih sulit
untuk dicerna. Hindari sakit perut matematis kemudian dengan mengasimilasi bagian ini
dengan baik.

SOAL

1. Tentukan di setiap bagian jika pemetaan yang diberikan adalah homomorfisme. Jika
demikian, identifikasikan kernelnya dan apakah pemetaannya 1-1 atau tidak.
(a) G = Z bawah +, G'= Z “, φ (a) = [a] a ∈ Z.
(b) G, grup φ: G -> G didefinisikan oleh φ (a) = a-1 untuk a ∈G.
(c) G grup abel, φ: G - »G didefinisikan oleh φ (a) = a-1 untuk a ∈G.
(d) G grup semua bilangan real selain nol di bawah perkalian, G' = {1 , —1}, φ (r) = 1
jika r positif, φ (r) = -1 jika r negatif.
(e) G suatu grup abel, n > 1 bilangan bulat tetap, dan φ: G - » G didefinisikan oleh φ
(a) = a" untuk semua a ∈G.
2. Ingat bahwa G ≃ G ' berarti bahwa G adalah isomorfik to G'. Buktikan bahwa untuk
semua grup G1, G2, G3:
(a) G1 ≃G1
(b) G1 ≃ G2 menyiratkan bahwa G2 ≃G1 .
(c) G1 ≃ G2, G2 ≃ G3 menyiratkan bahwa G1 ≃ G3
3. Misalkan G grup dan A(G) himpunan semua 1-1 pemetaan dari G, sebagai satu set, ke
dirinya sendiri. Tentukan La : G -» G oleh La(x) = xa-1. Buktikan bahwa:
(a) La ∈A(G).
(b) LaLb = Lab.
(c) Pemetaan ψ: G -> A(G) didefinisikan oleh φ(a) = La adalah monomorfisme G
menjadi A(G)
4. Dalam Soal 3 buktikan bahwa untuk semua a, b ∈G, LaLb = LbTa, seperti definisi pada
Contoh 8.
5. Dalam Soal 4, menunjukkan bahwa jika V ∈ A(G) adalah sedemikian rupa sehingga
 TaV = VTa untuk semua a ∈ G, maka V = Lb untuk beberapa b ∈ G. (Petunjuk:
Bertindak pada e ∈ G, cari tahu apa yang b seharusnya.)
6. Buktikan bahwa jika φ: G -» G' adalah homomorfisme, maka φ (G), gambar dari G,
adalah subgrup dari G'
Bukti
φ (G) ⸧ G' , eG’ = { φ (eG) } ∈ φ G
Misalkan a’ ∈ φ G dan b’ ∈ φ G
kemudian ada elemen a, b dalam G sehingga
φ (a) = a’ dan φ (b) = b’
kita juga mempunyai
ab-1 = φ (a) φ (b)
sekarang
(a’b’)-1 = φ (a) φ (b)-1
= φ (a) φ (b-1)
= φ (ab-1) ∈ φ (G)
karena itu
a’, b’ ∈ φ (G) ⇒ a’ b’-1 ∈ φ (G)
Karenanya φ (G) adalag subgroup pada G’
terbukti…

7. Tunjukkan bahwa φ : G -> G', di mana φ adalah homomorfisme, adalah

monomorfisme jika dan hanya jika Ker φ = (e).
8. Temukan isomorfisma G, grup semua bilangan real di bawah +, ke G ', grup semua
bilangan real positif di bawah perkalian.
9. Pastikan bahwa jika G adalah grup dalam Contoh 6 Bagian 1, dan H = {Tab ∈G | a
rasional), kemudian H ⊲ G.
10. Pastikan bahwa dalam Contoh 9 dari Bagian 1, himpunan H = {i, g, g2, g3} adalah
normal subgrup G, grup urutan dihedral 8.

6. Factor Groups (Grup Faktor)

Misalkan G adalah grup dan N subgrup normal dari G. Dalam membuktikan Teori
Lagrange yang kami gunakan, untuk subgrup H, relasi ekivalen a ~ b jika ab-1 ∈ H. Mari
kita coba ini ketika N itu normal dan lihat apakah kita bisa mengatakan sedikit lebih dari
yang bisa dikatakan untuk sembarang subgrup lama.
Jadi, misalkan a ~ b jika ab-1 ∈ N dan biarkan [a] = { x G | x ~ a }. Seperti yang kita lihat
sebelumnya, [a] = Na, coset kanan N dalam G yang mengandung a. Ingat bahwa dalam
melihat Z „kita mendefinisikannya operasi + via [a] + [b] = [a + b]. Mengapa tidak
mencoba sesuatu yang serupa untuk grup G sembarang dan N subgrup normal G ?
Jadi, mari M = {[A] | a ∈ G], di mana [a] = [x ∈ G | xa-1 ∈ N } = Na. Kami
mendefinisikan produk dalam M melalui [a][b] = [ab]. Kita akan segera menunjukkan
bahwa M adalah grup bawah produk ini. Tapi pertama-tama dan terutama kita harus
menunjukkan bahwa produk ini di M didefinisikan dengan baik. dengan kata lain, kita
harus menunjukkan bahwa jika [a] = [a'] dan [b] = [b'], maka [ab] = [a'b'], karena ini akan
menunjukkan bahwa [a] [b] = [ab] = [a'b'] = [a'] [b']; dengan kata lain, bahwa produk kelas
ini tidak bergantung pada perwakilan khusus yang kami gunakan untuk kelas.
Oleh karena itu, mari kita anggap bahwa [a] = [a'] dan [b] = [b']. Dari definisi
kesetaraan kita, kita memiliki a' = na, di mana n ∈ N. Demikian pula, b' = mb, di mana
m ∈ N. Jadi a'b '= namb = n (ama -1) ab; karena N < G, ama-1 ada di N, jadi n (ama-1) juga
ada di N. Jadi jika kita membiarkan nx = n(ama -1), maka n1 ∈ N dan a'b'= n1ab. Tetapi ini
memberitahu kita bahwa a'b' ∈ Nab, sehingga a'b' ~ ab, dari mana kita memiliki [a'b'] =
[ab], hal yang tepat yang kita perlukan untuk memastikan bahwa produk kita di M
didefinisikan dengan baik.
Jadi M sekarang diberkahi dengan produk yang didefinisikan dengan baik [a] [b] =
[ab]. Kami sekarang memverifikasi aksioma grup untuk M. Penutupan yang kami miliki
dari definisi produk ini. Jika [a], [b], dan [c] berada di M, maka [a] ([b] [c]) = [a] [bc] = [a
(bc)] = [(ab)c] (karena produk dalam G asosiatif) = [ab] [c] = ([a] [b]) [c]. Oleh karena itu,
hukum asosiatif telah ditetapkan untuk produk di M. Bagaimana dengan elemen unit?
Mengapa tidak mencoba pilihan yang jelas, yaitu [e] ? Kita segera melihat bahwa [a] [e] =
[ae] = [a] dan [e] [a] = [ea] = [a], jadi [e] apakah bertindak sebagai elemen unit untuk M.
Akhirnya, bagaimana dengan invers? Di sini juga, pilihan yang jelas adalah yang benar.
Jika a ∈ G, maka [a] [a-1]= [aa-1]= [e], maka [a-1] bertindak sebagai kebalikan dari [a]
relatif terhadap produk kami telah didefinisikan dalam M.
Kami ingin untuk memberi M nama, dan lebih baik lagi, simbol yang menunjukkan
ketergantungannya pada G dan N. Simbol yang kita gunakan untuk M adalah G/N (baca "G
over N atau G mod N") dan G/N disebut grup faktor atau grup bagi G oleh N.
Apa yang telah kami tunjukkan adalah sangat penting.

Teorema 2.6.1
Jika N ∆G dan
G/N = {[a] | a ∈ G) = {Na | a ∈ G],
lalu G/N adalah grup yang relatif terhadap operasi [a] [b] = [ab].

Teorema 2.6.2.
Jika N ∆ G, maka ada homomorfisme ψ dari G ke G/N sehingga Ker ψ, kernel ψ adalah N.
Bukti
Pemetaan paling alami dari G ke G/N adalah yang melakukan trik.
Tentukanψ: G G/N oleh ψ(a) = [a]. Produk kami sebagaimana didefinisikan dalam
GIN membuat ψ a homomorfisme, untuk ψ(ab) = [ab] = [a] [b] = ψ (a) ψ (b).
Karena setiap elemen X ∈ G/N adalah dari bentuk X = [b] = ψ(b) untuk beberapa b
∈G, ψ adalah operasi. Akhirnya, apa kernelnya, Ker ψ, dari ψ? Berdasarkan definisi,
Ker ψ = [a ∈G | ψ(a) = E ?}, di mana E adalah elemen unit G/N. Tapi apa itu E?
Tidak lain dari E = [e] = Ne = N, dan a ∈ Ker ψ jika dan hanya jika E = N = ψ(a) =
Na. Tetapi Na = N memberi tahu kita bahwa a = ea ∈ Na = N, jadi kita melihat
bahwa Ker ψ ∁ N. N ∁Ker ψ itu - yang mudah - kita serahkan kepada pembaca. Jadi
Ker ψ = N.

Teorema 2.6.2 Mendukung pernyataan yang kami buat dalam bagian sebelumnya bahwa
setiap N subgrup normal G adalah kernel dari beberapa homomorfisme G ke dalam suatu
grup. "Beberapa homomorphism" adalah ψ yang didefinisikan di atas dan "beberapa
group" adalah G/N.
Konstruksi grup faktor G oleh N ini mungkin merupakan konstruksi paling penting
dalam teori grup. Dalam sistem aljabar lain kita akan memiliki konstruksi analog, seperti
yang akan kita lihat nanti.
Orang mungkin bertanya: Di mana dalam semua urusan ini normalitas N di G
masuk? Mengapa tidak melakukan hal yang sama untuk subgrup H dari G? Jadi mari kita
coba dan lihat apa yang terjadi. Seperti sebelumnya, kita mendefinisikan
W = {[a] | a ∈G} = [Ha | a ∈G]
dimana kesetaraan a ~ b didefinisikan oleh ab' ∈ H. Kami mencoba memperkenalkan
produk dalam W seperti yang kami lakukan untuk GIN dengan mendefinisikan [a] [b] =
[ab]. Apakah produk ini didefinisikan dengan baik? Jika h ∈ H, maka [hb] = [b], jadi
untuk produk harus didefinisikan dengan baik, kita akan membutuhkan [a] [b] = [a] [hb],
yaitu, [ab] = [ahb ]. Ini memberi kita Hab - Hahb, dan Ha = Hah; ini berarti bahwa H =
Haha-1, mana aha-1 ∈ H. Artinya, untuk semua a ∈G dan semua h ∈ H, aha-1 harus dalam
H, dalam kata lain, H harus normal dalam G. Jadi kita melihat bahwa agar produk yang
didefinisikan dalam W menjadi terdefinisi dengan baik, H harus menjadi subgrup normal
dari G.
Kami melihat masalah grup hasil bagi ini dengan cara yang sedikit berbeda. Jika A,
B adalah himpunan bagian dari G, misalkan AB = { ab | a ∈ A, b ∈ B}. Jika H adalah
subgrup G, maka HH ⸦ H adalah cara lain untuk mengatakan bahwa H tertutup di bawah
produk G.
Mari GIN = {Na | a ∈ G } menjadi himpunan semua subgrup N normal di G.
Menggunakan produk dari himpunan bagian G seperti didefinisikan di atas, apa yang (Na)
(Nb) ? Menurut definisi, (Na) (Nb) terdiri dari semua elemen dari bentuk (na) (mb), di
mana n, m ∈ N, dan sebagainya
(na) (mb) = (nama-1) {ab) = n1 ab,
dimana n1 = noma-1 dalam N, karena N normal. Jadi (Na) (Nb) ⸦ Nab. Di sisi lain, jika n
∈ N, maka
n(ab) = (na) (eb) ∈ (Na) (Nb),
sehingga Nab ⸦ (Na) (Nb). Singkatnya, kami telah menunjukkan bahwa produk — sebagai
subset G — dari Na dan Nb diberikan oleh rumus (Na) (Nb) = Nab. Semua aksioma grup
lain untuk GIN, seperti yang didefinisikan di sini, sekarang sudah diverifikasi dari formula
produk ini.
Cara lain untuk melihat bahwa (Na) (Nb) = Nab adalah untuk mencatat bahwa
dengan N, aN = Na, maka (Na) (Nb) = N (aN) b = N (Na) b = NNab = Nab, karena NN =
N (karena N adalah subgrup G).
Namun kami memandang GIN—sebagai kelas kesetaraan atau sebagai himpunan
himpunan bagian tertentu dari G — kami mendapatkan grup yang strukturnya terkait erat
dengan G, melalui homomorfisme alami ψ G ke GIN.
Kita akan segera melihat bagaimana kita menggabungkan induksi dan struktur
GIN untuk mendapatkan informasi tentang G.
Ketika G adalah grup hingga dan N < G, maka jumlah koset kanan N dalam G,
iG (N), diberikan— seperti yang ditunjukkan oleh bukti Teorema Lagrange — oleh
iG(n) = |G| / |N|. Tapi ini adalah urutan GIN, yang merupakan himpunan semua koset yang
tepat dari N dalam G. Demikian |G/N| = |G|/ |N|. Kami menyatakan ini secara lebih resmi
sebagai
Teorema 2.63. Jika G adalah grup hingga dan N ∆G, maka |G/N| = |G| / |N|.

Sebagai aplikasi dari apa yang telah kita bicarakan di sini, kita akan membuktikan
suatu kasus khusus dari sebuah teorema yang akan kita buktikan secara umum secara
umum nanti. Bukti yang kami berikan — untuk kasus abelian — bukan yang baik, tetapi
menggambarkan teknik yang cukup umum, yaitu menarik kembali informasi tentang GIN
untuk mendapatkan informasi tentang G itu sendiri.
Teorema yang akan kita buktikan adalah karena ahli matematika Prancis yang
hebat AL Cauchy (1789-1857), yang kontribusinya yang paling mendasar adalah
dalam teori variabel kompleks.

Teorema 2.6.4 (Cauchy).

Jika G adalah grup abel terbatas hingga |G| dan p adalah bilangan prima yang membagi |
G|., maka G memiliki elemen dari p.
Bukti.
Sebelum terlibat dengan buktinya, kami tunjukkan kepada pembaca bahwa
teorema itu berlaku untuk setiap grup hingga. Kita akan membuktikannya dalam kasus
umum nanti, dengan bukti yang akan jauh lebih indah daripada yang akan kita berikan
untuk kasus khusus, kasus abelian. Kami melanjutkan dengan induksi pada | G |. Apa
artinya ini tepatnya? Kami akan menganggap teorema itu benar untuk semua grup
pesanan kurang dari | G | dan tunjukkan bahwa ini memaksa teorema untuk berlaku
untuk G. Jika | G | = 1, tidak ada p dan teorema itu benar. Jadi kami memiliki titik
awal untuk induksi kami.
Misalkan ada subgrup (e) # N # G. Sejak |N| < |G|, jika p divides | N |, dengan
hipotesis induksi kami akan ada elemen orde p dalam N, maka dalam G, dan kita akan
selesai. Jadi kita dapat mengira bahwa p ∤|N|. Karena G adalah abelian, setiap subgrup
adalah normal, jadi kita dapat membentuk GIN. Karena p membagi |G| dan p ∤ |N|,
dan karena |GIN| = |G| / |N|, kita memiliki p yang membagi |GIN|. Grup GIN adalah
abel, (Buktikan!) Dan karena N ≠ (e), |N| > 1, maka |GIN| = |G| / |N| < |G|. Jadi, sekali
lagi dengan induksi, ada elemen dalam GIN dari order p. Dengan kata lain, ada a ∈ G
sehingga [a]p = [e], tapi [a] ≠ [e]. Ini diterjemahkan menjadi ap ∈ N, a ∉ N. Jadi jika
m= |N|, maka (ap)m = e. Jadi (am) p = e. Jika kita dapat menunjukkan bahwa b =am ≠ e,
maka b akan menjadi elemen yang diperlukan dari urutan p di G. Tetapi jika am = e,
 maka [a]m = [e], dan karena [a] memiliki urutan p, p|m (lihat Soal 31 dari Bagian 4).
Tetapi, dengan asumsi, p|m = |N|, Jadi kita selesai jika G memiliki grup nontrivials.
Namun jika G tidak memiliki subgrup nontrivial, itu harus siklik urutan utama.
(Lihat Soal 16 dari Bagian 3, yang seharusnya bisa Anda tangani dengan lebih mudah
sekarang.) Apa itu "order prima"? Karena p membagi |G|, kita harus memiliki |G| = p.
Tetapi setiap elemen a ≠ e ∈G memenuhi ap = e dan berurutan p. Ini melengkapi
induksi, dan membuktikan teorema.

Kita akan memiliki aplikasi lain dari argumen teori-grup semacam ini dalam
masalah.
Gagasan grup faktor adalah yang sangat halus, dan yang paling penting dalam
subjek. Pembentukan himpunan baru dari himpunan lama dengan menggunakan sebagai
elemen himpunan baru dari himpunan lama adalah aneh bagi orang baru melihat jenis
konstruksi ini untuk pertama kalinya. Jadi ada baiknya melihat seluruh masalah ini dari
berbagai sudut pandang. Kami mempertimbangkan GIN dari sudut lain sekarang.
Apa yang kita lakukan saat membentuk GIN? Tentu, kita melihat kelas persamaan
yang didefinisikan melalui N. Mari kita lihat dengan cara lain. Apa yang kita lakukan
adalah mengidentifikasi dua elemen dalam G jika mereka memenuhi hubungan ab -1 ∈ N.
Dalam arti kita menghapuskan N. Jadi meskipun GIN tidak subgrup G, kita dapat melihat
sebagai G, dengan N dihapus, dan dua elemen sama jika mereka sama "hingga N."
Misalnya, dalam membentuk Z / N, di mana Z adalah grup bilangan bulat dan N
adalah himpunan semua kelipatan 5 dalam Z, apa yang kita lakukan adalah
mengidentifikasi 1 dengan 6, 11, 16, -4, -9, dan seterusnya, dan kami mengidentifikasi
semua kelipatan 5 dengan 0. Hal yang menyenangkan tentang semua ini adalah bahwa
jibes identifikasi ini ditambah dengan Z ketika kita beralih ke Z / N.
Mari kita lihat beberapa contoh dari sudut pandang ini.
1. Misalkan G = {Ta.b a ≠ 0, b real) (Contoh 6 dari Bagian 1).
Misalkan N = [Ta.b | b real) ⸦ G; kami melihat bahwa N ⊲ G, jadi masuk akal untuk
berbicara tentang GIN. Sekarang Ta.b dan Ta.0 berada di coset kiri yang sama dari N di
G, jadi di GIN kita mendapatkan elemen dengan mengidentifikasi Tab dengan Ta.0.
Elemen yang terakhir hanya tergantung pada a. Selain itu, T a.b kalikan menurut
Ta.bTc.d = Tac,ad+b dan jika kita mengidentifikasi T a.b dengan Ta,0 dengan Tc.0, maka
produk mereka, yaitu Tac,ad+b, diidentifikasi dengan Tac,0. Jadi, dalam GIN
penggandaan adalah seperti pada grup bilangan real bukan nol di bawah
 penggandaan, dan dalam beberapa hal (yang akan dibuat lebih tepat di bagian
selanjutnya) GIN dapat diidentifikasi dengan kelompok bilangan real ini.
2. Misalkan G adalah grup bilangan real di bawah + dan misalkan Z adalah kelompok
bilangan di bawah +. Karena G adalah abel, Z ⊲ G, dan kita dapat berbicara tentang
G / Z. Seperti apa G/Z sebenarnya? Dalam membentuk G / Z, kami
mengidentifikasi dua bilangan real yang berbeda dengan bilangan bulat. Jadi 0

3
diidentifikasi dengan -1, -2, -3,. .. dan 1, 2, 3, ...; diidentifikasi dengan
2

1 2 1 3
, ,− ,− , … .. Setiap bilangan real a dengan demikian memiliki pasangan a di
2 5 2 2
mana 0 ≤ a < 1. Jadi, dalam G/Z, seluruh garis real telah dikompresi menjadi
interval satuan [0, 1]. Tetapi sedikit lagi yang benar, karena kami juga telah
mengidentifikasi titik akhir dari interval unit ini. Jadi kami membengkokkan
interval unit sehingga dua titik ujungnya bersentuhan dan menjadi satu. Apa yang
kita dapatkan dengan cara ini? Lingkaran, tentu saja! Jadi G/Z seperti lingkaran,
dalam arti yang dapat dibuat tepat, dan lingkaran ini adalah grup dengan produk
yang sesuai.
3. Misalkan G adalah grup bilangan kompleks bukan nol dan misalkan
N = [a ∈G |a| = 1} yang merupakan lingkaran satuan dalam bidang kompleks.
Maka N adalah subgroup G dan normal karena G adalah abel. Dalam akan GIN kita
claring bahwa sejumlah kompleks nilai absolut 1 akan diidentifikasi dengan
bilangan real 1. Sekarang setiap a ∈G, dalam bentuk polar, dapat ditulis sebagai
a = r (cos θ + i sin ), di mana r = | a |, dan | cos θ + i sin θ | = 1. Dalam
mengidentifikasi cos θ + i sin θ dengan 1, kami mengidentifikasi a dengan r. Jadi,
ketika meneruskan ke GIN, setiap elemen diidentifikasi dengan bilangan real
positif, dan identifikasi ini cocok dengan produk dalam G dan dalam kelompok
bilangan real positif, karena | ab | = | a || b |. Jadi GIN dalam arti yang sangat nyata
(tidak ada permainan kata-kata) grup bilangan real positif di bawah perkalian.
SOAL

1. Jika G adalah grup dari semua bilangan real bukan nol di bawah penggandaan dan N
adalah subgrup dari semua bilangan real positif, tuliskan GIN dengan menunjukkan
koset N dalam G, dan buat penggandaannya dalam GIN.
2. Jika G adalah grup bilangan real bukan nol dengan perkalian dan N = {1, -1},
 tunjukkan bagaimana Anda dapat "mengidentifikasi" GIN sebagai grup dari semua
bilangan real positif di bawah penggandaan. Apa yang dimaksud dengan cosets N
dalam G?
3. Jika G adalah grup dan N ⊲ G, tunjukkan bahwa jika M adalah subgrup GIN dan
M = { a ∈ G | Na ∈M }, maka M adalah subgrup G , dan M ⸧ N.
4. Jika M dalam soal nomor 3 normal dalam GIN, tunjukkan bahwa M didefinisikan
normal dalam G.
5. Dalam soal nomor 3, tunjukkan bahwa MIN harus sama dengan M.
6. Berdebat seperti pada Contoh 2, di mana kami mengidentifikasi G / Z sebagai
lingkaran, di mana G adalah grup real di bawah + dan bilangan bulat Z,
pertimbangkan hal berikut: misalkan G = { (a, b) | a, b real}, di mana + dalam G
didefinisikan oleh (a, b) + (c, d) = (a + c, b + d) (jadi G adalah bidang), dan biarkan
N = {(a, b) ∈ G | a, b adalah integer}. Tunjukkan bahwa GIN dapat diidentifikasi
sebagai torus (donat), dan dengan demikian kita dapat mendefinisikan produk pada
donat sehingga menjadi grup. Di sini, Anda mungkin menganggap torus sebagai
produk Cartesian dari dua lingkaran.
7. Jika G adalah grup siklik dan N adalah subgrip G, tunjukkan bahwa GIN adalah grup
siklik.
8. Jika G adalah grup abel dan N adalah subgrup G, tunjukkan bahwa GIN adalah grup
abel.
9. Apakah Masalah 7 dan 8 dengan mengamati bahwa GIN adalah gambar homomorfik
dari G.
10. Jika G adalah sebuah grup dan Z (G) pusat G, menunjukkan bahwa jika G / Z (G)
adalah siklik, maka G adalah abel

7. TEORI HOMOMORFISME
Misalkan G adalah sebuah grup dan φ homomorfisme G ke G'. Jika K adalah
kernel dari φ, maka jika merupakan subgrup normal dari G, maka kita dapat membentuk
G/K. Hal ini cukup natural untuk mengharapkan bahwa harus ada hubungan yang sangat
erat antara G' dan G/K. Teori homomorfisma pertama, yang kita akan membuktikan,
mantra keluar hubungan ini secara rinci tepat.
 Tapi pertama-tama mari kita lihat kembali pada beberapa contoh grup faktor di
Bagian 6 untuk melihat secara eksplisit apa hubungan yang disebutkan di atas mungkin:
1. Mari G = { Tab | a ≠ 0, b real} dan biarkan G ' adalah grup real bukan nol di bawah
penggandaan. Dari aturan produk t Di sini T’s yaitu Ta.bTc.d = Tac,ad+b, kami
menentukan bahwa pemetaan φ: G -> G' didefinisikan oleh φ (Tab) = a adalah
homomorfisme G ke G' dengan kernel K = { Ta.b | b real }. Di sisi lain, dalam Contoh
1 dari Bagian 6 kita melihat bahwa GIK = [KTa.0 | a ≠ 0 real}. Sejak
(KTa.0) (KTx.0) = KTax,0
pemetaan GIK ke G', yang mengirimkan masing-masing KTa.0 dalam a mudah dilihat
menjadi isomorfisma dari GIK ke G'. Karena itu, GIK ≃ G '.
2. Dalam Contoh 3, G adalah grup bilangan kompleks bukan nol di bawah penggandaan
dan G' grup dari semua bilangan real positif di bawah penggandaan.
Misalkan φ: G -> G' didefinisikan oleh φ (a) = | a | untuk a ∈ G. Kemudian, karena
| ab |= |a||b|, φ adalah homomorfisme dari G ke G' (dapatkah Anda melihat mengapa
itu terjadi?). Jadi kernel K dari φ adalah K = {a ∈G |a| = 1}. Tetapi kita telah melihat
bahwa jika |a| = 1, maka a adalah dari bentuk cos θ + i sin θ. Jadi himpunan
K = { cos θ + i sin θ | 0 ≤ θ ≤ 2π }. Jika a adalah bilangan kompleks, maka
a = r(cos θ + i sin θ), di mana r = | a |, adalah bentuk polar dari a. Jadi
Ka =Kr (cos θ + i sin θ) = K (cos θ + i sin θ) r = Kr, sejak K(cos θ + i sin θ ¿= K
karena cos θ + i sin θ ∈K. Jadi GIK, yang unsur-unsurnya adalah cosets Ka, dari
diskusi ini, semua elemen dari Kr, di mana r > 0. Pemetaan GIK ke G' didefinisikan
dengan mengirimkan Kr ke r lalu mendefinisikan imorphism dari GIK ke G 'Jadi, di
sini juga, GIK ≃G'.

Dengan pengalaman kecil ini di belakang kami kami siap untuk membuat lompatan
sepanjang perjalanan, yaitu, untuk

Teorema 2.7.1 (Teorema Pertama homomorfisma)

Misalkan φ menjadi homomorfisme G ke G' dengan kernel K. Kemudian G' ≃ GIK,
isomorfisma antara ini dipengaruhi oleh peta
φ : G/K → G'
didefinisikan oleh φ(Ka) = φ(a).
Bukti.
Cara terbaik untuk menunjukkan bahwa G/K dan G' adalah isomorfisma adalah
dengan mengeksploitasi secara eksplisit isomorfisma GIK ke G'. Pernyataan teorema
tersebut menunjukkan kemungkinan isomorfisma apa yang mungkin terjadi menjadi.
Jadi mendefinisikan ψ GIK→ G' oleh ψ {Ka) = φ (a) untuk a ∈ G. Seperti biasa,
tugas pertama kami adalah untuk menunjukkan bahwa ψ didefinisikan dengan baik, yaitu ,
untuk menunjukkan bahwa jika Ka = Kb, maka ψ (Ka) = ψ (Kb). Ini menunjukkan bahwa
jika Ka = Kb, maka φ (a) = φ (b). Tetapi jika Ka = Kb, maka a = kb untuk beberapa k ∈ K
maka φ (a) = φ (kb) = φ (k) φ (b). Karena k ∈ K kernel dari φ, maka φ(k) = e', elemen
identitas G', jadi kita mendapatkan φ (a) = φ (b). Ini menunjukkan bahwa pemetaan φ
terdefinisi dengan baik.
Karena φ adalah ke G' , diberikan x ∈ G', maka, x = φ (a) untuk beberapa a ∈G,
sehingga x = φ (a) = ψ (Ka). Ini menunjukkan bahwa ψ memetakan G / K ke G'.
Apakah ψ 1-1? Misalkan ψ (Ka) = ψ (Kb) : maka φ (a) = ψ (Ka) = ψ (Kb) = φ (b).
Karena itu, e' = φ (a) φ (b)-1 = φ (a) φ (b-1) = φ (ab-1) = φiab'1). Karena ab-1 adalah dalam
kernel φ yaitu K—kami memiliki ab-1∈ G. Ini menyiratkan bahwa Ka = Kb. Dengan cara
ini ψ terlihat 1-1.
Akhirnya, is ψ homomorphisma? Kami memeriksa: ψ ((Ka)(Kb)) = ψ (Kab) =
φ(ab) = φ {a) φ {b) = ψ (Ka) ψ (Kb), menggunakan bahwa φ adalah homomorfisme dan
bahwa (Ka) (Kb) = Kab. Akibatnya, ψ adalah homomorfisme GIK ke G', dan Teorema
2.7.1 terbukti.
Setelah berbicara tentang Teorema Homomorfisme pertama menunjukkan bahwa
ada yang lain. Namun, hasil selanjutnya adalah perpanjangan dari Teorema
Homomorfisme Pertama, dan secara tradisional disebut Teorema Korespondensi. Dalam
konteks teorema di atas, ia menunjukkan korelasi 1-1 antara subgrup G’ dan subgrup G
yang berisi K.

Teorema 2.7.2 (Teorema Correspondence).

Misalkan peta φ : G→G 'menjadi homomorfisme G ke G' dengan kernel K. Jika H' adalah
subgrup dari G' dan jika
H = { a ∈ G | φ (a) ∈ H' }
maka H adalah subgrup dari G, H ∁ K, dan H/K ≃H’ Akhirnya, jika H’ ⊲ G’ maka H⊲G.
Bukti.
Kami pertama-tama memverifikasi bahwa H di atas adalah subgrup dari G.
Tidak kosong, karena e ∈ H. Jika a, b ∈ H, maka φ (a), φ (b) ∈ H', maka φ ( ab) =
 φ(a) φ(b) ∈ H', karena H' adalah subgrup G'; ini menempatkan ab di H, jadi H
tertutup. Selanjutnya, jika a ∈ H, maka φ (a) ∈ H' , maka φ (a-l) = φ (a)-1 adalah di H' ,
lagi karena H' adalah subgrup G', mana a-1 ∈ H. Oleh karena itu, H adalah subgrup G.
Karena φ (K) = {e'} ∁ H', di mana e' adalah elemen satuan G', kita memiliki K
∁ H. Sejak K ⊲ G dan K ∁ H, berarti K ⊲ H. Pemetaan φ terbatas pada H
mendefinisikan homomorfisme H menjadi H' dengan kernel K. Oleh Teorema
Homomorfisme Pertama kita mendapatkan HIK ≃ H'.
Akhirnya, jika H'⊲ G' dan jika a ∈G, maka φ (a)-1 H' φ (a) ∁ H' , sehingga φ
(a-1) H'φ (a) ∁ H ' . Ini memberitahu kita bahwa φ(a-1Ha) ∁ H', jadi a- 1Ha ∁ H. Ini
membuktikan normalitas H pada G.

Perlu dicatat bahwa jika K adalah subgrup normal dari G, dan φ adalah
homomorfisme alami dari G ke G/K , maka teorema memberi kita1-1 antara semua
subgrup H' G/K dan subgrup G yang mengandung korespondensi K. Selain itu,
korespondensi ini menjaga normalitas dalam arti bahwa H' normal dalam G/K jika dan
hanya jika H normal dalam G. (Lihat Soal 7, serta kesimpulan terakhir dari teorema.)
Kita sekarang menyatakan Teorema Homomorfisme Kedua, meninggalkan bukti
kepada pembaca dalam Soal 5.

Teorema 2.7.3 (Teorema kedua Homomorfisme):

Misalkan H menjadi subgrup dari grup G dan N subgrup normal dari G. Kemudian HN =
{ hn | h ∈ H, n ∈ N} adalah subgrup G, H ∩ N adalah subgrup normal dari H, dan H/ (H
∩ N) ≃ (HN)/N.
Akhirnya, kita sampai ke Teorema Hommorfisma ketiga, yang memberi tahu kita
sedikit lebih banyak tentang hubungan antara N dan N' ketika N' ⊲ G'.

Teorema 2.7.4 (Teorema Homomorfisme Ketiga).

Jika peta φ: G →G' adalah homomorfisme dari G ke G' dengan kernel K maka, jika N' ⊲
G' dan N = { a ∈G | φ (a) ∈ N'}, kami menyimpulkan bahwa G/N ≃ G’/N’. Setara, G/N =
≃ (G/K) / (N/K).
Bukti.
Tetapkan pemetaan ψ: G → G'lN' oleh ψ (a) = N' φ (a) untuk setiap a ∈G.
Karena φ adalah ke G' dan setiap elemen G'lN' adalah coset dari bentuk N’x’, dan x' =
φ (x) untuk beberapa x ∈ G, kita melihat bahwa ψ memetakan G ke G'lN '.
 Lebih jauh, ψ adalah homomorfisme G ke G'lN', untuk ψ (ab) = N' φ(ab) = N'
φ (a) φ (b) = (N' φ (a)) ( N' φ (b)) = ψ (a) ψ (b), karena N' ⊲ G '. Apakah kernel, M,
dari ψ? Jika a ∈M, maka ψ (a) adalah unit elemen G'lN ', yaitu, ψ (a) = N'. Di sisi
lain, dengan definisi ψ, ψ (a) = N'φ (a). Karena N'φ (a) = N' kita harus memiliki φ(a)
∈ N'; tetapi ini menempatkan a dalam N, dengan definisi N. Jadi M ⸦ N. Bahwa N ⸦
M mudah dan diserahkan kepada pembaca. Oleh karena itu, M = N, jadi ψ adalah
homomorfisme G ke G'lN' dengan kernel N, dari situ, oleh Teorema Homomorfisme
Pertama, GIN ≃ G'lN'. Akhirnya, lagi oleh Teorema 2.7.1 dan 2.7.2, G ' ≃ G / K,
N' ≃ N / K, yang mengarahkan kita ke G / N ≃ G'lN' ≃ (G / K) / (N / K).

Kesetaraan terakhir ini sangat sugestif; kita semacam "membatalkan" K dalam

pembilang dan penyebut.

SOAL

1. Tunjukkan bahwa M ⸧ N dalam bukti Teorema 2.7.3.

2. Misalkan G adalah grup semua fungsi bernilai real pada interval satuan [0, 1], di mana
kita mendefinisikan, untuk f, g ∈G , ditambahkan oleh (f + g) (x) = f (x) + g (x) untuk

1
setiap x ∈ [0, 1]. Jika N = { f ∈G | f ( ) = 0}, buktikan bahwa GIN ≃ bilangan real di
4
bawah +.
3. Misalkan G adalah grup bilangan real bukan nol di bawah multiplikasi dan misalkan
N = {1, -1}. Buktikan bahwa G/N ≃bilangan real positif di bawah perkalian.
4. Jika G1, G2 adalah dua grup dan G = G1 x G2 = {(a, b) | a ∈G1 b ∈G2 }, di mana kita
mendefinisikan (a, b) (c, d) = (ac, bd) , tunjukkan bahwa:
(a) N = {(a, e2) | a ∈G1), di mana e2 adalah elemen unit G2, adalah subgrup normal
dari G. (b) N ≃ G1.
(c) GIN ≃ G2.