🔢 mathematics

On semigroups that are prime in the sense of Tarski, and groups prime in the senses of Tarski and of Rhodes

この論文は、タルスキの意味での素対象の概念を半群や群の圏に適用し、非空半群の圏には素対象が存在しないことを示す一方で、モノイドや特定の部分圏では存在することを証明し、さらに半群理論における他の「素性」の概念との関係を考察している。

原著者： George M. Bergman

公開日 2026-03-16

📖 1 分で読めます🧠 じっくり読む

原著者： George M. Bergman

原論文は CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) でライセンスされています。 ✨ これは以下の論文のAI生成解説です。著者が執筆または承認したものではありません。技術的な正確性については原論文を参照してください。免責事項の全文を読む

この論文は、数学者のジョージ・M・バーグマン氏によって書かれた、**「数学的な『部品』が、より大きな『機械』を分解したときに、必ず元の部品として見つかるかどうか」**という不思議な性質について探求したものです。

専門用語を避け、日常の比喩を使ってこの研究の核心を解説しましょう。

1. 物語の舞台：「数学の部品箱」

想像してください。世の中には無数の「数学的な機械（代数）」があります。

半群（Semigroup）: 足し算のような操作ができるが、ゼロ（何もしない状態）がない機械。
モノイド（Monoid）: 足し算ができ、ゼロ（何もしない状態）がある機械。
群（Group）: 足し算ができ、ゼロがあり、さらに「逆数（引き算）」もできる完璧な機械。

これらの機械は、**「直積（Direct Product）」**という方法で結合できます。これは、2 つの機械を並べて、それぞれ独立に動かすような「複合機械」を作るイメージです。
例：「時計 A」と「時計 B」を並べると、「時計 A×時計 B」という新しい機械になります。

2. タルスキーの「素数」の定義

ここで、タルスキーという数学者が面白いルールを提案しました。
ある機械 $P$ が**「タルスキー的素数（Prime）」**であるとは、以下のような性質を持つことです。

「もし、ある複合機械が $P$ を部品として持っているなら、その複合機械を分解したとき、 $P$ は必ず『左側の部品』か『右側の部品』のどちらかに、そのままの形で入っているはずだ」

これは、整数の「素数（2, 3, 5, 7...）」の性質に似ています。

例：12 は $2 \times 6$ です。12 を分解すると、2 は必ずどちらかの因数に入っています。
しかし、もし「12 を分解したら、2 がどこにも見当たらない（バラバラになってしまった）」という状況があれば、その「12」は素数ではありません。

この論文は、**「半群や群の世界で、この『分解しても必ず元に戻せる』という魔法のような部品（素数）は存在するのか？」**を調べています。

3. 第 1 部の発見：「半群」の世界では、魔法の部品は存在しない！

著者はまず、最も基本的な「半群（ゼロがない機械）」の世界を調べました。
結論は衝撃的でした。

「半群の世界には、タルスキー的素数は一つも存在しない！」

なぜでしょうか？（比喩で説明）
半群の世界には、**「ヌル半群（Null Semigroup）」**という特殊な機械があります。これは、どんな部品を組み合わせても、すべてが同じ「ゴミ（ゼロ）」になってしまうような機械です。

著者は、どんな機械 $S$ に対しても、この「ヌル半群」をうまく組み合わせて、**「 $S$ が分解されたように見せかけるが、実は $S$ は元の形に戻らない」**というトリックを仕掛けました。

例：「A」と「B」を混ぜて「C」を作った。
しかし、「C」を分解すると、「A」は出てこない。代わりに「A に似た別のもの」が出てくる。
これを無限に繰り返せるので、「分解しても必ず元に戻れる」というルールが破られてしまいます。

つまり、半群の世界では、どんな機械も「分解すると消えてしまう（あるいは別の姿に変身してしまう）」ため、「素数」のような安定した部品は存在しないことが証明されました。

4. 第 2 部の発見：「モノイド」や「群」の世界では、魔法の部品が見つかる！

しかし、話はそこで終わりません。ルールを少し変えると、魔法の部品が見つかりました。

モノイド（ゼロがある機械）: 「正の整数」の足し算をする機械（$1, 2, 3...$）は、素数であることが証明されました。
可換性や打ち消し（Cancellative）のルール: 「 $A \times X = B \times X$ なら $A=B$ 」という、機械が混ざり合わないルールがある世界では、「正の整数」のような機械は分解しても必ず元に戻ります。

これは、「ゼロ（何もしない状態）」や「引き算（逆操作）」があることで、機械がバラバラになるのを防ぎ、元の形を保つことができるからです。

5. 第 6 部の発見：「群」の世界での新しいルール（ローズの素数）

