Dyjtyuk

	; 群论;
	;
; 基本概念;
	; 子群 · 正规子群 · 商群 ; 群同态 ; 像 · (半)直积 · 直和; 单群 · 有限群 · 无限群; 拓扑群 · 群概形 · 循环群; 冪零群 · 可解群;
; 离散群;
	; 有限单群分类 ; 循环群 Zn; 交错群 An; 散在群; 马蒂厄群 M11..12,M22..24; 康威群 Co1..3; 扬科群 J1..4; 费歇尔群 F22..24; 子怪兽群 B; 怪兽群 M; 其他有限群; 对称群, Sn; 二面体群, Dn; 无限群; 整数, Z; 模群, PSL(2,Z) 和 SL(2,Z); ;
; 连续群;
	; 李群; 一般线性群 GL(n); 特殊线性群 SL(n); 正交群 O(n); 特殊正交群 SO(n); 酉群 U(n); 特殊酉群 SU(n); 辛群 Sp(n); G2 F4; E6 E7; E8; 勞侖茲群; 庞加莱群; ;
; 无限维群;
	; 共形群; 微分同胚群 ; 环路群 ; 量子群 ; O(∞) SU(∞) Sp(∞); ;
; 代数群;
	; 椭圆曲线; 线性代数群（英语：Linear algebraic group）; 阿贝尔簇（英语：Abelian variety）;
	; 查; ; 论; ; 编; ; ;

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

定義

6次单位根在乘法下形成循環群。

z

是本原元而

z

² 不是，因為

z

的奇數次冪不是

z

²的冪。

设 $(G, cdot )$ 為一个群，若存在一 $G$ 內的元素 $g$ ，使得 $G = left langle , g , right rangle = left g^k ; ; k in mathbbZ right$ ，则称 $G$ 关于运算“ · ”形成一个循环群。由群 $G$ 內的任意一个元素所生成的群也都是循环群，而且是 $G$ 的子群。

分类

设有循环群 $G = left g^k ; ; k in mathbbZ right$ 。如果存在不相等的两个整数 $m$ 和 $n$ ，使得 $g m = g n$ ，那么正整数 $d =$ | $m - n$ |满足 $g d = e$ 。所以对任意整数 $k$ ， $g k = g r$ ，其中 $r$ 是 $k$ 除以 $d$ 得到的余数，是一个介乎0与 $d -$ 1之间的整数。这说明 $G$ 是有限群。设 $d m$ 是所有这样的正整数中最小的一个，则 $G$ 可以表示为：

G = left g^k ; ; k = 0,1, cdots ,d_m-1 right

可以证明它同构于模 $d m$ 的加法群 $left(mathbbZ big/ d_mmathbbZ , + right)$ 。事实上，對每一個正整數 $n$ ，都存在唯一一個（在同构的意义上）阶為此正整數 $n$ 的循環群。而所有的 $n$ 阶循環群都和模 $n$ 的同余类构成的加法群 $left(mathbbZ big/ nmathbbZ , + right)$ 同构。如果一个循环群的阶是无限的，那么它同构于整數关于加法构成的群 $left(mathbbZ , + right)$ 。因此，循環群已被完全分类，是最簡單的一种群。

例如，若 $G = left e, g, g^2, g^3 , g^4, g^5 right$ ，則 $G$ 為循環群。 $G$ 同構於模 6 的加法群： $mathbbZ_6 = left overline0, overline1, overline2, overline3, overline4, overline5right$ 。只需考虑映射：

varphi : ; G longrightarrow mathbbZ_6

left. ; , right. g^k , mapsto ; , overlinek

可以证明其为群同态，而且是双射，因此是群同构。

标记

