循环群的定义
显然,群的阶数就是生成元的阶数
无限循环群的生成元很特殊
只要存在整数k使得n的k次幂,使得回到自身,即是对应的生成元。
无限循环群的生成元有且只有两个,且两个生成元互逆
有限循环群的生成元有如下命题
故有判定生成元方法
循环群的子群有如下结论
显然对于每一个循环群的阶数的每个因子d,都有一个对应的子群
群同构与群同态
对于单位元的映射和逆元的映射结论如下
由于循环群的核心是由生成元(generator)构成的,易得出有限和无限的循环群与<Z,+>群同构,故循环群均是阿贝尔群