[論文レビュー] On the decidability of the integrability of finite groups

Sathasivam Kalithasan, Viji Z. Thomas|arXiv (Cornell University)|Feb 21, 2026

Advanced Operator Algebra Research被引用数 0

ひとこと要約

論文は有限群が可約可能かどうかを決定可能であることを証明し、可約が存在する場合の積分のサイズに明示的な境界を提供する。

ABSTRACT

An integral of a group $G$ is a group $H$ whose commutator subgroup is isomorphic to $G$. In this paper, we prove that the integrability of a finite group is a decidable problem.

研究の動機と目的

• 有限群が可約可能かどうかを動機づけ formalize する。
• 潜在的な積分のサイズを境界づけることにより可約性が決定可能であることを示す。
• 計算可能な境界を持つ積分を得る構成的アプローチを提供する。
• 核を境界づける上でコホモロジーと中心拡張の役割を強調する。

提案手法

• 有限群の積分に関する既知の結果を用いて、制御された特性を持つ有限積分 H の存在を仮定する。
• コサイクル delta によるねじれた中心拡張を形成し、生成元階数を同じままアーベル群へ核を拡大する。
• 共変換を coboundary で修正して像が既知の冪指数を持つ Omega-サブグループに入るように cocycle を変更し、新たな積分を作成する。
• 得られたねじれた積が G の積分であることを示し、|Q| の境界を Aut(G), Z(G), μ(G) に関して導出する。
• 明示的な界を導出する: |Q| ≤ (|Aut(G)| |Z(G)|^{2 μ(G)})^{d(Z(G))+1}。

実験結果

リサーチクエスチョン

• RQ1 有限群 G の可約性は決定可能か？
• RQ2 G の積分の階数を G の不変量のみによって境界づけることはできるか？
• RQ3 積分に関連する中心拡張の核を境界づけるためにコホモロジー技術をどのように用いるか？
• RQ4 可算なサイズ境界を計算可能な積極手順を用いて可約性を決定し、積分を得る手順は存在するか？

主な発見

• G が可約可能であるならば、構造が制御された有限の積分を持つ。
• G の積分 Q のサイズの明示的な境界が存在する： |Q| ≤ (|Aut(G)||Z(G)|^{2 μ(G)})^{d(Z(G))+1}。
• 核を適切なアーベル群の Omega-サブグループへ拡大し、コサイクルを coboundary で調整することにより境界を得る。
• この構成は積分 Q が依然として G の積分であることを保証し、決定可能性の有限かつ計算可能なターゲットを提供する。