Untuk \(a \in G\text{,}\) \(\langle a \rangle \) disebut subgrup siklik yang dibangkitkan oleh \(a\text{.}\) Jika \(G\) memuat suatu elemen \(a\) sedemikian sehingga \(G = \langle a \rangle \text{,}\) maka \(G\) merupakan grup siklik. Dalam hal ini, \(a\) merupakan pembangkit dari \(G\text{.}\) Jika \(a\) merupakan elemen suatu grup \(G\text{,}\) kita mendefinisikan orde dari \(a\) sebagai bilangan bulat positif terkecil \(n\) sedemikian sehingga \(a^n= e\text{,}\) dan kita tulis \(|a| = n\text{.}\) Jika tidak terdapat bilangan bulat \(n\) seperti itu, kita mengatakan bahwa orde \(a\) tak hingga dan menuliskan \(|a| = \infty\) untuk menyatakan orde \(a\text{.}\)