Kelas/Sems : A2/VII
NIM : F1041181037
𝑀𝑖𝑠𝑎𝑙𝑘𝑎𝑛 𝜙 𝑚𝑒𝑟𝑢𝑝𝑎𝑘𝑎𝑛 ℎ𝑜𝑚𝑜𝑚𝑜𝑟𝑓𝑖𝑠𝑚𝑎 𝑑𝑎𝑟𝑖 𝑔𝑟𝑢𝑝 𝐺 𝑘𝑒 𝑔𝑟𝑢𝑝 𝐺̅ 𝑑𝑎𝑛 𝐻 𝑚𝑒𝑟𝑢𝑝𝑎𝑘𝑎𝑛 𝑠𝑢𝑏𝑔𝑟𝑢𝑝 𝑑𝑎𝑟𝑖 𝐺.
𝑀𝑎𝑘𝑎 ∶
1. 𝜙(𝐻) = [𝜙(ℎ) | ℎ ∈ 𝐻] 𝑎𝑑𝑎𝑙𝑎ℎ 𝑠𝑢𝑏𝑔𝑟𝑢𝑝 𝑑𝑎𝑟𝑖 𝐺̅
Bukti :
Bahwa 𝜙(𝐻)𝑠𝑢𝑏𝑔𝑟𝑢𝑝 𝐺
Tunjukkan 𝑎 ̅̅̅
⊙ 𝑏 ∈ 𝜙(𝐻)
̅̅̅ 𝑏 = 𝜙(ℎ1 ) ⊙
𝑎⊙ ̅̅̅ 𝜙(ℎ2 )
= 𝜙(ℎ1 ̅̅̅
⊙ ℎ2 )
= 𝜙(ℎ1 ̅̅̅
⊙ ℎ2−1 )
= 𝜙(ℎ3 )
̅̅̅ 𝑏 ∈ 𝜙(𝐻)
Jadi 𝑎 ⊙
Karena 𝑒̅ ∈ 𝜙(𝐻), untuk suatu unsur identitas 𝐺̅ dan untuk sebarang unsur 𝑎, 𝑏 ∈ 𝜙(𝐻) berlaku
𝑎 ̅̅̅
⊙ 𝑏 ∈ 𝜙(𝐻) maka 𝜙(𝐻) = [𝜙(ℎ) | ℎ ∈ 𝐻] 𝑎𝑑𝑎𝑙𝑎ℎ 𝑠𝑢𝑏𝑔𝑟𝑢𝑝 𝑑𝑎𝑟𝑖 𝐺̅