在群論中，**循環群**（英文：cyclic group），是指能由單個元素所**生成**的群。有限循环群同构于整数同余加法群 **\mathbb{Z} \big/ n\mathbb{Z}**，无限循环群则同构于整数加法群。每個循環群都是阿贝尔群，亦即其運算是可交換的。在群论中，循环群的性质已经被研究的较为透彻，是更为复杂的代数研究中常用到的基础工具。

定義
--

6次单位根在乘法下形成循環群。z是本原元而 z2 不是，因為z的奇數次冪不是z2的冪。
设 (G, \cdot ) 為一个群，若存在一個元素 g\in G，使得 {\displaystyle G=\left\langle \,g\,\right\rangle =\left\{g^{k}|\;k\in \mathbb {Z} \right\}}，则 (G, \cdot ) 形成一个**循环群**。群 G 內任意一个元素所生成的群都是循环群，而且是 G 的子群。

### 分类

令循环群 {\displaystyle G=\left\{g^{k}|\;k\in \mathbb {Z} \right\}}。如果存在两个相異整数 m,n 使得 {\displaystyle g^{m}=g^{n}}，那么 {\displaystyle d=\vert m-n\vert } 满足 {\displaystyle g^{d}=e}，其中 e 是單位元。所以对於任意整数 k，{\displaystyle g^{k}=g^{r}}，其中 r 是 k 除以 d 得到的余数，{\displaystyle 0\leq r\leq d-1}。这说明 G 是有限群。设 {\displaystyle d\_{m}} 是所有这样的正整数中最小的一个，则 G 可以表示为：

{\displaystyle G=\left\{g^{k}|\;k=0,1,\ldots ,d\_{m}-1\right\}}
可以证明它同构于模 {\displaystyle d\_{m}} 的加法群 \left(\mathbb{Z} \big/ d\_m\mathbb{Z} , + \right)。事实上，對每一個正整數 n，都存在唯一一個（在同构的意义上）阶為此正整數 n 的循環群。而所有的 n 阶循環群都和模 n 的同余类构成的加法群 \left(\mathbb{Z} \big/ n\mathbb{Z} , + \right) 同构。如果一个循环群的阶是无限的，那么它同构于整數关于加法构成的群 \left(\mathbb{Z} , + \right)。因此，循環群已被完全分类，是最簡單的一种群。

例如，G = \left\{ e, g, g^2, g^3 , g^4, g^5 \right\} ，則 G 為循環群。G 同構於模 6 的加法群：\mathbb{Z}\_6 = \left\{ \overline{0}, \overline{1}, \overline{2}, \overline{3}, \overline{4}, \overline{5}\right\}。考虑映射：

\varphi : \; G \longrightarrow \mathbb{Z}\_6
\left. \; \, \right. g^k \, \mapsto \; \, \overline{k}
可以证明其为群同态，而且是双射，因此是群同构。

### 标记

由于循环群必然是阿貝爾群，且与加法群 \mathbb{Z} \big/ n\mathbb{Z} 或整数的加法群 \mathbb {Z}  同构，它的运算常以加法表示並記為 \mathbb{Z}\_n。然而數論中一般會避免使用這種標記，因為它和p进整数构成的環或群的局部化的標記相衝突，容易混淆。因此，数论中一般直接记作 \mathbb{Z} \big/ n\mathbb{Z}，或以乘法表示運算並記為 C\_{n}。

性質
--

每一個循環群要么同構于整数模 n 的加法群：\mathbb{Z}\_n = \left\{\overline{0}, \overline{1}, \overline{2}, \cdots, \overline{n-1}\right\}，要么同构于整數的加法群 \mathbb {Z} 。因此要研究循环群的性质，只需要研究 \mathbb{Z}\_n和 \mathbb {Z}  作为加法群的性质即可。设 G 是一个 n 阶的循環群，g\in G，则：

