群论阶数计算器

计算有限群中每个元素的阶数，检查该群是否为阿贝尔群或循环群，将 Cayley 表渲染为彩色热图，并将子群格可视化为 Hasse 图。支持循环群 Z_n、直积群 Z_m x Z_n、二面体群 D_n 和对称群 S_n。

群论阶数计算器

群论阶数计算器是一个用于研究有限群的交互式工具：它可以计算每个元素的阶，检测该群是否为交换群以及是否为循环群，将 Cayley 乘法表渲染为按元素阶着色的热图，并绘制完整的子群格 Hasse 图。它支持初等代数课程中最常见的四类群系列：循环群 Z_n、直积 Z_m × Z_n、二面体群 D_n 和对称群 S_n。

什么是元素的阶？

给定一个单位元为 e 的有限群 G，元素 g ∈ G 的阶（记作 |g| 或 ord(g)）是满足下式的最小正整数 k：

g^k = e

等价地，g 的阶是它所生成的循环子群的大小：|⟨g⟩| = ord(g)。拉格朗日定理保证了 ord(g) 总是能整除 |G|，因此对于一个 12 阶群，可能的元素阶为 1, 2, 3, 4, 6 和 12。

常见群的封闭公式

循环群 Z_n

在模 n 加法下，元素 k 的阶为：

ord(k) = n / gcd(n, k)

此类群始终是循环群（由 1 生成），生成元的数量等于欧拉函数 φ(n)。

直积 Z_m × Z_n

ord(a, b) = lcm( ord(a) in Z_m , ord(b) in Z_n )

当且仅当 gcd(m, n) = 1 时，该直积是循环群，因此同构于 Z_mn。这是用群论重新表述的中国剩余定理。例如，Z₃ × Z₅ ≅ Z₁₅，但 Z₂ × Z₄ ≇ Z₈。

二面体群 D_n

D_n 包含 2n 个元素：n 个旋转 r^k 和 n 个反射 s·r^k。元素阶遵循简单的规律：

ord(r^k) = n / gcd(n, k) , 对于每个 k，ord(s·r^k) = 2

每个反射都是对合（2 阶）。对于 n ≥ 3，D_n 是非交换群。

对称群 S_n

置换的阶等于其不相交循环分解中循环长度的最小公倍数：

ord( (1 2 3)(4 5) ) = lcm(3, 2) = 6

S_n 的阶为 n!，对于 n ≥ 3，它是非交换群。

Cayley 表如何编码一切

Cayley 表是群的乘法表：第 a 行第 b 列的条目是乘积 a · b。群公理引出了三个优美的性质：

拉丁方阵 —— 每一行和每一列都是群元素的置换（每个元素恰好出现一次）。
关于对角线对称 等价于该群是交换群。
单位元对角线 —— 当且仅当第 i 行元素的阶为 1 或 2 时，对角线条目 A[i][i] 等于单位元。

在本计算器中，单元格根据所得元素的阶进行着色，因此您可以一眼看出结构模式。例如，在循环群中，各行是彼此的循环移位 —— 呈现出视觉上引人注目的彩虹色。

子群格

G 的所有子群组成的集合，按包含关系排序，构成了一个格（序理论意义上的）。我们将其绘制为 Hasse 图：平凡子群 {e} 位于底部，全群 G 位于顶部，每当 K ⊂ H 是一个覆盖关系（两者之间没有其他子群）时，就连接一条边 H → K。子群格揭示的关键事实包括：

特征	揭示的信息
格的高度	最长子群链的长度 —— 受 \|G\| 的质因数个数限制。
极大子群的数量	直接被 G 覆盖的子群。对于阶为 p^k 的循环群，恰好有一个极大子群。
正规子群 (实线轮廓)	在共轭运算下保持不变的子群。一个群是单群当且仅当其子群格中只有 {e} 和 G 是正规子群。
循环子群	每个元素都会生成一个。在交换群中，每个子群都是循环子群的和（有限生成交换群基本定理）。

实例分析 — D₄，正方形群

作用于正方形的 8 阶二面体群有 8 个元素：e, r, r², r³（旋转）和 s, sr, sr², sr³（反射）。工具分析得出：

