Theorema 2.
Sub-grup dari grup siklik adalah juga siklik.
Penyelesaian.
Misalkan 𝐺 adalah sebuah grup Siklik, maka 𝐺 pasti memiliki generator. Anggap generator tersebut
adalah 𝑎
𝐺 = 〈𝑎〉 = {𝑎𝑛 |𝑛 ∈ 𝑍}
𝐻 adalah subgrup dari 𝐺:
𝐻 ≤𝐺
Jika 𝐻 = {𝑒} maka 𝐻 hanya terdiri dari elemen identitas, maka 𝐻 sudah pasti grup siklik.
Jika 𝐻 ≠ {𝑒}, maka elemen 𝐻 juga dalam bentuk 𝑎𝑛 𝑎𝑛 ∈ 𝐻 untuk 𝑛 ∈ 𝑍
alasannya karena setiap anggota di G berbentuk 𝑎𝑛 dan 𝐻 adalah subgroup dari G sehingga kondisi di
atas terjadi.