[论文解读] On the subgroups of the group Z_m x Z_n

Mario Hampejs, Nicki Holighaus+2 more|arXiv (Cornell University)|Nov 8, 2012

Finite Group Theory Research被引用 1

一句话总结

本文对任意正整数 m 和 n 的阿贝尔群 ℤₘ × ℤₙ 的子群进行了完整刻画，推导出显式表示和不变因子分解。它建立了子群总数以及任意给定阶子群数量的闭式公式，为秩为二的有限交换群中的子群计数提供了一个系统的代数框架。

ABSTRACT

We deduce a simple representation and the invariant factor decompositions of the subgroups of the group $\Bbb{Z}_m imes \Bbb{Z}_n$, where $m$ and $n$ are arbitrary positive integers. We obtain formulas for the total number of subgroups and the number of subgroups of a given order.

研究动机与目标

• 为任意正整数 m 和 n 推导出 ℤₘ × ℤₙ 的所有子群的简单且显式的表示形式。
• 确定 ℤₘ × ℤₙ 中每个子群的不变因子分解。
• 使用闭式公式计算 ℤₘ × ℤₙ 中的子群总数。
• 推导出 ℤₘ × ℤₙ 中给定阶子群数量的公式。

提出的方法

• 使用群论技术分析直积 ℤₘ × ℤₙ 中子群的结构。
• 应用有限生成阿贝尔群基本定理，将子群表示为不变因子形式。
• 基于 m 和 n 的因子，通过生成元与关系推导子群的表示。
• 利用数论函数按阶数计数子群，特别是涉及 gcd 和因子函数。
• 建立子群类型与 m 和 n 的因子对之间的一一对应关系，以实现计数。
• 利用 m 和 n 的因子上的乘法数论函数，构建闭式表达式。

实验结果

研究问题

• RQ1 对于任意正整数 m 和 n，ℤₘ × ℤₙ 的完整子群集合是什么？
• RQ2 ℤₘ × ℤₙ 的每个子群如何通过其不变因子表示？
• RQ3 ℤₘ × ℤₙ 中的子群总数作为 m 和 n 的函数是多少？
• RQ4 给定 d 整除群的阶，ℤₘ × ℤₙ 中阶为 d 的子群有多少个？
• RQ5 ℤₘ × ℤₙ 的子群与 m 和 n 的因子之间的结构关系是什么？

主要发现

• ℤₘ × ℤₙ 的子群总数由一个闭式公式给出，涉及 m 和 n 的因子，具体为 ∑_{d|m} ∑_{e|n} gcd(d, e)。
• ℤₘ × ℤₙ 中阶为 d 的子群数量由一个依赖于 d 的因子及其与 m 和 n 关系的公式决定。
• ℤₘ × ℤₙ 的每个子群都具有唯一的不变因子分解，从而可对其结构进行规范表示。
• 在特定算术条件下，ℤₘ × ℤₙ 的子群与 m 和 n 的因子对之间存在一一对应关系。
• 所推导的公式具有乘法性质，反映了底层群及其因子格的乘法结构。
• 结果推广了已知的循环群公式，并将其扩展到秩为二的阿贝尔群情形。