Penyelesaian :
Jika |<a>| = n maka order sembarang subgrup dari <a> merupakan faktor dari n untuk setiap
pembagi posifit k dari n, grup <a> mempunyai tepat satu subgrup yang berorder k dinamakan <an/k>
Bukti :
Kasus I
Jika H = {e} maka jelas bahwa H siklik karena dibangun oleh e sendiri.
Kasus II
Jika H {e}, ada t positif sehingga at dalam H. Misalkan M bilangan bulat positif terkecil sedemikian
sehingga am H maka jelas <am> H.
Misalkan ak H. Dengan menggunakan algoritma pembagian maka terdapat bilangan bulat q dan r
K = qm + r, 0 r m
Ak = am + r
Diberikan ak = b H dan a-mq = (am)-q juga anggota H. Ar H ar = a-ma karena m bilangan bulat positif
terkecil sehingga am dama H dan 0 r m maka r = 0. Akibarnya a-mq . ak = e. Sehingga a . b = ak = amq
<am>
Dari pembuktian diatas terbukti bahwa subgrup dari grup siklik adalah siklik.
Penyelesaian :
Z6 = {0,1,2,3,4,5}
<0> = {0}
Z20 : Menurut akibat teorema B – 3 ”Suatu bilangan bulat k Z merupakan generator dari Zn jika dan
hanya jika gcd(k,n) = 1”. Maka dapat diambil kesimpulan generator Z20 adalah {1, 3, 7, 9, 11, 13, 17,
19}