2025-11-26T12:07:19.572036

Modular elements of the lattices of varieties of semigroups and epigroups. I

Shaprynski\vÄ±, Skokov

This paper is the first part of a study devoted to description of modular elements in the lattices of semigroup and epigroup varieties. We provide strengthened necessary and sufficient conditions under which a semigroup or epigroup variety constitutes a modular element in its respective lattice. These results refine previously known criteria and lay the groundwork for a complete classification, to be presented in the second part of the study.

academic

半群とエピグループの多様体格におけるモジュラー元素. I

基本情報

論文ID: 2511.19010
タイトル: Modular elements of the lattices of varieties of semigroups and epigroups. I
著者: Vyacheslav Yu. Shaprynskiǐ (ウラル連邦大学), Dmitry V. Skokov (バル・イラン大学)
分類: math.GR (群論), 副分類 08B15 (普遍代数)
提出日: 2025年11月24日
論文リンク: https://arxiv.org/abs/2511.19010

要旨

本論文は半群とエピグループの多様体格におけるモジュラー元素の研究の第一部である。著者は、半群またはエピグループの多様体がそれぞれの対応する格においてモジュラー元素を構成するための強化された必要十分条件を提供する。これらの結果は既知の判定法を精密化し、第二部で提示される完全な分類の基礎を確立する。

研究背景と動機

研究問題

本論文は半群多様体格(SEM)とエピグループ多様体格(EPI)における**モジュラー元素(modular elements)**の完全な特徴付けの問題に取り組む。

問題の重要性

理論的意義: 半群多様体格SEMは極めて複雑な構造を有し、可算無限集合上の分割格の反同型コピーを含むため、非自明な格恒等式を満たさない。この複雑な構造を理解するために、「良好な格的振る舞い」を持つ特殊な元素を研究することは本質的である。
歴史的地位: モジュラー元素はSEMにおいて最初に研究者の注目を集めた特殊な元素の一つである。研究の歴史は長いが、完全な特徴付けは長年未解決問題であり、複数の総説論文(例えば17)で明示的に提起されている。
統一的枠組み: 研究成果は、追加の単項演算を備えた半群多様体(エピグループなど)の格構造を理解するための指針となる。

既存方法の限界

部分的結果: 既存の研究は特定の種類のモジュラー多様体のみに対して特徴付けを与えている:
- 可換多様体のモジュラー性(命題2.8)
- 長さ3の置換恒等式を満たす多様体(命題2.9)
- 0-既約多様体(命題2.7)
必要十分条件のギャップ: 命題2.5は必要条件を与え(モジュラー多様体の非0恒等式は置換恒等式でなければならない)、命題2.7は十分条件を与える(0-既約多様体はモジュラーである)が、これら二つの条件の間には顕著なギャップが存在する。
技術的障害: 複雑な安定化部分群構造と語間の非比較可能性関係を扱う必要があり、統一的な分析枠組みが欠けている。

研究動機

本論文は検査集合(check sets)とG-集合理論を導入することにより、系統的な分析枠組みを確立し、モジュラー多様体の正確な特徴付けを与え、長年存在していた理論的空白を埋めることを目指している。

核心的貢献

