为循环群, 当且仅当 .

, 称 生成元.

任何一个循环群必定是 阿贝尔群. 反之则不一定.

n 阶循环群

是循环群, 若 阶元, 则 , , 阶循环群.

指向原始笔记的链接

无限循环群

是循环群, 若 是无限阶元, 则 , 为无限循环群.

指向原始笔记的链接

循环群的生成元

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

中与 互素的数的个数.

指向原始笔记的链接

循环群的子群

是循环群,

  • 的子群是循环群.
  • 若是无限循环群, 的子群除 外都是无限循环群.
  • 若是 阶循环群, 则对 的每个正因子 , 恰好有一个 阶子群.
指向原始笔记的链接