[論文レビュー] Semirings

Louis Rowen|arXiv (Cornell University)|Feb 22, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

セミリングにおける加法的打ち消しが存在しない場合の総合的な調査で、零イデアルとペア-based universal algebraフレームワークを導入し、セミリン theoryにおける多項式の根、幾何、行列、モジュールを一般化する。

ABSTRACT

We survey theory developed over the past 10 years of semirings which need not be additively cancellative. The main feature is a specified ``null ideal'' $\mcA_0$ of a semiring $\mcA,$ taking the place of a zero element, which permits generalizations of the classical algebraic theory to polynomials and their roots, algebraic geometry, matrices, linear algebra, varieties, categories, and module theory. The ``pair'' $(\mcA,\mcA_0)$ is studied along the lines of universal algebra.

研究の動機と目的

• 指定された零イデアルを中心とした加法的打ち消しが必須でないセミリングの一般代数フレームワークの動機づけと構築。
• セミリングの普遍代数風分析における中心对象としてペア (A, A0) を導入・研究。
• セミリング、ハイパーフィールド、関連構造に関連する構成・拡張・準同型の調査。
• ペアフレームワーク内での多項式の根、トロピカル構造およびスーパートロピカル構造、幾何的側面（多様体、スペクトル）を探究。
• セミリング設定での行列、モジュール、カテゴリー、および多項式恒等式への応用を提示。

提案手法

• 性質 N を持つ nd-セミリングとより一般的なペア (A, A0) の定義と研究。
• doubling、関数半ring、行列半ring、モノイド半ring、関数多項式半ring などの構成のレビューと発展。
• 多価加法をモデル化するためのハイパーリング、ハイパーフィールド、Krasner 残差構成の導入。
• tropical 拡張と階層付き半リングを導入して、さまざまなセミリング風味（スーパートロピカル、層状など）を整理。
• T-モジュールと T-半リング構造の文脈での準同型とモジュールの発展、テンソル拡張とペアの拡張を含む。

実験結果

リサーチクエスチョン

• RQ1 零イデアル A0 を用いて、古典的代数理論（多項式、根、線形代数）を打ち消しが欠如するセミリングへどう拡張できるか？
• RQ2 ペア (A, A0) はセミリングおよびハイパーフィールドやトロピカル/スーパートロピカルな对象を含む普遍代数風理論の構造化においてどんな役割を果たすか？
• RQ3 さまざまなセミリング構成（ doubling、関数半リング、モノイド/行列半リング） はペアの枠組みと分配性・メタタングビリティの性質とどう相互作用するか？
• RQ4 スペクトル、素元、多様体というセミリング文脈での適切な概念は何か、これらは多項式恒等式や行列理論とどう関連するか？
• RQ5 セミリング間およびペア間の準同型を分類・活用して拡張・モジュールを構築できるか？

主な発見

• 本論は非打ち消し性セミリングへ代数理論を一般化する堅牢な枠組みとしてペア (A, A0) を確立する。
• 統一されたペアベースのアプローチの下で、複数のセミリング変種（スーパートロピカル、トロピカル拡張、階層的、ハイパー構造）を調査・結びつける。
• 倍加、関数半リング、行列半リング、モノイド半リングなどの一連の構成が、主要性質を維持または適応しつつセミリング理論を拡張することを示す。
• ハイパーリングとハイパーフィールドは Krasner式残差構成と組み合わせて扱われ、加法の多価性を半リング構造に結びつける。
• セミリング内での多項式、根、幾何（Zariski型対応、スペクトル）、線形代数、モジュールおよび準同型のカテゴリーを含む包括的アプローチを概説。
• 調査は三つの異なる準同型タイプを強調し、セミリング数学における異なる構造理論を可能にする。