[論文レビュー] On the number of cyclic subgroups of a finite abelian group

László Tóth|arXiv (Cornell University)|Mar 28, 2012

Limits and Structures in Graph Theory参考文献 14被引用数 19

ひとこと要約

この論文は、特に巡回群の直積における有限アーベル群の巡回部分群および与えられた位数の元の数を数える公式について、数論的証明を提供する。$ C_{n_1} \times \cdots \times C_{n_r} $ における位数 δ の巡回部分群の数は、$ c_\delta(n_1,\ldots,n_r) = \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) / \phi(\delta) $ で与えられ、モービウスの包摂とジョルダン関数を用いて、これらの数え上げ関数の乗法的構造が確立される。

ABSTRACT

We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative properties of related counting functions for finite Abelian groups are immediate consequences of these formulae.

研究の動機と目的

• 初等的な数論を用いて、有限アーベル群における巡回部分群および固定された位数の元の数の明示的公式を導出すること。
• 巡回群の直積における巡回部分群総数を表す簡潔な公式を提示する定理1の直接的かつ自己完結的な証明を提供すること。
• 素因数分解と畳み込み性質を用いて、巡回部分群および元の数え上げ関数の乗法的構造を確立すること。
• 巡回部分群の数え上げを、ジョルダン関数やフォン・シュテルナッハ関数などの既知の算術関数と結びつけること。

提案手法

• モービウスの包摂を用いて、$ C_{n_1} \times \cdots \times C_{n_r} $ における位数 δ の元の数を $ o_\delta(n_1,\ldots,n_r) = \sum_{e|\delta} \gcd(e,n_1)\cdots\gcd(e,n_r) \mu(\delta/e) $ として導出すること。
• 除数和を用いた別表現の導出：$ o_\delta(n_1,\ldots,n_r) = \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $ であり、恒等式 $ \sum_{d|n} \phi(d) = n $ を用いる。
• 公式 $ c_\delta(n_1,\ldots,n_r) = o_\delta(n_1,\ldots,n_r)/\phi(\delta) $ を用いて、位数 δ の巡回部分群の数を計算すること。
• 乗法的算術関数の畳み込みと素因数分解を用いて、数え上げ関数 $ c(n_1,\ldots,n_r) $ の乗法的性質を証明すること。
• p-群の特殊な場合の導出：$ c_{p^\nu}(p^{a_1},\ldots,p^{a_r}) = \frac{1}{p^{\nu-1}(p-1)} \left( p^{\sum \min(\nu,a_i)} - p^{\sum \min(\nu-1,a_i)} \right) $。
• 群論的数え上げと算術関数を結びつけるために、$ C_n^r $ における位数 δ の元の数がジョルダン関数 $ \phi_r(\delta) $ に等しいと特定すること。

実験結果

リサーチクエスチョン

• RQ1 有限アーベル群における与えられた位数の巡回部分群の数は、初等的な数論的技法を用いてどのように計算できるか？
• RQ2 巡回群の直積 $ C_{n_1} \times \cdots \times C_{n_r} $ における位数 δ の元の数の明示的公式は何か？
• RQ3 巡回部分群の数え上げ関数の乗法的構造は、群の素因数分解からどのように生じるか？
• RQ4 巡回部分群の数え上げと、オイラーのトーティエント関数やジョルダン関数といった古典的算術関数との関係は何か？
• RQ5 モービウスの包摂と除数和恒等式を用いて、元の数え上げから直接的に巡回部分群の数え上げ公式を導出できるか？

主な発見

• 位数 δ の元の数は $ \sum_{e|\delta} \gcd(e,n_1)\cdots\gcd(e,n_r) \mu(\delta/e) $ で与えられ、これはモービウスの包摂を用いた新しい導出である。
• 同値な公式として $ \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $ が得られ、巡回部分群の数え上げと除数の最小公倍数の間の直接的な関係が示される。
• 位数 δ の巡回部分群の数は $ c_\delta(n_1,\ldots,n_r) = \frac{1}{\phi(\delta)} \sum_{\text{lcm}(d_1,\ldots,d_r)=\delta} \phi(d_1)\cdots\phi(d_r) $ で与えられ、これはp-群に対する既知の結果を一般化する。
• $ C_n^r $ において、位数 δ の元の数はジョルダン関数 $ \phi_r(\delta) = \delta^r \prod_{p|\delta} (1 - p^{-r}) $ に等しく、この算術関数に群論的解釈を与える。
• $ C_{n_1} \times \cdots \times C_{n_r} $ における巡回部分群の総数は素因数のべきの上での乗法的であり、$ c(n_1,\ldots,n_r) = \sum_{\delta|n} c_\delta(n_1,\ldots,n_r) $ で与えられ、ここで $ n = \text{lcm}(n_1,\ldots,n_r) $ である。
• 公式 $ c(n_1,\ldots,n_r) = \sum_{d_1|n_1,\ldots,d_r|n_r} \frac{\phi(d_1)\cdots\phi(d_r)}{\phi(\text{lcm}(d_1,\ldots,d_r))} $ は初等的手段により再導出され、組合せ的数論を通じてその正当性が確認される。