定义1.5.1,设
为群,若
使得
则
为循环群。记为
.我们称
为生成元。
其实我们知道对任何
(由于群对运算封闭),也就是说循环群其实是
。
例1.
,
为其生成元。
2.
对乘法成循环群,本原根为生成元。
如:
,
为生成元
以
为生成元。
,
为生成元。
命题1.5.1:循环群为阿贝尔群。
命题1.5.2:循环群的子群也为循环群。
令
,
设
,
下证
,设
,由带余除法可得
(
)
,故