[论文解读] Semirings

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

Polynomial and algebraic computation被引用 0

一句话总结

对不具备加性消去律的半域的全面综述，引入零理想和基于对的通用代数框架，以推广半域理论中的多项式根、几何、矩阵和模的概念。

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) 的结构。
• 回顾并发展诸如加倍、函数半域、矩阵半域、单子半域以及函数多项式半域等构造。
• 引入超环、超域以及 Krasner-残法构造以建模多值加法。
• 定义热带扩展与分级半域以组织不同的半域风格（超热带、分层等）。
• 在 T-模与 T-半域结构的背景下发展态射与模，包括张量扩张和对的扩张。

实验结果

研究问题

• RQ1 如何在具有零理想 A0 的情况下，将经典代数理论（多项式、根、线性代数）扩展到缺乏加法消去性的半域？
• RQ2 对 (A, A0) 在构建半域及相关结构（如超域、热带/超热带对象）通用代数理论中的作用是什么？
• RQ3 各种半域构造（加倍、函数半域、单子/矩阵半域）如何与对框架以及可分配性等性质相互作用？
• RQ4 在半域背景下，谱、素、簇的适当概念是什么，它们如何与多项式恒等式及矩阵理论相关？
• RQ5 如何将半域之间的态射及对之间的态射进行分类与利用，以构建扩张和模？

主要发现

• 本文将对 (A, A0) 作为一个健壮框架，推广非可消性半域的代数理论。
• 它在统一的对方法下对多种半域变体（超热带、热带扩展、分级、超结构）进行综述与连接。
• 一系列构造（加倍、函数半域、矩阵半域、单子半域）被证明在扩展半域理论的同时保持或调整关键性质。
• 对 Krasner 风格的残法构造处理超域与超域，将多值加法与半域结构联系起来。
• 工作勾勒出在半域内关于多项式、根、几何（如 Zariski 型对应、谱）与线性代数的统一方法，包括模与态射范畴。
• 该综述强调三种不同的态射类型，促进半域数学中的不同结构理论。