Topik diskusi : apakah Z12 merupakan grup? Silahkan dicari subgrup dari Z12 tersebut
juga generator subgrupnya.
Pembahasan :
Z12 merupakan sebuah grup karena : Z12 adalah himpunan tidak kosong yang
memenuhi aksioma – aksioma berikut ini :
∀ a, b, c ∈ G berlaku (a * b) * c = a * (b * c),
Misalkan a = 1, b = 2, c =3 maka (a*b)*c = a*(b*c) yaitu (1*2)*3=1*(2*3)
Dari hasil diatas dapat disimpulkan <2>, <3>, <4>, dan <6> merupakan subgrup
dari Z12. <2>, <3>, <4>, dan <6> merupakan subgrup sejati nontrivial dari Z 12 dan <0>
merupakan subgrup trivial dari Z12.