🔢 mathematics

Comparing Numbers of Diagonal Subsemigroups and Congruences for Semigroups

この論文は、有限半群における合同関係の数と対角部分半群の数の比（DSC 係数）が、群の場合に 1 となることを踏まえ、任意の有理数 $\alpha$ （ $0 < \alpha \leq 1$ ）に対してその係数が $\alpha$ となる半群がリース行列半群の構成を用いて存在することを示している。

原著者： Callum Barber, Nik Ruškuc

公開日 2026-02-20

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

CC BY 4.0

原著者： Callum Barber, Nik Ruškuc

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

この論文は、数学の「半群（はんぐん）」という抽象的な概念について書かれていますが、実は**「ルールに従って物事を組み合わせる仕組み」と「その仕組みがどれだけ『整然としているか』を測るものさし」**についてのお話です。

タイトルにある「対角部分半群」と「合同関係」という難しい言葉は、それぞれ**「ルールに忠実なペア」と「完全なルールセット」**と考えるとわかりやすくなります。

以下に、この研究の核心を日常の比喩を使って解説します。

1. 物語の舞台：「半群」という巨大な工場

まず、**半群（Semigroup）を想像してください。
これは、「ルールに従って部品を組み立てる巨大な工場」**です。

工場には無数の部品（要素）があります。
どの 2 つの部品を選んでも、決まったルール（掛け算）で新しい部品を作ることができます。

この工場には、2 つ種類の「管理ルール」が存在します。

A. 「完全なルールセット（合同関係）」

これは、工場全体の**「厳格な管理マニュアル」**です。

部品 A と B が「同じグループ」だと判定されたら、それらを組み合わせた結果も、必ず同じグループに属さなければなりません。
これは**「矛盾なく、完璧に整理された状態」**です。
数学的には「合同関係（Congruence）」と呼ばれます。

B. 「ルールに忠実なペア（対角部分半群）」

これは、**「最低限のルールを守ったペアの集まり」**です。

必ずしも「同じグループ」である必要はありませんが、「自分自身とのペア（A, A）」は必ず含まれていること、そして**「ルールに従って組み立てた結果も、この集まりに含まれていること」**が条件です。
これは**「完全なマニュアルではないが、最低限の秩序は保たれている状態」**です。
数学的には「対角部分半群（Diagonal Subsemigroup）」と呼ばれます。

2. 核心となる問い：「整然さ」の比率（DSC 係数）

著者たちは、この工場が**「いかに整然としているか」**を測る新しい指標を考えました。

DSC 係数（ $\chi$ ）＝「完全なルールセットの数」 ÷ 「最低限のルールを守ったペアの数」

1 に近い値 ＝ほとんどすべてのルールが「完全な管理マニュアル」になっている。工場は非常に整然としている。
0 に近い値 ＝「最低限のルール」は守れているが、「完全な管理マニュアル」はほとんど存在しない。工場は少し乱雑だが、崩壊はしていない。

過去の発見：
以前の研究で、「この係数が1 になるのは、工場が『グループ（群）』という完璧な秩序を持った組織である場合だけ」ということがわかりました。つまり、1 なら「神様のような完璧な工場」です。

3. この論文のすごい発見：「0 から 1 の間なら、どんな値も作れる！」

今回の論文の最大の成果は、**「0 と 1 の間の、どんな分数（有理数）でも、その値になるように工場を設計できる」**ことを証明したことです。

「係数が 0.5 の工場を作りたい？」→ できます。
「係数が 1/3 の工場を作りたい？」→ できます。
「係数が 99/100 の工場を作りたい？」→ できます。

著者たちは、**「リース行列半群（Rees matrix semigroup）」**という特殊な工場の設計図（数学的な構成法）を使って、この「整然さの比率」を自由自在に調整できることを示しました。

比喩：レゴブロックの設計図

想像してください。

**グループ（群）**は、すべてのブロックが完璧に噛み合う「魔法の箱」です（係数＝1）。
リース行列半群は、レゴブロックを「行（I）」と「列（Λ）」に並べ、特定のルール（行列 P）でつなぐ設計図です。

