Perhatikan himpunan fuzzy 𝐴 pada grup 𝐺 dengan fungsi keanggotaan 𝜇,

dan 𝑥 ∈ 𝐺. Suatu himpunan fuzzy dengan fungsi keanggotaan 𝜇(𝑒){𝑥} ∘ 𝜇

dan 𝜇 ∘ 𝜇(𝑒){𝑥} disebut sebagai koset kiri dan koset kanan dari 𝐴 terhadap 𝑥,
dan ditulis sebagai 𝑥𝐴 dan 𝐴𝑥. Berdasarkan Teorema 1.1.3 diketahui bahwa
jika 𝐴 subgroup fuzzy normal, maka koset kiri 𝑥A juga koset kanan 𝐴𝑥.
Dalam kasus demikian 𝑥𝐴 cukup disebut sebagai koset.
Himpunan fuzzy koset kiri adalah suatu obyek yang didefinisikan sebagai berikut:
𝑥𝐴 = 𝑧, 𝜇 𝑥𝐴 (𝑧) 𝑥 ∈ 𝐺 = 𝑧, (𝜇 𝑒 𝑥 ∘ 𝜇)(𝑧) 𝑧 ∈ 𝐺 = {(𝑧, 𝜇(𝑥 −1 𝑧)|𝑧 ∈ 𝐺}
Dalam hal ini fungsi keanggotaan dari 𝑥𝐴 adalah 𝜇 𝑒 𝑥 ∘ 𝜇.
Himpunan fuzzy koset kanan adalah suatu obyek yang didefinisikan sebagai berikut:
𝐴𝑥 = 𝑧, 𝜇 𝐴𝑥 (𝑧) 𝑧 ∈ 𝐺 = 𝑧, (𝜇 ∘ 𝜇 𝑒 𝑥 )(𝑧) 𝑧 ∈ 𝐺 = {(𝑧, 𝜇(𝑧𝑦 −1 )|𝑧 ∈ 𝐺}
Dalam hal ini fungsi keanggotaan dari 𝐴𝑥 adalah 𝜇 ∘ 𝜇 𝑒 𝑥

𝜇 𝑒 𝑥 ∘ 𝜇 𝑧 = 𝜇 𝑥 −1 𝑧 ∀𝑧 ∈ 𝐺 (Bukti Teorema 1.3.10)

 𝑥𝑦𝐴 = 𝑧, 𝜇 𝑥𝑦𝐴 (𝑧) 𝑧 ∈ 𝐺 = 𝑧, (𝜇 𝑒 𝑥𝑦 ∘ 𝜇)(𝑧) 𝑧 ∈ 𝐺
−1 𝑧
= 𝑧, 𝜇 𝑥𝑦 𝑧∈𝐺

𝑥𝐴 𝑜 𝑦𝐴 = (𝑧, 𝜇 𝑥𝐴 𝑜 𝑦𝐴 (𝑧)) 𝑧 ∈ 𝐺
= 𝑧, 𝜇 𝑒 𝑥 ∘𝜇 𝑧 ∘ 𝜇 𝑒 𝑦 ∘𝜇 𝑧 𝑧∈𝐺
= 𝑧, 𝜇 𝑥𝐴 𝑧 ∘𝜇 𝑦𝐴 𝑧 |𝑧 ∈ 𝐺
= 𝑧, 𝜇 𝑥 −1 𝑧 𝜇 𝑦 −1 𝑧 𝑧∈𝐺
Dalam hal ini
𝜇 𝑥𝐴 𝑜 𝑦𝐴 𝑧 = 𝜇 𝑒 𝑥 ∘ 𝜇 (𝑧) ∘ 𝜇 𝑒 𝑦 ∘ 𝜇 (𝑧)
Jika 𝐴 himpunan fuzzy pada grup 𝐺, maka untuk semua 𝑥, 𝑦 ∈ 𝐺 berlaku:
1) 𝑥𝐴 = 𝑦𝐴 ⟺ 𝑥𝜇∗ = 𝑦𝜇∗
2) 𝐴𝑥 = 𝐴𝑦 ⟺ 𝜇∗ 𝑥 = 𝜇∗ 𝑦

