[論文レビュー] Representing and counting the subgroups of the group Z_m x Z_n

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

Advanced Algebra and Geometry参考文献 21被引用数 4

ひとこと要約

この論文は、単純な表現と不変因子分解を用いて、有限アーベル群 ℤₘ × ℤₙ の部分群を完全に特徴づける。部分群の総数および与えられた位数の部分群の数に対する明示的で乗法的な公式を導出し、既知の p-群に関する結果を一般化し、算術関数とディリクレ畳み込みを用いた効率的な計算を可能にする。

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 に対して、ℤₘ × ℤₙ のすべての部分群を完全かつ簡単な表現で与えること。
• これらの部分群の不変因子分解を特定し、構造的分類を可能にすること。
• 部分群の総数 s(m,n) および与えられた位数の部分群の数 sₖ(m,n) に対する明示的で乗法的な公式を導出すること。
• 素因数分解と乗法的数論的技法を用いて、p-群に関する既知の結果を任意の ℤₘ × ℤₙ に一般化すること。
• 時間周波数解析への応用を支援し、望ましい性質を持つ部分群の効率的な列挙と選択を可能にすること。

提案手法

• すべての ℤₘ × ℤₙ の部分群を表すために、整除条件および合同条件を満たす三つ組 (a,b,t) を用いたパrametrization を用いる。
• 中国剰余定理と素因数分解を適用し、乗法性を活用することで、問題を p-群 ℤₚᵃ × ℤₚᵇ に還元する。
• モービウス関数 μ、オイラーのトーティエント関数 φ、デデキンドのシータ関数 ψ などの数論的道具を用いて、閉形式の表現を導出する。
• ディリクレ畳み込みとバーシュ＝ラマヌジャンの恒等式を用い、除数に関する和をコンactな算術関数に変換する。
• 特殊な場合においてゴーシェの補題と行列ベースの手法（例えば、ヘルメート標準形）を用い、部分群表現の妥当性を検証する。
• パrameter における gcd および lcm 条件を用いて、巡回部分群および与えられた指数を持つ部分群の公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、初等的な群論および数論を用いて、ℤₘ × ℤₙ のすべての部分群を体系的かつ分類的に表現できるか？
• RQ2 ℤₘ × ℤₙ の部分群の正確な数は何か？ また、m と n の素因数分解にどのように依存するか？
• RQ3 ℤₘ × ℤₙ に位数 k の部分群がいくつ存在するか？ そして、これを効率的に計算するにはどうすればよいか？
• RQ4 ℤₘ × ℤₙ の部分群構造は、時間周波数解析や格子サンプリングへの応用とどのように関係するか？
• RQ5 ℤₙ × ℤₙ における巡回部分群および与えられた指数を持つ部分群の数は、乗法的算術関数を用いて表現可能か？

主な発見

• 部分群の総数 s(m,n) は乗法的であり、s(m,n) = ∏ᵣ s(pⱼᵃʲ, pⱼᵇʲ) で与えられる。ここで u = gcd(m,n) と v = lcm(m,n) は素因数分解 u = ∏ pⱼᵃʲ、v = ∏ pⱼᵇʲ を持つ。
• p-群 ℤₚᵃ × ℤₚᵇ（0 ≤ a ≤ b）に対して、部分群の数は s(pᵃ,pᵇ) = [(b−a+1)pᵃ⁺² − (b−a−1)pᵃ⁺¹ − (a+b+3)p + (a+b+1)] / (p−1)² で与えられる。
• ℤₚᵃ × ℤₚᵇ における位数 pᶜ の部分群の数は、c が a と b に対して相対的にどの程度の大きさであるかに応じた区分的公式であり、(pᶜ⁺¹−1)/(p−1) や類似の式を含む。
• ℤₘ × ℤₙ の巡回部分群の数は c(m,n) = ∑_{lcm(d,e)=gcd(m,n)} gcd(d,e) で与えられ、変数変換とモービウスの反転を用いることで c(m,n) = ∑_{ℓk|gcd(m,n)} ℓ·2^ω(k) に簡略化される。
• ℤₙ × ℤₙ における指数 δ の部分群の数は E₆(n) = c(δ) で与えられ、これは ℤₙ × ℤₙ における位数 δ の巡回部分群の数と一致する。
• ℤ×ℤ における指数 n の部分群の数は σ(n)、すなわち n の約数の和であり、導出されたパrametrization を用いて、既知の結果を確認する。