半環の恒等式で定まるクラスの区間に連続体個の構造
A Continuum in the Lattice of Semiring Varieties: The Interval $[\mathsf{V}(S), \mathsf{V}(S^0)]$
この論文をやさしく読む
ひとことで言うと
半環という代数構造に元を1つ追加すると、元の構造と新しい構造が定めるクラスの間に、どれほど多くのクラスが現れるかを調べています。
何に役立つ？
半環の恒等式による分類や、すべての恒等式を有限個のものから導けるかを理解するための基礎研究です。
この研究の面白いところ
出発点は3元や6元の小さな代数でも、その間のクラスが実数と同じ濃度だけ存在し得ます。区間の大きさと有限基底の問題を同じ研究で扱っています。
どこまで分かった？
加法が冪等な半環を対象とし、連続体濃度になる十分条件を示した結果です。すべての半環や元の追加に対して同じ結論を主張しているわけではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
加法が冪等な半環（ai半環）Sに対し、新しい元0を付け加えて得られるai半環をS⁰とする。本論文では、Sが生成する多様体とS⁰が生成する多様体の間にあるai半環の多様体の区間[V(S),V(S⁰)]を調べる方法を構築する。この区間の濃度が連続体の濃度となる一般的な十分条件を確立する。 特に、3元のai半環S₇に対する[V(S₇),V(S₇⁰)]へこれを適用する。S₇は有限基底を持たない代数のうち可能な最小の位数を持つものであり、この適用によってJackson、Ren、Zhaoが提示した未解決問題（J. Algebra 611（2022）, 211–245）を解決する。同じ結論は[V(B₂¹),V((B₂¹)⁰)]にも成り立つ。ここでB₂¹は、乗法部分が6元のBrandt半群となるai半環である。また、ai半環の多様体が有限基底を持たないための十分条件も示す。その系として、7元のai半環(B₂¹)⁰の恒等式には有限基底が存在しないというDolinkaの定理（Internat. J. Algebra Comput. 17（2007）, no. 8, 1537–1551）の新しい証明を得る。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For an additively idempotent semiring (ai-semiring) $S$, let $S^0$ denote the ai-semiring obtained from $S$ by adjoining a new element $0$. In this paper, we develop an approach to investigate the interval $[\mathsf{V}(S), \mathsf{V}(S^0)]$ of ai-semiring varieties between the variety generated by $S$ and that generated by $S^0$. We establish a general sufficient condition under which this interval has the cardinality of the continuum. This is applied in particular to $[\mathsf{V}(S_7), \mathsf{V}(S_7^0)]$, where $S_7$ is a $3$-element ai-semiring and is a nonfinitely based algebra of the smallest possible order, thereby resolving an open problem proposed by Jackson, Ren, and Zhao (J. Algebra \textbf{611} (2022), 211--245). The same conclusion holds for $[\mathsf{V}(B_2^1), \mathsf{V}((B_2^1)^0)]$, where $B_2^1$ is the ai-semiring whose multiplicative reduct is the $6$-element Brandt semigroup. We also present a sufficient condition for the nonfinite basis property in ai-semiring varieties. As a corollary, we obtain a new proof of Dolinka's theorem (Internat. J. Algebra Comput. \textbf{17} (2007), no.~8, 1537--1551) that the $7$-element ai-semiring $(B_2^1)^0$ has no finite basis for its identities.
arXiv ID: 2609.24514 ／ 要約の誤りについて