ANTI SUBGRUP -

FUZZY
Oleh Fariha Junaidi
 Pendahuluan
Latar Belakang

Konsep himpunan fuzzy merupakan perluasan dari konsep himpunan klasik yang
pertama kali diperkenalkan oleh Lotfi A Zadeh. Zadeh memperkenalkan himpunan fuzzy yang
didefinisikan sebagai suatu pemetaan dari himpunan tak kosong X ke interval tertutup [0,1]. Kajian
mengenai konsep himpunan mulai berkembang pada sekitar tahun 1965 yang ditandai dengan
adanya perluasan dari konsep himpunan tegas menjadi himpunan fuzzy (samar). Himpunan fuzzy
atas suatu himpunan 𝑋 merupakan suatu fungsi dari 𝑋 ke interval tutup [0,1] dan merupakan
generalisasi dari himpunan tegas. Dengan kata lain, himpunan tegas merupakan kasus khusus dari
himpunan fuzzy, sehingga sifat yang ada pada himpunan tegas pasti dapat dinyatakan sebagai kasus
khusus dari sifat himpunan fuzzy.
Rumusan Masalah

1. Bagaimana pembentukan subgrup fuzzy atas suatu grup

klasik?
2. Bagaimana membuktikan bahwa dapat berlaku anti subgrup
fuzzy ataupun anti subgrup normal fuzzy?
3. Bagaimana keterkaitan antara teori anti sub-grup -fuzzy
(normal) dengan anti subgrup fuzzy (normal) klasik?
Tujuan Penulisan

Penulisan makalah ini bertujuan untuk memenuhi tugas akhir dari mata kuliah
Seminar Matematika yang diampu oleh ibu Hayatun Nufus S.Pd, M.Pd. Serta: 1.
Untuk Mengetahui informasi tentang bagaimana pembentukan
subgrup fuzzy atas suatu grup klasik.
2. Untuk membuktikan bahwa dapat berlaku anti subgrup fuzzy
ataupun anti subgrup normal fuzzy.
3. Untuk mengetahui keterkaitan antara teori anti sub-grup -fuzzy
(normal) dengan anti subgrup fuzzy (normal) klasik.
 Teori Pendukung
Grup

Definisi 2.1.1
Grup G merupakan sistem aljabar yang terdiri atas himpunan tak kosong G dan suatu operasi biner
yang didefinisikan pada G serta memenuhi aksioma-aksioma berikut ini :
1. Untuk setiap berlaku .
2. Operasi biner bersifat assosiatif, yaitu , untuk setiap
3. Terdapat elemen e disebut identitas sehingga , untuk setiap .
4. Untuk setiap terdapat elemen sehingga
Defenisi 2.1.2
Misal adalah grup dan . Jika membentuk grup, maka adalah subgroup dari .

Defenisi 2.1.3
Misal dan suatu fungsi disebut dengan homomorfisma grup jika berlaku maka .
Defenisi 2.2.1
Diberikan U sebagai himpunan semesta. Himpunan -fuzzy atas U di defenisikan sebagai

Fungsi disebut fungsi keanggotaan dari dan disebut derajat keanggotaan dari .

Defenisi 2.2.2
Himpunan A merupakan himpunan bagian dari himpunan B jika setiap elemen himpunan A termuat di himpunan
B, dan ditulis .

Defenisi 2.2.3
Misalkan merupakan himpunan bagian dari fuzzy pada grup G. Maka dikatakan subgrup fuzzy pada grup G jika
untuk semua , berlaku
1. minimal
2.

Defenisi 2.2.4
Misalkan adalah sebuah himpunan bagian fuzzy pada grup G. Maka dikatakan subgrup fuzzy pada grup G jika
untuk semua , berlaku
1. maks
2.

Defenisi 2.2.5
Komplemen dari himpunan fuzzy pada himpunan X, dinotasikan dengan dan didefenisikan sebagai untuk setiap .
Proposisi 2.2.6
H adalah subgrup fuzzy pada grup G jika dan hanya jika adalah subgrup anti fuzzy.
Bukti :
 Ambil sebarang
Karena H adalah subgrup fuzzy pada G, maka berdasarkan defenisi 2.2.3:
(i) minimal
- -minimal
1 - minimal
maks
maks ……………(1)
(ii)

