Unsolved Problems in Group Theory. The Kourovka Notebook

「クウロフカ・ノートブック」は、1965 年以来 2〜4 年ごとに発行され、世界中の数学者から寄せられた群論の未解決問題を収集したもので、第 21 版では 150 の新規問題と過去の解説が収録されています。

要約

この論文は、数学の「群論（ぐんろん）」という分野における**「未解決問題の集大成」**です。

タイトルにある「クウロフカ・ノートブック（Kourovka Notebook）」とは、1965 年にロシアの小さな村クウロフカで始まった、世界中の数学者たちが集まって「まだ解けていない難しい問題」をリストアップし、定期的に更新して発表する**「数学の探検地図」**のようなものです。

この 2026 年版（第 21 号）は、その地図の最新アップデート版です。以下に、専門用語を避け、誰でもイメージしやすい比喩を使って内容を解説します。

---

🗺️ 群論：「数学の Lego 遊び」のルールブック

まず、この論文のテーマである「群（Group）」とは何かを想像してみてください。
**「 Lego（レゴ）のブロック」**をイメージしてください。

• 群（Group）： レゴブロックを組み立てる「ルール」そのもの。例えば、「2 つのブロックをくっつけると、必ず 1 つの新しい形になる」といったルールです。
• 問題： 「このルールで、特定の形（例えば、巨大な城）を作れるか？」「ルールを少し変えると、城が崩れてしまうか？」といった問いです。

この「クウロフカ・ノートブック」は、世界中の Lego 職人（数学者）が「まだ作れない城」や「謎のルール」をリストアップした**「未解決問題の辞書」**なのです。

📚 この本の構成：「探検の歴史書」

この本は、単なる問題集ではなく、**「60 年間の探検の記録」**です。

1. 過去の冒険（1965 年〜2022 年）：
   昔の探検家たちが書き残した「ここに行けば宝物があるはずだ」というメモが載っています。

   • 解決された問題： 「あ、この問題は 2024 年に解決された！」「この答えは、CFSG（有限単純群の分類という、数学の『元素周期表』のような巨大な成果）を使えば出せるね」といった**「正解のメモ」**が添えられています。
   • まだ未解決： 「ここは未開の地。誰か行ってきて！」という状態の問題も残っています。

2. 最新の地図（2026 年・新問題）：
   最新の探検家たちが「新しい謎」を見つけた場所です。

   • 例：「無限に続く道があるのに、途中で止まってしまうような不思議なグループは存在するか？」
   • 例：「ある特定のルール（方程式）を解くアルゴリズム（手順）は、本当に存在するだろうか？」

🔍 具体的な問題の例（比喩で解説）

この本には 150 以上の新しい問題が載っていますが、いくつかの代表的なものを日常の言葉で説明します。

1. 「ゼロの謎」問題

• 問題： 「ゼロ（何もない状態）を掛け算しても、ゼロにならないような数字のグループは存在するか？」
• 比喩： 通常、0 をかけると 0 になります。でも、「0 にならない魔法の数字の箱」はあるのか？という問いです。これは、暗号技術や新しい計算機の基礎に関わる重要な謎です。

2. 「迷路の出口」問題

• 問題： 「あるルールで迷路を作ったとき、出口が見つかる手順（アルゴリズム）が、必ず存在するだろうか？」
• 比喩： 複雑な迷路（群）が与えられたとき、「ここが出口だ！」と機械的に見つける方法があるのか、それとも「永遠に迷い続ける可能性」があるのかを問うています。コンピュータが解けるかどうかも関係しています。

3. 「巨大な城」の構造

• 問題： 「無限に大きな城（無限群）を作るとき、その城の柱（部分群）がどうなっているか？」
• 比喩： 無限に続く塔を建てたとき、その塔の内部構造は規則正しいのか、それともカオスなのか？これを調べることで、宇宙の構造や物理法則の理解に役立つかもしれません。

4. 「鏡像」の問題

• 問題： 「あるグループの『鏡像』（共役な要素）を並べると、どんな模様ができるか？」
• 比喩： 鏡に映した自分の姿を並べていくと、不思議な対称性が現れます。その対称性の法則を見つけるのがこの問題です。

🌟 なぜこれが重要なのか？

この本に載っている問題は、一見すると「ただの数字遊び」に見えるかもしれません。しかし、これらは**「現代科学の根幹」**に関わっています。

• 暗号技術： 今のインターネットのセキュリティは、この「群」の複雑さを利用しています。新しい問題が解ければ、より安全な暗号が作れるかもしれません。
• 物理学： 素粒子の振る舞いや、結晶の構造は「対称性（群論）」で説明されます。
• コンピュータ科学： 「計算できること」と「計算できないこと」の境界線を探るのに使われます。

🚀 まとめ：「人類の知のフロンティア」

この「クウロフカ・ノートブック」は、**「人類がまだ知らない数学の大陸」**を示す地図です。

• 編集者（E. I. Khukhro と V. D. Mazurov）： 世界中の探検家（数学者）から届いた「未開の地」の報告を集め、整理して出版する「地図帳の編集者」です。
• 読者： この本を読むことは、60 年間の数学の歴史を振り返り、同時に「今、あなたが解けるかもしれない問題」を見つける冒険に参加することです。

もしあなたが「難しい問題を解くのが好き」なら、この本はあなたのための**「宝の地図」です。もしあなたが「数学が何に使われるのか」に興味があるなら、この本は「人類の知性がどこまで進化したか」**を示す記念碑的な作品です。

2026 年という未来の年号が書かれている通り、この探検はこれからも続き、新しい発見が待っているのです。

