二つの独立なパラメータを持つ半環の有限公理化条件
Finite Bases for Truncated Cyclic Group Flat Semirings with Two Independent Parameters
この論文をやさしく読む
ひとことで言うと
特定の有限半環を、有限個の恒等式だけで記述できる条件を完全に分類する。
何に役立つ？
代数系の有限公理化可能性を二つのパラメータから判定できる。
この研究の面白いところ
有限基底がある範囲には具体的な基底を与え、ない範囲には超グラフから有限反例モデルを作る。
どこまで分かった？
結論は定義されたA_{m,n}の族についてであり、一般の半環全体の分類ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
正の整数m、nに対し、集合A_{m,n}＝({1,…,m}×ℤ_n)∪{0}に平坦な加法と次数mで打ち切る乗法を定める。この半環が有限個の恒等式を基底に持つのは、m≦2、または(m,n)＝(3,1)の場合に限ることを証明する。この範囲のすべてについて、有限基底を明示する。範囲外では、和が一定になる剛性を持つ内周の大きい超グラフを使い、恒等式理論の有界変数のどの部分に対しても有限反例モデルを作る。証明はパラメータに割り切れ方や互いに素であることを要求しない。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-22（UTC）
- 最新改訂
- 2026-09-22 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-22 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
For positive integers \(m,n\), let \[ A_{m,n}=(\{1,\ldots,m\}\times\Z_n)\cup\{0\} \] have flat addition and multiplication truncated at degree \(m\). We prove that \(A_{m,n}\) is finitely based exactly when \(m\le 2\) or \((m,n)=(3,1)\). Explicit finite bases are supplied throughout this region. Outside it, high-girth hypergraphs with a constant-sum rigidity property yield finite countermodels to every bounded-variable fragment of the equational theory. The proof places no divisibility or coprimality restriction on the parameters.
著者のコメント
11 pages
arXiv ID: 2609.26451 ／ 要約の誤りについて