最後に、著者は「群（Group）」の世界で、タルスキーとは少し違う**「ローズ（Rhodes）的素数」**という新しいルールを紹介しています。

タルスキー的素数: 「分解した直積の中に、そのままの形で入っているか？」
ローズ的素数: 「分解した直積の中に、少し加工（部分群や商）して入っていれば OK か？」

このルールでは、**「整数の足し算をする群（ $\mathbb{Z}$ ）」は、タルスキー的には「素数ではない（分解すると消える）」ことがわかりました。
しかし、ローズ的なルールでは「素数」**になります。なぜなら、どんな複雑な機械も、その中に「整数の足し算」の影（部分）を持っているからです。

さらに、有限の群（部品数が決まっている機械）では、**「単純群（Simple Group）」**という、内部に部品が分解できない最もシンプルな機械が、この「ローズ的素数」の条件を満たすことが証明されました。

6. まとめ：この論文は何を言いたいのか？

この論文は、数学の部品箱を整理する大きな地図を描きました。

半群（ゼロなし）の世界: 部品はバラバラになりやすく、「分解しても元に戻れる」魔法の部品は存在しない。
モノイド・群（ゼロあり）の世界: 条件によっては、「分解しても元に戻れる」魔法の部品（素数）が存在する。
ルールの違い: 「そのままの形」を探すルール（タルスキー）と、「加工しても OK」なルール（ローズ）では、答えが変わる。

日常への応用（比喩）:

半群は、**「砂の城」**のようです。一度崩すと、元の砂の粒（部品）がどこにあるか特定できず、形を維持できません。
モノイドや群は、**「レゴブロック」**のようです。組み立てても、分解すれば必ず元のブロック（部品）が手元に戻ります。

著者は、この「分解と再構成」のルールが、数学のどの分野で通用し、どこで破綻するかを詳しく調べ上げ、今後の研究への道標（未解決の問題）を残しました。

一言で言うと：
「数学の部品が、一度バラバラにすると元に戻れるかどうかは、その部品が『ゼロ』や『逆数』を持っているかどうか、そして『分解のルール』をどう設定するかによって、全く違う答えになるんだよ！」という、数学的な探検記です。

タルスキーの意味における素半群およびタルスキー・ロデスの両意味における素群に関する論文の技術的要約

1. 問題の背景と定義

本論文は、代数学の圏論的性質、特に「積（直積）」に関する分解の一意性や不可約性（素性）に焦点を当てています。著者 George M. Bergman は、以下の 3 つの「素性（primeness）」の概念を比較・検討しています。

タルスキーの意味での素性（Tarski-primeness）:
- 定義：圏 $\mathcal{C}$ の対象 $P$ が、 $P \cong A \times B$ となる直積分解を持つとき、 $P$ が $A$ または $B$ の直積因子として現れる場合、 $P$ は素であるという。
- 文脈：アラン・タルスキー（A. Tarski）が定義した、代数的対象の直積分解における「素因数」の概念。
ロデスの意味での素性（Rhodes-primeness）:
- 直積に関するロデス素性: 対象 $G$ が $G_0 \times G_1$ の部分商（subquotient、部分群の準同型像）であるとき、 $G$ が $G_0$ または $G_1$ の部分商であれば素である。
- 半直積に関するロデス素性: 対象 $G$ が $G_0 \rtimes G_1$ の部分商であるとき、 $G$ が $G_0$ または $G_1$ の部分商であれば素である。
- 文脈：ジョン・ロデス（John Rhodes）らが半群理論で導入した概念。

2. 主要な結果と貢献

第 2 章：非空半群圏における素対象の不存在

問題: マッケンジー、マクニュルティ、テイラー（McKenzie, McNulty, Taylor）の著作 [9] で提起された、「非空半群の圏（ $\mathbf{Semigp}$ ）にタルスキーの意味で素な対象は存在するか？」という問い。
結果: 存在しないことを証明した（定理 2.7）。
手法:
- 「作用同値（action equivalence）」と「零半群（null semigroup, $Null(\kappa)$ ）」の概念を導入。
- 任意の非零半群 $S$ に対して、無限基数 $\kappa$ を用いた $S \times Null(\kappa)$ と $S^+ \times Null(\kappa)$ の同型性を示す（レマ 2.3, 2.4）。
- 零半群 $Null(\kappa)$ 自身も素ではないことを示す（レマ 2.6）。
- これにより、可換半群や零元を持つ半群の圏にも素対象は存在しないことが導かれる。
未解決問題: 有限半群の圏には素対象が存在するか？（問い 2.9）

第 3・4 章：正の結果（可換性や消去法を持つ半群）

