We consider semigroup amalgams (S; T1, T2) in which T1 and T2 are inverse semigroups and S is a non-inverse semigroup. They are known to be non-embeddable if T1 and T2 are both groups (Clifford semigroups), but S is not such. We prove that (S; T1, T2) is non-embeddable if S is a non-inverse ample semigroup. By introducing the notion of rich ampleness, we determine some necessary and sufficient conditions for the weak embedding of (S; T1, T2) in an inverse semigroup. In particular, (S; T1, T2) is shown to be weakly embeddable in a group if T1 and T2 are groups. A rudimentary analysis of the novel classes of rich ample semigroups is also provided.
1. Clifford, A. H. and Preston, G. B. The Algebraic Theory of Semigroups. Mathematical Surveys and Monographs, 7(1), 21. Providence, RI, 1961.
2. Fountain, J., Gomes, G. M. S. and Gould, V. The free ample monoid. Int. J. Algebra Comput., 2009, 19(4), 527–554.
https://doi.org/10.1142/S0218196709005214
3. Gould, V. and Kambites, M. Faithful functors from cancellative categories to cancellative monoids with an application to ample semigroups. Int. J. Algebra Comput., 2005, 15(4), 683–698.
https://doi.org/10.1142/S0218196705002451
4. Howie, J. M. Fundamentals of Semigroup Theory. Clarendon Press, Oxford, 1995.
https://doi.org/10.1093/oso/9780198511946.001.0001
5. Howie, J. M. Embedding theorems with amalgamation for semigroups. Proc. London Math. Soc., 1962, s3-12(1), 511–534.
https://doi.org/10.1112/plms/s3-12.1.511
6. Lawson, M. V. Inverse Semigroups. The Theory of Partial Symmetries. World Scientific, 1998.
https://doi.org/10.1142/3645
7. Rahkema, K. and Sohail, N. A note on embedding of semigroup amalgams. Acta Comment. Univ. Tartu Math., 2014, 18(2), 261–263.
https://doi.org/10.12697/ACUTM.2014.18.21
8. Sohail, N. and Umar, A. On dominions of certain ample monoids. Acta Comment. Univ. Tartu Math., 2023, 27(1), 17–28.
https://doi.org/10.12697/ACUTM.2023.27.02
