循环群指的是拥有生成元的群。

定理:所有阶为素数的群都是循环群,该群中除单位元以外的元素都是该群的生成元。