TEORI GRUP

KOMPLEX DAN SUBGRUP

Oleh:
Fauziah Hakim, S.Pd., M.Pd.
Dosen Program Studi Pendidikan Matematika
Universitas Sulawesi Barat
 Definisi Komplex dan Subgrup

Misalkan adalah grup dan subset sebarang dari , maka disebut

komplex dari . Perlu ditegaskan bahwa jika bukan grup maka bukan
komplex dari .

Suatu komplex tidak kosong dari grup dinamakan subgrup dari , jika
merupakan grup terhadap operasi yang sama di dalam
 Definisi Komplex dan Subgrup

 Setiap subgrup dari grup merupakan komplex, tetapi tidak semua

komplex dari merupakan subgrup.

 Setiap himpunan merupakan subset dari dirinya sendiri, akibatnya

jika suatu grup, maka juga merupakan subgrup dari

 Jika kita bentuk suatu himpunan , dimana unsur identitas dari

grup , maka jelas dan merupakan grup terhadap operasi yang
sama di . Oleh karena itu merupakan subgrup dari .

Jadi, setiap grup yang lebih dari satu anggotanya dijamin mempunyai
minimal dua subgrup, yaitu sendiri, dan , dimana unsur identitas di .
Dalam hal ini dan disebut “subgrup trivial” atau “subgrup improper”.
Selanjutnya, jika ada subgrup dari , dimana dan maka disebut
“subgrup tidak trivial” atau “subgrup proper”.
Contoh 1

Misalkan dengan operasi perkalian maka

membentuk grup. Pandang maka dan membentuk
grup terhadap operasi yang sama di . Jadi
merupakan subgrup dari .
Contoh 2

merupakan grup. Pandang maka merupakan

subgrup dari Z.
 Teorema

Misalkan suatu grup dan subgrup dari , maka

berlaku:
(i) Jika , dan , maka
( dan berturut-turut identitas di dan )
(ii) dan misalkan invers di dan invers di , maka .
(iii) dengan di dan di , maka .
 Teorema

Bukti:
Jika subgrup trivial dari , jelas ketiga sifat tersebut
dipenuhi. Selanjutnya kita misalkan subgrup tidak
trivial dari .
(i) Misalkan dan , dimana dan berturut-turut
unsur identitas di dan . Ambil sebarang , maka .
Jika dan identitas di maka
Jika dan identitas di maka
Dengan demikian
 Teorema

Bukti:
(ii) Misalkan unsur identitas di
Ambil sebarang , maka .
Selanjutnya misalkan invers dari di dan invers
dari di , maka:
dan
Dengan demikian diperoleh: , maka .
(iii) Ikuti langkah-langkah ini:
 Tetapkan unsur identitas di
 Ambil sebarang anggota di dan tetapkan
tingkatnya baik di maupun di
 Gunakan definisi tingkat anggota suatu grup
 Himpunan Kuasa dari Grup G

Dalam teori himpunan dikenal istilah himpunan

kuasa, yaitu himpunan dari semua subset dari suatu
himpunan. Bersesuaian dengan hal tersebut, jika kita
pandang sebagai suatu grup, dan semua subset dari
kita kenal dengan komplex, maka himpunan semua
komplex dari grup , merupakan suatu himpunan
kuasa dari .

Tulis = himpunan kuasa dari grup atau

= himpunan semua komplex dari
 Definisi-definisi Lainnya

Misalkan dan dua komplex sebarang yang tidak kosong dari grup ,
maka perkalian dan dinyatakan sebagai yang didefinisikan oleh

Misalkan subgrup dari grup , maka invers dari (ditulis didefinisikan

oleh dimana adalah invers h di H.
 Teorema

Jika dan suatu komplex dari grup , maka

Bukti:
Untuk menunjukkan , kita cukup dan perlu menunjukkan bahwa:
(i)
(ii)

(i) Ambil sebarang , maka

untuk suatu
untuk

Jadi,
(ii) Ambil sebarang maka:
untuk suatu
karena dan G grup
Hal ini berarti
Jadi
SUMBER MATERI:

Tahmir, S. 2012. Teori Grup. Makassar: Andira Publisher.