Abstract
We study left and right negatively orderable semigroups, natural one-sided generalizations of negatively orderable semigroups, in the wide class \({\mathfrak {C}}\) of semigroups where every element has a left and a right identity. In semigroups in \({\mathfrak {C}}\) the smallest left and smallest right negatively orderable congruences \(\theta _{{ }_{{\mathrm {LNO}}}}\) and \(\theta _{{ }_{{\mathrm {RNO}}}}\) commute; furthermore, we have: \(\theta _{{ }_{{\mathrm {LNO}}}}\circ \theta _{{ }_{{\mathrm {RNO}}}}=\theta _{{ }_{{\mathrm {RNO}}}}\circ \theta _{{ }_{{\mathrm {LNO}}}}=\theta _{{ }_{{\mathrm {RNO}}}}\vee \theta _{{ }_{{\mathrm {LNO}}}}=\theta _{{ }_{{\mathbf {{\mathrm {NO}}}}}}\), where \(\theta _{{ }_{{\mathbf {{\mathrm {NO}}}}}}\) is the smallest negatively orderable congruence. These properties give rise to the following decomposition: for every semigroup S in \({\mathfrak {C}}\), \(S/(\theta _{{ }_{{\mathrm {LNO}}}}\cap \theta _{{ }_{{\mathrm {RNO}}}})\) is isomorphic to the spined product of the largest left and the largest right negatively orderable images \(S/\theta _{{ }_{{\mathrm {LNO}}}}\) and \(S/\theta _{{ }_{{\mathrm {RNO}}}}\) of S over its largest negatively orderable image \(S/\theta _{{ }_{{\mathbf {{\mathrm {NO}}}}}}\). Descriptions of finite left (right) negatively orderable semigroups and of \((\theta _{{}_{{\mathrm {LNO}}}}\cap \theta _{{}_{{\mathrm {RNO}}}})\)-trivial semigroups in \({\mathfrak {C}}\) are obtained and the pseudovarieties generated by these semigroups are determined. A regular semigroup is left (right) negatively orderable if and only if it is a right (left) normal band. Counterexamples of semigroups where \(\theta _{{ }_{{\mathrm {LNO}}}}\circ \theta _{{ }_{{\mathrm {RNO}}}} \ne \theta _{{ }_{{\mathrm {RNO}}}}\circ \theta _{{ }_{{\mathrm {LNO}}}}\) and \(\theta _{{ }_{{\mathrm {LNO}}}}\vee \theta _{{ }_{{\mathrm {RNO}}}} \ne \theta _{{ }_{{\mathbf {{\mathrm {NO}}}}}}\) are presented.
Similar content being viewed by others
References
Birkhoff, G.: On the structure of abstract algebras. Proc. Camb. Philos. Soc. 31, 433–454 (1935)
Ćirić, M., Bogdanović, S.: Spined products of some semigroups. Proc. Jpn. Acad. Ser. A 69(9), 357–362 (1993)
Fountain, J.: Adequate semigroups. Proc. Edinb. Math. Soc. 22(2), 113–125 (1979)
Fountain, J.: Abundant semigroups. Proc. Lond. Math. Soc. 44, 103129 (1982)
Fuchs, L.: Partially Ordered Algebraic Systems. Pergamon Press, Oxford (1963)
Gomes, G.M.S., Gould, V.: Proper weakly left ample semigroups. Int. J. Algebra Comput. 9(06), 721–739 (1999)
Gould, V., Shaheen, L.: Perfection for pomonoids. Semigroup Forum 81(1), 102–127 (2010)
Grillet, P.A.: Semigroups. An Introduction to the Structure Theory, Vol. 193 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekkel Inc., New York (1995)
Heatherly, H.E., Tucci, R.P.: Negatively ordered semigroups. JP J. Algebra Number Theory Appl. 30(1), 81–97 (2013)
Henckell, K., Pin, J.-E.: Ordered monoids and \({\cal{J}}\)-trivial monoids. In: Birget, J.-C., Margolis, S., Meakin, J., Sapir, M.V. (eds.) Algorithmic Problems in Groups and Semigroups, pp. 121–137. Birkhäuser, Boston (2000)
Howie, J.M.: Fundamentals of Semigroup Theory. Clarendon Press, Oxford (1995)
Juhász, Z., Vernitski, A.: Filters in (quasiordered) semigroups and lattices of filters. Commun. Algebra 39(11), 4319–4335 (2011)
Juhász, Z., Vernitski, A.: Using filters to describe congruences and band congruences of semigroups. Semigroup Forum 83(2), 320–334 (2011)
Juhász, Z., Vernitski, A.: Semigroups with operation-compatible Green’s quasiorders. Semigroup Forum 93(2), 387–402 (2016)
Juhász, Zs.: Left and right negatively orderable semigroups and a one-sided version of Simon’s theorem. Semigroup Forum 96(2), 377–395 (2018)
Petrich, M.: Homomorphisms of semigroups onto normal bands. Acta Sci. Math. Soc. 27, 185–196 (1966)
Pin, J.-E.: A variety theorem without complementation. Izvestiya VUZ Matematika 39, 80–90 (1995). English version: Russian Mathem. (Iz. VUZ) 39, 74–83 (1995)
Pin, J.-E.: Syntactic semigroups. In: Handbook of Formal Languages, vol. 1, pp. 679–746. Springer, Berlin (1997)
Satyanarayana, M.: Positively Ordered Semigroups, Lecture Notes in Pure and Applied Mathematics, vol. 42. Marcel Dekker Inc, New York (1979)
Simon, I.: Piecewise testable events. In: Proc. 2nd GI Conf., Lect. Notes in Comp. Sci., vol. 33, pp. 34–55. Springer, Berlin, Heidelberg, New York (1989)
Straubing, H., Thérien, D.: Partially ordered monoids and a theorem of I. Simon. J. Algebra 119, 393–399 (1988)
Vernitski, A.S.: Studying semigroups of mappings using quasi-identities. Semigroup Forum 63, 387–395 (2001)
Vernitski, A.S.: Ordered and J-trivial semigroups as divisors of semigroups of languages. Int. J. Algebra Comput. 18(7), 1223–1229 (2008)
Yamada, M., Kimura, N.: Note on idempotent semigroups II. Proc. Jpn. Acad. 34, 110112 (1958)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jean-Eric Pin.
Dedicated to my Grandmother, Juhász Lorándné Száz Judit.
Rights and permissions
About this article
Cite this article
Juhász, Z. Left and right negatively orderable semigroups where every element has a left and a right identity. Semigroup Forum 97, 417–434 (2018). https://doi.org/10.1007/s00233-018-9937-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-018-9937-2