2025-11-17T06:46:13.530847

On actions and split extensions in varieties of hoops: the case of strong section

Mancini, Metere, Piazza

The aim of this article is to investigate internal actions and split extensions in the variety of hoops. We provide a characterization of split extensions with strong section in terms of strong external actions. Beyond the general setting of hoops, the study is extended to the subvarieties of basic hoops, Wajsberg hoops, GÃ¶del hoops and product hoops. Within the setting of basic hoops and their bounded counterparts, BL-algebras, the double negation yields a significant example of split extension with strong section, thus motivating our approach. A connection between strong external actions of hoops and the semidirect product construction introduced by W. Rump in the cateogory of L-algebras is established.

academic

On actions and split extensions in varieties of hoops: the case of strong section

基本信息

论文ID: 2510.06886
标题: On actions and split extensions in varieties of hoops: the case of strong section
作者: M. Mancini, G. Metere, F. Piazza
分类: math.CT (Category Theory), math.LO (Logic)
发表时间: 2025年10月8日 (arXiv预印本)
论文链接: https://arxiv.org/abs/2510.06886

摘要

本文旨在研究hoop簇中的内部作用和分裂扩张。作者提供了具有强截面的分裂扩张在强外部作用方面的刻画。除了hoop的一般设定外，研究还扩展到基本hoop、Wajsberg hoop、Gödel hoop和乘积hoop的子簇。在基本hoop及其有界对应物BL-代数的设定中，双重否定产生了具有强截面的分裂扩张的重要例子，从而为作者的方法提供了动机。文章还建立了hoop的强外部作用与W. Rump在L-代数范畴中引入的半直积构造之间的联系。

研究背景与动机

问题背景

代数逻辑的需求: BL-代数由P. Hájek引入，作为基本逻辑的代数语义，它是连续t-范数的逻辑，捕获了三个最相关的多值逻辑的共同片段：Łukasiewicz逻辑、Gödel逻辑和乘积逻辑。
Hoop结构的重要性: Hoop最初由B. Bosbach以"互补半群"的名称引入，后来由J.R. Büchi和T.M. Owens命名为hoop。它们可以看作是剩余格的正对应物，基本hoop可以通过省略格运算和常数0从BL-代数类获得。
半阿贝尔范畴理论: 在半阿贝尔范畴的背景下，内部作用的概念推广了经典的代数概念（如群或李代数作用），并通过半直积提供了分裂扩张的代数描述。

研究动机

理论完善: 尽管内部作用在群和李代数中有经典对应，但在hoop簇中的研究相对缺乏。
实际应用: 在某些情况下（如Orzech感兴趣的范畴），用外部作用来描述内部作用更为方便。
具体例子: BL-代数中的双重否定提供了具有强截面的分裂扩张的重要例子，激发了对强截面情况的专门研究。

核心贡献

强外部作用的刻画: 提出了hoop簇中强外部作用的概念，并给出了完整的公理化定义。
双射对应关系: 证明了具有强截面的分裂扩张与强外部作用之间存在双射对应关系，即对于任意hoop X，存在自然同构： $\text{SplExt}^{ss}(-,X) \cong \text{EAct}^{ss}(-,X)$
子簇的扩展: 将结果推广到基本hoop、Wajsberg hoop、Gödel hoop和乘积hoop的子簇。
与Rump理论的联系: 建立了hoop的强外部作用与W. Rump在L-代数范畴中引入的半直积构造之间的联系。
具体构造: 提供了半直积的显式构造，特别是在具有强截面的情况下的简化形式。

方法详解

任务定义

研究hoop簇中具有强截面的分裂扩张，并通过强外部作用来刻画它们。输入是两个hoop B和X，输出是它们之间所有具有强截面的分裂扩张的分类。

核心概念

1. Hoop的定义

Hoop是一个代数 $H = (H, \cdot, \to, 1)$ ，满足：

$(H, \cdot, 1)$ 是交换幺半群
$x \to x = 1$
$x \cdot (x \to y) = y \cdot (y \to x)$
$(x \cdot y) \to z = x \to (y \to z)$

2. 强截面的定义

分裂扩张 $X \xrightarrow{k} A \xrightarrow{p} B$ 具有强截面，如果截面 $s: B \to A$ 满足： $a \to s(b) = sp(a) \to s(b)$ 对所有 $a \in A, b \in B$ 成立。

3. 强外部作用

强外部作用由一对映射 $f, g: B \times X \to X$ 组成，满足四个公理：

E1: $f_b(1) = g_b(1) = 1$
E2: $f_1 = g_1 = \text{id}_X$
E3: $f_{b_1 \cdot b_2}(x \cdot g_{b_1}(x \to y)) = f_{b_1 \cdot b_2}(x \cdot (x \to y))$
E4: $g_{(b_3 \to (b_1 \cdot b_2))}(f_{b_1 \cdot b_2}(x \cdot y) \to z) = g_{(b_2 \to b_3) \to b_1}(x \to g_{b_3 \to b_2}(y \to z))$

强截面条件的简化: 在强截面条件下，半直积的构造大大简化，从 $X^2 \times B$ 的子集简化为 $X \times B$ 的子集。
外部作用的公理化: 提出了适合hoop结构的外部作用公理，这些公理直接反映了hoop的代数性质。
子簇的专门处理: 为不同的hoop子簇（基本、Wajsberg、Gödel、乘积）提供了相应的强外部作用刻画。