×

Varieties of regular semigroups with uniquely defined inversion. (English) Zbl 1468.20098

Summary: Inverse semigroups and completely regular semigroups share some nice properties and in a certain sense, they are the top success stories in semigroup theory. Therefore a reasonable goal is to find other classes of regular semigroups with the same nice shared properties and try to replicate the successful structure theories achieved for those two classes. Perhaps surprisingly, the semigroup literature is mute on examples of other classes of regular semigroups with the same nice properties, while semigroupists, for decades, voiced the metamathematical conviction of the hopelessness of such a goal. Our guess is that many have tried that approach, but always failed, thus unable to publish (the muteness of the literature) and convinced that the path leads to nowhere (the metamathematical conviction).
The aim of this paper is to provide some mathematical content for that metamathematical conviction. In his celebrated theorem, K. Arrow wrote down the nice properties a voting system should have and then went on to prove that no system has those properties. We follow a similar path by writing down the nice common properties of inverse semigroups and of completely regular semigroups, and then show that, under some constraints, any variety having those nice properties is contained in one of the other two (if not in both). The proof of this theorem is by exhaustion: all possible varieties (under certain constraints) are written down, and each one is tested regarding the possession of the nice properties. Many pass the test, but then all of them turn out to be varieties of inverse or completely regular semigroups. This proof requires thousands of lemmas and was only possible because we used ProverX, a system aimed at playing in automated reasoning the same role GAP or MAGMA plays in symbolic computation.
The paper ends with some problems for experts in semigroups, equational logic and computer science.

MSC:

