Jabarkan Definisi dari Grup disiklik

Untuk setiap bilangan bulat  n  > 1, grup siklik Dicn dapat didefinisikan sebagai subgrup dari unit kuaternion yang dihasilkan oleh

Secara lebih abstrak, seseorang dapat mendefinisikan grup siklik Dicn sebagai grup dengan presentasi berikut

Beberapa hal yang perlu diperhatikan yang mengikuti dari definisi ini: