Document Type
Conference Proceeding
Publication Date
3-8-2023
Abstract
We show that every locally integral involutive partially ordered monoid (ipo-monoid) A = (A,⩽, ·, 1,∼,−), and in particular every locally integral involutive semiring, decomposes in a unique way into a family {Ap : p ∈ A+} of integral ipo-monoids, which we call its integral components. In the semiring case, the integral components are semirings. Moreover, we show that there is a family of monoid homomorphisms Φ = {φpq : Ap → Aq : p ⩽ q}, indexed on the positive cone (A+,⩽), so that the structure of A can be recovered as a glueing R ΦAp 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 {Ap : p ∈ D}, indexed on a lower-bounded join-semilattice (D,∨, 1), along a family of monoid homomorphisms Φ is an ipo-monoid.
Recommended Citation
Gil-Férez, J., Jipsen, P., Lodhia, S. (2023). The Structure of Locally Integral Involutive Po-monoids and Semirings. In: Glück, R., Santocanale, L., Winter, M. (eds) Relational and Algebraic Methods in Computer Science. RAMiCS 2023. Lecture Notes in Computer Science, vol 13896. Springer, Cham. https://doi.org/10.1007/978-3-031-28083-2_5
Copyright
The authors
Comments
This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Relational and Algebraic Methods in Computer Science. RAMiCS 2023. Lecture Notes in Computer Science, volume 13896, in 2023. The final publication may differ and is available at Springer via https://doi.org/10.1007/978-3-031-28083-2_5.