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

Basic Information

• Paper ID: 2510.06886
• Title: On actions and split extensions in varieties of hoops: the case of strong section
• Authors: M. Mancini, G. Metere, F. Piazza
• Classification: math.CT (Category Theory), math.LO (Logic)
• Publication Date: October 8, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.06886

Abstract

This paper investigates internal actions and split extensions in varieties of hoops. The authors provide a characterization of split extensions with strong sections in terms of strong external actions. Beyond the general setting of hoops, the research extends to subvarieties of basic hoops, Wajsberg hoops, Gödel hoops, and product hoops. In the setting of basic hoops and their bounded counterparts, BL-algebras, double negation yields important examples of split extensions with strong sections, thereby motivating the authors' approach. The paper also establishes connections between strong external actions on hoops and the semidirect product construction introduced by W. Rump in the category of L-algebras.

Research Background and Motivation

Problem Background

1. Requirements of Algebraic Logic: BL-algebras were introduced by P. Hájek as the algebraic semantics of basic logic, which is the logic of continuous t-norms and captures the common fragment of three most relevant many-valued logics: Łukasiewicz logic, Gödel logic, and product logic.
2. Importance of Hoop Structures: Hoops were originally introduced by B. Bosbach under the name "complementary semigroups" and later named hoops by J.R. Büchi and T.M. Owens. They can be viewed as the positive counterparts of residuated lattices, and basic hoops can be obtained from the class of BL-algebras by omitting lattice operations and the constant 0.
3. Semi-abelian Category Theory: In the context of semi-abelian categories, the concept of internal actions generalizes classical algebraic concepts (such as actions on groups or Lie algebras) and provides an algebraic description of split extensions through semidirect products.

Research Motivation

1. Theoretical Refinement: Although internal actions have classical counterparts in groups and Lie algebras, their study in hoop varieties remains relatively underdeveloped.
2. Practical Convenience: In certain cases (such as categories of interest to Orzech), describing internal actions through external actions is more convenient.
3. Concrete Examples: Double negation in BL-algebras provides important examples of split extensions with strong sections, motivating specialized study of the strong section case.

Core Contributions

1. Characterization of Strong External Actions: Introduces the concept of strong external actions in hoop varieties and provides a complete axiomatic definition.
2. Bijective Correspondence: Proves the existence of a bijective correspondence between split extensions with strong sections and strong external actions, namely for any hoop X, there exists a natural isomorphism: $\text{SplExt}^{ss}(-,X) \cong \text{EAct}^{ss}(-,X)$
3. Extension to Subvarieties: Generalizes results to subvarieties of basic hoops, Wajsberg hoops, Gödel hoops, and product hoops.
4. Connection with Rump Theory: Establishes connections between strong external actions on hoops and the semidirect product construction introduced by W. Rump in the category of L-algebras.
5. Explicit Constructions: Provides explicit constructions of semidirect products, particularly in simplified form for the strong section case.

Detailed Methodology

Task Definition

Study split extensions with strong sections in hoop varieties and characterize them through strong external actions. The input consists of two hoops B and X, and the output is a classification of all split extensions with strong sections between them.

Core Concepts

1. Definition of Hoops

A hoop is an algebra $H = (H, \cdot, \to, 1)$ satisfying:

• $(H, \cdot, 1)$ is a commutative monoid
• $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. Definition of Strong Section

A split extension $X \xrightarrow{k} A \xrightarrow{p} B$ has a strong section if the section $s: B \to A$ satisfies: $a \to s(b) = sp(a) \to s(b)$ for all $a \in A, b \in B$.

3. Strong External Actions

A strong external action consists of a pair of maps $f, g: B \times X \to X$ satisfying four axioms:

• 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))$

Main Theorems

Theorem 4.5 (Bijective Correspondence)

For hoops B and X, there exists a bijection $\tau_B: \text{SplExt}^{ss}(B,X) \to \text{EAct}^{ss}(B,X)$.

Theorem 4.8 (Natural Isomorphism)

The bijection $\tau_B$ extends to a natural isomorphism: $\tau: \text{SplExt}^{ss}(-,X) \cong \text{EAct}^{ss}(-,X)$

Technical Innovations

1. Simplification of Strong Section Condition: Under the strong section condition, the construction of semidirect products is significantly simplified, reducing from a subset of $X^2 \times B$ to a subset of $X \times B$.
2. Axiomatization of External Actions: Proposes axioms for external actions suited to hoop structures, which directly reflect the algebraic properties of hoops.
3. Specialized Treatment of Subvarieties: Provides corresponding characterizations of strong external actions for different hoop subvarieties (basic, Wajsberg, Gödel, product).

Experimental Setup

This paper is pure theoretical mathematical research without numerical experiments. The theory is verified through the following approaches:

Theoretical Verification