結果: 半群の圏を制限すると、タルスキー素な対象が存在する。
- 定理 4.3: 消去法を満たす半群（可換、右側、左側、弱消去）の圏において、非負整数の加法半群 $N+k$ は素である。
- 定理 4.4: 単項系（monoids）の圏、およびすべての元が積で書ける半群の圏において、自然数加法半群 $N$ は素である。
手法:
- 半群から群への準同型写像の拡張（レマ 3.1）を利用。
- 直積因子 $N+k$ の存在条件を、写像 $\pi$ と $\nu$ の存在として特徴づけ（レマ 3.5）。
- 弱消去性を用いて、直積分解における写像の独立性を証明し、因子の一方が $N+k$ を含むことを示した。

第 6 章：群における 3 つの素性の比較

群の圏において、タルスキー素性、直積に関するロデス素性、半直積に関するロデス素性の関係を詳細に分析した。

整数加法群 $\mathbb{Z}$ の非素性:
- 結果: $\mathbb{Z}$ は群の圏においてタルスキー素ではない（例 6.2）。
- 理由: $\mathbb{Z}$ は $G = (\mathbb{Z}_p \rtimes \mathbb{Z}) \times (\mathbb{Z}_q \rtimes \mathbb{Z})$ の直積因子として現れるが、 $G$ の直積因子のいずれかには現れない（ただし、 $\mathbb{Z}$ は $G$ の部分商として現れる）。
- 対照: $\mathbb{Z}$ は直積・半直積に関するロデス素性は満たす。
有限群における階層関係:
- レマ 6.3: 有限群 $G$ について、以下の含意が成り立つ。
  $\text{半直積ロデス素} \implies \text{直積ロデス素} \implies \text{単一核（monolithic）} \implies \text{タルスキー素}$
- 逆は成り立たない: 各段階で逆が成り立たない反例を構成（例 6.7〜6.12）。
  - 例：対称群 $S_n$ ( $n \ge 3$ ) は直積ロデス素だが、半直積ロデス素ではない（単純群でないため）。
  - 例：特定の $p$ -群（例 6.8, 6.9）は単一核だが直積ロデス素ではない。
単純群の性質:
- 命題 6.4: 任意の非自明な単純群は、半直積に関するロデス素である。
- 命題 6.5 (Olshanskiy): 有限群において、半直積に関するロデス素であることと、単純であることは同値である。

第 7 章：任意の多様体におけるロデス素性の特徴付け

結果: 任意の代数多様体（variety）における有限対象 $X$ $X$ が「直積に関するロデス素」であるための必要十分条件を提示（命題 7.1）。
- $X$ が有限対象の直積 $Y_0 \times Y_1$ の部分商であるとき、 $X$ は $Y_0$ または $Y_1$ の部分商である。
- これは、部分多様体の束（lattice）における「結合素（join-prime）」性および部分商条件と等価である。

3. 手法と技術的特徴

圏論的アプローチ: 対象の同型類のモノイドにおける素性を定義し、直積分解の構造を分析。
構成論的証明: 反例を構成するために、零半群（null semigroups）、半直積、 wreath product（半直積の一種）、および行列群などの具体的な代数構造を巧みに利用。
写像の拡張: 半群から群への準同型写像の一意な拡張（レマ 3.1）を鍵として、消去法を持つ半群の構造を解析。
部分商（Subquotient）の分析: ロデス素性の議論において、単なる部分群ではなく「部分群の準同型像」という概念を厳密に扱い、その分解可能性を調べる。

4. 意義と今後の展望

既存問題の解決: 半群の圏におけるタルスキー素対象の不存在を証明し、McKenzie らの問いに答えた。
概念の明確化: タルスキー素性とロデス素性（直積・半直積）の関係を、特に群の圏において体系的に整理し、包含関係と逆の成立しないケースを明確にした。
未解決問題の提示:
- 有限半群の圏に素対象は存在するか（問い 2.9）。
- 有限群が有限群の圏でロデス素である場合、全群の圏でもロデス素か（問い 6.13）。
- 半群・単項系・群における 3 つの素性の間の逆関係（問い 6.14）。
応用可能性: 結果は、有限アルゴリズムの複雑性理論（特に半群の分解）や、代数的構造の分類理論に応用可能な基礎を提供する。

結論

本論文は、代数的対象の「素性」に関する古典的なタルスキーの定義と、半群理論で発展したロデスの定義を統合的に扱い、半群、単項系、群の各圏におけるその振る舞いを解明した重要な研究である。特に、半群圏では素対象が存在しないという否定的結果と、群圏における 3 つの素性の微妙な階層構造の解明が、代数学および計算機科学における構造論に新たな洞察をもたらしている。