[論文レビュー] Integrals of groups

João Araüjo, Peter J‎. Cameron+2 more|arXiv (Cornell University)|Mar 27, 2018

Finite Group Theory Research参考文献 16被引用数 6

ひとこと要約

この論文は、有限および無限群—H' ≅ G を満たす群H—の積分の存在と構造を調査し、すべての有限積分可能群が有限積分を持つこと、すべてのn次群が積分可能であるようなnの条件（立方自由で、q|(p−1) を満たす異なる素数p,qが存在しないn）を同定し、アーベル群の最小積分サイズに関する境界を確立する。また、n重積分可能な有限群をアーベル群と完全群の中心積として特徴付ける。

ABSTRACT

An $integral$ of a group $G$ is a group $H$ whose derived group (commutator subgroup) is isomorphic to $G$. This paper discusses integrals of groups, and in particular questions about which groups have integrals and how big or small those integrals can be. Our main results are: (1) If a finite group has an integral, then it has a finite integral. (2) A precise characterization of the set of natural numbers $n$ for which every group of order $n$ is integrable: these are the cubefree numbers $n$ which do not have prime divisors $p$ and $q$ with $q\mid p-1$. (3) An abelian group of order $n$ has an integral of order at most $n^{1+o(1)}$, but may fail to have an integral of order bounded by $cn$ for constant $c$. (4) A finite group can be integrated $n$ times (in the class of finite groups) if and only if it is the central product of an abelian group and a perfect group. There are many other results on such topics as centreless groups, groups with composition length $2$, and infinite groups. We also include a number of open problems.

研究の動機と目的

• 有限および無限群が積分（H' ≅ G を満たす群H）をもつための条件を特定すること。
• 与えられた有限群の最小積分サイズの境界を確立すること。
• 有限群のカテゴリー内でn回積分可能な群を特徴付けること。
• 積分可能性と群構造（合成長、中心なし群、群の多様体など）との関係を調査すること。
• 未解決問題を特定し、群論的逆問題分野における今後の研究方向を提案すること。

提案手法

• 積分の存在を分析するための群拡大理論およびコホホロジー的道具の使用。
• 合成系列および主要系列を含む有限群理論の応用による積分可能性条件の研究。
• ワレープ積および中心拡大を用いたアーベル群の明示的積分の構成。
• 完全群および中心積に関する結果を活用し、n重積分可能な群を特徴付ける。
• 導来部分群構造と外部自己同型群の役割を分析し、積分可能性に寄与する要因を解明。
• 計算群論の概念およびGAP互換アルゴリズムを用いて、特定のケースにおける積分可能性を探索。

実験結果

リサーチクエスチョン

• RQ1 すべてのn次群が積分可能であるような自然数nはどれか？
• RQ2 与えられた有限群の最小積分サイズ（特にアーベル群の場合）はどのくらいか？
• RQ3 すべての正の整数nに対してn回積分可能（有限群のクラス内で）となる有限群はどれか？
• RQ4 群Gの積分可能性がG/Z(G)や他の商群の積分可能性とどのように関係するか？
• RQ5 与えられた群（例：1関係関係群または有限生成表示群）が積分可能かどうかを決定する決定可能アルゴリズムは存在するか？

主な発見

• 積分をもつすべての有限群は、有限積分を持つ。これは積分の有限性に関する基礎的問題を解決する。
• n次有限群が積分可能であるための必要十分条件は、nが立方自由であり、nの異なる素因数p,qについてq | (p−1) が成り立たないことである。
• アーベル群のn次群の最小積分サイズはn^{1+o(1)}であるが、定数cが存在してサイズがcnで抑えられるとは限らない。
• 有限群が有限群のカテゴリー内でn回積分可能であるための必要十分条件は、それがアーベル群と完全群の中心積であることである。
• 有限指数を持つ積分をもたない無限アーベル群が存在する。これは無限の場合に積分可能性が保証されないことを示している。
• この論文は、有限設定において無限再帰的積分をもつ群のクラス（アーベル群と完全群の中心積）を特定している。