由于循环群必然是阿貝爾群，且与加法群 $mathbbZ big/ nmathbbZ$ 或整数的加法群 $mathbb Z$ 同构，它的运算常常會以加法寫出，且被標記為 $mathbbZ_n$ 。然而數論中一般會避免使用這種標記，因為它和 $p$ 进整数构成的環或群的局部化的標記相衝突，容易混淆。因此，数论中一般直接记作 $mathbbZ big/ nmathbbZ$ ，或以乘法寫出，標記為 $mathbfC_n$ 。

性質

每一個循環群要么同構于整数模 $n$ 的加法群： $mathbbZ_n = leftoverline0, overline1, overline2, cdots, overlinen-1right$ ，要么同构于整數的加法群 $mathbb Z$ 。因此要研究循环群的性质，只需要研究 $mathbbZ_n$ 和 $mathbb Z$ 作为加法群的性质即可。设 $G$ 是一个 $n$ 阶的循環群^{[N 1]}， $g$ 是 $G$ 中一个元素，则：

$G$ 為交換群。這是因為 $g + h = h + g$ mod $n$ 。

若 $n$ 為有限正整数，則 $g n = e$ ，因為 $n$ mod $n =$ 0。而且 $n$ 是所有使得 $g k = e$ 的正整数 $k$ 中最小的一个。

若 $n$ 為無限大，則 $G$ 有且仅有兩個生成元，分别对应于整数中的1和−1。

若 $n$ 為有限正整数，则 $G$ 的各个生成元分别对应整数模 $n$ 加法群中与 $n$ 互质的数的同余类。例如当 $n =$ 12时， $G$ 的生成元有四个，分别对应着 $mathbbZ_12$ 中的 $overline1, overline5, overline7, overline11$ 四个同余类。

$G$ 的每一個子群都是循環群。更具体地说，每一個 $G$ 的 $m$ 阶有限子群皆為整数模 $m$ 的加法群。而每一個 $G$ 的無限子群都可以表示成 $mmathbb Z$ ，同構於 $mathbb Z$ 。

设 $p$ 是質數，則阶為 $p$ 的群都同构于 $p$ 阶循環群。

$mathbbZ_n$ 和 $mathbbZ_m$ 兩個循環群的直積是循環群，当且仅当 $n$ 和 $m$ 互質。故 $mathbbZ_12$ 是 $mathbbZ_3$ 和 $mathbbZ_4$ 的直積，而不會是 $mathbbZ_2$ 和 $mathbbZ_6$ 的直積^{[N 2]}。

阿貝爾群的基本定理说明每一個有限生成阿貝爾群都是有限多個循環群的直積。

例子

在二維和三維空间裡，n折旋轉對稱的對稱群為C_n，屬Z_n抽象群類型。在三維裡，亦存在其他代數地相同的對稱群，詳見三維點群。

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

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

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

表示

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


Z₁	Z₂	Z₃	Z₄	Z₅	Z₆	Z₇	Z₈

子群

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

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

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

自同態

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

相似地，加法群Z的自同態環會同構於環Z，且其自同構群會同構於環Z的單位群，即−1, +1 $cong$ Z₂。

逼肖循環群

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

注释

^ $n$ 也可以是無限大，约定“ $n$ 为无穷大”代表群同构于整数加法群。

^ $mathbbZ_2$ 和 $mathbbZ_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, MR 1170363 ^{[永久失效連結]}.

另見

三維循環對稱群

循環擴張

循環模

同餘

[1] $n$ 也可以是無限大，约定“ $n$ 为无穷大”代表群同构于整数加法群。

[2] $mathbbZ_2$ 和 $mathbbZ_6$ 的直積并不是一个循环群。

[3] 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."

[4] 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, MR 1170363 ^{[永久失效連結]}.

搜尋此網誌

Dyjtyuk

循環群

目录

定義

分类

标记

性質

例子

表示

子群

自同態

逼肖循環群

注释

参考来源

相关文献

另見

Popular posts from this blog

【情報】本週珍珠商品重點：煉金時裝 + 艾港勞工宿舍！！

京昆高速公路

【攻略】陳戈-謝勒汗智慧的古書 (完成)