Every finite group admits a just finite presentation

技術的概要：すべての有限群は「ただの有限」提示を許容する

問題の提示
本論文は、Barnea によって提起された Kourovka ノートブックの問題 21.10 に取り組む。この問題は、すべての有限群が「ただの有限（just finite）」提示を許容するかどうかを問うものである。有限群 $G$ の有限提示 $\langle X \mid R \rangle$ が「ただの有限」であるとは、任意の単一の関係式 $r \in R$ を除去すると無限群の提示となる場合に定義される。「ただの無限（just infinite）」群（すべての真の商が有限である無限群）の理論は確立されているが、有限群に対するこの双対概念は未解決の問題であった。

手法と構成
著者は、Serre の性質 (FA) を持つ群に関するより強力な結果を証明することでこの予想を解決する。群が性質 (FA) を持つとは、木へのすべての作用が不動点を持つことを意味し、有限生成群の場合、これは群が非自明な自由積や HNN 拡大ではないことと同値である。すべての有限群は性質 (FA) を有するため、性質 (FA) を持つ任意の有限提示群に対して「ただの (FA)」提示の存在を証明すれば、元の問題を解決することになる。

核心的な構成は、群 $G$（$G$ は巡回群ではない）の既知の非冗長な有限提示 $\langle X \mid R \rangle$ を、新しい提示 $P' = \langle X' \mid R' \rangle$ に変形するものである：

1. 生成元の拡張：各関係式 $r \in R$ に対して、新しい生成元 $b_r$ を導入する。
2. 関係式の置換：各元の関係式 $r$ を、新しい関係式のペアに置き換える：
   • $r^{-1} b_r r = b_r^2$
   • $b_r^{-1} r b_r = r^2$
3. 理論的基盤：この置換は、B.H. Neumann の補題 4 に依存しており、これは要素 $u, v$ が $u^{-1}vu = v^2$ および $v^{-1}uv = u^2$ を満たすならば、$u=v=1$ となることを述べている。したがって、新しい提示 $P'$ において、これらの関係式はすべての $r$ に対して $b_r = 1$ および $r = 1$ を強制し、$P'$ が元の群 $G$ を提示していることを保証する。

ただの (FA) 性質の証明
$P'$ がただの (FA) であることを示すために、著者は $R'$ から任意の単一関係式を除去すると、性質 (FA) を欠く群が得られることを示す。証明は、元の関係式 $r$ に対応する特定の関係式のペアについて、以下の 2 つの場合を分析する：

• 場合 1（$b_r^{-1} r b_r = r^2$ を除去する場合）：得られる群 $K_1$ は非自明な自由積に分解することが示される。具体的には、$H_r *_{\langle r \rangle} B'$ と分解され、ここで $H_r = \langle X \mid R \setminus \{r\} \rangle$ であり、$B'$ は半直積（$r$ の位数が無限の場合には Baumslag-Solitar 群）である。合併する部分群の指数は少なくとも 3 であることが示され、$H_r$ が巡回群でない限り、この積は非自明であることを保証する。著者は、もし $H_r$ が巡回群であれば、その商である $G$ も巡回群となるはずであり、これは $G$ が巡回群ではないという仮定に矛盾すると論じる。したがって、$K_1$ は非自明な自由積であり、性質 (FA) を欠く。
• 場合 2（$r^{-1} b_r r = b_r^2$ を除去する場合）：得られる群 $K_2$ は無限巡回群 $\mathbb{Z}$ への全射準同型写像を持つ。すべての元の生成元を単位元へ、特定の生成元 $b_r$ を $\mathbb{Z}$ の生成元へ写すことで、残りの関係式は自明に満たされる。$K_2$ が無限群へ写像されるため、これは性質 (FA) を持つことはできない。

主要な結果
本論文は以下の定理を確立する：

• 定理 1：すべての有限群は、有限な「ただの有限」提示を許容する。
• 定理 2：性質 (FA) を持つすべての有限提示群は、有限な「ただの (FA)」提示を許容する。
• 定理 3：Kazhdan の性質 (T) を持つすべての有限提示群は、有限な「ただの (T)」提示（任意の関係式を除去すると性質 (T) が失われる提示）を許容する。
• 定理 6：性質 (FA) を持つ非巡回群の任意の有限な非冗長提示に対して、同じ欠損（生成元の数から関係式の数を引いた値）を持つ「ただの (FA)」提示が存在する。

意義と文脈
本論文は、Kourovka ノートブックで提起された未解決の問題を肯定形で解決したと主張している。その意義は、有限群に対して、有限性を維持するためにどの関係式も冗長ではないという意味での「最小提示」の存在を確立することにある。

手法に関する注記
本論文は、Google DeepMind の AI 共同数学者ツールの使用を明示的に認めている。AI は初期の解決構造と核心的な証明戦略を提案したが、場合 1 における $H_r = \langle r \rangle$ という特定のケースに関して欠陥に直面した。人間の著者が論理的な隙間を特定し、巡回商に関する論法という必要な修正を提供し、さらに「ただの (FA)」および「ただの (T)」提示というより広範な概念を含めるように提示を洗練させた。最終的なテキストは、AI ツールによって検証および修正された。