群论阶数计算器

群论阶数计算器

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

什么是元素的阶？

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

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

常见群的封闭公式

循环群 Z_n

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

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

直积 Z_m × 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。元素阶遵循简单的规律：

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

对称群 S_n

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

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。子群格揭示的关键事实包括：

实例分析 — 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 阶反射子群不是正规的。

如何使用此计算器

1. 使用选项卡选择群系列：循环群、直积、二面体群或对称群。
2. 输入参数。 Z_n、D_n 和 S_n 输入一个整数 n；直积输入 m 和 n。
3. （可选）查询元素：在“突出显示”字段中输入元素 —— 例如 Z₁₂ 输入 8，直积输入 (1,2)，D_n 输入 r^2 或 s·r^3，S_n 输入 (1 2 3)。工具会打印其阶及生成的循环子群。
4. 点击“分析群”。 您将获得 Cayley 表（按阶着色）、阶分布柱状图、每个元素及其阶的可滚动列表，以及带有悬停查看详情功能的子群格 Hasse 图。
5. 悬停在格节点上查看其元素、生成元以及是否正规。悬停在 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 阶元素）。等边三角形的六个对称性 —— 三个旋转加三个反射 —— 完全对应于其三个顶点的六个置换，因此这两个群在抽象上是同一个群。在计算器中生成这两个群，您会发现它们的子群格完全一致。

延伸阅读

• 阶 (群论) — 维基百科
• Cayley 表 — 维基百科
• 子群格 — 维基百科
• 二面体群 — 维基百科
• 对称群 — 维基百科

进阶数学计算:

• 邻接矩阵计算器 新
• antilog计算器
• beta函数计算器
• 二项式系数计算器
• 二项概率分布计算器
• 按位计算器 热门
• 布尔代数化简器 新
• 中央极限定理计算器
• 中国剩余定理计算器
• 组合计算器 热门
• 互补误差函数计算器
• 复数计算器 热门
• 连分数计算器
• 错排 子阶乘计算器
• 迪杰斯特拉最短路径计算器
• 熵计算器
• 误差函数计算器 热门
• 欧拉函数计算器
• 指数衰减计算器（高精度）
• 指数增长计算器 高精度
• 指数积分计算器
• 指数计算器（高精度） 热门
• 扩展欧几里得算法计算器
• 阶乘计算器
• 伽玛功能计算器
• 黄金比例计算器
• 图着色计算器 新
• 图度数序列验证器
• 群论阶数计算器 新
• 半衰期计算器 热门
• 哈密顿路径检查器 新
• 容斥原理计算器 新
• 卡诺图 (K-Map) 求解器 新
• 线性规划求解器 新
• 马尔可夫链稳态分布计算器
• 最小生成树计算器
• 模幂运算计算器 新
• 模乘逆元计算器
• 负二项分布计算器 新
• 网络最大流计算器 新
• 百分比增长率计算器 热门
• 排列计算器
• 重复排列计算器 新
• 鸽巢原理计算器
• 平面图检查器 新
• 泊松分布计算器
• 多项式根计算器与详细步骤
• 原根计算器
• 概率计算器
• 概率分布计算器
• 比例计算器 热门
• 二次公式计算器 热门
• 环与域计算器 新
• 四舍五入计算器 新
• 科学计算器
• 科学记数法计算器
• 集合论计算器
• 有效数字计算器 新
• 稳定婚姻问题求解器 新
• 斯特林数计算器
• 立方和计算器
• 连续数之和计算器
• 平方和计算器
• 拓扑排序计算器 新
• 旅行商问题求解器 TSP 新
• 真值表生成器
• 韦恩图生成器3集合