基本定理便知，其中formula_30是使得formula_31整除formula_9的最大整数formula_33（这里formula_34）。例如formula_35
性质."n"的欧拉函数formula_1 也是循环群"C" 的生成元的个数（也是"n"阶分圆多项式的次数）。"C" 中每个元素都能生成 "C" 的一个子群，即必然是某个子群的生成元。而且按照定义，不同的子群不可能有相同的生成元。此外， "C" 的所有子群都具有 "C" 的形式，其中"d"整除"n"（记作