モジュラーnil-多様体の必要十分条件枠組みの確立(定理1.1と1.2):
- 必要条件(定理1.1): モジュラー多様体は V = M ∨ N の形でなければならず、ここで M ∈ {T, SL}, N は条件(a)、(b)、(c)を満たすnil-多様体
- 十分条件(定理1.2): 条件(a)、(b)、(c')を満たすnil-多様体 N に対して M ∨ N はモジュラー
検査集合(check sets)と G-集合理論を分析ツールとして導入:
- 多様体のモジュラー性問題を G-集合上の合同格のモジュラー性問題に変換(命題3.1と3.2)
- 合同構造を特徴付けるコード(codes)理論を確立(補題4.5-4.8)
対称群部分群格における重要な配置の特徴付け:
- 非モジュラー性をもたらす臨界的な部分群対を識別(条件(c)と(c')における四つの場合)
- Sub(S₃)と Sub(S₄)の完全な構造を利用(図2と3)
半群とエピグループの場合の統一性を証明:
- 全半群多様体を除き、二つの格のモジュラー元素は同じ(第二部で完全に証明される)
モノイド場合との本質的な相違を明らかに:
- 半群多様体格のモジュラー元素は部分格を構成しない(反例 V₁ と V₂ により検証)
- モノイド場合は部分格を構成する7

方法の詳細

タスク定義

入力: 半群またはエピグループ多様体 V
出力: V が格SEM(またはEPI)のモジュラー元素であるかどうかの判定
定義: 格元素 x はモジュラーである当且つ当に: $(\forall y, z \in L) \quad y \leq z \rightarrow (x \vee y) \wedge z = (x \wedge z) \vee y$

等価な特徴付け(Volkov 25): x はモジュラーである当且つ当に x が非モジュラー格 N₅ の中心元素ではない(図1参照)。

全体的アーキテクチャ

本論文の方法は三つのレベルの約化に分かれている:

第一段階: nil-多様体への約化(命題2.4)

任意の真のモジュラー多様体は V = M ∨ N の形であることを証明する。ここで:

M ∈ {T, SL}(自明多様体または半格多様体)
N はnil-多様体(すべてのメンバーは冪零半群)

重要補題(補題2.3): V はモジュラーである当且つ当に V ∨ SL はモジュラーである(SLが中性元素であることを利用)

第二段階: 多様体格から G-集合合同格へ(命題3.1と3.2)

核心的考え方: 多様体のモジュラー性問題を語集合上の合同関係のモジュラー性問題に変換する。

検査集合(check set)の定義: 集合 M ⊆ F は以下を満たす:

すべての語は同じ字母表を持つ: alph(u) = alph(v) for all u,v ∈ M
非比較可能性: u ≮ v for all u,v ∈ M
等価類閉包: u ∈ M, u ∼ v, alph(u) = alph(v) ⇒ v ∈ M

重要な変換(命題3.1): nil-多様体 V がモジュラーであれば、M ∩ I(V) = ∅ を満たす任意の検査集合 M に対して、制限関係 ∼_V|_M は Con(M) のモジュラー元素である。

証明技法:

部分格 L_M = {X : M は ∼_X 類の和} を構成
反準同型 χ: L_M → Con(M), χ(X) = ∼_X|_M を確立
補題2.1(全射準同型はモジュラー性を保存)を適用

第三段階: G-集合合同格の構造理論(第4節)

M を S(alph(M)) の作用下の G-集合として見なし、Con(M) の構造を系統的に研究する。

コード(code)理論:

横断面 T = {x₁,...,x_n}(各軌道から一つの代表元を取る)に対して、コードを定義: $\text{Code}_T(\sigma) = (\sigma^*_T \mid \text{Stab}_\sigma(x_1), ..., \text{Stab}_\sigma(x_n))$ ここで σ* は軌道間の等価関係、Stab_σ(x_i) は σ-安定化部分群
重要な同型(補題4.6): Code_T は偏順序集合同型を確立 $\text{Con}_T(A) \cong \text{PC}$ ここで Con_T(A) は横断面 T と協調する合同、PC は適切なコード集合

格演算の明示的公式(補題4.8): $C_1 \wedge C_2 = (\pi_1 \wedge \pi_2 \mid H_1 \wedge P_1, ..., H_n \wedge P_n)$ $C_1 \vee C_2 = (\pi_1 \vee \pi_2 \mid K_1, ..., K_n)$ ここで $K_i = \left(\bigvee_{j:(A_i,A_j)\in\pi_1\vee\pi_2} H_j\right) \vee \left(\bigvee_{j:(A_i,A_j)\in\pi_1\vee\pi_2} P_j\right)$

モジュラー元素の特徴付け(命題5.2)

G = S_n が作用する G-集合 X に対して、単純合同 σ はモジュラーである当且つ当に:

(i) 局所条件: 各 Stab_σ(x) は Sub(S_n) のモジュラー元素

(ii) グローバル条件: 異なる軌道の点 x, y が以下のいずれかを満たさない:

(a) Stab_σ(x), Stab_σ(y) ∈ {T₁₂, T₂₃, T₁₃}(二つの異なる互換生成群)
(b) 一つは互換群、もう一つは A₃
(c) Stab_σ(x), Stab_σ(y) ∈ {I₁₂,₃₄, I₁₃,₂₄, I₁₄,₂₃}(Klein四元群の異なる拡張)
(d) 一つは Klein四元群の拡張、もう一つは A₄

証明戦略:

必要性: 補題5.1を利用し、各禁止配置に対して N₅ 部分格反例を構成
十分性: α, β, γ と協調する横断面 T を慎重に構成し、コード理論を利用してモジュラー等式を検証

技術的革新点

検査集合方法: 検査集合を通じて無限格問題を有限配置問題に局所化
コード化: 合同格のモジュラー性問題を完全に符号化:
- 軌道間等価関係(組合せ的データ)
- 安定化部分群列(代数的データ)
安定化部分群の比較可能性観察: 条件(i)と(ii)の下で、すべての Stab_α(x_i) は比較可能であり、したがって最大値演算は join 演算に簡約される(命題5.2証明の重要ステップ)
横断面の協調的構成: γ-類と β-類の入れ子構造を通じて系統的に公共横断面を構成

理論的検証

注: 本論文は純粋数学の理論研究であり、実験は含まれない。以下は「実験」部分を「理論的検証」に変更したものである。

理論的検証ケース

ケース1: 可換多様体の完全な特徴付け(命題2.8)

結論: 可換半群多様体 V はモジュラーである当且つ当に V = M ∨ N であり、ここで M ∈ {T, SL} かつ N は x²y ≈ 0 を満たす。

検証: これは主定理の n=2 の場合の特例であり、Sub(S₂) は自明群と S₂ のみを含むため、条件(b)と(c)は自動的に満たされる。

ケース2: 長さ3置換恒等式多様体(命題2.9)

四つのモジュラー多様体クラスの完全なリストを与え、Sub(S₃) の異なるモジュラー部分群配置に対応する(図2参照)。

ケース3: モジュラー元素が部分格を構成しない反例

構成:

V₁ は {x²yz ≈ x²zy, x₁x₂x₃x₄x₅ ≈ 0} により生成
V₂ は {xyz² ≈ yxz², x₁x₂x₃x₄x₅ ≈ 0} により生成

検証: 定理1.1と1.2を使用して V₁ と V₂ がモジュラーであることを検証できるが、V₁ ∧ V₂ はモジュラーではない。これはモノイド場合と鮮明な対比を形成する7。

方法の比較

本論文の結果は以下の既存研究を改善する:

既存結果	適用範囲	本論文の改善
21, 定理2.5	必要条件: 非0恒等式は置換的	安定化部分群条件(b)(c)を追加
21, 定理3.1	可換多様体の完全な特徴付け	一般多様体に推広
20, 定理1.1	長さ3置換恒等式	任意の恒等式に推広
10, 命題1.6	モジュラー多様体の構造分解	nil-部分の正確な条件を与える

主要結果

定理1.1(必要条件)

V が格SEM(またはEPI)の真のモジュラー元素であれば、V = M ∨ N であり、ここで M ∈ {T, SL}, N は以下の条件を満たすnil-多様体:

(a) 恒等式条件: V における各非置換恒等式 u ≈ v に対して ⇒ u ≈ 0 と v ≈ 0 が V で成立

(b) 安定化部分群モジュラー性: V が u ≈ 0 を満たさなければ、Stab_V(u) は Sub(S(alph(u))) のモジュラー元素

(c) 非比較可能語対の禁止配置: alph(u) = alph(v) で非比較可能な語 u, v の対が存在しない。以下のいずれかが成立:

Stab_V(u), Stab_V(v) ∈ {T₁₂, T₂₃, T₁₃}
Stab_V(u) ∈ {T₁₂, T₂₃, T₁₃}, Stab_V(v) = A₃
Stab_V(u), Stab_V(v) ∈ {I₁₂,₃₄, I₁₃,₂₄, I₁₄,₂₃}
Stab_V(u) ∈ {I₁₂,₃₄, I₁₃,₂₄, I₁₄,₂₃}, Stab_V(v) = A₄

定理1.2(十分条件)

M ∈ {T, SL}, N が条件(a)、(b)と(c')を満たすnil-多様体であれば、V = M ∨ N は格SEM(またはEPI)のモジュラー元素である。

**条件(c')**と(c)の相違: 「非比較可能語」を「非等価語」に変更(u ∥ v ではなく u ≁ v)。

重要補題

補題4.1: 単純合同格の直積分解 $\text{SCon}(A) \cong \prod_{i=1}^n \text{Con}(A_i)$

補題4.6: コード同型 $\text{Code}_T: \text{Con}_T(A) \xrightarrow{\cong} \text{PC}$

命題5.2: G-集合モジュラー元素の完全な特徴付け(方法詳細部分参照)

理論的発見

条件(c)と(c')等価性の予告: 著者は第二部でこれら二つの条件が等価であることを証明すると述べており、したがって定理1.1と1.2は完全な特徴付けを与える。
半群とエピグループの統一: 全半群多様体を除き、二つの格のモジュラー元素は完全に同じ(系2.6および後続の議論)。
Sub(S_n) におけるモジュラー元素の完全な記述(9から引用):
- n ≤ 3: すべての非自明部分群はモジュラー
- n = 4: G はモジュラー ⇔ G ⊇ V₄
- n ≥ 5: G はモジュラー ⇔ G ∈ {S_n, A_n}

結論と議論

主要な結論

モジュラーnil-多様体の正確な特徴付け: 定理1.1と1.2は必要十分条件の枠組みを確立し、条件(c)と(c')の等価性は第二部で証明される。
検査集合-G-集合方法の有効性: 無限次元格問題を有限対称群の部分群格分析に成功裏に約化。
臨界配置の識別: Sub(S₃) と Sub(S₄) における特定の部分群対が非モジュラー性をもたらす根源。
半群とエピグループの統一: 二つの格のモジュラー元素(全半群多様体を除く)は完全に同じ。

限界

完全性: 本論文は必要十分条件のみを与え、完全な分類(すなわち、すべてのモジュラー多様体の列挙)は第二部に留保されている。
条件(c)と(c')のギャップ: 二つの条件の等価性はまだ証明されておらず、これは理論的完全性の重要な欠落である。
アルゴリズム的複雑性: 判定条件は与えられているが:
- 条件(b)の検証にはすべての語の安定化部分群の計算が必要
- 条件(c)の検証にはすべての語対の列挙が必要
- 実際の応用における計算可能性は議論されていない
n ≥ 5 の場合: |alph(u)| ≥ 5 のとき、Sub(S_n) のモジュラー元素は S_n と A_n のみであり、条件(b)は非常に厳格になり、モジュラー多様体の稀少性をもたらす可能性がある。
非周期エピグループ多様体: 結果がエピグループに適用可能であると主張されているが、系2.6はモジュラーエピグループ多様体が必然的に周期的であることを示し、したがって実際には半群の場合に約化される。

今後の方向

第二部の内容(著者による約束):
- 条件(c)と(c')の等価性を証明
- モジュラー多様体の完全なリストを与える
- 構成的分類を提供
アルゴリズム問題:
- 与えられた多様体がモジュラーであるかどうかを判定する有効なアルゴリズムの設計
- 判定問題の計算複雑性の研究
推広の方向:
- その他の種類の特殊元素(分配元素、中性元素など)
- その他の代数構造(環、群、格など)の多様体格
応用の探索:
- モジュラー多様体の半群表現論への応用
- 自動機理論との関連

深い評価

利点

理論的深さ:
- 三層の約化枠組み(多様体→検査集合→G-集合)を確立し、各層は厳密な数学的証明を有する
- コード理論(第4節)は独創的な技術的貢献であり、合同格構造を完全に代数化する
- 対称群部分群格の既知結果9を十分に活用
方法的革新:
- 検査集合の概念は一般性と処理可能性を巧妙に均衡させる
- 横断面協調性の構成(命題5.2の十分性証明)は技術的に高度
- 補題4.8の格演算の明示的公式は具体的計算の基礎を提供
結果の完全性:
- 半群とエピグループ両方の場合を統一的に扱う
- すべての既知の特殊な場合(可換、置換恒等式など)を包含
- モノイド場合との本質的な相違を明確に指摘
執筆品質:
- 構造が明確で、特殊から一般へと段階的に進む
- 多くの補題が主定理を支持し、論理が厳密
- 歴史的背景と関連研究の整理が包括的

不足

技術的複雑性:
- コード理論(第4節)の抽象度は高く、初学者には習得が困難
- 命題5.2の十分性の証明は精妙な横断面構造に依存し、可読性が低い
- 直感的説明または幾何学的イメージが不足
結果の不完全性:
- 条件(c)と(c')の等価性が未証明であり、必要十分条件に微妙な差異がある
- 既知の特殊な場合を除くモジュラー多様体の具体例がない
- 第二部の欠落により、本論文は「未完成」の感がある
実用性の制限:
- 判定条件は無限個の語を含み、実際の応用は困難
- 有限基(finite basis)多様体の場合は議論されていない(このような多様体はより判定しやすい可能性がある)
- 計算ツールまたはソフトウェア実装がない
適用範囲:
- 主要結果はnil-多様体のみに適用され、非nil-モジュラー多様体の特徴付けは命題2.4の約化に依存
- エピグループの場合は実際には周期半群に約化され、独立した価値は限定的

影響力

理論的貢献:
- 半群理論における長年の未解決問題を解決
- 検査集合-G-集合方法は他の多様体格の研究に適用可能
- 第二部の完全分類の基礎を確立
実用的価値:
- 特定の多様体の性質(有限基性、決定可能性など)の研究において、モジュラー性は重要な構造情報
- 半群表現論と自動機理論への潜在的応用
再現可能性:
- すべての証明は純粋数学的であり、原則的には読者が独立して検証可能
- ただし技術的複雑性により実際の検証の実行可能性は制限される
- 計算例または検証ツールが不足

適用シーン

理論研究:
- 半群多様体格の構造理論
- その他の代数多様体格の特殊元素研究
- 格論におけるモジュラー元素の一般理論
特定多様体の分析:
- 与えられた多様体が「良好な」格性質を持つかどうかの判定
- 多様体の join と meet の振る舞いの研究
教育目的:
- 普遍代数と格論の高度なケーススタディとして
- 抽象代数方法の組合せ問題への応用を示す

参考文献(主要文献)

4 Evans, T.: The lattice of semigroup varieties. Semigroup Forum 2, 1–43 (1971)
8 Ježek, J.: Intervals in lattices of varieties. Algebra Universalis 6(1), 147–158 (1976)
9 Ježek, J.: The lattice of equational theories. Part I: Modular elements. Czechosl. Math. J. 31, 127–152 (1981)
17 Shevrin, L.N., Vernikov, B.M., Volkov, M.V.: Lattices of semigroup varieties. Izv. VUZ Mat. 3, 3–36 (2009)
21 Vernikov, B.M.: On modular elements of the lattice of semigroup varieties. Comment. Math. Univ. Carol. 48, 595–606 (2007)
25 Volkov, M.V.: Modular elements of the lattice of semigroup varieties. Contrib. Gen. Algebra 16, 275–288 (2005)

総合評価: これは半群多様体格のモジュラー元素特徴付け問題において重要な進展を遂げた高品質な純粋数学理論論文である。検査集合-G-集合方法は独創的で技術的深さを有し、主定理は既知結果を精密化している。主な欠点は完全性(第二部を待つ)と技術的複雑性(可読性と実用性を制限)である。専門研究者にとっては本分野の重要な貢献であり、より広い読者層にとっては第二部完成後に初めてその価値を十分に評価できるであろう。

Modular elements of the lattices of varieties of semigroups and epigroups. I

半群とエピグループの多様体格における モジュラー元素. I

半群とエピグループの多様体格におけるモジュラー元素. I