2013/12/19 by Bana Al Subaiei, Subaiei, Bana Al, James Renshaw +1
Computer Science · #06F05 #20M30 #20M5 #Advanced Algebra and Logic #FOS: Mathematics #Group Theory (math.GR) #Logic, programming, and type systems #semigroups and automata theory
paper · pdf · doi:10.48550/arxiv.1312.5589
openalex publication_date 2013/12/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The study of amalgamation in the category of partially ordered monoids was initiated by Fakhuruddin in the 1980s. In 1986 he proved that, in the category of commutative pomonoids, every absolutely flat commutative pomonoid is a weak amalgmation base and every commutative pogroup is a strong amalgamation base. Some twenty years later, Bulman-Fleming and Sohail in 2011 extended this work to what they referred to as pomonoid amalgams. In particular they proved that pogroups are poamalgmation bases in the category of pomonoids. Sohail, also in 2011, proved that absolutely poflat commutative pomonoids are poamalgmation bases in the category of commutative pomonoids. In the present paper we extend the work on pomonoid amalgams by generalising the work of Renshaw on amalgams of monoids and extension properties of acts over monoids.