有限個の恒等式で特徴付けられない加法冪等半環の条件
Inherently nonfinitely based additively idempotent semirings
この論文をやさしく読む
ひとことで言うと
半環の恒等式を有限個で記述できないことを示す条件を、代数学の枠内で与えた。
何に役立つ？
半環の多様体と恒等式の有限基底問題を調べる際に役立つ。
この研究の面白いところ
ジミン語の順序上の極小性を、可算な平坦因子半環が多様体に属するかどうかで特徴付けた。
どこまで分かった？
条件は十分条件として示されており、全ての加法冪等半環を分類したものではない。理論研究である。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
加法が冪等である半環が、本質的に有限基底を持たないための十分条件を与える。その半環が生成する多様体が局所有限で、全てのジミン語が加法順序で極小なら、その半環は有限個の恒等式で基底化できる局所有限多様体のどれにも含まれない。任意の正整数nについて、この極小性を持つ全ての半環の、変数が高々n個の恒等式を全て満たす、無限だが有限生成の平坦半環を構成する。また、可算な平坦因子半環Finfが生成多様体に属することによって、ジミン語の極小性を特徴付ける。多様体V(Finf)は局所有限であり、本質的に有限基底を持たない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We give a sufficient condition for an additively idempotent semiring to be inherently nonfinitely based. Namely, if its generated variety is locally finite and every Zimin word is minimal in the additive order, then it is contained in no finitely based locally finite variety. For each positive integer $n$, we construct an infinite finitely generated flat semiring satisfying all identities in at most $n$ variables of every semiring with this minimality property. We also characterize Zimin minimality by membership of a countable flat factor semiring $\Finf$ in the generated variety. The variety $\V(\Finf)$ is locally finite and inherently nonfinitely based.
arXiv ID: 2609.27641 ／ 要約の誤りについて