循环群

群论
	;
	群
基本概念
	子群 · 正规子群 · 商群 · 群同态 · 像 · (半)直积 · 直和; 单群 · 有限群 · 无限群 · 拓扑群 · 群概形 · 循环群 · 幂零群 · 可解群 · 圈积
离散群
	有限单群分类 ; 循环群 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），是指能由单个元素所生成的群。有限循环群同构于整数同余加法群 $\mathbb {Z} {\big /}n\mathbb {Z}$ ，无限循环群则同构于整数加法群。每个循环群都是阿贝尔群，亦即其运算是可交换的。在群论中，循环群的性质已经被研究的较为透彻，是更为复杂的代数研究中常用到的基础工具。

定义[编辑]

设 $(G,\cdot )$ 为一个群，若存在一个元素 $g\in G$ ，使得 $G=\left\langle \,g\,\right\rangle =\left\{g^{k}|\;k\in \mathbb {Z} \right\}$ ，则 $(G,\cdot )$ 形成一个循环群。群 $G$ 内任意一个元素所生成的群都是循环群，而且是 $G$ 的子群。

分类[编辑]

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

G=\left\{g^{k}|\;k=0,1,\ldots ,d_{m}-1\right\}

可以证明它同构于模 $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$ 阶的循环群^{[N 1]}， $g\in G$ ，则：

$G$ 为交换群。这是因为 $g+h\equiv h+g{\pmod {n}}$ 。
若 $n$ 为正整数，则 $g^{n}=e$ ，因为 $n\equiv 0{\pmod {n}}$ 。而且 $n$ 是所有使得 $g^{k}=e$ 的正整数 $k$ 中最小的一个。
若 $n$ 为无限大，则 $G$ 有且仅有两个生成元，分别对应于整数中的 $1$ 和 $-1$ 。
若 $n$ 为正整数，则 $G$ 的各个生成元分别对应整数模 $n$ 加法群中与 $n$ 互质的数的同余类。例如当 $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$ 阶循环群。
两个循环群的直积 $\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} _{6}$ ^{[N 2]}。
阿贝尔群的基本定理说明每一个有限生成阿贝尔群都是有限多个循环群的直积。

例子[编辑]

在二维和三维空间里， $n$ 折旋转对称的对称群为 $C_{n}$ ，属 $\mathbb {Z} _{n}$ 抽象群类型。在三维里，亦存在其他代数地相同的对称群，详见三维点群。

需留意的是，圆的所有旋转所组成之群S¹(圆群)不是循环的，甚至不是可数的。

$n$ 次单位根形成一个关于乘法的 $n$ 阶循环群。

每一个有限域之有限扩张的伽罗瓦群是有限且循环的；相反地，给定一有限域F和一有限循环群 $G$ ，则存在一个 $F$ 的有限域扩张，其伽罗瓦群为 $G$ 。

表示[编辑]

有限循环群的环图全是有着其元素在各个角上的 $n$ 边形。下面环图中的黑角表示是单位元，而其他的角则为群的其他元素。一个环包括著连接着单位元之元素的接续之次方。


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

子群[编辑]

所有循环群的子群及商群都是循环的。特别地， $\mathbb {Z}$ 的子群为 $m\mathbb {Z}$ 的形式，其中 $m$ 为非负整数。对于不同的 $m$ ， $m\mathbb {Z}$ 形式的子群是不同的，且除了当然群（ $m=0$ ）外都同构于 $\mathbb {Z}$ 。 $\mathbb {Z}$ 的子群格同构于以可除性排序之自然数格的对偶。所有 $\mathbb {Z}$ 的商群都是有限的，除了一个当然的例外 $\mathbb {Z} \backslash \{0\}$ 之外。对每个 $n$ 的正约数 $d$ ，群 $\mathbb {Z} /n\mathbb {Z}$ 恰好有一个 $d$ 目的子群，它由 $n/d$ 的剩余类所产生。其不存在其他的子群。故其子群格会同构于以可除性排序之 $n$ 的约数所组成的集合。

其中有一个很特别的：一个循环群是简单的当且仅当其目（元素数目）为素数。

举一个实际的问题，给定一个 $n$ 目之有限子群 $C$ ，其生成元为 $g$ ，并要求求得以某一整数 $k$ 之 $g^{k}$ 所生成的子群之大小 $m$ 。这里， $m$ 会是能使 $mk$ 能被 $n$ 整除之最小正整数。因此其为 $n/t$ ，其中 $t$ 为 $k$ 和 $n$ 的最大公约数。换句话说，由 $g^{k}$ 产生之子群之指标为 $t$ 。其理由在数论中被称为指标计算算法。

自同态[编辑]

阿贝尔群 $\mathbb {Z} _{n}$ 的自同态环会同构于此阿贝尔群，且使其构成一个环。在此同构之下，数字 $r$ 会对应于将每个元素映射至其 $n$ 次乘积之值上之 $\mathbb {Z} _{n}$ 的自同态。此一自同态只有在r和n互素时会是个双射函数，所以 $\mathbb {Z} _{n}$ 的自同构群会同构于群 $\mathbb {Z} _{n}^{\times }$ (见上面)。 $\mathbb {Z} _{n}$ 的自同构群有时会被称为 $\mathbb {Z} _{n}$ 的特征群，且此一群的建构会直接导致对狄利克雷特征的定义。

相似地，加法群 $\mathbb {Z}$ 的自同态环会同构于环 $\mathbb {Z}$ ，且其自同构群会同构于环 $\mathbb {Z}$ 的单位群，即 $\{-1,+1\}\cong \mathbb {Z} _{2}$ 。

逼肖循环群[编辑]

一个群称为逼肖循环（virtually cyclic）的，如果这个群包含一个有限指数的循环子群。换言之，一个逼肖循环群的任何元素，都可表示为这个循环子群的一个元素乘以群中某个有限子集的一个元素。一个无限群是逼肖循环的，当且仅当这个群是有限生成并且正好有两个端。^[1]逼肖循环群的一个简单例子是 $\mathbb {Z} /n$ 和 $\mathbb {Z}$ 的直积，因子 $\mathbb {Z}$ 有有限指数 $n$ 。任何格罗莫夫双曲群的阿贝尔子群都是逼肖循环群。^[2]

注释[编辑]

^ $n$ 也可以是无限大，约定“ $n$ 为无穷大”代表群同构于整数加法群。
^ $\mathbb {Z} _{2}$ 和 $\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）

另见[编辑]

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

[2] $\mathbb {Z} _{2}$ 和 $\mathbb {Z} _{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 [2014-04-01], MR 1170363, （原始内容 (PDF)存档于2013-04-25）

[N 1]

[N 2]

[1]

[2]