* G 為交換群。這是因為 {\displaystyle g+h\equiv h+g{\pmod {n}}} 。
* 若 n 為正整数，則 {\displaystyle g^{n}=e}，因為{\displaystyle n\equiv 0{\pmod {n}}} 。而且 n 是所有使得 {\displaystyle g^{k}=e} 的正整数 k 中最小的一个。
* 若 n 為無限大，則 G 有且仅有兩個生成元，分别对应于整数中的 {\displaystyle 1} 和 -1。
* 若 n 為正整数，则 G 的各个生成元分别对应整数模 n 加法群中与 n 互质的数的同余类。例如当 {\displaystyle n=12} 时，G 的生成元有四个，分别对应着 \mathbb{Z}\_{12} 中的\overline{1}, \overline{5}, \overline{7}, \overline{11}四个同余类。
* G 的每一個子群都是循環群。每一個 G 的 m 阶有限子群皆為整数模 m 的加法群。而每一個 G 的無限子群都可以表示成 m\mathbb Z，同構於 \mathbb Z。
* 设 p 是質數，則阶為 p 的群都同构于 p 阶循環群。
* 兩個循環群的直積 {\displaystyle \mathbb {Z} \_{n}\times \mathbb {Z} \_{m}}是循環群若且唯若 n 和 m 互質。故 \mathbb{Z}\_{12} 是 {\displaystyle \mathbb {Z} \_{3}\times \mathbb {Z} \_{4}}，而不是 {\displaystyle \mathbb {Z} \_{2}\times \mathbb {Z} \_{6}}。
* 阿貝爾群的基本定理说明每一個有限生成阿貝爾群都是有限多個循環群的直積。

例子
--

在二維和三維空间裡，*n* 折旋轉對稱的對稱群為 *C\_{n}*，屬 \mathbb{Z}\_n 抽象群類型。在三維裡，亦存在其他代數地相同的對稱群，詳見三維點群。

需留意的是，圓的所有旋轉所組成之群*S*1(圓群)不是循環的，甚至不是可數的。

* *n* 次單位根形成一個关于乘法的 *n* 阶循環群。

* 每一個有限域之有限扩张的伽羅瓦群是有限且循環的；相反地，給定一有限域*F*和一有限循環群 *G*，則存在一個 *F* 的有限域擴張，其伽羅瓦群為 *G*。

表示
--

有限循環群的環圖全是有著其元素在各個角上的 *n* 邊形。下面環圖中的黑角表示是單位元素，而其他的角則為群的其他元素。一個環包括著連接著單位元之元素的接續之次方。

|  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- |
| Z1 | Z2 | Z3 | Z4 | Z5 | Z6 | Z7 | Z8 |

子群
--

所有循環群的子群及商群都是循環的。特別地，***\mathbb {Z}***  的子群為 ***{\displaystyle m\mathbb {Z} }*** 的形式，其中 ***m*** 為非负整數。对于不同的 ***m*** ，***{\displaystyle m\mathbb {Z} }*** 形式的子群是不同的，且除了當然群（***m=0***）外都同構於 ***\mathbb {Z}*** 。***\mathbb {Z}***  的子群格同構於以可除性排序之自然數格的對偶。所有 ***\mathbb {Z}***  的商群都是有限的，除了一個當然的例外 ***{\displaystyle \mathbb {Z} \backslash \{0\}}*** 之外。對每個 ***n*** 的正因數 ***d*** ，群 ***{\mathbb {Z}}/n{\mathbb {Z}}*** 恰好有一個 ***d*** 目的子群，它由 ***{\displaystyle n/d}*** 的剩餘類所產生。其不存在其他的子群。故其子群格會同構於以可除性排序之 ***n*** 的因數所組成的集合。

其中有一個很特別的：一個循環群是簡單的若且唯若其目（元素數目）為質數。

舉一個實際的問題，給定一個 ***n*** 目之有限子群 ***C***，其生成元為 ***g***，並要求求得以某一整數 ***k*** 之 ***{\displaystyle g^{k}}*** 所生成的子群之大小 ***m***。這裡，***m*** 會是能使 ***mk*** 能被 ***n*** 整除之最小正整數。因此其為 ***{\displaystyle n/t}***，其中 ***t*** 為 ***k*** 和 ***n*** 的最大公因數。換句話說，由 ***{\displaystyle g^{k}}*** 產生之子群之指標為 ***t***。其理由在數論中被稱為**指標計算演算法**。

自同態
---