阶序列： 1, 4, 2, 4, 2, 2, 2, 2 —— 旋转中心 r² 是唯一的非平凡中心元素。
非交换： s · r ≠ r · s。
非循环： 没有元素的阶为 8。
10 个子群 排列成独特的 "D₄ 格"：1 个 1 阶子群，5 个 2 阶子群，3 个 4 阶子群（一个循环群 ⟨r⟩，两个克莱因四元群），1 个 8 阶子群。
三个正规子群：{e, r²}, ⟨r⟩ 以及每个克莱因四元子群。三个 2 阶反射子群不是正规的。

如何使用此计算器

使用选项卡选择群系列：循环群、直积、二面体群或对称群。
输入参数。 Z_n、D_n 和 S_n 输入一个整数 n；直积输入 m 和 n。
（可选）查询元素：在“突出显示”字段中输入元素 —— 例如 Z₁₂ 输入 8，直积输入 (1,2)，D_n 输入 r^2 或 s·r^3，S_n 输入 (1 2 3)。工具会打印其阶及生成的循环子群。
点击“分析群”。 您将获得 Cayley 表（按阶着色）、阶分布柱状图、每个元素及其阶的可滚动列表，以及带有悬停查看详情功能的子群格 Hasse 图。
悬停在格节点上查看其元素、生成元以及是否正规。悬停在 Cayley 单元格上查看产生它的行和列。

此版本的限制

循环群 Z_n：n ≤ 120。
直积 Z_m × Z_n：m · n ≤ 144。
二面体群 D_n：n ≤ 20 (|D_n| ≤ 40)。
对称群 S_n：n ≤ 5 (|S₅| = 120)。
Cayley 表渲染限制在阶数 ≤ 24 的群。
完整子群格计算限制在阶数 ≤ 60 的群。

常见应用

抽象代数课程 —— 检查有关元素阶、拉格朗日定理和子群枚举的作业。
密码学 —— 模质数乘法群是循环群；元素 ord(g) 决定了 Diffie–Hellman 算法的安全性。
晶体学与化学 —— 二面体群描述了分子和晶面的旋转对称性。
组合数学 —— 对称群用于计算置换，应用于 Burnside 引理和 Pólya 计数。
物理学 —— 量子力学中的点群、李群和对称性论证都源自此计算器展示的有限群直觉。

常见问题解答

什么是群中元素的阶？

有限群 G 中元素 g 的阶是使 g^k 等于单位元的最小正整数 k。根据拉格朗日定理，每个元素的阶都能整除群的阶。

如何计算 Z_n 中元素的阶？

对于模 n 加法下的循环群 Z_n，元素 k 的阶为 n / gcd(n, k)。例如，在 Z₁₂ 中，元素 8 的阶为 12 / gcd(12, 8) = 12 / 4 = 3。

群什么时候是循环群？

一个有限群是循环群当且仅当它包含一个阶等于群阶的元素。每个阶为 n 的循环群都同构于 Z_n。直积 Z_m × Z_n 是循环群当且仅当 gcd(m, n) = 1。

什么是 Cayley 表？

Cayley 表是一个正方形乘法表，列出了群中每一对元素的乘积。第 a 行第 b 列的条目是乘积 a · b。Cayley 表的每一行和每一列都是群元素的置换 —— 这一性质被称为拉丁方性质。

什么是子群格？

有限群 G 的子群格是 G 的所有子群按包含关系排序的偏序集。通过 Hasse 图绘制，可以轻松看出哪些子群包含在哪些子群中，并识别正规子群或主序列。

为什么 S₃ 同构于 D₃？

这两个群的阶都是 6，并且具有相同的元素阶多重集（一个 1 阶元素，两个 3 阶元素，三个 2 阶元素）。等边三角形的六个对称性 —— 三个旋转加三个反射 —— 完全对应于其三个顶点的六个置换，因此这两个群在抽象上是同一个群。在计算器中生成这两个群，您会发现它们的子群格完全一致。

延伸阅读

引用此内容、页面或工具为：

"群论阶数计算器" 于 https://MiniWebtool.com/zh-cn/群论阶数计算器/，来自 MiniWebtool，https://MiniWebtool.com/

由 miniwebtool 团队。更新日期：2026年4月23日

您还可以尝试我们的 AI数学解题器 GPT，通过自然语言问答解决您的数学问题。

群论阶数计算器