[論文レビュー] An arithmetic method of counting the subgroups of a finite abelian group

Marius Tărnăuceanu|arXiv (Cornell University)|May 21, 2018

graph theory and CDMA systems参考文献 7被引用数 11

ひとこと要約

この論文は、基本群格子に基づく算術的手法を開発し、有限アーベル群における部分群、巡回部分群、および与えられた位数の元の個数を明示的に数える。p-群における行列表現と割り切れる条件を活用することで、ランク2のp-群における固定された位数の部分群の個数について閉形式の公式を導出し、主成分分解を用いてそれらを任意の有限アーベル群へ一般化する。

ABSTRACT

The main goal of this paper is to apply the arithmetic method developed in our previous paper \cite{13} to determine the number of some types of subgroups of finite abelian groups.

研究の動機と目的

• 先行研究で導入された基本群格子を用いた有限アーベル群における部分群数え上げの算術的手法を拡張すること。
• ランク2の有限アーベルp-群における固定された位数の部分群の個数について明示的な公式を導出すること。
• 結果を一般化し、任意の有限アーベル群における巡回部分群の個数および指定された位数の元の個数を計算すること。
• 構造的分解を通じて、部分群の個数とオイラーのトゥーリアント関数との関係を確立すること。
• 元の位数に基づく部分群の特徴付け、自己同型群、および群の同型不変量に関する未解決問題を提示すること。

提案手法

• 特定の割り切れる制約を満たす上三角整数行列の完全なモジュラーラティスとして、基本群格子 $ L_{(k;d_1,\ldots,d_k)} $ を構成する。
• 部分行列の行列式に関連する逐次的GCD条件に基づいて、行列に部分順序 $ \leq $ を定義する。
• ラティス構造を用いて、有限アーベルp-群における部分群の包含関係と同型型を符号化する。
• ラティスを応用し、$ \prod_{i=1}^k \mathbb{Z}_{p^{\alpha_i}} $ における位数 $ p^\alpha $ の巡回部分群の個数 $ g^k_p(\alpha) $ を、再帰的割り切れる関数を用いて導出する。
• p-主成分への分解と乗法的公式を用いることで、結果を任意の有限アーベル群へ一般化する。
• 元の位数 $ p^\alpha $ の個数を計算するため、オイラーのトゥーリアント関数 $ \varphi(p^\alpha) = p^\alpha - p^{\alpha-1} $ を用い、$ g^k_p(\alpha) \cdot \varphi(p^\alpha) $ として表す。

実験結果

リサーチクエスチョン

• RQ1 任意のランクの有限アーベルp-群における固定された位数の部分群の個数について、明示的な公式を導出できるか？
• RQ2 任意の有限アーベル群における指定された位数の巡回部分群の個数はどのように計算できるか？
• RQ3 有限アーベル群における指定された位数の元の個数は、そのp-主成分によって完全に決定されるか？
• RQ4 元の位数の集合と各位数の元の個数が、有限アーベル群の同型型をどの程度まで特徴づけるか？
• RQ5 部分群ラティス構造は、算術的ラティス枠組みを用いてアルゴリズム的に生成可能か？

主な発見

• ランク2、型 $ \mathbb{Z}_{p^{\alpha_1}} \times \mathbb{Z}_{p^{\alpha_2}} $ の有限アーベルp-群において、位数 $ p^\alpha $ の部分群の個数は $ g^2_p(\alpha) = \frac{p^\alpha h^1_p(\alpha) - p^{\alpha-1} h^1_p(\alpha-1)}{p^\alpha - p^{\alpha-1}} $ で与えられ、ここで $ h^1_p(\alpha) = \min(p^{\alpha}, p^{\alpha_1}) $ である。
• ランク $ k $ の有限アーベルp-群における位数 $ p^\alpha $ の巡回部分群の個数は $ g^k_p(\alpha) $ であり、$ g^k_p(0) = 1 $ である。
• そのような群における位数 $ p^\alpha $ の元の個数は $ g^k_p(\alpha) \cdot \varphi(p^\alpha) = p^\alpha h^{k-1}_p(\alpha) - p^{\alpha-1} h^{k-1}_p(\alpha-1) $ である。
• 任意の有限アーベル群 $ G \cong \prod_{i=1}^m G_i $ において、$ G_i $ がランク $ k_i $ の $ p_i $-主成分であるとき、位数 $ \prod_{i=1}^m p_i^{\alpha_i} $ の巡回部分群の個数は $ \prod_{i=1}^m g^{k_i}_{p_i}(\alpha_i) $ である。
• 群 $ G $ における位数 $ \prod_{i=1}^m p_i^{\alpha_i} $ の元の個数は $ \prod_{i=1}^m g^{k_i}_{p_i}(\alpha_i) \cdot \varphi(p_i^{\alpha_i}) $ である。
• 論文は、有限アーベル群が、その元の位数の多重集合と各位数の元の個数によって一意に決定されるかどうかは未解決のままとしており、これが主要な未解決問題であると示唆している。