Page 22 - Kelompok 1 : SUBGRUP

 Ambil sembarang a, b ∈ G

a ∗ b = a + b ∈ G (sifat tertutup terpenuhi atau aksioma

pertama dipenuhi)

 Unsur identitas e ∈ G ada dalam H (e ∈ G maka e ∈ H)

Pilih e = 0, e ∈ G, ambil sembarang a ∈ G maka a ∗ e = a + 0

= a dan e ∗ a = 0 + a = a sehingga dipenuhi a ∗ e = e ∗ a

= a , artinya e = 0 element identitas (aksioma ketiga

dipenuhi)