KOSET DARI H DALAM GRUP G

Perhatikan himpunan bilangan bulat Z dan 3 ∈ Z. Himpunan H={...−2,0,2,4 ,...} . Himpunan 3+H =
{3+h|h ∈ H}={…1,3,5,7…}

Definisi:
Misal G grup dan H subgrup dari G. Untuk sebarang a ∈G ,
 aH = {ah|h ∈ H}.
 Ha = {ha|h ∈ H}
 aHa = { aha|h ∈ H}
Jika H subgroup G himpunan aH disebut koset kiri dari H dalam G yang memuat a, himpunan Ha
disebut koset kanan dari H dalam G yang memuat a.

Contoh:
1. Ex halaman 133 no 3

Misal H ={ 0̄, 3̄, 6̄ } dalam Z9 terhadap operasi penjumlahan modulo 9. Koset-koset dari H dalam Z9
adalah
0̄ +H={ 0̄, 3̄, 6̄ }= 3̄ +H= 6̄ + H , …………………., ………………………

H+ 0̄ ={ 0̄, 3̄, 6̄ }=H+ 3̄ =H+ 6̄ , …………………. , ……………………..

1̄ +H+ 1̄ ={ 2̄, 5̄, 8̄ } = …………

PERTANYAAN KONSEP

1. Jika G grup dan H ≤G .Apakah aH = Ha, untuk setiap a anggota ? Jika ya, tunjukkan. Jika tidak
berilah kontra contohnya.
2. Apakah ada koset (kiri atau kanan) dari suatu subgroup H dalam G yang merupakan subgroup G?
3. Apakah gabungan koset-koset akan sama dengan himpunan G? Atau dalam lambang: Apakah
benar bahwa: “Jika G grup dan H subset dari G maka ¿aH=G , ∀ a∈ G ”?
4. Apakah benar bahwa jika a≠b maka aH≠bH ?
5. Jika H={2z|z∈ Z }={. . .−2,0,2,4 , . ..} maka temukan semua koset kiri dari H dalam Z.
6. Jika G = S3, dan H= {(1),(13)} maka tentukan semua koset kiri dari H dalam S3 .
7. Jika G=GL (2 , R) dan H=SL(2 , R), maka tentukan semua koset kiri dari H dalam GL(2,R).

SUBGRUP NORMAL
Suatu subgroup H dari grup G disebut subgroup normal dari G jika aH=Ha untuk setiap a dalam G.

G grup, H subgroup G
 H subgroup normal G ⇔ aH= Ha , ∀ a ∈ G.

Catatan : jika H subgroup normal dari G maka belum tentu ah = ha. Tapi yang terjadi adalah ah =
h’a, untuk suatu h’ ∈ H. Buatlah contoh untuk menjelaskan hal ini.
Contoh:
1. 4Z adalah subgroup normal Z, karena
4Z subgroup Z
Ambil sebarang a ∈ Z,
ambil sebarang x ∈ a+(4Z), maka x = a+(4k) untuk suatu k ∈ Z. Kemudian, x = (4k)+a,
dengan 4k ∈ 4Z.
Jadi, x ∈ (4Z)+a atau a+(4Z) ⊆ (4Z)+a.

Sebaliknya juga benar. (Jelaskan)

Jadi a+(4Z)= (4Z)+a , ∀ a ∈ G.

2. A3 adalah subgroup normal dari S3. (Jelaskan)

Perhatikan catatan di sini bahwa jika A3 adalah subgroup normal dari S3, maka belum tentu ah =
ha. Contoh kontranya berikut ini (12)(123) ¿ (123)(12), tetapi yang terjadi adalah (12)(123) =
(132)(12), untuk suatu (132) ∈ A3.

a b
3. Misal H =
{[ ]
0 d
|a , b , d ∈ R , ad≠0 } . Apakah H dengan operasi perkalian subgroup
normal dalam Gl2(R)? (Jelaskan)

4. Misalkan H = {(1),(12)}. Apakah H subgroup normal dalam S3?

Tidak karena ∃ (123) ∈ S3, tetapi (123)H ¿ H(123) yaitu ∃ (1,2) ∈ H, (123) (12)
∈ (123)H , tetapi (123) (12) ∉ H(123).

Berikut ini akan diberikan teorema untuk mempermudah penyelidikan subgroup normal.

Teorema 9.1:
Suatu subgroup H dari grup G disebut normal dalam G jika xHx-1 ⊆ H untuk semua x ∈ G.

Bukti:
Diketahui xHx-1 ⊆ H untuk semua x ∈ G.
Akan ditunjukkan bahwa aH = Ha, ∀a∈G
Ambil sebarang a ∈G , ambil sebarang s ∈aH .
Berarti s=ah, untuk suatu h ∈ H
sa-1=aha-1 ∈ xHx-1 ⊆ H (karena a ∈G )
s = (sa-1)a = (aha-1)a = h’a ∈ Ha, (karena h’ ∈ H)
Jadi s ∈ Ha . Dengan kata lain aH ⊆ Ha.
Sebaliknya mudah ditunjukkan.