著者たちは、この設計図の**「ブロックの数（行と列のサイズ）」や「つなぎ目のルール（行列の中身）」を工夫することで、「完全なルールセット」と「最低限のルールセット」の数の比率を、好きな分数に調整できる**ことを発見しました。

まるで、「整然さの度合い」をノブで調整できる機械を作ったようなものです。

4. なぜこれが重要なのか？

一見すると「工場のルールを数えるだけ」で何の役に立つのか？と思うかもしれません。しかし、これは**「秩序と無秩序の間の連続性」**を数学的に証明した重要な一歩です。

**秩序（グループ）**は、1 点にしか存在しないと思われていました。
しかし、この研究は**「秩序（1）と、少し乱れた状態（0）の間には、無限に多くの『中間的な秩序』が存在する」**ことを示しました。

まるで、「真っ白な紙（完全な秩序）」と「真っ黒な紙（無秩序）」の間に、グレーの紙が無限に存在し、その濃淡を自由自在に作れることを証明したようなものです。

まとめ

この論文は、以下のようなことを言っています。

「数学の世界には、**『完璧な秩序（グループ）』と『少し乱れた秩序』の間に、『0 から 1 の間のあらゆる比率』**を持つ仕組みが存在します。そして、私たちはその比率を、レゴブロックのように組み替えることで、好きな分数（1/2, 3/7 など）に正確に設定できることを発見しました。」

これは、抽象的な代数の世界において、「秩序の度合い」が連続的に変化し得るという美しい事実を明らかにした、非常に創造的な研究です。

論文「半群の対角部分半群と合同式の数の比較」の技術的サマリー

1. 問題設定と背景

半群論において、**合同式（congruence）は最も基本的な概念の一つであり、半群の構造を研究する上で中心的な役割を果たします。合同式は、積演算と両立する同値関係として定義されます。一方、より一般的な概念として対角部分半群（diagonal subsemigroup）**が定義されます。これは、直積 $S \times S$ の部分半群であり、かつ対角線 $\Delta_S = \{(s, s) : s \in S\}$ を含む反射的かつ両立する関係です。

すべての対角部分半群が合同式であるような半群をDSC 半群と呼びます。著者らの先行研究 [1] において、有限半群 $S$ に対して「 $S$ が DSC であること」と「 $S$ が群であること」は同値であることが示されました。

本研究では、この性質を定量化する指標としてDSC 係数（DSC coefficient） $\chi(S)$ を導入します。
$\chi(S) = \frac{|\text{Cong}(S)|}{|\text{Diag}(S)|}$
ここで、 $\text{Cong}(S)$ は $S$ の合同式の集合、 $\text{Diag}(S)$ は $S$ の対角部分半群の集合です。

$\chi(S) = 1$ であること $\iff$ $S$ は群である（先行研究の結果）。
$0 < \chi(S) < 1$ である場合、 $S$ は群ではなく、どの程度 DSC 性質に近いかがこの値で測られます。

本研究の核心的な問いは、「有限半群全体を動かしたとき、DSC 係数 $\chi(S)$ はどのような値を取りうるか？」というものです。特に、区間 $(0, 1]$ 内の任意の有理数が DSC 係数として実現可能かどうかが焦点です。

2. 手法とアプローチ

本研究では、リース行列半群（Rees matrix semigroup） $M[G; I, \Lambda; P]$ を主要な構成要素として用います。ここで、 $G$ は群、 $I$ と $\Lambda$ は添字集合、 $P$ は $G$ の要素からなる $\Lambda \times I$ 行列です。

2.1 対角部分半群の分類

リース行列半群上の合同式は、Preston によって群の正規部分群と添字集合上の同値関係の組（連結同値三重組）として完全に記述されています。
本研究の主要な技術的貢献は、 $G$ が DSC 群（有限群は常に DSC）である場合、リース行列半群上の対角部分半群も同様に記述できることを示した点にあります。

