23 Soal Dan Pembahasan - Subgrup
23 Soal Dan Pembahasan - Subgrup
Math Problems
Subscribe!
Klik di sini untuk berlangganan artikel melalui Telegram.
Setelah belajar mengenai grup, tentu kita dapat menyebutkan contoh-contoh grup. Dua di antaranya
adalah (Z, +) dan (Q, +). Perhatikan bahwa dua grup ini memenuhi hubungan berikut.
Ada banyak grup yang memiliki hubungan serupa, di mana sebuah grup memuat grup lain (dengan operasi
biner yang sama). Hal ini menuntun kita pada bahasan mengenai subgrup.
DAFTAR ISI
Definisi Subgrup
Uji Subgrup
Definisi Subgrup
DEFINISI
Misalkan (G, ∗) adalah grup dan H adalah subset tak kosong dari G. Maka (H , ∗) disebut subgrup
dari (G, ∗) jika (H , ∗) adalah grup.
Setiap grup non trivial G memiliki sedikitnya dua subgrup. Salah satunya adalah {e}, di mana e
menyatakan elemen identitas dari G. Subgrup lainnya adalah himpunan G sendiri.
Grup non trivial adalah grup yang beranggotakan lebih dari satu objek.
Uji Subgrup
Misalkan H adalah subset tak kosong dari grup G. Berdasarkan definisi, perlu diperiksa keberlakuan 4
syarat grup pada H . Namun, ini tidak harus dilakukan. Berikut adalah teorema yang memungkinkan kita
https://mathpro.id/pembahasan-soal/subgrup.html 1/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
TEOREMA 1
Misalkan H adalah subset tak kosong dari grup G. Maka H adalah subgrup dari G jika dan hanya jika
untuk setiap a, b ∈ H berlaku ab −1
∈ H .
Dalam teorema di atas, kita menggunakan notasi multiplikatif (multiplicative notation). Secara umum, jika
operasi binernya adalah ∗, maka kita perlu menunjukkan a ∗ b −1
∈ H .
Lebih khusus, jika operasi binernya adalah penjumlahan, maka kita perlu menunjukkan a − b ∈ H .
TEOREMA 2
Misalkan H adalah subset tak kosong dari grup G. Maka H adalah subgrup dari G jika dan hanya jika
untuk setiap a, b ∈ H berlaku ab ∈ H dan b −1
∈ H .
Kedua teorema di atas berlaku untuk semua grup, baik yang berhingga maupun yang tidak berhingga.
Khusus untuk grup berhingga, terdapat cara yang lebih sederhana. Sebagaimana termuat dalam teorema
berikut.
TEOREMA 3
Misalkan H adalah subset tak kosong dari grup berhingga G. Maka H subgrup dari G jika dan hanya
jika untuk setiap a, b ∈ H berlaku ab ∈ H .
Kita mulai dengan dua sifat dasar dari subgrup. Dilanjutkan dengan bukti Teorema 1, 2, dan 3.
Nomor 1
Misalkan H adalah subgrup dari grup G. Buktikan bahwa elemen identitas pada G dan H sama.
Pembahasan
Andaikan G dan H memiliki elemen identitas yang berbeda. Misalkan e adalah elemen identitas pada G
dan e elemen identitas pada H , dengan e
′
≠ e
′
.
Karena e ′
∈ H ⊆ G dan e elemen identitas pada G, maka
′ ′
e e = e (1)
′ ′ ′
e e = e (2)
https://mathpro.id/pembahasan-soal/subgrup.html 2/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
Iklan oleh
Stop lihat iklan ini Mengapa iklan ini?
Nomor 2
Misalkan H adalah subgrup dari grup G dan a ∈ H . Buktikan bahwa invers dari a di H sama dengan
invers dari a di G.
Pembahasan
Misalkan pula e adalah elemen identitas pada G dan H . Sebagai invers dari a di H , a memenuhi ′
′
aa = e (1)
−1
aa = e (2)
https://mathpro.id/pembahasan-soal/subgrup.html 3/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
Iklan oleh
Stop lihat iklan ini Mengapa iklan ini?
Nomor 3
Misalkan H adalah subset tak kosong dari grup G. Buktikan bahwa H adalah subgrup dari G jika dan
hanya jika untuk setiap a, b ∈ H berlaku ab −1
∈ H .
Pembahasan
Dari Kiri
Misalkan H adalah subgrup dari G, dan a, b ∈ H . Karena H subgrup, maka H adalah grup. Sehingga,
b ∈ H berakibat b−1
∈ H .
Dari Kanan
Misalkan H adalah subset tak kosong dari G yang memenuhi ab −1
∈ H , untuk setiap a, b ∈ H . Untuk
membuktikan H subgrup dari G, perlu ditunjukkan bahwa H adalah grup.
Berikutnya, e, a ∈ H berakibat ea −1
= a
−1
∈ H . Artinya, setiap anggota H mempunyai invers.
Sebagai subset dari grup G, H mewarisi sifat asosiatif. Terakhir, perlu ditunjukkan bahwa H memenuhi
sifat tertutup.
Misalkan b ∈ H , sehingga b −1
∈ H (telah ditunjukkan). Perhatikan bahwa a, b −1
∈ H berakibat
−1 −1
a(b ) = ab ∈ H
Artinya, H memenuhi sifat tertutup. Dengan demikian, H adalah grup. Lebih lanjut, H adalah subgrup
dari G. Terbukti.
https://mathpro.id/pembahasan-soal/subgrup.html 4/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
Nomor 4
Misalkan H adalah subset tak kosong dari grup G. Buktikan bahwa H adalah subgrup dari G jika dan
hanya jika untuk setiap a, b ∈ H berlaku ab ∈ H dan b −1
∈ H .
Pembahasan
Dari Kiri
Misalkan H adalah subgrup dari G, dan a, b ∈ H . Karena H subgrup, maka H adalah grup. Akibatnya,
ab ∈ H dan b−1
∈ H . Terbukti.
Dari Kanan
Misalkan H adalah subset tak kosong dari G yang memenuhi
ab ∈ H (1)
−1
b ∈ H (2)
Karena H tak kosong, maka dapat dipilih sebarang x, y ∈ H . Pandang y sebagai b pada (2), sehingga
y
−1
∈ H . Berikutnya, pandang x sebagai a dan y −1
sebagai b pada (1), sehingga xy −1
∈ H .
Nomor 5
Misalkan H adalah subset tak kosong dari grup berhingga G. Buktikan bahwa H subgrup dari G jika dan
hanya jika untuk setiap a, b ∈ H berlaku ab ∈ H .
Pembahasan
Dari Kiri
Misalkan H adalah subgrup dari grup G, dan a, b ∈ H . Karena H subgrup, maka H adalah grup.
Akibatnya, ab ∈ H . Terbukti.
Dari Kanan
Misalkan H adalah subset tak kosong dari grup berhingga G, sedemikian sehingga ab ∈ H untuk setiap
https://mathpro.id/pembahasan-soal/subgrup.html 5/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
a, b ∈ H .
2 3 n
h, h , h , … , h , … ∈ H
sehingga
2 3 n
S = {h, h , h , … , h , …} ⊆ H
Karena H himpunan berhingga, maka sebagai subset, himpunan S juga berhingga. Akibatnya, elemen-
elemen S tidak semuanya berbeda. Terdapat m, n ∈ N dengan 1 ≤ m < n , sedemikian sehingga h m
= h
n
Perhatikan bahwa
m −m n −m n−m
e = h h = h h = h
Karena h , maka n − m
≠ e > 1 . Dengan kata lain, n − m ≥ 2 , sehingga
n − m − 1 ≥ 1
−1 n−m−1
h = h ∈ H
Karena h ∈ H dan H bersifat tertutup (diketahui), maka berdasarkan Teorema 2, H adalah subgrup
−1
dari G. Terbukti.
Nomor 6
Pembahasan
Berdasarkan definisi, Z(G) adalah subset dari G. Selain itu, Z(G) bukan himpunan kosong, karena
elemen identitas e memenuhi
ae = ea untuk setiap a ∈ G
sehingga e ∈ Z(G) .
−1 −1
ay = ya ⟹ ay = y a
https://mathpro.id/pembahasan-soal/subgrup.html 6/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
sehingga y −1
∈ Z(G) .
Karena a(xy) = (xy)a , maka xy ∈ Z(G) . Berdasarkan Teorema 2, Z(G) adalah subgrup dari G.
Terbukti.
Nomor 7
Misalkan G adalah grup dan a ∈ G . Jika a satu-satunya elemen G dengan order n, maka buktikan bahwa
a ∈ Z(G).
Pembahasan
Misalkan a adalah satu-satunya elemen dengan order n pada grup G. Misalkan pula b adalah sebarang
elemen G. Perhatikan bahwa
−1 n n −1
(bab ) = ba b , untuk n ∈ N
Ini dapat dibuktikan dengan induksi matematika (Buktikan!). Karena a memiliki order n, maka a n
= e ,
sehingga
−1 n n −1 −1 −1
(bab ) = ba b = beb = bb = e
−1
a = bab ⟹ ab = ba
Karena b sebarang elemen dari G, maka a komutatif dengan setiap anggota G. Akibatnya, a ∈ Z(G) .
Terbukti.
Nomor 8
2
H = {x ∈ G ∣ x = e}
Pembahasan
Misalkan G adalah grup abelian dan a, b ∈ G . Berdasarkan definisi, H adalah subset dari G. Selain itu, H
bukan himpunan kosong. Alasannya, elemen identitas e memenuhi e 2
, sehingga e
= e ∈ H .
https://mathpro.id/pembahasan-soal/subgrup.html 7/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
2 2
a = e dan b = e
Perhatikan bahwa
2 2 2
(ab) = a b [G grup abelian]
2 2
= ee [a = e dan b = e]
= e [e elemen identitas]
Karena (ab) 2
= e , maka ab ∈ H . Perhatikan pula
−1 2 −1 −1
(b ) = b b
−1
= (bb) [Sif at grup]
2 −1
= (b )
−1 2
= e [b = e]
= e
Karena (b −1
)
2
= e, maka b −1
∈ H . Berdasarkan Teorema 2, H adalah subgrup dari G. Terbukti.
Nomor 9
Pembahasan
Misalkan G adalah grup abelian dan a, b ∈ G . Berdasarkan definisi, H adalah subset dari G. Selain itu, H
bukan himpunan kosong. Alasannya, elemen identitas e mempunyai order berhingga, sehingga e ∈ H .
Perhatikan bahwa
mn mn mn
(ab) = a b [G grup abelian]
m n n m
= (a ) (b ) [Sif at pangkat pada grup]
n m m n
= e e [a = e dan b = e]
Karena (ab) mn
= e , maka ab memiliki order berhingga. Akibatnya, ab ∈ H . Perhatikan pula
https://mathpro.id/pembahasan-soal/subgrup.html 8/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
−1 n n −1
(b ) = (b ) [Sif at pangkat pada grup]
−1 n
= e [b = e]
Diperoleh (b −1 n
) , sehingga b
= e
−1
∈ H . Berdasarkan Teorema 2, H adalah subgrup dari G. Terbukti.
Nomor 10
C(a) = {b ∈ G ∣ ba = ab}
Pembahasan
Misalkan G adalah grup dan a ∈ G. Berdasarkan definisi, C(a) adalah subset dari G. Selain itu, C(a)
bukan himpunan kosong. Alasannya, elemen identitas e memenuhi ea = ae, sehingga e ∈ C(a).
Misalkan x, y ∈ H . Untuk membuktikan C(a) subgrup dari G, cukup ditunjukkan bahwa xy ∈ C(a) dan
y
−1
∈ C(a) .
xa = ax dan ya = ay
Karena (xy)a = a(xy) , maka xy ∈ C(a) . Berdasarkan Teorema 2, C(a) adalah subgrup dari G. Terbukti.
Nomor 11
Misalkan H dan K adalah subgrup dari grup G. Buktikan bahwa H ∩ K subgrup dari G.
Pembahasan
Misalkan G adalah grup dengan elemen identitas e. Misalkan pula H dan K subgrup dari G.
Karena H dan K subset dari G, maka H ∩ K juga subset dari G. Selain itu, H ∩ K bukan himpunan
kosong. Alasannya, H dan K memuat elemen identitas e, sehingga e ∈ H ∩ K .
Misalkan a, b ∈ H ∩ K , sehingga
a, b ∈ H dan a, b ∈ K
https://mathpro.id/pembahasan-soal/subgrup.html 9/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
−1
ab ∈ H
−1
ab ∈ K
Dengan demikian, ab −1
∈ H ∩ K . Berdasarkan Teorema 1, H ∩ K adalah subgrup dari G. Terbukti.
Nomor 12
Buktikan bahwa sebuah grup tidak dapat ditulis sebagai gabungan dari dua subgrup sejati.
Pembahasan
Pernyataan ini akan dibuktikan dengan kontradiksi. Misalkan G adalah grup dan H , K subgrup sejati dari
G. Andaikan G dapat ditulis sebagai gabungan dari H dan K , yaitu G = H ∪ K .
Kasus 1: hk ∈ H
−1
h (hk) = k ∈ H
Kontradiksi.
Kasus 2: hk ∈ K
−1
(hk)k = h ∈ K
Kontradiksi.
Keduanya menimbulkan kontradiksi. Dengan demikian, G tidak dapat ditulis sebagai gabungan dari H dan
K . Terbukti.
Nomor 13
Pembahasan
Misalkan G adalah grup dan H subgrup dari G. Untuk membuktikan H H = H , perlu ditunjukkan
HH ⊆ H dan H ⊆ HH .
https://mathpro.id/pembahasan-soal/subgrup.html 10/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
a = h1 h2 ∈ H
Karena a ∈ H , maka H H ⊆ H .
Nomor 14
Misalkan H adalah subset dari grup berhingga G. Jika H H ⊆ H , maka buktikan bahwa H subgrup dari G
.
Pembahasan
Misalkan H adalah subset dari grup berhingga G dan H H ⊆ H . Misalkan pula a, b ∈ H . Karena G
himpunan berhingga, maka untuk membuktikan H subgrup dari G, cukup ditunjukkan bahwa ab ∈ H .
Nomor 15
Misalkan H dan K adalah subgrup dari grup G. Buktikan bahwa H K subgrup dari G jika dan hanya jika
H K = KH .
Pembahasan
Dari Kiri
Misalkan G adalah grup dengan elemen identitas e. Misalkan pula H dan K subgrup dari G, sedemikian
sehingga H K subgrup dari G.
−1 −1 −1 −1 −1
a = (a ) = (hk) = k h ∈ KH
Akibatnya, H K ⊆ KH .
Diketahui K adalah subgrup, sehingga k = ek . Karena e dapat dipandang sebagai anggota H , maka
k = ek ∈ H K
h = he ∈ H K
https://mathpro.id/pembahasan-soal/subgrup.html 11/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
Dari Kanan
Misalkan G adalah grup dengan elemen identitas e. Misalkan pula H dan K subgrup dari G, sedemikian
sehingga H K = KH . Perhatikan bahwa H K bukan himpunan kosong, karena e = ee ∈ H K .
x = h1 k1 dan y = h2 k2
Perhatikan bahwa
−1 −1
xy = (h1 k1 )(h2 k2 )
−1 −1
= (h1 k1 )(k h ) [Sif at Grup]
2 2
−1 −1
= h1 (k1 k h ) [Sif at Asosiatif ]
2 2
sehingga
−1 −1
k1 k h = h3 k3
2 2
Akibatnya
−1 −1 −1
xy = h1 (k1 k h )
2 2
= h1 (h3 k3 )
= (h1 h3 )k3
Diperoleh xy −1
= (h1 h3 )k3 ∈ H K . Berdasarkan Teorema 1, H K adalah subgrup dari G. Terbukti.
Nomor 16
Misalkan H dan K adalah subgrup dari grup abelian G. Buktikan bahwa H K subgrup dari G.
Pembahasan
H K = {hk ∣ h ∈ H dan k ∈ K}
= KH
https://mathpro.id/pembahasan-soal/subgrup.html 12/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
Nomor 17
Pembahasan
Perhatikan bahwa H adalah subset tak kosong dari Z . Karena Z 12 12 grup berhingga, maka Teorema 3 bisa
digunakan.
Hasil-hasil operasi dalam tabel di atas adalah anggota dari H . Artinya, untuk setiap a, b ∈ H berlaku
a +12 b ∈ H . Berdasarkan Teorema 3, H adalah subgrup dari Z . 12
Nomor 18
Misalkan H = {[0], [2], [4], [6], [8], [10]} . Buktikan H subgrup dari (Z 12 , .
+12 )
Pembahasan
Perhatikan bahwa H adalah subset tak kosong dari Z . Karena Z 12 12 grup berhingga, maka Teorema 3 bisa
digunakan.
Semua hasil operasi adalah anggota H . Artinya, untuk setiap a, b ∈ H berlaku a + 12 b ∈ H . Berdasarkan
Teorema 3, H adalah subgrup dari Z . 12
Nomor 19
Misalkan
a b
G = {[ ] ∣ a, b, c, d ∈ Z}
c d
dan
https://mathpro.id/pembahasan-soal/subgrup.html 13/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
a b
H = {[ ] ∈ G ∣ a + b + c + d = 0}
c d
Himpunan G adalah grup di bawah operasi penjumlahan matriks. Buktikan bahwa H adalah subgrup dari
G.
Pembahasan
Berdasarkan definisi, himpunan H adalah subset dari G. Selain itu, H bukan himpunan kosong, karena
memuat matriks nol.
Misalkan A, B ∈ H , di mana
a1 a2 b1 b2
A = [ ] dan B = [ ]
a3 a4 b3 b4
a1 + a2 + a3 + a4 = 0
b1 + b2 + b3 + b4 = 0
Perhatikan bahwa
a1 a2 b1 b2
A − B = [ ] − [ ]
a3 a4 b3 b4
a1 − b1 a2 − b2
= [ ]
a3 − b3 a4 − b4
dengan
= 0 − 0
= 0
Karena entri-entrinya merupakan bilangan bulat yang berjumlah nol, maka A − B ∈ H . Berdasarkan
Teorema 1, H adalah subgrup dari G.
Nomor 20
Misalkan GL(2, R) menyatakan himpunan matriks real 2 × 2 yang non-singular. Diketahui GL(2, R)
adalah grup di bawah operasi perkalian matriks.
Didefinisikan
a b
S = {[ ] ∣ a, b, c, d ∈ R dan ad − bc = 1}
c d
Pembahasan
Setiap matriks dalam S mempunyai determinan 1 (non-singular), sehingga S adalah subset dari GL(2, R).
Selain itu, S bukan himpunan kosong, karena memuat matriks identitas.
https://mathpro.id/pembahasan-soal/subgrup.html 14/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
S = {X ∈ GL(2, R) ∣ det(X) = 1}
−1 −1
det(AB ) = det(A) ⋅ det(B )
1
= det(A) ⋅
det(B)
1
= 1 ⋅
1
= 1
Karena det(AB −1
) = 1 , maka AB −1
∈ S . Berdasarkan Teorema 1, S adalah subgrup dari GL(2, R).
Nomor 21
a 0
S = {[ ] ∣ a ∈ R dan a ≠ 0}
0 a
Pembahasan
Setiap anggota S adalah matriks non singular (mengapa?), sehingga S adalah subset dari GL(2, R). Selain
itu, S bukan himpunan kosong, karena memuat matriks identitas.
Misalkan A, B ∈ S , di mana
a 0 b 0
A = [ ] dan B = [ ]
0 a 0 b
Perhatikan bahwa
1 b 0 1/b 0
−1
B = [ ] = [ ]
2
b 0 b 0 1/b
sehingga
a 0 1/b 0
−1
AB = [ ][ ]
0 a 0 1/b
a/b 0
= [ ]
0 a/b
https://mathpro.id/pembahasan-soal/subgrup.html 15/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
GL(2, R) .
Nomor 22
Notasi C menyatakan himpunan bilangan kompleks tak nol. Diketahui C adalah grup di bawah operasi
∗ ∗
∗ 2 2
H = {a + bi ∈ C ∣ a + b = 1}
Pembahasan
Berdasarkan definisi, jelas bahwa H adalah subset dari C . Selain itu, H bukan himpunan kosong, karena
∗
Misalkan x, y ∈ H , di mana
x |x| 1
−1
|xy | = = = = 1
y |y| 1
Karena |xy −1
| = 1 , maka xy −1
∈ H . Berdasarkan Teorema 1, S adalah subgrup dari GL(2, R).
Nomor 23
2
T = {x ∈ S3 ∣ x = e}
Pembahasan
Himpunan T bukan subgrup dari S , karena T tidak memenuhi sifat tertutup terhadap operasi komposisi.
3
Permutasi (1 2) dan (2 3) memiliki order 2, sehingga merupakan anggota T . Namun, hasil operasinya
(1 2)(2 3) = (1 2 3)
memiliki order 3.
https://mathpro.id/pembahasan-soal/subgrup.html 16/17
15/07/23, 07.42 23 Soal dan Pembahasan - Subgrup
TOPIK
SOSIAL
MathPro.id
https://mathpro.id/pembahasan-soal/subgrup.html 17/17