循环群"是其所有元素都是特定元素"a"的幂的群（在群运算被写为加法的时候使用术语倍数）。在乘法符号下，群的元素是：这里的"a"意味着"a"·"a"，而"a"表示"a"·"a"·"a"=("a"·"a"·"a")等等。这个元素"a"叫做这个群的生成元或本原元。这类群的典型例子是单位一的"n"次复数根，由满足"z" = 1的复数"z"给出，其运算为乘法。任何有"n"个元素的循环群同构于这个群。使用某些域论，群F可以被证明为是循环群：对于"p" = 5, 3是生成元因为3 = 3, 3 = 9 ≡ 4, 3