• 为无限循环群, 则生成元为 .
  • 阶循环群, 则 含有 个生成元, 的生成元当且仅当 , 互素.

中与 互素的数的个数.