合同式に対応する「連結同値三重組 $(N, S, T)$ 」に対し、対角部分半群に対応する**「連結反射的三重組（linked reflexive triples）」** $(N, S, T)$ を定義しました。
ここでの $S$ と $T$ は同値関係ではなく、単に反射的関係であればよいという緩和された条件です。
これにより、対角部分半群と連結反射的三重組の間に 1 対 1 対応が成立することが証明されました（定理 2.7）。

2.2 係数の計算と評価

DSC 係数 $\chi(S)$ は、連結同値三重組の数と連結反射的三重組の数の比として計算されます。
$\chi(M[G; I, \Lambda; P]) = \frac{\sum_k |E_{I,k}| |E_{\Lambda,k}|}{\sum_k |R_{I,k}| |R_{\Lambda,k}|}$
ここで、 $E$ は同値関係の集合、 $R$ は反射的関係の集合を表します。

行列 $P$ の構造（特に「抽出（extract）」 $q_{\lambda\mu ij}$ が正規部分群 $N$ に属するか否か）が、どの三重組が連結条件を満たすかを決定します。
特定の群 $G$ （素数冪位数の巡回群）と行列 $P$ を適切に選択することで、連結条件を満たす三重組の数を制御し、 $\chi(S)$ の値を任意の有理数に調整できることを示しました。

3. 主要な結果

定理 1.2（主定理）

区間 $(0, 1]$ に含まれる任意の有理数 $\alpha$ に対して、 $\chi(S) = \alpha$ となる有限半群 $S$ が存在する。

この証明は以下のステップで構成されます：

下限の評価（定理 3.4）: 添字集合のサイズを $a, b$ とすると、任意の群 $G$ と行列 $P$ に対して、 $\chi(S)$ は以下の値以上であることが示されます。
$\frac{B(a)B(b)}{2^{a^2-a} 2^{b^2-b}}$
ここで $B(n)$ はベル数（ $n$ 要素の集合上の同値関係の数）です。 $a, b > 1$ のとき、この値は 1 より小さく、 $a, b$ を大きくすることで 0 に収束します。
任意の有理数の実現: 特定の素数 $p$ と巡回群 $G = \mathbb{Z}_{p^k}$ 、および行列 $P$ の要素を工夫して設定することで、連結条件を満たす正規部分群の数を制御します。これにより、 $\chi(S)$ を以下の形式の有理数として表現できます。
$\chi(S) = \frac{c \cdot B(a)B(b) + d}{c \cdot 2^{a^2-a} 2^{b^2-b} + d}$
適切な $c, d$ を選ぶことで、任意の有理数 $\alpha$ を得ることができます。

クリフォード半群への言及（第 4 章）

比較対象としてクリフォード半群（半束 $Y$ 上で定義された半群）も考察されました。

クリフォード半群 $S$ に対して、 $\chi(S) \leq \chi(Y)$ が成り立つことが示されました（ $Y$ は半束、すなわち可換な半群）。
リース行列半群では添字集合を大きくすることで係数の下限を 0 に近づけられるのに対し、クリフォード半群ではその上限（半束の係数）が小さくなる傾向があり、両者の振る舞いの違いが指摘されました。

4. 意義と貢献

DSC 係数のスペクトラムの完全な記述: 半群の DSC 係数が取りうる値の集合が、区間 $(0, 1]$ 内のすべての有理数であることを証明しました。これは、半群が「群にどれだけ近いか」という性質が、連続的なスカラー値として多様に実現可能であることを示しています。
対角部分半群の体系的な分類: 合同式だけでなく、より広い対角部分半群をリース行列半群の文脈で体系的に分類し、その数を数え上げるための枠組み（連結反射的三重組）を確立しました。
構成法の提供: 特定の群と行列の構成を通じて、任意の目標値を持つ半群を明示的に構築するアルゴリズム的な手法を提供しました。

結論

本論文は、半群の構造論において「合同式」と「対角部分半群」の数の比率という新しい視点から、半群の性質を定量化する画期的な結果をもたらしました。特に、リース行列半群の構造を巧みに利用することで、DSC 係数が任意の有理数値を取りうることを示し、半群の多様性に関する理解を深めました。