在讲子群的时候,我们提出了生成子群的概念 < S > <S> <S>,特别的,如果 S = { s } , 有 < S > = < s > S=\{s\},有<S>=<s> S={ s},有<S>=<s>。根据这些,我们可以引出循环群的概念:
群 G G G称为循环群,如果有 g ∈ G g\in G g∈G使得 G = < g > G=<g> G=<g>。
其实之间说过的旋转变换就可以以循环群的形式出现。比如:
g = [ c o s 120 s i n 120 − s i n 120 c o s 120 ] g=\begin{bmatrix} cos 120 & sin 120 \\ -sin 120 & cos 120 \end{bmatrix}\quad g=[cos120−sin120sin120cos120]
这样 g , g 2 , g 3 g,g^2,g^3 g,