为循环群, 当且仅当 .
, 称 为 的 生成元.
任何一个循环群必定是 阿贝尔群. 反之则不一定.
n 阶循环群
是循环群, 若 是 阶元, 则 , , 为 阶循环群.
指向原始笔记的链接
无限循环群
是循环群, 若 是无限阶元, 则 , 为无限循环群.
指向原始笔记的链接
循环群的生成元
- 为无限循环群, 则生成元为 和 .
- 为 阶循环群, 则 含有 个生成元, 是 的生成元当且仅当 , 与 互素.
指向原始笔记的链接为 中与 互素的数的个数.
循环群的子群
是循环群,
指向原始笔记的链接
- 的子群是循环群.
- 若是无限循环群, 的子群除 外都是无限循环群.
- 若是 阶循环群, 则对 的每个正因子 , 恰好有一个 阶子群.