1. Constructive Proofs: Proves the bijective correspondence through explicit construction
2. Axiom Verification: Verifies the necessity and sufficiency of the proposed external action axioms
3. Naturality Verification: Proves the naturality of the functor isomorphism

Concrete Examples

1. Double Negation in BL-algebras: Provides concrete examples of split extensions between MV(A) and D(A)
2. Standard Algebras: Uses standard MV-algebras, Gödel algebras, and product algebras as basic examples

Experimental Results

Main Results

1. Simplified Form of Semidirect Product

Under the strong section condition, the underlying set of the semidirect product $X \rtimes_\xi B$ is: $Y' = \{(x,b) \in X \times B \mid s(b) \to (s(b) \cdot x) = x\}$

with operations:

• $(x,b) \to (y,b') = (s(b' \to b) \to (x \to y), b \to b')$
• $(x,b) \cdot (y,b') = (s(b \cdot b') \to (s(b \cdot b') \cdot x \cdot y), b \cdot b')$

2. Special Properties of Subvarieties

• MV-algebras: Split extensions with strong sections become trivial
• Gödel hoops: Strong external actions coincide with those in basic hoops
• Wajsberg hoops: Require additional commutativity conditions

3. Connection with L-algebras

Proves that the $g$ map in strong external actions defines an action in the L-algebra sense, satisfying:

• $g_b(x \to y) = g_b(x) \to g_b(y)$
• $(b \to b') \cdot g_b(x) = g_{b' \to b}(g_{b'}(x))$
• $g_1 = \text{id}$

Important Findings

1. Simplification Effect: The strong section condition significantly simplifies the construction and operations of semidirect products
2. Subvariety Differences: Different hoop subvarieties exhibit different properties regarding strong external actions
3. Theoretical Unification: Establishes a bridge between categorical methods and concrete algebraic constructions

Related Work

Main Research Directions

1. Semi-abelian Category Theory: Work by F. Borceux, G. Janelidze, G.M. Kelly, and others
2. BL-algebras and Fuzzy Logic: Foundational work by P. Hájek
3. Hoop Theory: Original work by B. Bosbach and subsequent developments
4. L-algebra Theory: Semidirect product constructions by W. Rump

Position of This Paper

This paper connects abstract categorical concepts (internal actions, split extensions) with concrete algebraic structures (hoops and their subvarieties), filling a theoretical gap in this field.

Conclusions and Discussion

Main Conclusions

1. Successfully characterizes split extensions with strong sections in hoop varieties
2. Establishes natural bijective correspondence with strong external actions
3. Provides a unified theoretical framework for different hoop subvarieties
4. Connects categorical methods with concrete algebraic constructions

Limitations

1. Restrictive Conditions: Only considers the strong section case; general split extensions require further study
2. Computational Complexity: The axioms for external actions are relatively complex, potentially limiting practical applications
3. Subvariety Coverage: While covering major subvarieties, other possible hoop subvarieties are not addressed

Future Directions

1. General Split Extensions: Extension to all split extensions
2. Simplification of External Actions: Seeking more concise characterizations of external actions
3. Application Exploration: Applications in fuzzy logic and uncertainty reasoning
4. Computational Methods: Development of effective computational algorithms

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides profound theoretical insights connecting multiple mathematical branches
2. Completeness: Forms a complete theoretical system from definitions, constructions to proofs
3. Generality: Addresses not only the general case but also important subvarieties
4. Innovation: The concept of strong sections and corresponding simplifications represent important theoretical innovations

Weaknesses

1. Application-Oriented: As pure theoretical research, lacks direct application examples
2. Readability: Technical details are relatively complex for non-specialists
3. Computational Complexity: The computational complexity of theoretical constructions is insufficiently discussed

Impact

1. Theoretical Contribution: Makes important contributions to hoop theory and semi-abelian category theory
2. Methodological Value: Provides new methods for studying actions and extensions in algebraic structures
3. Cross-disciplinary Connection: Establishes connections between category theory, algebraic logic, and fuzzy logic

Applicable Scenarios

1. Theoretical Mathematics Research: Algebraic logic, category theory, universal algebra research
2. Fuzzy Logic: Provides new tools for the algebraic foundations of fuzzy logic
3. Uncertainty Reasoning: Applications in artificial intelligence for uncertainty reasoning

References

The paper cites 44 important references, primarily including:

• Foundational work by P. Hájek on BL-algebras and basic logic
• Theory of semi-abelian categories by F. Borceux, G. Janelidze, and others
• Original research on hoops by B. Bosbach
• Work on L-algebras and semidirect products by W. Rump

Summary: This is a high-quality theoretical mathematics paper making important contributions at the intersection of hoop theory and semi-abelian category theory. While technically demanding, it establishes a solid theoretical foundation for further research in related fields.