在群論中，迴圈群（英文：cyclic group），是指能由單個元素所生成的群。有限迴圈群同構於整數同餘加法群 mathbb Z bignmathbb Z，無限迴圈群則同構於整數加法群。每個迴圈群都是阿貝爾群，亦即其運算是可交換的。在群論中，迴圈群的性質已經被研究的較為透徹，是更為複雜的代數研究中常用到的基礎工具。 定義 設 G cdot 為一個群，若存在一個元素 gin G，使得 G left langle g right rangle leftgk k in mathbb Z right，則 G cdot 形成一個迴圈群。群 G 內任意一個元素所生成的群都是迴圈群，而且是 G 的子群。 分類 令迴圈群 G leftgk k in mathbb Z right。如果存在兩個相異整數 mn 使得 gmgn，那麼 dvert mnvert 滿足 gde，其中 e 是單位元。所以對於任意整數 k，gkgr，其中 r 是 k 除以 d 得到的餘數，0leq rleq d1。這說明 G 是有限群。設 d_m 是所有這樣的正整數中最小的一個，則 G 可以表示為： G leftgk k 01 ldots d_m1 right 可以證明它同構於模 d_m 的加法群 left mathbb Z bigd_mmathbb Z right。事實上，對每一個正整數 n，都存在唯一一個（在同構的意義上）階為此正整數 n 的迴圈群。而所有的 n 階迴圈群都和模 n 的同餘類構成的加法群 left mathbb Z bignmathbb Z right 同構。如果一個迴圈群的階是無限的，那麼它同構於整數關於加法構成的群 left mathbb Z right。因此，迴圈群已被完全分類，是最簡單的一種群。 例如，G lefte g g2 g3 g4 g5 right ，則 G 為迴圈群。G 同構於模 6 的加法群：mathbb Z_6 leftoverline 0 overline 1 overline 2 overline 3 overline 4 overline 5right。考慮對映： varphi G longrightarrow mathbb Z_6 left right gk mapsto overline k 可以證明其為群同態，而且是雙射，因此是群同構。 標記 由於迴圈群必然是阿貝爾群，且與加法群 mathbb Z bignmathbb Z 或整數的加法群 mathbb Z 同構，它的運算常以加法表示並記為 mathbb Z_n。然而數論中一般會避免使用這種標記，因為它和進整數構成的環或群的區域性化的標記相衝突，容易混淆。因此，數論中一般直接記作 mathbb Z bignmathbb Z，或以乘法表示運算並記為 C_n。 性質 每一個迴圈群要麼同構於整數模 n 的加法群：mathbb Z_n leftoverline 0 overline 1 overline 2 cdots overline n1right，要麼同構於整數的加法群 mathbb Z。因此要研究迴圈群的性質，只需要研究 mathbb Z_n 和 mathbb Z 作為加法群的性質即可。設 G 是一個 n 階的迴圈群也可以是無限大，約定 為無窮大 代表群同構於整數加法群。，gin G，則： G 為交換群。這是因為 ghequiv hg pmod n 。 若 n 為正整數，則 gne，因為 n equiv 0 pmod n 。而且 n 是所有使得 gke 的正整數 k 中最小的一個。 若 n 為無限大，則 G 有且僅有兩個生成元，分別對應於整數中的 1 和 1。 若 n 為正整數，則 G 的各個生成元分別對應整數模 n 加法群中與 n 互質的數的同餘類。例如當 n12 時，G 的生成元有四個，分別對應著 mathbb Z_12 中的 overline 1 overline 5 overline 7 overline 11 四個同餘類。 G 的每一個子群都是迴圈群。每一個 G 的 m 階有限子群皆為整數模 m 的加法群。而每一個 G 的無限子群都可以表示成 mmathbb Z，同構於 mathbb Z。 設 p 是質數，則階為 p 的群都同構於 p 階迴圈群。 兩個迴圈群的直積 mathbb Z_n times mathbb Z_m 是迴圈群若且唯若 n 和 m 互質。故 mathbb Z_12 同構於 mathbb Z_3 times mathbb Z_4，而不是 mathbb Z_2 times mathbb Z_6mathbb Z_2 和 mathbb Z_6 的直積並不是一個迴圈群。。 阿貝爾群的基本定理說明每一個有限生成阿貝爾群都是有限多個迴圈群的直積。 例子 在二維和三維空間裡，n 折旋轉對稱的對稱群為 C_n，屬 mathbb Z_n 抽象群型別。在三維裡，亦存在其他代數地相同的對稱群，詳見三維點群。 需留意的是，圓的所有旋轉所組成之群 S1 圓群 不是迴圈的，甚至不是可數的。 n 次單位根形成一個關於乘法的 n 階迴圈群。 每一個有限域之有限擴張的伽羅瓦群是有限且迴圈的；相反地，給定一有限域 F 和一有限迴圈群 G，則存在一個 F 的有限域擴張，其伽羅瓦群為 G。 表示 有限迴圈群的環圖全是有著其元素在各個角上的 n 邊形。下面環圖中的黑角表示是單位元素，而其他的角則為群的其他元素。一個環包括著連線著單位元之元素的接續之次方。 Z1 Z2 Z3 Z4 Z5 Z6 Z7 Z8 子群 所有迴圈群的子群及商群都是迴圈群。特別地，mathbb Z 的子群為 mmathbb Z 的形式，其中 m 為非負整數。對於不同的 m ，形如 mmathbb Z 的子群都不同，且除了平凡群（m0）外都同構於 mathbb Z 。 mathbb Z 的子群格同構於以可除性排序之自然數格的對偶。除了一個平凡的反例 mathbb Zbackslash 0 外， mathbb Z 的所有商群都是有限的。對每個 n 的正因數 d ，群 mathbb Znmathbb Z 恰有一個元素數目為 d 的子群，它由 nd 的剩餘類所產生。其不存在其他的子群。故其子群格會同構於以可除性排序之 n 的因數所組成的集合。 特別地，一個迴圈群是單群若且唯若其元素數目為質數。 舉一個實際的問題，給定一個 n 目之有限子群 C，其生成元為 g，並要求求得以某一整數 k 之 gk 所生成的子群之大小 m。這裡，m 會是能使 mk 能被 n 整除之最小正整數。因此其為 nt，其中 t 為 k 和 n 的最大公因數。換句話說，由 gk 產生之子群之指標為 t。其理由在數論中被稱為指標計算演演算法。 自同態 阿貝爾群 mathbb Z_n 的自同態環會同構於此阿貝爾群，且使其構成一個環。在此同構之下，數字 r 會對應於將每個元素對映至其 n 次乘積之值上之 mathbb Z_n 的自同態。此一自同態只有在 r 和 n 互質時會是個雙射函式，所以 mathbb Z_n 的自同構群會同構於群 mathbb Z_ntimes 見上面。mathbb Z_n 的自同構群有時會被稱為 mathbb Z_n 的特徵群，且此一群的建構會直接導致對狄利克雷特徵的定義。 相似地，加法群 mathbb Z 的自同態環會同構於環 mathbb Z ，且其自同構群會同構於環 mathbb Z 的單位群，即 11cong mathbb Z_2。 逼肖迴圈群 一個群稱為逼肖迴圈（virtually cyclic）的，如果這個群包含一個有限指數的迴圈子群。換言之，一個逼肖迴圈群的任何元素，都可表示為這個迴圈子群的一個元素乘以群中某個有限子集的一個元素。一個無限群是逼肖迴圈的，當且僅當這個群是有限生成並且正好有兩個端。 特別見 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 逼肖迴圈群的一個簡單例子是 mathbb Zn 和 mathbb Z 的直積，因子 mathbb Z 有有限指數 n。任何格羅莫夫雙曲群的阿貝爾子群都是逼肖迴圈群。 註釋 參考來源 相關文獻 especially chapter 4 especially pages 5360 另見 三維迴圈對稱群 迴圈擴張 迴圈模 同餘 X X X