Jadi, sekarang untuk menunjukkan bahwa 4Z subgrup normal dari Z akan lebih mudah, yaitu:
Sudah diketahui bahwa 4Z adalah subgroup dari Z.
Ambil sebarang x∈Z .
−1
Ambil sebarang s ∈ x+(4 Z )+x = x+(4 Z )+(−x ) , akan ditunjukkan bahwa s ∈4 Z .
 s  x  (4 z )  ( x) untuk suatu z∈ Z .
Dapat ditulis bahwa
Karena x ∈ Z , 4 z ∈ Z , maka s ∈Z .
Jadi x+4 Z+ x−1 ⊆ Z .

GRUP FAKTOR
Jika H subgroup normal dari G maka kita dapat membentuk grup baru yang dinamakan grup faktor, yaitu
G/ H={aH ∨aG }.

Teorema 9.2:
Misal G grup dan H subgroup normal dari G. Himpunan G/H = {aH | a ∈ G}. adalah grup di bawah
operasi (aH)(bH) = abH.
(Jelaskan buktinya).

Contoh: lihat halaman 173, dari 4 Z subgrup normal dari Z , dapat dibentuk grup faktor Z /4 Z yaitu berupa
himpunan { a+ 4 Z| aϵ Z } . Jadi,
Z /4 Z = { a+ 4 Z| aϵ Z } = {0+4 Z ,1+ 4 Z , 2+4 Z ,3+ 4 Z }.
Untuk menunjukkan bahwa Z /4 Z merupakan grup, dapat dibuat tabel cayley seperti berikut
0+ 4 Z 1+4 Z 2+ 4 Z 3+ 4 Z
0+ 4 Z 0+ 4 Z 1+4 Z 2+ 4 Z 3+ 4 Z
1+4 Z 1+4 Z 2+ 4 Z 3+ 4 Z 0+ 4 Z
2+ 4 Z 2+ 4 Z 3+ 4 Z 0+ 4 Z 1+4 Z
3+ 4 Z 3+ 4 Z 0+ 4 Z 1+4 Z 2+ 4 Z
Karena ................................. (jelaskan)
Maka Z /4 Z merupakan grup
Setelah mempelajari subgrup normal, sekarang kita sudah dapat membuktikan teorema-teorema yang ada di
chapter 10. Antara lain:

Dan corollary berikut

Corollary (dari chapter 10)
Misal f homomorfisma dari G ke G’. Maka Ker(f) adalah subgroup normal dari G.

Sekarang kita SUDAH SIAP membahas TEOREMA UTAMA HOMOMORFISMA

Diberikan juga torema berikut

Perhatikan yang berikut, bahwa Teorema Utama Isomorfisma lebih mudah untuk menunjukkan 2 grup yang
saling isomorfis
Untuk menunjukkan bahwa Z /4 Z ≈ Z 4 dengan menggunakan Teorema Utama Isomorfisma , yanrus
ditunjukkan adalah
(1) ∃ ∅ : Z → Z 4 yang merupakan homomorfisma
(2) Menentukan 4 Z=Ker ( ∅) dan merupakan subgrup normal
(3) Menentukan grup faktor Z /4 Z
(4) Dari (1), (2) dan (3) dan menggunakan TUI maka dapat disimpulkan bahwa Z /4 Z ≈ Z 4

Dua teorema yang berkaitan dengan Teorema utama homomorfisma adalah berikut ini:

SOAL-SOAL
1. Show that the kernel of a homomorphism is a normal subgroup.
2. If N is a normal subgroup of G, show that xN = Nx for all x ∈ G.
3. Let N be a normal subgroup of G. Define G/N; what are its elements, and what
is the law of composition on it?
4. Let N be a normal subgroup in G. What is the identity element in G/N, and what
is the inverse of an element in G/N?
5. In proving that G/N is a group where do we first use the fact that N is normal?
What would go wrong if we tried to show that G/N is a group when N is a subgroup
that is not normal?
6. Let N be a normal subgroup, define φ : G → G/N by φ(x) = xN. Show this is a
group homomorphism. What is ker φ?
7. Let H be a subgroup of a group G. If x, y ∈ G show that either xH ∩ yH = φ or
xH = yH.
8. Show that a coset xH has the same number of elements as H.
9. Let G be a group of order n. Does Lagrange’s theorem tell you that the order of
every element in G must divide n? Justify your answer.
10. Let G be any group and x ∈ G an element of order n. Define a homomorphism
φ : Z → G whose image is hxi. Apply the First Isomorphism Theorem to this
situation, and explain why it shows that all cyclic groups of order n are isomorphic.
11. sHOw that two left cosets of a subgroup H in G are either identical or have empty
intersection.
12. Let G be the group of upper triangular 2 × 2 matrices and let N be the subgroup
of those matrices having determinant one. Show that G/N ≈ R×.
13. Let G be any group and x ∈ G. Let φ : Z → G be the map φ(n) = xn. Show φ is
a homomorphism. (In fact, we define xn just so this is true!). Describe the kernel
of φ in terms of the order of x. What does the First Isomorphism Theorem say in
this context.