技術概要

提示された文書は、ソ連・ロシアのソボレフ数学研究所（Sobolev Institute of Mathematics）とイギリスのリンカーン大学が共同で編集した、群論における未解決問題集**「コウロフカ・ノートブック（Kourovka Notebook）」第 21 版（2026 年版）**の目次と序文、および過去の版からの問題リストの抜粋です。

この文書自体は「単一の研究論文」ではなく、群論分野における未解決問題の集大成（アンソロジー）です。したがって、特定の「手法」や「単一の結果」を要約するのではなく、このノートブックが持つ構造的な特徴、目的、そして群論研究におけるその役割について技術的に要約します。

---

技術的サマリー：コウロフカ・ノートブック 第 21 版 (2026)

1. 概要と目的

「コウロフカ・ノートブック」は、1965 年にソ連のグループ理論シンポジウム（コウロフカ村開催）で M. I. カルガポロフによって提唱された、群論および関連分野における未解決問題のコレクションです。1965 年の第 1 版以来、2〜4 年ごとに改訂され、現在では第 21 版（2026 年）に至っています。
この文書の主な目的は、世界中の研究者（500 人以上の著者）から寄せられた未解決問題を体系的に提示し、研究の方向性を示すことです。また、過去の版で解決された問題については、その解決状況や参考文献を注釈として追記し、研究の進捗を記録する「アーカイブ」としての機能も果たしています。

2. 対象範囲と問題の分類

このノートブックは群論のほぼすべての主要な分野を網羅しており、問題の難易度や性質は多岐にわたります。主なカテゴリは以下の通りです：

• 有限群論 (Finite Group Theory):
  • 単純群の分類（CFSG: Classification of Finite Simple Groups）に関連する問題。
  • 有限単純群の構造、部分群の構造、表現論（指標、ブロック理論）。
  • 有限群の生成系、共役類、部分群の格子構造。
• 無限群論 (Infinite Group Theory):
  • 自由群、自由可解群、Burnside 群（Burnside Problem）の性質。
  • 局所有限群、可算群、無限単純群の構造。
  • Engel 条件、可解性、有限性条件との関係。
• 群環と表現論 (Group Rings and Representations):
  • 群環の零因子問題（ゼロ因子の存在）、埋め込み可能性。
  • 整数群環の単位群、モジュラー表現。
• 位相群と幾何学的群論 (Topological and Geometric Group Theory):
  • 位相群の構造、プロ有限群、プロ p 群。
  • 双曲群、ツリーへの作用、成長関数（Growth function）。
  • 決定可能性問題（Word problem, Conjugacy problem）。
• モデル理論と論理 (Model Theory and Logic):
  • 群の初等理論（Elementary theory）の決定可能性。
  • 自由群の理論、同型問題。
• 組合せ論的群論 (Combinatorial Group Theory):
  • 定義関係式、ワード問題、バウス・セラー理論。
  • 辫群（Braid groups）、ツリーへの作用。

3. 構成と特徴

• 時系列による問題の整理: 問題は 1965 年の第 1 版から 2026 年の第 21 版まで、発行順に分類されています。各問題には、提出者（著者）の名前が明記されています。
• 解決状況の注釈: 各問題の後に、編集者による注釈（Editors' comment）が付記されており、以下の情報が提供されます：
  • 問題が解決された場合、その解決論文への参照。
  • 部分的な解決や、特定の条件下での解決状況。
  • 「mod CFSG」（有限単純群の分類定理を仮定した場合）などの条件付き結果。
  • 反例の存在や、問題が未解決のままの理由。
• 新しい問題の追加: 第 21 版では、2026 年時点で新たに 150 の未解決問題が追加されています。これらは最新の研究動向を反映しており、Burnside 問題の拡張、群環の構造、幾何学的群論の新しい側面などを含みます。
• 索引とアーカイブ: 解決された問題の完全なリスト（Archive of Solved Problems）と、著者名の索引（Index of Names）が付属しており、研究者が特定のトピックや著者の業績を追跡するのに役立ちます。

4. 主要な貢献と意義

この文書（ノートブック全体）が数学界、特に群論分野において果たしている役割は極めて重要です。

• 研究の羅針盤: 群論の未解決問題を体系的に提示することで、研究者が取り組むべき課題を明確にします。特に、長年未解決だった問題（例：Burnside 問題、ワード問題の決定可能性など）の解決への道筋を示唆しています。
• 国際的な協力プラットフォーム: 世界中の研究者が問題を提出し、解決状況を共有する場となっています。ソ連・ロシアの研究者だけでなく、欧米、アジアなど多様な背景を持つ数学者が貢献しており、国際的な研究コミュニティの結束を強化しています。
• 研究の進捗記録: 60 年以上にわたる群論研究の歴史を、問題の提出と解決という形で記録しています。第 1 版・第 2 版の問題の 3/4 以上が解決されているという事実は、この分野の急速な発展を示しています。
• 若手研究者への教育: 未解決問題のリストは、若手研究者が研究テーマを見つけるための重要なリソースとなっています。

5. 結論

「コウロフカ・ノートブック 第 21 版」は、単なる問題集ではなく、現代群論研究の生きた地図です。これは、群論という分野が依然として多くの未解決問題を抱えつつも、活発に研究が進められていることを示しています。編集者（E. I. Khukhro, V. D. Mazurov）は、このノートブックを通じて、群論の新たな進展を促し、数学的知識の蓄積と共有を促進し続けています。

この文書は、特定の新しい定理を証明するものではなく、**「群論における現在地と未来への課題」**を提示するメタ的な研究ツールとして、その価値を持っています。