Professional Documents
Culture Documents
Struktur Aljabar - Koset
Struktur Aljabar - Koset
Kelompok 6 :
1. Anisa Rahmah B
(11654200963)
2. Bayu Fajar Perdana
(11554102880)
3. Supri yanto
(11554100741)
4. Widya Sri Ayuni
(11554)
Teorema 3.1
Bukti :
(⇒) Diketahui bahwa 𝑏 ∈ 𝐻𝑎, akan ditunjukkan 𝐻𝑎 =
𝐻𝑏 . Karena 𝑏 ∈ 𝐻𝑎 maka 𝑏𝑎−1 ∈ (𝐻𝑎)𝑎−1 atau
𝑏𝑎−1 ∈ 𝐻, menurut teorema jika 𝑏𝑎−1 ∈ 𝐻, maka
𝐻𝑏𝑎−1 = 𝐻
𝐻𝑏𝑎−1 𝑎 = 𝐻𝑎
𝐻𝑎 = 𝐻𝑏
(⇐) Diketahui 𝐻𝑎 = 𝐻𝑏 , akan dibuktikan 𝑏 ∈ 𝐻𝑎 .
Oleh karena 𝐻𝑎 = 𝐻𝑏, maka jelas bahwa 𝑏 ∈ 𝐻𝑎. Jadi
diperoleh 𝑏 ∈ 𝐻𝑎 jika dan hanya jika 𝐻𝑎 = 𝐻𝑏.
Teorema 3.4