在群論 中,循環群 (英文 :cyclic group),是指能由單個元素所生成 的群 。有限 循环群同构 于整数 同余 加法群
Z
/
n
Z
{\displaystyle \mathbb {Z} {\big /}n\mathbb {Z} }
,无限循环群则同构 于整数加法群。每個循環群都是阿贝尔群 ,亦即其運算是可交換的 。在群论中,循环群的性质已经被研究的较为透彻,是更为复杂的代数研究中常用到的基础工具。
6次单位根 在乘法下形成循環群。z 是本原元而 z 2 不是,因為z 的奇數次冪 不是z 2 的冪。
设
(
G
,
⋅
)
{\displaystyle (G,\cdot )}
為一个群,若存在一個元素
g
∈
G
{\displaystyle g\in G}
,使得
G
=
⟨
g
⟩
=
{
g
k
|
k
∈
Z
}
{\displaystyle G=\left\langle \,g\,\right\rangle =\left\{g^{k}|\;k\in \mathbb {Z} \right\}}
,则
(
G
,
⋅
)
{\displaystyle (G,\cdot )}
形成一个循环群 。群
G
{\displaystyle G}
內任意一个元素所生成的群都是循环群,而且是
G
{\displaystyle G}
的子群 。
令循环群
G
=
{
g
k
|
k
∈
Z
}
{\displaystyle G=\left\{g^{k}|\;k\in \mathbb {Z} \right\}}
。如果存在两个相異整数
m
,
n
{\displaystyle m,n}
使得
g
m
=
g
n
{\displaystyle g^{m}=g^{n}}
,那么
d
=
|
m
−
n
|
{\displaystyle d=\vert m-n\vert }
满足
g
d
=
e
{\displaystyle g^{d}=e}
,其中
e
{\displaystyle e}
是單位元。所以对於任意整数
k
{\displaystyle k}
,
g
k
=
g
r
{\displaystyle g^{k}=g^{r}}
,其中
r
{\displaystyle r}
是
k
{\displaystyle k}
除以
d
{\displaystyle d}
得到的余数,
0
≤
r
≤
d
−
1
{\displaystyle 0\leq r\leq d-1}
。这说明
G
{\displaystyle G}
是有限群 。设
d
m
{\displaystyle d_{m}}
是所有这样的正整数中最小的一个,则
G
{\displaystyle G}
可以表示为:
G
=
{
g
k
|
k
=
0
,
1
,
…
,
d
m
−
1
}
{\displaystyle G=\left\{g^{k}|\;k=0,1,\ldots ,d_{m}-1\right\}}
可以证明它同构 于模
d
m
{\displaystyle d_{m}}
的加法群
(
Z
/
d
m
Z
,
+
)
{\displaystyle \left(\mathbb {Z} {\big /}d_{m}\mathbb {Z} ,+\right)}
。事实上,對每一個正整數
n
{\displaystyle n}
,都存在唯一一個(在同构 的意义上)阶 為此正整數
n
{\displaystyle n}
的循環群。而所有的
n
{\displaystyle n}
阶循環群都和模
n
{\displaystyle n}
的同余类构成的加法群
(
Z
/
n
Z
,
+
)
{\displaystyle \left(\mathbb {Z} {\big /}n\mathbb {Z} ,+\right)}
同构。如果一个循环群的阶是无限的,那么它同构于整數关于加法构成的群
(
Z
,
+
)
{\displaystyle \left(\mathbb {Z} ,+\right)}
。因此,循環群已被完全分类,是最簡單的一种群。
例如,
G
=
{
e
,
g
,
g
2
,
g
3
,
g
4
,
g
5
}
{\displaystyle G=\left\{e,g,g^{2},g^{3},g^{4},g^{5}\right\}}
,則
G
{\displaystyle G}
為循環群。
G
{\displaystyle G}
同構 於模
6
{\displaystyle 6}
的加法群:
Z
6
=
{
0
¯
,
1
¯
,
2
¯
,
3
¯
,
4
¯
,
5
¯
}
{\displaystyle \mathbb {Z} _{6}=\left\{{\overline {0}},{\overline {1}},{\overline {2}},{\overline {3}},{\overline {4}},{\overline {5}}\right\}}
。考虑映射 :
φ
:
G
⟶
Z
6
{\displaystyle \varphi :\;G\longrightarrow \mathbb {Z} _{6}}
g
k
↦
k
¯
{\displaystyle \left.\;\,\right.g^{k}\,\mapsto \;\,{\overline {k}}}
可以证明其为群同态 ,而且是双射 ,因此是群同构 。
由于循环群必然是阿貝爾群 ,且与加法群
Z
/
n
Z
{\displaystyle \mathbb {Z} {\big /}n\mathbb {Z} }
或整数的加法群
Z
{\displaystyle \mathbb {Z} }
同构,它的运算常以加法表示並記為
Z
n
{\displaystyle \mathbb {Z} _{n}}
。然而數論中一般會避免使用這種標記,因為它和p 进整数 构成的環 或群的局部化 的標記相衝突,容易混淆。因此,数论中一般直接记作
Z
/
n
Z
{\displaystyle \mathbb {Z} {\big /}n\mathbb {Z} }
,或以乘法表示運算並記為
C
n
{\displaystyle C_{n}}
。
每一個循環群要么同構 于整数模
n
{\displaystyle n}
的加法群:
Z
n
=
{
0
¯
,
1
¯
,
2
¯
,
⋯
,
n
−
1
¯
}
{\displaystyle \mathbb {Z} _{n}=\left\{{\overline {0}},{\overline {1}},{\overline {2}},\cdots ,{\overline {n-1}}\right\}}
,要么同构于整數的加法群
Z
{\displaystyle \mathbb {Z} }
。因此要研究循环群的性质,只需要研究
Z
n
{\displaystyle \mathbb {Z} _{n}}
和
Z
{\displaystyle \mathbb {Z} }
作为加法群的性质即可。设
G
{\displaystyle G}
是一个
n
{\displaystyle n}
阶的循環群[ N 1] ,
g
∈
G
{\displaystyle g\in G}
,则:
G
{\displaystyle G}
為交換群 。這是因為
g
+
h
≡
h
+
g
(
mod
n
)
{\displaystyle g+h\equiv h+g{\pmod {n}}}
。
若
n
{\displaystyle n}
為正整数,則
g
n
=
e
{\displaystyle g^{n}=e}
,因為
n
≡
0
(
mod
n
)
{\displaystyle n\equiv 0{\pmod {n}}}
。而且
n
{\displaystyle n}
是所有使得
g
k
=
e
{\displaystyle g^{k}=e}
的正整数
k
{\displaystyle k}
中最小的一个。
若
n
{\displaystyle n}
為無限大,則
G
{\displaystyle G}
有且仅有兩個生成元,分别对应于整数中的
1
{\displaystyle 1}
和
−
1
{\displaystyle -1}
。
若
n
{\displaystyle n}
為正整数,则
G
{\displaystyle G}
的各个生成元分别对应整数模
n
{\displaystyle n}
加法群中与
n
{\displaystyle n}
互质 的数的同余类。例如当
n
=
12
{\displaystyle n=12}
时,
G
{\displaystyle G}
的生成元有四个,分别对应着
Z
12
{\displaystyle \mathbb {Z} _{12}}
中的
1
¯
,
5
¯
,
7
¯
,
11
¯
{\displaystyle {\overline {1}},{\overline {5}},{\overline {7}},{\overline {11}}}
四个同余类。
G
{\displaystyle G}
的每一個子群都是循環群。每一個
G
{\displaystyle G}
的
m
{\displaystyle m}
阶有限子群皆為整数模
m
{\displaystyle m}
的加法群。而每一個
G
{\displaystyle G}
的無限子群都可以表示成
m
Z
{\displaystyle m\mathbb {Z} }
,同構於
Z
{\displaystyle \mathbb {Z} }
。
设
p
{\displaystyle p}
是質數 ,則阶為
p
{\displaystyle p}
的群都同构 于
p
{\displaystyle p}
阶循環群。
兩個循環群的直積
Z
n
×
Z
m
{\displaystyle \mathbb {Z} _{n}\times \mathbb {Z} _{m}}
是循環群若且唯若
n
{\displaystyle n}
和
m
{\displaystyle m}
互質 。故
Z
12
{\displaystyle \mathbb {Z} _{12}}
同構於
Z
3
×
Z
4
{\displaystyle \mathbb {Z} _{3}\times \mathbb {Z} _{4}}
,而不是
Z
2
×
Z
6
{\displaystyle \mathbb {Z} _{2}\times \mathbb {Z} _{6}}
[ N 2] 。
阿貝爾群的基本定理 说明每一個有限生成阿貝爾群 都是有限多個循環群的直積。
在二維和三維空间裡,
n
{\displaystyle n}
折旋轉對稱 的對稱群 為
C
n
{\displaystyle C_{n}}
,屬
Z
n
{\displaystyle \mathbb {Z} _{n}}
抽象群類型。在三維裡,亦存在其他代數地相同的對稱群,詳見三維點群 。
需留意的是,圓 的所有旋轉所組成之群S 1 (圓群 )不是循環的,甚至不是可數 的。
n
{\displaystyle n}
次單位根 形成一個关于乘法的
n
{\displaystyle n}
阶循環群。
每一個有限域 之有限扩张 的伽羅瓦群 是有限且循環的;相反地,給定一有限域F 和一有限循環群
G
{\displaystyle G}
,則存在一個
F
{\displaystyle F}
的有限域擴張,其伽羅瓦群為
G
{\displaystyle G}
。
有限循環群的環圖 全是有著其元素在各個角上的
n
{\displaystyle n}
邊形。下面環圖中的黑角表示是單位元素,而其他的角則為群的其他元素。一個環包括著連接著單位元之元素的接續之次方。
所有循環群的子群 及商群 都是循環的。特別地,
Z
{\displaystyle \mathbb {Z} }
的子群為
m
Z
{\displaystyle m\mathbb {Z} }
的形式,其中
m
{\displaystyle m}
為非负整數。对于不同的
m
{\displaystyle m}
,
m
Z
{\displaystyle m\mathbb {Z} }
形式的子群是不同的,且除了當然群(
m
=
0
{\displaystyle m=0}
)外都同構 於
Z
{\displaystyle \mathbb {Z} }
。
Z
{\displaystyle \mathbb {Z} }
的子群格 同構於以可除性 排序之自然數格的對偶 。所有
Z
{\displaystyle \mathbb {Z} }
的商群都是有限的,除了一個當然的例外
Z
∖
{
0
}
{\displaystyle \mathbb {Z} \backslash \{0\}}
之外。對每個
n
{\displaystyle n}
的正因數
d
{\displaystyle d}
,群
Z
/
n
Z
{\displaystyle \mathbb {Z} /n\mathbb {Z} }
恰好有一個
d
{\displaystyle d}
目的子群,它由
n
/
d
{\displaystyle n/d}
的剩餘類所產生。其不存在其他的子群。故其子群格會同構於以可除性排序之
n
{\displaystyle n}
的因數所組成的集合。
其中有一個很特別的:一個循環群是簡單 的若且唯若其目(元素數目)為質數。
舉一個實際的問題,給定一個
n
{\displaystyle n}
目之有限子群
C
{\displaystyle C}
,其生成元為
g
{\displaystyle g}
,並要求求得以某一整數
k
{\displaystyle k}
之
g
k
{\displaystyle g^{k}}
所生成的子群之大小
m
{\displaystyle m}
。這裡,
m
{\displaystyle m}
會是能使
m
k
{\displaystyle mk}
能被
n
{\displaystyle n}
整除之最小正整數。因此其為
n
/
t
{\displaystyle n/t}
,其中
t
{\displaystyle t}
為
k
{\displaystyle k}
和
n
{\displaystyle n}
的最大公因數 。換句話說,由
g
k
{\displaystyle g^{k}}
產生之子群之指標 為
t
{\displaystyle t}
。其理由在數論 中被稱為指標計算演算法 。
阿貝爾群
Z
n
{\displaystyle \mathbb {Z} _{n}}
的自同態環 會同構 於此阿貝爾群,且使其構成一個環 。在此同構之下,數字
r
{\displaystyle r}
會對應於將每個元素映射至其
n
{\displaystyle n}
次乘積之值上之
Z
n
{\displaystyle \mathbb {Z} _{n}}
的自同態。此一自同態只有在r 和n 互質時會是個雙射函數,所以
Z
n
{\displaystyle \mathbb {Z} _{n}}
的自同構群 會同構於群
Z
n
×
{\displaystyle \mathbb {Z} _{n}^{\times }}
(見上面)。
Z
n
{\displaystyle \mathbb {Z} _{n}}
的自同構群有時會被稱為
Z
n
{\displaystyle \mathbb {Z} _{n}}
的特徵群 ,且此一群的建構會直接導致對狄利克雷特徵 的定義。
相似地,加法群
Z
{\displaystyle \mathbb {Z} }
的自同態環會同構於環
Z
{\displaystyle \mathbb {Z} }
,且其自同構群會同構於環
Z
{\displaystyle \mathbb {Z} }
的單位群,即
{
−
1
,
+
1
}
≅
Z
2
{\displaystyle \{-1,+1\}\cong \mathbb {Z} _{2}}
。
一個群稱為逼肖循環 (virtually cyclic)的,如果這個群包含一個有限指數的循環子群。換言之,一個逼肖循環群的任何元素,都可表示為這個循環子群的一個元素乘以群中某個有限子集的一個元素。一個無限群是逼肖循環的,當且僅當這個群是有限生成 並且正好有兩個端 。[ 1] 逼肖循環群的一個簡單例子是
Z
/
n
{\displaystyle \mathbb {Z} /n}
和
Z
{\displaystyle \mathbb {Z} }
的直積 ,因子
Z
{\displaystyle \mathbb {Z} }
有有限指數
n
{\displaystyle n}
。任何格羅莫夫雙曲群 的阿貝爾 子群都是逼肖循環群。[ 2]
^ n 也可以是無限大,约定“n 为无穷大”代表群同构于整数加法群。
^
Z
2
{\displaystyle \mathbb {Z} _{2}}
和
Z
6
{\displaystyle \mathbb {Z} _{6}}
的直積并不是一个循环群。
^ Stallings, John, Groups of cohomological dimension one, Applications of Categorical Algebra (Proc. Sympos. Pure Math., Vol. XVIII, New York, 1968), Providence, R.I.: Amer. Math. Soc.: 124–128, 1970, MR 0255689 . 特別見p. 126 : "If G has two ends, the explicit structure of G is well known: G is an extension of a finite group by either the infinite cyclic group or the infinite dihedral group."
^ Alonso, J. M.; Brady, T.; Cooper, D.; Ferlini, V.; Lustig, M.; Mihalik, M.; Shapiro, M.; Short, H., Notes on word hyperbolic groups, Group theory from a geometrical viewpoint (Trieste, 1990) (PDF) , River Edge, NJ: World Scientific, Corollary 3.6, 1991 [2014-04-01 ] , MR 1170363 , (原始内容 (PDF) 存档于2013-04-25)
Gallian, Joseph, Contemporary abstract algebra 4th, Boston: Houghton Mifflin, 1998, ISBN 978-0-669-86179-2 (英语) , especially chapter 4.
Herstein, I. N., Abstract algebra 3rd, Prentice Hall , 1996, ISBN 978-0-13-374562-7 , MR 1375019 , especially pages 53–60.