……………..(2)
Berdasarkan defenisi 2.2.4, maka dari (1) dan (2) dapat disimpulkan bahwa adalah subgrup anti fuzzy
pada grup G.
 Ambil sebarang
Karena adalah subgrup anti fuzzy pada grup G, maka berdasarkan defenisi 2.2.4:
(i)

………………….(1)
(ii)

………………………(2)
Berdasarkan defenisi 2.2.3, maka dari (1) dan (2) dapat disimpulkan bahwa H adalah subgrup fuzzy pada G.
 PEMBAHASAN
Anti Subgrup 𝛼-Fuzzy
Proposisi 4.1.1 Jika 𝐴 merupakan anti subgrup fuzzy dari grup 𝐺 maka 𝐴_ 𝛼 merupakan
anti subgrup fuzzy dari grup 𝐺.

Bukti Diambil sebarang 𝑥, 𝑦 ∈ 𝐺.

(𝑥y) = max{𝐴(𝑥y), 1 − 𝛼}
≤ max{max{𝐴(𝑥), 𝐴(𝑦)}, 1 − 𝛼}
= max{max{𝐴(𝑥), 1 − 𝛼}, max{𝐴(𝑦)1 − 𝛼}}
= max{(𝑥), (𝑦)}
sehingga (𝑥y) ≤ max{(𝑥), (𝑦)}.
Selanjutnya, untuk sebarang berlaku
() = max{𝐴(), 1 − 𝛼}
= max{𝐴(𝑥), 1 − 𝛼}
= (𝑥).
Berdasarkan analisa diatas, terbukti merupakan anti subgrup fuzzy.
 merupakan grup dengan = = 𝑒 dan 𝑎b = 𝑏a = 𝑧. Didefinisikan subset fuzzy 𝐴 dari 𝐺 sebagai berikut
𝐴 = {( , 0,5), (𝑎 , 0,4), (𝑏 , 0,3), (𝑧 , 0,2)}.
Jelas 𝐴 bukan anti subgrup fuzzy karena ( 𝑒) ≥ ( 𝑥) untuk setiap 𝑥 ∈ 𝐺.
Selanjutnya, dipilih 𝛼 = 0,5. Sehingga untuk setiap 𝑥 ∈ 𝐺. berlaku
(𝑥) = max{𝐴(𝑥), 1 − 𝛼} = 1 − 𝛼.
Akibatnya, untuk setiap 𝑥, 𝑦 ∈ 𝐺 berlaku ( 𝑥) = ( 𝑦) dengan demikian memenuhi ( 𝑥y) = max{(𝑥),(𝑦)} dan ()
= (𝑥) sehingga terbukti merupakan anti subgrup fuzzy dari 𝐺 walaupun 𝐴 bukan anti subgrup fuzzy.

Proposisi 4.1.2 Diberikan, subset fuzzy 𝐴 dari grup 𝐺. Jika 𝛼 ≤ 1 − 𝑞 dengan

