🔢 mathematics

An extension theory and semidirect sums for nearrings

本文建立了一个关于近环的一般性扩张理论，该理论类比于群的 Schreier 扩张和环的 Everett 扩张，它涵盖了半直和构造，并统一了各种现有的针对特定用途设计的近环实例。

原作者： Stefan Veldsman

发布于 2026-08-11

📖 1 分钟阅读🧠 深度阅读

原作者： Stefan Veldsman

原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你是一位正在设计一座新城市的建筑大师。你拥有两个截然不同的街区：一个是严谨、有序的区域，每个人都遵循严格的规则（就像一群士兵）；另一个是混乱、富有创造力的区域，事情变得有些杂乱但很有趣（就像一个街头市场）。在数学的世界里，特别是在一个叫做“代数”的分支中，这些街区被称为“近环”（nearrings）。它们就像是关于如何进行组合、相加和相乘的蓝图。但问题在于，在这些街区里，加法和乘法的规则并不总是能和谐相处。有时，如果你把它们混在一起，顺序就会变得很重要；有时，数学甚至根本不在乎零的存在。

长期以来，数学家们已经知道如何通过简单地将两个街区并排放置（“直和”）或者让一个街区以一种非常特定且可预测的方式温和地影响另一个街区（“半直积”）来建造简单的城市。但如果我们想建造一座街区之间进行着狂野、复杂舞蹈的城市呢？如果这种混合方式取决于隐藏的因素，比如秘密代码或根据对话对象而变化的移动规则呢？这正是这篇论文要解决的大问题。它在问：“即使道路规则有点扭曲，我们如何利用两个更简单的近环来构建一个全新的、复杂的近环城市？”答案不仅仅是创造一种新的形状，而是要创建一个通用的工具箱，解释这些数学街区可以如何被粘合在一起的所有可能方式。

这篇由 Stefan Veldsman 撰写的论文引入了一个宏大的“扩张理论”（Extension Theory），专门针对近环。你可以把这个理论想象成一本终极说明书，教你如何通过取两个现有的近环（我们称之为“近环 A”和“近环 B”）并将它们融合在一起，从而构建一个新的数学结构（我们称之为“超近环”）。作者证明了，无论你尝试如何将这两个近环粘合在一起，你始终是在使用一个涉及五个特殊“函数”的特定配方（这些函数就像是数学机器，接收输入并输出结果）。

论文表明，要构建这个“超近环”，你需要一个“因子系统”（factor system）。想象一下，这是一个秘密指令集或“粘合配方”，它告诉你在混合来自 A 和 B 的元素时，该如何处理加法和乘法。作者定义了一种名为“E-和”（E-sum）的新型构造。这是一种高级说法，意指“用一套特定规则构建的求和”。论文证明了两件极其重大的事情：

如果你遵循这个 E-和配方的规则（该配方涉及六个特定的条件，分别标记为 G1、G2、A1、A2、D1 和 D2），你最终总会得到一个有效的近环。
反之，如果你拥有任何通过用 A 扩张 B 而构建的近环，它都保证等价于这些 E-和中的某一个。换句话说，不存在任何这个配方无法涵盖的隐藏或秘密的构建方式。

随后，论文转向了一个更特殊、更简单的案例——“半直和”（semidirect sum）。这就像是一种特定类型的城市，其中一个街区（B）扮演着“分裂满同态”（split epimorphism）的角色——这是一个高级术语，意指 B 可以从“超近环”中干净利落地被提取出来，就像从柜子里拉出一个抽屉一样，同时让剩下的城市（A）保持原样。论文展示了近环领域中许多现有的复杂构造（例如其他数学家使用的“圈积”，wreath product）实际上都只是这个半直和的一个特例。这就像是发现几种看起来不同的玩具其实都是同一套乐高积木的不同颜色版本。

作者不仅停留在理论层面，还提供了一份“菜单”式的示例。他们展示了如何利用诸如整数群、集合上的函数，甚至是具有零乘法性质的近环（即所有元素相乘都等于零）来构建这些结构。他们证明了通过调整配方中的五个函数，你可以重现著名的数学构造，例如 Dorroh 扩张（为环增加单位元）以及用于高级代数的各种“根基”（radical）构造。

至关重要的一点是，论文非常精确地说明了它“没有”做的事情。它既没有声称解决了代数中的所有问题，也没有暗示这些新结构在建造桥梁或编写软件方面有用（至少在这篇论文中并非如此）。这是一篇纯粹的数学证明。它确立了“E-和”是描述这些扩张的正确且完整的途径。它明确排除了存在“松散末端”或未定义的近环组合方式的可能性；如果一个结构存在，它必然符合 E-和的模式。论文对自己的发现充满信心，将其作为已证定理而非猜测或模拟来呈现。它建立了一个坚实的逻辑基础，传达出：“这里是地图，那里是疆域；两者完美匹配。”

因此，如果你是一个好奇的青少年，想知道数学家是如何用简单的积木构建复杂世界的，那么这篇论文就是那份蓝图。它将“粘合”两个数学系统这一既混乱又令人困惑的想法，转化为了一个清晰、循序渐进的配方。它告诉我们，即使在规则可能有些叛逆的近环这个混乱世界里，也存在着一种潜在的秩序。通过使用五个函数作为指南，我们可以构建任何可能的扩张，从而证明近环的宇宙比它看起来要更有组织性。这有点像意识到你所能想象到的每一种冰淇淋口味，其实都只是几种基本原料以特定方式混合而成的结果。这篇论文提供了那个搅拌碗和配方。