20M07 Varieties and pseudovarieties of semigroups
20M17 Regular semigroups
20M18 Inverse semigroups
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] J. Arau´jo and J. Duarte, XPlain.http://www.ciul.ul.pt/ mjoao/xplain.zip
[2] J. Arau´jo, P. J. Cameron, J. D. Mitchell and M. Neunho¨¤er, The classification of normalizing groups,J. Algebra,373(2013), 481-490. · Zbl 1277.20073
[3] J. Arau´jo and M. Kinyon, On a problem of M. Kambites regarding abundant semigroups,Comm. Algebra40(2012), 4439-4447. · Zbl 1263.20055
[4] J. Arau´jo and M. Kinyon, An elegant 3-basis for inverse semigroups,Semigroup Forum82(2011), 319-323. · Zbl 1222.20043
[5] J. Arau´jo and M. Kinyon, Axioms for unary semigroups via division operations, Comm. Algebra40(2012), 719-737. · Zbl 1261.20067
[6] J. Arau´jo, M. Kinyon and A. Malheiro, A characterization of adequate semigroups by forbidden subsemigroups,Proc. Roy. Soc. Edinburgh Sect. A143(2013), 1115-1122. · Zbl 1302.20060
[7] J. Arau´jo, M. Kinyon and R. Padmanabhan. A 2-base for inverse semigroups, arxiv.org/abs/1210.3285
[8] J. Arau´jo and W. McCune, Computer solutions of problems in inverse semigroups, Comm. Algebra38(2010), 1104-1121. · Zbl 1202.20065
[9] K. J. Arrow, A di‰culty in the concept of social welfare.J. Political Economy58:4 (1950), 328-3466.
[10] K. Auinger, G. M. S. Gomes, V. A. R. Gould and B. Steinberg, An application of a theorem of Ash to finite covers,Studia Logica78(2004), 45-57. · Zbl 1073.20051
[11] M. Branco, G. Gomes and V. A. R. Gould, Extensions and covers for semigroups whose idempotents form a left regular band,Semigroup Forum81(2010), 51-70. · Zbl 1237.20055
[12] M. Branco, G. Gomes and V. A. R. Gould, Left adequate and left Ehresmann monoids,Int. J. Algebra Comp.21(2011), 1259-1284. · Zbl 1250.20041
[13] R. H. Bruck,A Survey of Binary Systems, Springer-Verlag, 1971. · Zbl 0206.30301
[14] A. H. Cli¤ord and G. B. Preston,The algebraic theory of semigroups, Vol. I. Mathematical Surveys, No. 7, American Mathematical Society, Providence, R.I. 1961. · Zbl 0111.03403
[15] C. Cornock and V. A. R. Gould, Proper restriction semigroups and partial actions, J. Pure Applied Algebra216(2012), 935-949. · Zbl 1258.20047
[16] J. B. Fountain, Free righth-adequate semigroups,Semigroups, theory and applications (Oberwolfach,1986), 97-120, Lecture Notes in Math.1320, Springer, Berlin, 1988. · Zbl 0657.20049
[17] J. B. Fountain, Abundant semigroups.Proc. London Math. Soc.44(1982), 103-129. · Zbl 0481.20036
[18] J. B. Fountain, G. Gomes and V. A. R. Gould, The free ample monoid,Int. J. Algebra Comp.19(2009), 527-554. · Zbl 1192.20041
[19] Fountainfest, ‘‘Semigroups, categories and automata,’’ A conference celebrating John Fountain’s 65th birthday and his mathematical achievements, 12-14 October 2006, University of York,http://maths.york.ac.uk/www/Fountainfest
[20] The GAP Group,GAP - Groups, Algorithms, and Programming, Version4.4.12, 2008.
[21] G. Gomes and V. A. R. Gould, Left adequate and left Ehresmann monoids II, J. Algebra348(2011), 171-195. · Zbl 1250.20042
[22] V. A. R. Gould, Restriction and Ehresmann semigroups,Proceedings of the International Conference on Algebra2010, 265-288, Advances in Algebraic Structures, World Sci. Publ., Hackenack, NJ, 2012. · Zbl 1264.20067
[23] V. A. R. Gould, Notes on restriction semigroups and related structures, http://www-users.york.ac.uk/ varg1/restriction.pdf
[24] V. A. R. Gould and C. Hollings, Partial actions of inverse and weakly left E-ample semigroups,J. Australian Math. Soc.86(2009), 355-377. · Zbl 1191.20075
[25] V. A. R. Gould and C. Hollings, Restriction semigroups and inductive constellations, Comm. Algebra38(2010), 261-287. · Zbl 1251.20062
[26] V. A. R. Gould and C. Hollings, Actions and partial actions of inductive constellations,Semigroup Forum,82(2011), 35-60. · Zbl 1222.20045
[27] V. A. R. Gould and M. Kambites, Faithful functors from cancellative categories to cancellative monoids, with an application to abundant semigroups,Int. J. Algebra Comp.15(2005), 683-698. · Zbl 1087.20040
[28] T. E. Hall, A concept of variety for regular semigroups,Monash Conference on Semigroup Theory(Melbourne,1990), 101-115, World Sci. Publ., River Edge, NJ, 1991. · Zbl 1038.20503
[29] L. Henkin, J. Monk and A. Tarski, Cylindric algebras, Part I, Studies in Logic and the Foundations of Mathematics, Vol.64, North-Holland Publishing Co., AmsterdamLondon, 1971. · Zbl 0214.01302
[30] P. Higgins and M. Jackson, Algebras defined by equations,arXiv:1810.13012 · Zbl 1471.20038
[31] T. Hillenbrand,Waldmeister,http://www.mpi-inf.mpg.de/ hillen/waldmeister/
[32] J. M. Howie,Fundamentals of Semigroup Theory, Oxford Science Publications, Oxford, (1995). · Zbl 0835.20077
[33] J. M. Howie and J. L. Selfridge, A semigroup embedding problem and an arithmetical function,Math. Proc. Cambridge Philos. Soc.109:2(1991), 277-286. · Zbl 0744.20047
[34] M. Jackson and T. Stokes, Modal restriction semigroups: towards an algebra of functions,Internat. J. Algebra Comput.21(2011), 1053-1095. · Zbl 1256.20058
[35] J. Kad’ourek and L. Pola´k, On the word problem for free completely regular semigroups,Semigroup Forum34(1986), 127-138. · Zbl 0607.20031
[36] G. Kolata, Computer Math Proof Shows Reasoning Power,The New York Times, December 10, 1996,www.nytimes.com/library/cyber/week/1210math.html
[37] M. V. Lawson,Inverse semigroups. The theory of partial symmetries, World Sci. Publ. Co., Inc., River Edge, NJ, 1998. · Zbl 1079.20505
[38] S. Lipscomb,Symmetric inverse semigroups, Mathematical Surveys and Monographs, 46. American Mathematical Society, Providence, RI, 1996. · Zbl 0857.20047
[39] W. McCune,Prover9 and Mace4,https://www.cs.unm.edu/ mccune/prover9/.
[40] W. McCune and O. Shumsky, Ivy: A preprocessor and proof checker for first-order logic, Ch. 16, in M. Kaufmann, P. Manolios and J Moore (eds.),Computer-Aided Reasoning: ACL2 Case Studies, Kluwer Academic, 2000. · Zbl 0963.68527
[41] G. F. McNulty, A field guide to equational logic,J. Symbolic Comput.14(1992), 371-397. · Zbl 0781.03011
[42] T. E. Nordahl and H. E. Scheiblich,Regular?-semigroups, Semigroup Forum16 (1978), no. 3, 369-377. · Zbl 0408.20043
[43] A. L. T. Paterson,Groupoids, inverse semigroups, and their operator algebras, Progress in Mathematics170, Birkha¨user Boston, Inc., Boston, MA, 1999. · Zbl 0913.22001
[44] M. Petrich,Inverse semigroups, Pure and Applied Mathematics (New York). A WileyInterscience Publication. John Wiley & Sons, Inc., New York, 1984. · Zbl 0546.20053
[45] M. Petrich, Onesided inverses for semigroups.Acta Math. Univ. Comenianae, Vol. LXXV,1(2006), 1-19. · Zbl 1156.20055
[46] M. Petrich and N. Reilly,Completely regular semigroups. Canadian Mathematical Society Series of Monographs and Advanced Texts,23. A Wiley-Interscience Publication. John Wiley & Sons, Inc., New York, 1999. · Zbl 0967.20034
[47] D. Pigozzi, Equational logic and equational theories of algebras, Mimeographed at Iowa State University, 1970, and reissued at Purdue University, 1975. · Zbl 0436.03021
[48] G. B. Preston, Products of inverse semigroups,Collect. Math.46(1995), 151-157. · Zbl 0847.20060
[49] Y. Robert,ProverX,http://proverx.com/login.php
[50] B. M. Schein, On the theory of generalized groups and generalized heaps,Amer. Math. Soc. Transl., (2)113, (1979), 89-122. · Zbl 0404.20055
[51] T. Stokes, Comparison semigroups and algebras of transformations,Semigroup Forum 81no. 2, (2010), 325-334. · Zbl 1207.20060
[52] W. Taylor, Equational logic,Houston J. Math.37(1979) (survey), 1-83. · Zbl 0421.08004
[53] P. G. Trotter, Unary semigroup joins of varieties of inverse and completely regular semigroups,Monash Conference on Semigroup Theory(Melbourne,1990), 296-305, World Sci. Publ., River Edge, NJ, 1991. · Zbl 1038.20512
[54] Y.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.