整除順序から定義した半環の有限基底性と結合
Finite bases and joins for semirings defined by the divisibility order
この論文をやさしく読む
ひとことで言うと
語と整除順序から作る半環について、有限個の恒等式で特徴づけられるかを系列ごとに決定した。
何に役立つ？
半環が生成する多様体の包含関係や有限基底性を調べる代数学の研究に役立つ。
この研究の面白いところ
一文字の冪と線形な語では個々の有限基底性の条件が異なり、系列全体でも対照的な結果になる。
どこまで分かった？
対象は要旨で定義された二系列とその結合などであり、任意の加法冪等半環についての分類ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
可換な語の部分語に整除順序を与えて得られる、加法が冪等な半環を研究する。一文字の冪に対応する有限半環はすべて有限基底を持つ。一方、線形な語に対応する半環が有限基底を持つのは、その語の長さが2以下の場合に限る。ハイパーグラフの保存補題を使って有限基底を持たないという結果を得て、これを多様体の区間にも拡張する。冪の系列と線形な語の系列の間に成り立つ包含関係の鋭い判定基準を確立し、各系列から一つずつ選んだ半環が生成する二つの多様体の結合について、すべて有限基底性を決定する。冪の系列全体が生成するのは有限基底を持たないmax-plus多様体である。これに対し、線形な語の系列全体は有限基底を持ち、その多様体と各有限な冪の系列の元との結合も有限基底を持つ。さらに、以前から知られる6元の極限半環を、8元の線形語半環の部分半環の商として実現する。これによって、有限基底を持たない真部分多様体を得て、対応する極小性の問題を解決する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study additively idempotent semirings obtained from commutative words by equipping their subwords with the divisibility order. Every finite semiring associated with a power of one letter is finitely based, whereas one associated with a linear word is finitely based exactly when the word has length at most two. A hypergraph preservation lemma yields the nonfinite basis result and extends it to intervals of varieties. We establish a sharp containment criterion between the power and linear families, and determine the finite basis property of every join of two varieties generated by one member of each family. The unrestricted power family generates the nonfinitely based max-plus variety. In contrast, the unrestricted linear family has a finite basis, as does its join with each finite power member. We also realize a previously known six-element limit semiring as a quotient of a subsemiring of the eight-element linear-word semiring. This gives a proper nonfinitely based subvariety and resolves the corresponding minimality question.
著者のコメント
30 page
arXiv ID: 2609.26396 ／ 要約の誤りについて