技术摘要：近环的扩张理论与半直和

问题陈述
本文旨在解决建立一个统一且自然的近环扩张理论的需求，该理论应类比于群的 Schreier 扩张理论和环的 Everett 扩张理论。虽然文献中存在特定的构造（例如 Bellas 为陪绕积定义的近环半直积），但这些构造往往是针对特定情形的（ad-hoc），且缺乏通用的理论框架。作者试图建立一个通用的理论，用以刻画近环 $A$ 对近环 $B$ 的所有扩张，并将半直和识别为该广义理论中一个特定的、自然的特例。

方法论
论文通过两个主要步骤来构造和分类近环扩张：

E-和 ( $A \boxtimes B$ ) 的构造：
作者在笛卡尔积 $A \times B$ 上定义了一个新的结构——“E-和”。该构造依赖于一个由五个函数组成的五元组 $E(\psi, [-,-], \alpha, \beta, \langle-,-\rangle)$ ：
- $\psi: B \to \text{Aut}(A, +)$
- $[-,-]: B^2 \to A$ （加法因子系统）
- $\alpha: B \to \text{Map}(A^2, A)$
- $\beta: B^2 \to \text{Map}(A)$
- $\langle-,-\rangle: B^2 \to A$ （乘法因子系统）
$A \boxtimes B$ 上的运算定义为：
- 加法： $(a_1, b_1) + (a_2, b_2) = (a_1 + \psi_{b_1}(a_2) + [b_1, b_2], b_1 + b_2)$
- 乘法： $(a_1, b_1)(a_2, b_2) = (\alpha_{b_2}(a_1, a_2) + \beta_{b_1, b_2}(a_2) + \langle b_1, b_2 \rangle, b_1 b_2)$
论文推导出了这些函数必须满足的必要且充分条件（标记为 G1, G2, A1, A2, D1, D2），以使 $A \boxtimes B$ 构成一个有效的近环。这些条件是通过强制要求加法结构满足群公理，以及乘法结构满足近环公理（结合律和右分配律）而推导出来的。
扩张的分类：
论文证明了任何 $A$ 对 $B$ 的扩张 $N$ （其中 $A$ 是 $N$ 的一个理想，且 $N/A \cong B$ ）都等价于一个 E-和。通过利用一个选择函数 $\sigma: B \to N$ （投影同态的一个截面），作者构造了 $N$ 与 $A \times B$ 之间的双射。该双射在积集上诱导了特定的函数 $\psi, [-,-], \alpha, \beta, \langle-,-\rangle$ ，从而证明了每一个扩张在结构上都同构于一个满足上述条件的 E-和。

主要贡献与结果

通用扩张理论： 本文提供了近环扩张的完整刻画。定理 2.3 确立了 $A \boxtimes B$ 是一个近环，当且仅当相关函数满足六个特定的代数条件（G1, G2, A1, A2, D1, D2）。定理 2.4 确认了 $A$ 对 $B$ 的每一个扩张都等价于这样一个 E-和。
半直和定义： 论文提出了一个“更自然”的两个近环之半直和的定义。它被定义为 E-和的一个特例，即因子系统 $[-,-]$ $[-, -]$ 和 $\langle-,-\rangle$ $⟨ -, - ⟩$ 恒为零的情形。
- 在这种情况下，条件得以简化： $\psi$ 成为从 $(B, +)$ 到 $\text{Aut}(A, +)$ 的群同态，而剩余的条件（A1, A2, D1, D2）则支配着 $B$ 中的乘法与 $A$ 的结构之间的相互作用。
- 论文建立了半直和与分裂满同态（截面）之间的联系，表明一个近环 $N$ 是 $A$ 与 $B$ 的半直和，当且仅当存在一个以 $A$ 为核的拆解满同态 $f: N \to B$ 。
现有构造的统一： 论文展示了近环理论中各种现有的构造都是该半直和框架下的特定实例：
- Bellas 的半直积： 用于陪绕积的构造 $A \times_\gamma B$ 被证明在特定条件下（具体为当 $\gamma_0(a_1)a_2 = a_1a_2$ 时）是一个半直和。
- 陪绕积： 论文指出，只有当条件 $\gamma_0(f_1)f_2 = f_1f_2$ 成立时，近环的陪绕积才被识别为一个特定的半直和构造；在一般情况下，标准的陪绕积并不是半直和。
- Dorroh 扩张： 论文表明 Dorroh 扩张（环的规范单位扩张）是涉及整数 $\mathbb{Z}$ 的一个特定半直和情形。
- 根理论构造： 文中还介绍了近环根理论中的若干构造（涉及具有零乘法或常数乘法的近环）作为半直和的例子。

意义
该论文声称其意义在于提供了一个综合性的理论框架，用以推广并统一近环理论中零散的构造。通过将半直和定义为通用扩张理论的一个特例，作者提供了一种分析和构造近环的系统化方法。这项工作阐明了近环范畴中分裂满同态与半直和之间的关系，并为文献中存在的诸如 Bellas, Betsach 等人所提出的各种“专门设计”的近环构造提供了严谨的代数基础。该理论为已建立的群的 Schreier 理论和环的 Everett 理论提供了近环层面的类比。

类似论文