On Extended Associative Semigroups

Basic Information

• Paper ID: 2105.01326
• Title: On Extended Associative Semigroups
• Author: Loïc Foissy (Université Littoral Côte d'Opale)
• Classification: math.RA (Algebra)
• Published Journal: Symmetry, Integrability and Geometry: Methods and Applications (SIGMA) 21 (2025), 092
• Paper Link: https://arxiv.org/abs/2105.01326
• DOI: https://doi.org/10.3842/SIGMA.2025.092

Abstract

This paper provides an in-depth investigation of Extended Associative Semigroups (EAS), an algebraic structure used to define generalizations of associative algebra operads. The article particularly focuses on Commutative Extended Diassociative Semigroups (CEDS), a subclass used to define generalizations of pre-Lie algebra operads. The main contributions include: (1) construction of multiple families of EAS examples based on semigroups and groups; (2) complete classification of EAS with cardinality 2; (3) definition of linear extended associative semigroups (ℓEAS) as linear maps satisfying variants of the braid equation; (4) exploration of connections between ℓEAS and bialgebras, Hopf algebras; (5) investigation of the structure of non-degenerate finite CEDS, proving they can be obtained through semidirect products and direct products of two groups.

Research Background and Motivation

Research Questions

The core problem addressed in this paper is how to systematically understand and classify parameterized algebraic structures. In quantum field theory and the theory of regularity structures for stochastic partial differential equations, researchers need to replace a single operation with a family of operations indexed by some set Ω, and deform the axioms defining these algebraic structures through the structure on Ω.

Significance

1. Theoretical Unification: Different parameterization schemes (family parameterization and matching parameterization) have appeared independently in the literature and require a unified framework to understand their relationships.
2. Application-Driven: Bruned, Hairer, and Zambotti introduced matching-parameterized pre-Lie algebras in their work on regularity structures for solving stochastic partial differential equations, demonstrating practical application needs.
3. Operadic Theory: EAS provides a natural framework for studying generalizations of associative algebra operads.

Limitations of Existing Approaches

• Lack of Systematic Classification: While existing work provides various examples of parameterized algebraic structures, systematic classification and structure theorems are lacking.
• Incomplete Linearization: Although non-linear EAS theory exists, its linear version and relationships with classical algebraic structures (such as bialgebras and Hopf algebras) have not been fully explored.
• Insufficient Structural Understanding: The internal structure of non-degenerate CEDS lacks deep investigation.

Research Motivation

This paper aims to establish a systematic theory of EAS, including:

1. Providing abundant examples and complete classification for small cardinalities
2. Developing the linear version and establishing bridges with bialgebra theory
3. Providing structural decomposition theorems for finite non-degenerate CEDS

Core Contributions

1. Complete Classification: Provides complete classification of EAS with cardinality 2, yielding 13 non-isomorphic examples, of which 11 are CEDS, 7 are dual CEDS, and 3 are non-degenerate.
2. Structure Theorem: Proves that any finite non-degenerate CEDS can be decomposed as $(EAS(\Omega_1,*)\rtimes_{\rhd} EAS'(\Omega_2,\star))\times EAS(\Omega_3)$, where $(\Omega_1,*)$ is a commutative group, $(\Omega_2,\star)$ is a group, and $\Omega_3$ is a non-empty set (Theorem 3.16).
3. Linearization Theory: Introduces the concept of linear extended associative semigroups (ℓEAS) as linear maps satisfying variants of the braid equation, providing 18 two-dimensional examples.
4. Connections with Bialgebras:
   • Constructs a functor from the category of bialgebras to the category of ℓEAS (Proposition 5.1)
   • Constructs a functor from the category of Hopf algebras to the category of ℓEAS (Proposition 5.10)
   • Proves that under appropriate conditions, bialgebra structures can be constructed from left units and left cointegral (Theorem 5.17)
5. Special Vector Theory: Systematically studies left units, left cointegrals, and characteristic vectors of ℓEAS, providing complete characterization for linearizations of non-degenerate CEDS (Proposition 4.10).

Methodology Details

Task Definition

An Extended Associative Semigroup (EAS) is a triple $(\Omega, \to, \triangleright)$, where $\Omega$ is a non-empty set and $\to, \triangleright: \Omega^2 \to \Omega$ are maps satisfying:

For all $\alpha, \beta, \gamma \in \Omega$:

• $\alpha \to (\beta \to \gamma) = (\alpha \to \beta) \to \gamma$ (associativity)
• $(\alpha \triangleright (\beta \to \gamma)) \to (\beta \triangleright \gamma) = (\alpha \to \beta) \triangleright \gamma$
• $(\alpha \triangleright (\beta \to \gamma)) \triangleright (\beta \triangleright \gamma) = \alpha \triangleright \beta$

A Commutative Extended Diassociative Semigroup (CEDS) is an EAS satisfying additional axioms:

• $(\alpha \to \beta) \to \gamma = (\beta \to \alpha) \to \gamma$ (partial commutativity)
• $\alpha \triangleright (\beta \to \gamma) = \alpha \triangleright \gamma$

A Linear EAS (ℓEAS) is a pair $(A, \Phi)$, where $A$ is a vector space and $\Phi: A \otimes A \to A \otimes A$ satisfies: $(Id \otimes \Phi) \circ (\Phi \otimes Id) \circ (Id \otimes \Phi) = (\Phi \otimes Id) \circ (Id \otimes \tau) \circ (\Phi \otimes Id)$

Core Construction Methods

1. Basic Example Construction

Example 1 - EAS(Ω): For any set Ω, define

• $\alpha \to \beta = \beta$
• $\alpha \triangleright \beta = \alpha$

This yields the matching associative algebra.

Example 2 - EAS(Ω,⋆): For a semigroup $(Ω,⋆)$, define

• $\alpha \to \beta = \alpha \star \beta$
• $\alpha \triangleright \beta = \alpha$

This yields the (Ω,⋆)-family associative algebra.

Example 3 - EAS′(Ω,⋆): For a semigroup $(Ω,⋆)$ with right inverse conditions, define

• $\alpha \to \beta = \beta$
• $\alpha \triangleright \beta = \alpha \star \beta \star^{-1}$ (when Ω is a group)

2. Non-Degeneracy and Duality

Define the map $\phi: \Omega^2 \to \Omega^2$ by $\phi(\alpha,\beta) = (\alpha \to \beta, \alpha \triangleright \beta)$. An EAS is called non-degenerate if $\phi$ is a bijection.

Proposition 2.11: If $(\Omega, \to, \triangleright)$ is a non-degenerate EAS and $\phi^{-1}(\alpha,\beta) = (\alpha \triangleleft \beta, \alpha \triangleleft\!\!\triangleright \beta)$, then:

• $(\Omega, \to, \triangleright)$ is an EAS $\iff$ $(\Omega, \triangleleft, \triangleleft\!\!\triangleright)$ is an EAS
• $(\Omega, \to, \triangleright)$ is a CEDS $\iff$ $(\Omega, \triangleleft, \triangleleft\!\!\triangleright)$ is a dual CEDS

3. Structural Decomposition Method

The analysis of finite non-degenerate CEDS structure follows these steps:

Step 1: Define special subsets

• $\Omega_\to = \{\alpha \in \Omega: \phi_\alpha = Id_\Omega\}$
• $\Omega_\triangleright = \{\beta \in \Omega: \psi_\beta = Id_\Omega\}$

where $\phi_\alpha(\beta) = \alpha \to \beta$ and $\psi_\alpha(\beta) = \beta \triangleright \alpha$.

Step 2: Establish equivalence relations Define on Ω: $\beta \equiv \beta' \iff \exists \alpha \in \Omega, \beta' = \alpha \to \beta$

Step 3: Prove that $\Omega_\to$ is a section of $\Omega/\equiv$ and $\Omega = \Omega_\triangleright \to \Omega_\to$

Step 4: Apply Theorem 3.9 to decompose $\Omega_\to$ and Proposition 3.13 to decompose $\Omega_\triangleright$

Linearization and Bialgebras

From Bialgebras to ℓEAS

Proposition 5.1: Let $(A, m, \Delta)$ be a bialgebra. Define $\Phi(a \otimes b) = (m \otimes Id_A) \circ (Id_A \otimes \tau) \circ (\Delta \otimes Id_A)(a \otimes b) = \sum a_{(1)}b \otimes a_{(2)}$

Then $(A, \Phi)$ is an ℓEAS, denoted $\ell EAS(A, m, \Delta)$.

Special Case: For a semigroup $(Ω,⋆)$, taking $A = K\Omega$ with its natural bialgebra structure yields an ℓEAS that is the linearization of $EAS(\Omega,⋆)$.

From Hopf Algebras to ℓEAS

Proposition 5.10: Let $(A, m, \Delta)$ be a Hopf algebra with antipode $S$. Define $\Phi(a \otimes b) = (Id_A \otimes m) \circ (Id_A \otimes S \otimes Id_A) \circ (\Delta \otimes Id) \circ \tau(a \otimes b) = \sum b_{(1)} \otimes S(b_{(2)})a$

Then $(A, \Phi)$ is a non-degenerate ℓEAS, denoted $\ell EAS'(A, m, \Delta)$, and $(A, \Phi^{-1}) = \ell EAS(A, m, \Delta^{op})$.

Reverse Construction

Theorem 5.17: Let $(A, \Phi)$ be an ℓEAS, $a$ be a special vector with eigenvalue 1, and $\varepsilon$ be a left cointegral with $\varepsilon(a) = 1$. Then:

• Define $\Delta_a(b) = \Phi(b \otimes a)$ as the coassociative coproduct
• Define $m_\varepsilon = (Id \otimes \varepsilon) \circ \Phi$ as the associative product
• $(A, m_\varepsilon, \Delta_a)$ is a bialgebra, and $(A, \Phi) = \ell EAS(A, m_\varepsilon, \Delta_a)$

Experimental Setup

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

Classification Verification

• Exhaustive checking of all possible EAS structures with cardinality 2 ($2^8 = 256$ possibilities)
• Identification of 13 non-isomorphic EAS
• Determination of CEDS and dual CEDS properties for each

Example Construction

• Construction of matrix representations for 18 two-dimensional ℓEAS
• Computation of special vectors, left units, and left cointegrals for each example
• Verification of classification completeness

Theoretical Verification

Verification of general theorems through concrete examples:

• Verification of ℓEAS structures for group Hopf algebras (Examples 5.11, Corollary 5.21)
• Checking correspondence between two-dimensional examples and bialgebra constructions (Example 5.18)

Experimental Results

Main Results

1. Classification of EAS with Cardinality 2

The paper provides 13 non-isomorphic EAS with cardinality 2 (base set $\Omega = \{X, Y\}$):

Key Findings:

• 11 out of 13 are CEDS, 7 are dual CEDS
• Only 3 are non-degenerate: F3, F4, H2
• Case C6 is not the right part of any EDS

2. Structure Theorem for Finite Non-Degenerate CEDS

Theorem 3.16: Any finite non-degenerate CEDS Ω can be expressed as $(EAS(\Omega_1,*)\rtimes_{\rhd} EAS'(\Omega_2,\star))\times EAS(\Omega_3)$

where:

• $(\Omega_1, *)$ is a commutative group
• $(\Omega_2, \star)$ is a group
• $\Omega_3$ is a non-empty set
• $\rhd: \Omega_2 \times \Omega_1 \to \Omega_1$ is a left action of $\Omega_2$ on $\Omega_1$ through group automorphisms

Product formulas:

• $(\alpha_1, \alpha_2, \alpha_3) \to (\beta_1, \beta_2, \beta_3) = (\alpha_1 * \beta_1, \beta_2, \beta_3)$
• $(\alpha_1, \alpha_2, \alpha_3) \triangleright (\beta_1, \beta_2, \beta_3) = (\beta_2 \rhd \alpha_1, \alpha_2 \star \beta_2^{-1}, \alpha_3)$

Application: This structure theorem completely characterizes non-degenerate CEDS, reducing them to combinations of groups and sets.

3. Classification of Two-Dimensional ℓEAS

The paper provides matrix representations for 18 two-dimensional ℓEAS $M_1, \ldots, M_{18}$ (basis $\{x \otimes x, x \otimes y, y \otimes x, y \otimes y\}$):

Examples:

• $M_{18} = \text{diag}(1,0,0,0; 0,0,1,0; 0,1,0,0; 0,0,0,1)$, both ℓCEDS and dual ℓCEDS
• $M_{17} = (1,0,1,0; 0,0,-1,0; 0,1,-1,0; 0,0,2,1)$, both ℓCEDS and dual ℓCEDS

Special Vector Statistics:

• $M_{18}$ has left unit space $\text{Span}\{x, y\}$ and left cointegral space $\text{Span}\{x^*, y^*\}$
• $M_{17}$ has left unit space $\text{Span}\{x\}$ and left cointegral space $\text{Span}\{x^* + y^*\}$

4. Correspondence between ℓEAS and Bialgebras

Proposition 5.19 applied to non-degenerate finite CEDS: For any maps $g, h: \Omega_3 \to K$ satisfying $\sum g(\alpha_3)h(\alpha_3) = 1$, one can construct a bialgebra structure:

$(\alpha_1, \alpha_2, \alpha_3) \cdot (\beta_1, \beta_2, \beta_3) = \delta_{\alpha_2, \beta_2}g(\alpha_3)(\alpha_1 * \beta_1, \beta_2, \beta_3)$

$\Delta(\alpha_1, \alpha_2, \alpha_3) = \sum_{(\beta_2, \beta_3)} h(\beta_3)(\alpha_1, \beta_2, \beta_3) \otimes (\beta_2 \rhd \alpha_1, \alpha_2 \star \beta_2^{-1}, \alpha_3)$

such that the linearization of the original CEDS is precisely $\ell EAS(K\Omega, \cdot, \Delta)$.

Case Studies

ℓEAS of Group Hopf Algebras

Corollary 5.21: For a finite group $G$:

• $\ell EAS'(KG)$ is isomorphic to $\ell EAS(K^G)$
• $\ell EAS'(K^G)$ is isomorphic to $\ell EAS(KG^{op})$

Proposition 5.22: The non-zero special vectors with eigenvalue 1 of $\ell EAS(KG)$ and $\ell EAS'(KG)$ are precisely $\lambda \sum_{\alpha \in H} \alpha$, where $H$ is a subgroup of $G$ and $\lambda \neq 0$.

Concrete Example Verification

For $M_{16}$ (corresponding to C3: $EAS(\mathbb{Z}/2\mathbb{Z}, \times)$), taking $a = x$, $\varepsilon = x^* + y^*$:

• $\Delta_a(x) = x \otimes x$, $\Delta_a(y) = y \otimes y$
• $m_\varepsilon(x \otimes x) = x$, $m_\varepsilon(x \otimes y) = y$, $m_\varepsilon(y \otimes x) = y$, $m_\varepsilon(y \otimes y) = y$

This recovers the bialgebra structure of $(\mathbb{Z}/2\mathbb{Z}, \times)$.

For $M_{17}$ (corresponding to H2: $EAS(\mathbb{Z}/2\mathbb{Z}, +)$), similar construction recovers the bialgebra structure of $(\mathbb{Z}/2\mathbb{Z}, +)$.

Experimental Findings

1. Non-Uniqueness of Linearization: The same EAS may correspond to different ℓEAS (e.g., A2 and F1 linearize to isomorphic ℓEAS, but the EAS are non-isomorphic)
2. Symmetry Breaking in Duality: Although EAS and its dual are symmetric at the non-linear level, after linearization, CEDS and dual CEDS may behave differently
3. Restrictions on Special Vectors: Non-zero special vectors can only have eigenvalues 0 or 1 (Lemma 4.8)
4. Role of Right Integrals: Right integrals of Hopf algebras automatically become left cointegrals of the corresponding ℓEAS′ (Proposition 5.16)

Related Work

Parameterized Algebraic Structures

1. Rota-Baxter Family Algebras: Introduced by Ebrahimi-Fard et al. (2007) and Guo (2009) in the context of quantum field theory renormalization, representing the earliest family parameterization concept
2. Development of Family Algebras:
   • Zhang and Gao (2019): Free Rota-Baxter family algebras and (tri)dendriform family algebras
   • Zhang et al. (2020): Matching Rota-Baxter algebras, matching dendriform algebras, and matching pre-Lie algebras
   • Foissy (2021): Typed binary trees and generalized dendriform algebras
3. Applications in Regularity Structures:
   • Bruned, Hairer, and Zambotti (2019): Regularity structures of algebraic renormalization
   • Bruned and Manchon (2023): Algebraic deformations of (S)PDE
   • These works naturally feature matching parameterization

Attempts at Unified Framework

• Foissy and Manchon (2020): Proposed a framework unifying family and matching parameterizations
• The EAS concept in this paper derives from Foissy (2021), continuing this unification effort

Connections with Operadic Theory

EAS is used to define generalizations of associative algebra operads, and CEDS is used to define generalizations of pre-Lie algebra operads. This is closely related to Koszul duality theory:

• Koszul duality of Ω-pre-Lie algebras leads to the concept of dual CEDS
• This paper systematically investigates the relationship between CEDS and dual CEDS

Connections with Bialgebra Theory

While bialgebras and Hopf algebras are classical theories, the functor construction from bialgebras to ℓEAS and the reverse construction (Theorem 5.17) are novel contributions of this paper, establishing new bridges.

Conclusions and Discussion

Main Conclusions

1. Classification Results: Completes the full classification of EAS with cardinality 2, providing a complete picture for small-scale cases
2. Structure Theorem: Proves that finite non-degenerate CEDS can be completely characterized through semidirect products and direct products of groups (Theorem 3.16), the most important structural result of this paper
3. Linearization Theory: Establishes the linear version of EAS (ℓEAS) and reveals its profound connections with bialgebras and Hopf algebras
4. Bidirectional Construction: Both constructs ℓEAS from bialgebras (Propositions 5.1, 5.10) and recovers bialgebra structures from ℓEAS under appropriate conditions (Theorem 5.17)

Limitations

1. Finiteness Assumption: The structure theorem (Theorem 3.16) requires CEDS to be finite; the structure of infinite cases remains unclear
2. Non-Degeneracy Requirement: Many results (particularly the structure theorem) require non-degeneracy; a complete theory for degenerate cases remains to be developed
3. Classification Complexity: EAS with cardinality 3 already has 3 non-degenerate examples; complete classification for larger cardinalities becomes computationally infeasible
4. Application Level: While EAS is theoretically related to regularity structures and operadic theory, specific application details are not expanded in this paper
5. Non-Uniqueness of Linearization: The same EAS may correspond to multiple different ℓEAS, lacking a canonical linearization method

Future Directions

While the paper does not explicitly list future directions, the following research directions can be inferred from the content:

1. Structure of Infinite CEDS: Generalize Theorem 3.16 to the infinite case
2. Higher-Dimensional Classification: Attempt classification of EAS with cardinality 3 or higher (though complete classification may be infeasible)
3. Applications in Operadic Theory: Detailed investigation of how EAS is used to construct new operads
4. Connections with Regularity Structures: Deeper exploration of the role of EAS in the Bruned-Hairer-Zambotti regularity structures theory
5. Categorical Perspective: Study properties of the EAS category from a categorical viewpoint
6. Study of Degenerate Cases: Develop systematic theory for degenerate EAS and CEDS

In-Depth Evaluation

Strengths

1. Theoretical Depth

• Systematicity: The paper establishes a complete theoretical framework for EAS, from basic definitions to structure theorems, with rigorous logic
• Unification: Successfully unifies scattered parameterization concepts in the literature (family parameterization and matching parameterization)
• Innovation: The linearization theory and connections with bialgebras represent entirely new perspectives

2. Technical Contributions

• Structure Theorem (Theorem 3.16): This is the core result of the paper, reducing complex CEDS to combinations of groups and sets, with profound theoretical significance
• Bidirectional Construction: Establishes bidirectional correspondence between ℓEAS and bialgebras, technically very elegant
• Classification Results: While small in scale, the complete classification of cardinality 2 provides important concrete examples for understanding EAS

3. Writing Quality

• Clear definitions with consistent notation system
• Abundant examples aid understanding of abstract concepts
• Detailed proofs with clear logic

4. Richness of Examples

• Matrix representations of 18 two-dimensional ℓEAS
• 13 EAS with cardinality 2
• Multiple construction families based on groups and semigroups

Weaknesses

1. Application Level

• Lack of Concrete Applications: While connections with regularity structures and operadic theory are mentioned, detailed application examples are not provided
• Insufficient Motivation: For non-specialists, the practical significance of studying EAS may not be sufficiently clear

2. Technical Level

• Finiteness Limitations: The most important structure theorem only holds for finite cases; infinite cases are more important in many applications
• Non-Degeneracy Assumption: Many results require non-degeneracy, but classification shows most small-cardinality EAS are degenerate
• Computational Complexity: Classification for cardinality 3 and above becomes computationally infeasible, limiting the applicability of classification results

3. Theoretical Completeness

• Asymmetric Dual Theory: The theoretical development of CEDS and dual CEDS is not completely symmetric; structure theorems for dual CEDS are not provided
• Arbitrariness of Linearization: Linearization from EAS to ℓEAS is not unique, lacking theory for canonical choices

4. Connections with Existing Theory

• Details of Operadic Theory: Connections with operadic theory are mainly mentioned in the introduction; detailed exposition in the main text is lacking
• Missing Categorical Perspective: While functors are mentioned, systematic study of EAS category properties from a categorical viewpoint is absent

Impact

Contribution to the Field

1. Theoretical Foundation: Provides solid theoretical foundation for parameterized algebraic structures
2. Unified Framework: Unifies different parameterization schemes in the literature
3. New Tools: The connection between ℓEAS and bialgebras provides new tools for studying parameterized algebras

Practical Value

1. Indirect Applications: Although this is pure theoretical work, it provides theoretical support for applications such as regularity structures theory
2. Construction Methods: Methods for constructing EAS from groups and semigroups can be used to construct concrete parameterized algebras

Reproducibility

• Theoretical Results: All theorems have complete proofs with strong reproducibility
• Computational Verification: Classification results and matrix representations can be independently verified
• Abundant Examples: Numerous examples facilitate reader understanding and verification of theory

Applicable Scenarios

1. Operadic Theory: Study of generalizations of associative algebra and pre-Lie algebra operads
2. Regularity Structures Theory: Provides algebraic foundation for Bruned-Hairer-Zambotti theory
3. Parameterized Algebras: Any algebraic structure research requiring replacement of single operations with parameter families
4. Hopf Algebra Theory: Provides new perspective for studying Hopf algebras through ℓEAS
5. Combinatorial Algebra: Structure theorem can be used to study combinatorial properties of finite algebraic structures

Overall Assessment

This is a high-quality pure mathematics paper making substantial contributions to extended associative semigroup theory. The structure theorem (Theorem 3.16) is the highlight, reducing complex algebraic structures to combinations of basic components with profound theoretical significance. The linearization theory and connections with bialgebras open new research directions.

The paper's main value lies in theoretical depth rather than direct applications. For researchers in algebra, particularly operadic theory, this is important foundational theoretical work. However, for application-oriented readers, the paper may appear overly abstract.

Recommendation Index: For algebra and operadic theory researchers, ★★★★☆ (4/5); for applied mathematics researchers, ★★★☆☆ (3/5).

References

The paper cites 18 references, with key references including:

1. Bruned, Hairer, Zambotti (2019): Algebraic renormalisation of regularity structures - Introduces algebraic renormalization of regularity structures, an important application context for matching parameterization
2. Ebrahimi-Fard, Gracia-Bondía, Patras (2007): A Lie theoretic approach to renormalization - Introduces Rota-Baxter family algebras
3. Guo (2009): Operated semigroups, Motzkin paths and rooted trees - Systematically studies operated semigroups
4. Zhang, Gao (2019-2020) series: Various algebraic structures with matching and family parameterizations
5. Foissy (2021): Typed binary trees and generalized dendriform algebras - Direct source of the EAS concept in this paper

These references form the theoretical background and motivation sources for this paper.