[論文レビュー] Perfect numbers and groups

Tom Leinster|ArXiv.org|Apr 1, 2001

Computability, Logic, AI Algorithms被引用数 7

ひとこと要約

本稿では、有限群 G に対して、その真の正規部分群の位数の和が 2|G| に等しいとき、G を『完全群』と定義することにより、完全数の群論的類似を導入する。この定義のもとで、アーベル的完全群は、完全数の位数をもつ巡回群に限られ、乗法的性質を用いて非アーベル的完全群を構成する。これは、数論における和の除数関数の乗法的性質を群論に一般化するものである。

ABSTRACT

A number is perfect if it is the sum of its proper divisors; here we call a finite group `perfect' if its order is the sum of the orders of its proper normal subgroups. (This conflicts with standard terminology but confusion should not arise.) The notion of perfect group generalizes that of perfect number, since a cyclic group is perfect exactly when its order is perfect. We show that, in fact, the only abelian perfect groups are the cyclic ones, and exhibit some non-abelian perfect groups of even order.

研究の動機と目的

• 有限群に対して、その真の正規部分群の位数の和が 2|G| に等しいとき、G を完全群と定義することにより、完全数の概念を一般化すること。
• 特にアーベル的および非アーベル的例に注目して、このような完全群の構造的性質を調査すること。
• D(G)、すなわち正規部分群の位数の和を表す関数の乗法的枠組みを確立し、群の商や直積におけるその振る舞いを分析すること。
• D(G) = 2|G| を満たすアーベル的完全群が、完全数の位数をもつ巡回群に限られることを、2通りの異なる証明法（数え上げ的議論と素数位数部分群の存在性に基づくもの）を用いて証明すること。
• この定義の広範な意味を検討し、奇数位数の完全群や非アーベル的完全群に関する予想を提示すること。

提案手法

• 有限群 G に対して、D(G) を G のすべての正規部分群の位数の和と定義し、D(G) = 2|G| が成り立つとき G を完全群と定義する。
• D(G) が位数が互いに素である群の直積に対して乗法的であること——これは数論における和の除数関数の乗法的性質に類似している。
• 有限アーベル群の分類定理を用いてアーベル的商群を分析し、完全群であるのは、完全数の位数をもつ巡回群に限られることを証明する。
• アーベル的商群定理を2通りの異なる方法で証明する：1つは正規部分群の数え上げ的議論に基づくもの、もう1つは素数位数部分群の存在と一意性に基づくもの。
• 全単射準同型を用いて、G が D(H) > 2|H| を満たす商群 H をもつならば、D(G) > 2|G| が成り立つことを示し、完全群の分類問題をアーベル的ケースに還元する。
• 半直積への乗法的構造の拡張を用い、ドミノイド群などの既知の群族を応用して、非アーベル的完全群を構成する。

実験結果

リサーチクエスチョン

• RQ1 どの有限群が、その真の正規部分群の位数の和が自身の位数の2倍に等しいか？
• RQ2 非アーベル的完全群は存在するか？ もし存在するならば、D(G) の乗法的性質を用いて体系的に構成可能か？
• RQ3 完全群と完全数の間にはどのような関係があるか？ また、群論的定義は、数論的定義をどのような意味で一般化するか？
• RQ4 アーベル的商群定理は複数の方法で証明可能か？ これらの証明は完全群の構造に何を明らかにするか？
• RQ5 奇数位数の完全群は存在するか？ また、アーベル的でない場合のすべての完全群を分類可能か？

主な発見

• アーベル的完全群は、完全数の位数をもつ巡回群に限られ、これはアーベル的商群定理によって示された。
• D(G) は、G が互いに素な群の直積であるとき、乗法的である。
• 有限アーベル群 A が完全群であるための必要十分条件は、A が巡回群であり、その位数が完全数であることである。これは A が完全数 n に対して C_n に同型であることと一致する。
• 偶数位数の非アーベル的完全群は存在し、その構成には D(G) の乗法的構造と適切な正規部分群格子の存在が不可欠である。
• アーベル的商群定理は2通りの異なる形で成立する：1つは正規部分群の数え上げ的議論に基づくもの、もう1つは素数位数部分群の存在に基づくもの。
• 本稿では、群 G が D(H) > 2|H| を満たす商群 H をもつならば、D(G) > 2|G| が成り立つことを確立した。これにより、完全群の分類問題はアーベル的商群の分析に帰着される。