Ingat
𝑥𝐴 = 𝑦𝐴 ⟺ 𝜇𝑥𝐴 = 𝜇𝑦𝐴 ∀𝑥, 𝑦 ∈ 𝐺
𝜇∗ = 𝑥 ∈ 𝐺 𝜇 𝑥 = 𝜇 𝑒
Misal 𝑥𝐴 = 𝑦𝐴, didapat (𝜇(𝑒){𝑥} ∘ 𝜇)(𝑧) = (𝜇 𝑒 𝑦 ∘ 𝜇)(𝑧) ∀𝑧 ∈ 𝐺 yang berarti bahwa
𝜇 𝑥 −1 𝑧 = 𝜇 𝑦 −1 𝑧 ∀𝑧 ∈ 𝐺.
Pilih 𝑧 = 𝑦 sehingga didapat 𝜇 𝑥 −1 𝑦 = 𝜇 𝑦 −1 𝑦 = 𝜇(𝑒) sehingga 𝑥 −1 𝑦 ∈ 𝜇∗ .
Dengan demikian 𝑥𝜇∗ = 𝑦𝜇∗ .
Sebaliknya jika 𝑥𝜇∗ = 𝑦𝜇∗ , maka 𝑥 −1 𝑦 ∈ 𝜇∗ dan 𝑦 −1 𝑥 ∈ 𝜇∗ . Dengan demikian
𝜇 𝑥 −1 𝑧 = 𝜇 𝑥 −1 𝑦. 𝑦 −1 𝑥 ≥ min 𝜇 𝑥 −1 𝑦 , 𝜇 𝑦 −1 𝑧
= min 𝜇 𝑒 , 𝜇 𝑦 −1 𝑧 = 𝜇 𝑦 −1 𝑧 ∀𝑧 ∈ 𝐺.
Dengan cara yang sama didapat 𝜇 𝑦 −1 𝑧 ≥ 𝜇 𝑥 −1 𝑧 ∀𝑧 ∈ 𝐺, yang menunjukkan
bahwa 𝑥𝐴 = 𝑦𝐴. Dengan cara similar dapat dibuktikan 2).
Misal 𝐴 subgrup fuzzy normal dari 𝐺 dengan fungsi keanggotaan 𝜇,
dan 𝑥, 𝑦 ∈ 𝐺. Jika 𝑥𝐴 = 𝑦𝐴, maka 𝜇 𝑥 = 𝜇 𝑦 .
Pandang 𝑥𝐴 = 𝑦𝐴. Berdasarkan Teorema 1.3.10, 𝑥 −1 𝑦 ∈ 𝜇∗ , dan 𝑦 −1 𝑥 ∈ 𝜇∗
Karena 𝐴 subgrup fuzzy normal diperoleh bahwa 𝜇 𝑥 = 𝜇 𝑦 −1 𝑥𝑦 ≥
min 𝜇 𝑦 −1 𝑥 , 𝜇(𝑦) = min 𝜇 𝑒 , 𝜇 𝑦 =𝜇 𝑦 .
Dengan cara sama diperoleh 𝜇 𝑦 ≥ 𝜇 𝑥 .
Jadi didapat 𝜇 𝑥 = 𝜇 𝑦 .

Ingat 𝜇∗ = 𝑥 ∈ 𝐺 𝜇 𝑥 = 𝜇 𝑒
 𝐴∘𝐵 = 𝑦𝑧, 𝜇𝐴∘𝐵 𝑦𝑧 𝑦, 𝑧 ∈ 𝐺

𝜇𝐴∘𝐵 𝑦𝑧 = max min 𝜇𝐴 𝑦 , 𝜇𝐵 𝑧 |𝑦, 𝑧 ∈ 𝐺

𝜇 𝑒 𝑥 ∘ 𝜇 𝑎 = max{min 𝜇 𝑦 , 𝜇 𝑧 |𝑦, 𝑧 ∈ 𝐺, 𝑦𝑧 = 𝑎}
Misal 𝐴 subgrup fuzzy normal dari grup G dengan fungsi keanggotaan 𝜇, dan 𝐺|𝐴 =
𝑥𝐴 𝑥 ∈ 𝐺 . Pernyataan berkiut memenuhi:
(1) 𝑥𝐴 ∘ 𝑦𝐴 = 𝑥𝑦 𝐴 ∀𝑥, 𝑦 ∈ 𝐺.
(2) (𝐺|𝐴,∘) merupakan grup
(3) 𝐺 𝐴 ≅ 𝐺 𝜇∗ .
(4) Jika 𝐵 himpunan fuzzy dari 𝐺|𝐴 dengan fungsi keanggotaan 𝜇 (∗) didefinisikan
dengan 𝜇 ∗
𝑥𝐴 = 𝜇 𝑥 ∀𝑥 ∈ 𝐺, maka 𝐵 subgruf fuzzy normal dari (𝐺 𝐴 .
 𝜇

𝐺 [0,1]
𝑥 𝜇𝑅|𝐴
𝜇𝑅|𝐴 𝑥𝐴 = 𝜇 𝑒 𝑥 ∘𝜇 𝑥
01 02 03
LOREM IPSUM NUNC VIVERRA PELLENTESQUE
DOLOR SIT AMET, IMPERDIET ENIM. HABITANT MORBI
CONSECTETUER FUSCE EST. VIVAMUS TRISTIQUE
ADIPISCING ELIT. A TELLUS. SENECTUS ET
MAECENAS NETUS ET
MALESUADA FAMES.