𝑞 = 𝑆up{𝐴(𝑥)|𝑥 ∈ 𝐺, maka merupakan anti subgrup fuzzy dari grup 𝐺.
Jika 𝛼 ≤ 1 − 𝑞 maka 𝑞 ≤ 1 − 𝛼 sehingga 𝑆up{ 𝐴(𝑥)𝑥 ∈ 𝐺} ≤ 1 − 𝛼.
Dengan demikian untuk setiap 𝑥 ∈ 𝐺 berlaku ( 𝑥) ≤ 1 − 𝛼, sehingga berlaku ( 𝑥) = max{ 𝐴( 𝑥), 1 − 𝛼} = 1
Bukti − 𝛼 untuk setiap 𝑥 ∈ 𝐺. Karena (𝑥) = 1 − 𝛼 untuk setiap 𝑥 ∈ 𝐺, diperoleh ( 𝑥y) = 𝑚ax{(𝑥), (𝑦)}, dan ()
= (𝑥). Terbukti merupakan anti subgrup fuzzy dari grup 𝐺.
Berikut ini diberikan sifat anti subgrup fuzzy terkait dengan elemen identitas dan invers pada anti
subset 𝛼-fuzzy.
 . dengan 𝑒 identitas di 𝐺.
.
Jika . maka .

Bukti (i) Diambil sebarang , karena 𝐺 grup dan anti subgrup fuzzy, diperoleh

Jadi, untuk setiap .

(ii) Diambil sebarang , karena 𝐺 grup, berlaku . Karena anti subgrup fuzzy,
sehingga diketahui namun disisi lain . Akibatnya, untuk setiap .

(iii) Diambil sebarang ., karena 𝐺 grup dan anti subgrup fuzzy, diperoleh

Jadi , .
 Proposisi 4.1.4 Diberikan 𝐴 suatu subset fuzzy dari grup 𝐺 dan [0,1].
adalah anti subgrup fuzzy jika dan hanya jika untuk setiap . berlaku
.
Bukti jika
Diambil sebarang , karena G grup sehingga berlaku

Jadi diketahui
Selanjutnya, diambil sebarang , sehingga
. Jadi
Diambil sebarang , karena 𝐺 grup sehingga berlaku
.
Berdasarkan analisa diatas, terbukti anti subgrup fuzzy.
 Proposisi 4.1.5 Jika dan merupakan anti subgrup fuzzy dari grup 𝐺, maka adalah
anti subgrup fuzzy dari grup 𝐺.

Bukti Bukti : Diambil sebarang , diperoleh

.
Berdasarkan Proposisi 4.1.4 , terbukti anti subgrup fuzzy dari grup 𝐺
Irisan dari dua anti subgrup 𝛼-fuzzy dari grup 𝐺 belum tentu anti subgrup 𝛼 - fuzzy dari
grup 𝐺. Diberikan contoh sebagai berikut.
Misal 𝐺=𝑍, merupakan grup bilangan bulat dibawah operasi penjumlahan. Dinotasikan d
buah anti subgrup fuzzy sebagai berikut.
dan

Selanjutnya, (𝐴∩𝐵)(𝑥)=min{𝐴(𝑥),𝐵(𝑥)} diperoleh

Diambil 𝑥=2 dan 𝑦=3 maka (𝐴∩𝐵)(𝑥)=0,6 , (𝐴∩𝐵)(𝑦)=0,7,

kemudian (𝐴∩𝐵)(𝑥+𝑦)=(𝐴∩𝐵)(2+3)=(𝐴∩)(5)=0,8.
Sedangkan max{(𝐴∩𝐵)(𝑥),(𝐴∩𝐵)(𝑦)}=max{0,6 ,0,7}=0,7.
Sehingga (𝐴∩𝐵)(𝑥+𝑦)>max{(𝐴∩𝐵)(𝑥),(𝐴∩𝐵)(𝑦)}.
Jadi (𝐴𝐴∩𝐵𝐵) bukan anti subgrup fuzzy, sehingga jelas belum tentu anti subgrup fuzzy.
Anti Subgrup Normal 𝜶-Fuzzy
Proposisi 4.2.1 Jika 𝐴 anti subgrup normal fuzzy dari grup 𝐺, maka
𝐴_𝛼 anti subgrup fuzzy dari grup 𝐺.

Bukti Diambil sebarang , diperoleh

Jadi anti subgrup normal fuzzy dari grup 𝐺.

 Kebalikan dari Proposisi (4.2.1) belum tentu berlaku. Sebagai
ilustrasi dimisalkan adalah grup dengan dan 𝑏a = . Selanjutnya
didefinisikan anti subgrup fuzzy 𝐴 dari 𝐺 sebagai berikut.
)=
Jelas A bukan anti subgrup normal fuzzy karena terdapat sedemikian

Selanjutnya, diambil 𝛼=0,6 sehingga untuk setiap berlaku

Jadi adalah anti subgrup normal fuzzy.

 Proposisi 4.2.2 Diberikan 𝐴 merupakan anti subgrup fuzzy dari grup 𝐺. Jika

maka merupakan anti subgrup normal fuzzy dari grup 𝐺.

Bukti Jika , maka , sehingga diperoleh atau dengan kata lain untuk setiap berlaku , dengan
demikian diperoleh

Akibatnya, untuk sebarang , berlaku dan . Jadi

Jadi, terbukti adalah anti subgrup normal fuzzy.
Proposisi 4.2.3 Misalkan 𝐴 adalah anti subgrup normal fuzzy. Pernyataan berikut
ekuivalen untuk setiap .
(i) (xy)=(yx)

(i) ⇒ (ii) Diambil sebarang , sehingga

