José Gil-Férez ; Peter Jipsen ; Melissa Sugimoto - Locally Integral Involutive PO-Semigroups

fi:12449 - Fundamenta Informaticae, December 30, 2025, Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024 - https://doi.org/10.46298/fi.12449
Locally Integral Involutive PO-SemigroupsArticle

Authors: José Gil-Férez ; Peter Jipsen ; Melissa Sugimoto

    We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) $\mathbf A = (A,\le, \cdot, \sim,-)$, and in particular every locally integral involutive semiring, decomposes in a unique way into a family $\{\mathbf A_p : p\in A^+\}$ of integral ipo-monoids, which we call its integral components. In the semiring case, the integral components are unital semirings. Moreover, we show that there is a family of monoid homomorphisms $Φ= \{φ_{pq}: \mathbf A_p\to \mathbf A_q : p\le q\}$, indexed over the positive cone $(A^+,\le)$, so that the structure of $\mathbf A$ can be recovered as a glueing $\int_Φ\mathbf A_p$ of its integral components along $Φ$. Reciprocally, we give necessary and sufficient conditions so that the Płonka sum of any family of integral ipo-monoids $\{\mathbf A_p : p\in D\}$, indexed over a join-semilattice $(D,\lor)$ along a family of monoid homomorphisms $Φ$ is an ipo-semigroup.


    Volume: Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024
    Published on: December 30, 2025
    Accepted on: August 8, 2024
    Submitted on: October 20, 2023
    Keywords: Logic, 06F05 (Primary) 03G10, 06B15, 06E75 (Secondary)