阿貝爾群 **\mathbb{Z}\_n** 的自同態環會同構於此阿貝爾群，且使其構成一個環。在此同構之下，數字 *r* 會對應於將每個元素映射至其 *n* 次乘積之值上之 **\mathbb{Z}\_n** 的自同態。此一自同態只有在*r*和*n*互質時會是個雙射函數，所以 **\mathbb{Z}\_n** 的自同構群會同構於群 **{\displaystyle \mathbb {Z} \_{n}^{\times }}**(見上面)。\mathbb{Z}\_n 的自同構群有時會被稱為 \mathbb{Z}\_n 的特徵群，且此一群的建構會直接導致對狄利克雷特徵的定義。

相似地，加法群 ***\mathbb {Z}***  的自同態環會同構於環 ***\mathbb {Z}***  ，且其自同構群會同構於環 ***\mathbb {Z}***  的單位群，即***{\displaystyle \{-1,+1\}\cong \mathbb {Z} \_{2}}***。

逼肖循環群
-----

一個群稱為**逼肖循環**（virtually cyclic）的，如果這個群包含一個有限指數的循環子群。換言之，一個逼肖循環群的任何元素，都可表示為這個循環子群的一個元素乘以群中某個有限子集的一個元素。一個無限群是逼肖循環的，當且僅當這個群是有限生成並且正好有兩個端。逼肖循環群的一個簡單例子是 **{\displaystyle \mathbb {Z} /n}** 和 **\mathbb {Z}**  的直積，因子 **\mathbb {Z}**  有有限指數 *n*。任何格羅莫夫雙曲群的阿貝爾子群都是逼肖循環群。

参考来源
----

1. ↑  Stallings, John, , 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."
2. ↑  Alonso, J. M.; Brady, T.; Cooper, D.; Ferlini, V.; Lustig, M.; Mihalik, M.; Shapiro, M.; Short, H.  (PDF), River Edge, NJ: World Scientific, Corollary 3.6, 1991  [2014-04-01], MR 1170363, （原始内容 (PDF)存档于2013-04-25）

相关文献
----

* Gallian, Joseph,  4th, Boston: Houghton Mifflin, 1998, ISBN 978-0-669-86179-2 （英语） , especially chapter 4.
* Herstein, I. N.  3rd, Prentice Hall, 1996, ISBN 978-0-13-374562-7, MR1375019 , especially pages 53–60.

另見
--

* 三維循環對稱群
* 循環擴張
* 循環模
* 同餘

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
抽象代数相关主题 |
| --- |
|  |
| 代数结构 · 群 · 环 ·  · 有限 · 本原元 · 格 ·  · 等价关系 · 代數中心 · 同态 · 同构 · 商结构（商系统） · 同构基本定理 · 合成列 · 自由對象 |
|  |
| 群论 | 

|  |  |
| --- | --- |
| 群 | 幺半群 · 半群 · 阿贝尔群 · 非阿贝尔群 · 循環群 · 有限群 ·  · 半 ·  · 自由群 · 交换子群（交換子） · 幂零群 · 可解群 · p-群 · 对称群 · 李群 · 伽罗瓦群 |
|  |
| 子群 | 陪集 · 双陪集 · 商群 · 共轭类 · 拉格朗日定理 · 西羅定理 · 正规子群 · 群中心 · 中心化子和正规化子 · 稳定子群 · 置换群 |
|  |
| 其他 | 阶 · 群擴張 · 群同態 · 群同構 · 群表示 · 群作用 · 波利亞計數定理 · 有限生成阿貝爾群 |

 |
|  |
| 環論 | 

|  |  |
| --- | --- |
| 环 | 子環 · 整环 · 除环 · 多项式环 ·  · 商环 · 諾特環 · 局部環 · 賦值環 · 環代數 · 理想 · 主理想环 · 唯一分解整環 · 群環 |
|  |
| 模 | 深度 · 單模 · 自由模 · 平坦模 · 阿廷模 · 諾特模 |
|  |
| 其他 | 幂 · 特征 · 完備化 · 環的局部化 |

 |
|  |
| 論 | 

|  |  |
| --- | --- |
|  | 有限 · 原根 · 代数闭 · 局部 · 分裂 · 分式環 |
|  |
| 扩张 | 单扩张 · 有限扩张 · 超越扩张 · 代数扩张 · 正规扩张 · 可分扩张 · 伽罗瓦扩张 · 阿贝尔扩张 · 伽罗瓦理论基本定理 |

 |

 |