Jadi
) Diambil sebarang berdasarkan (ii) diperoleh

Jadi
oposisi 4.2.4 Jika merupakan anti subgrup fuzzy dari grup 𝐺, maka subset
erupakan subgrup normal dari 𝐺.

rkan definisi jelas dan bukan himpunan kosong karena terdapat . Diambil sebarang , diperoleh

ga namun disisi lain diketahui ( 𝑒)≤ ( 𝑥).

ya berdasarkan definisi diperoleh Selanjutnya, diambil sebarang dan , diperoleh Jadi subgrup
dari G.
.

(i) (⇒) Diketahui untuk sebarang , sehingga untuk suatu berlaku

)⇔ ()= (𝑥)= (𝑒).
Karena berdasarkan definisi diperoleh .
(⇐) Diketahui , sehingga ()= (𝑒).
Diambil sebarang sehingga koset kiri dari adalah

Diperoleh, .
Selanjutnya dengan menukar peran dan pada pembuktian diatas, dapat diperoleh

Akibatnya, diperoleh .
(ii) Pembuktian mengikuti cara yang sama pada bagian (i).
Proposisi 4.2.6 Diberikan anti subgrup normal fuzzy dari grup dan maka:

Selanjutnya diambil sedemikian

,
diperoleh namun disisi lain diketahui untuk setiap sehingga diperoleh .
Berdasarkan Proposisi (4.2.5) terbukti .
(ii) Pembuktian mengikuti cara yang sama pada (i).
 dengan definisi

Misal dan untuk sebarang maka berdasarkan Proposisi (4.2.6) bagian (ii) diperoleh
Diambil sebarang , berdasarkan definisi sehingga

Jadi terbukti bahwa well defined pada .

Proposisi 4.2.8 Diberikan adalah anti subgrup normal fuzzy dari grup , maka subset
adalah grup dengan operasi biner .

Mudah untuk menunjukkan bahwa identitas dari adalah dengan elemen identitas di , dan inv
untuk setiap elemen adalah .

Proposisi 4.2.9 Diberikan adalah anti subgrup normal fuzzy dari grup G, maka
disebut grup faktor atau grup kosien dari G yang dibangun oleh anti subgrup
normal fuzzy .
Proposisi 4.2.10 Diberikan adalah anti subgrup normal fuzzy dari grup G. Didefinisikan
pemetaan dengan aturan untuk setiap , maka adalah epimorfisma dari G
ke dan . (Homomorfisma disebut homomorfisma natural dari G
ke )

Diambil sebarang , diperoleh . Sehingga , 𝑓 homomorfisma.

Selanjutnya, berdasarkan definisi himpunan diketahui berlaku untuk setiap terdapat
sedemikian Jadi 𝑓 bersifat surjektif.
Menggunakan Proposisi 4.2.9, akan mudah menunjukkan grup isomorfik terhadap
grup . Berikut disajikan Akibat dari Proposisi (4.2.10) sebagai berikut.

Akibat 4.2.10 Diberikan adalah anti subgrup normal fuzzy dari grup G, maka grup
isomorfik terhadap grup kosien . Dinotasikan
 PENUTUP
Kesimpulan

1. Jika suatu subset fuzzy A dari grup G merupakan anti subgrup fuzzy (anti subgrup normal fuzzy)
maka anti subset α-fuzzy A juga merupakan anti subgrup fuzzy (anti subgrup normal fuzzy) dari
grup G. Selanjutnya, syarat cukup untuk anti subset α-fuzzy dari merupakan anti subgrup normal
fuzzy adalah jika
2. Anti subset α-fuzzy dari A merupakan anti subgrup fuzzy jika dan hanya jika untuk setiap berlaku
.
3. Terdapat grup faktor yang dibangun dari sebuah anti subgrup normal yaitu kumpulan semua
koset α-fuzzy dari didefinisiakan dibawah operasi biner " ⊗ " dengan definisi,

4. Grup faktor isomorfik dengan .

Saran

Penulis menyadari bahwa makalah ini masih memiliki banyak kekurangan baik dari segi
penulisan maupun materi, maka dari itu penulis sangat berharap saran dan kritik dari
pembaca guna memperbaiki kualitas makalah ini.
CREDITS: This presentation template was created
by Slidesgo, including icons by Flaticon, and
infographics & images by Freepik.