×

On finite presentations of inverse semigroups with zero having polynomial growth. (English) Zbl 1467.20082

Summary: We study growth of inverse semigroups defined by finite presentations. Let \(S\) be a finitely presented Rees quotient of a free inverse semigroup given by an irredundant presentation with \(n\) generators and \(m\) relators. We show that if \(S\) has polynomial growth, then \(m\ge n^2-1\) and this estimate is sharp. For any positive integer \(n\), we also find, up to isomorphism, syntactic descriptions of all presentations that achieve this sharp lower bound. As part of the process, we describe all irredundant presentations of finite Rees quotients of free inverse semigroups having rank \(n\), with the smallest number, namely \(n^2\), of relators.

MSC:

20M18 Inverse semigroups
20M05 Free semigroups, generators and relations, word problems
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Adjan, S.I.: Identities of special semigroups. Dokl. Acad. Nauk. 143, 499-502 (1962). (in Russian) · Zbl 0143.03001
[2] Anick, D.: Generic algebras and CW complexes. In: Browder, W. (ed.) Algebraic Topology and Algebraic K-Theory, pp. 247-321. Princeton University Press, Princeton (1987) · Zbl 0699.55004
[3] Baumslag, B., Pride, S.: Groups with two more generators than relators. J. Lond. Math. Soc. 17, 425-426 (1978) · Zbl 0387.20030
[4] Bass, H.: The degree of polynomial growth of finitely generated nilpotent groups. Proc. Lond. Math. Soc. 25, 603-614 (1972) · Zbl 0259.20045
[5] Bieri, R.: Deficiency and the geometric invariants of a group (with an appendix by Pascal Schweiger). J. Pure Appl. Algebra 208, 951-959 (2007) · Zbl 1175.20044
[6] Clifford, A.H., Preston, G.B.: The Algebraic Theory of Semigroups. Mathematical Surveys No. 7, vol. 1. American Mathematical Society, Providence (1961) · Zbl 0111.03403
[7] de Bruijn, N.G.: A combinatorial problem. K. Ned. Akad. Wet. 49, 758-764 (1946) · Zbl 0060.02701
[8] de la Harpe, P.: Topics in Geometric Group Theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago (2000) · Zbl 0965.20025
[9] Easdown, D., Shneerson, L.M.: Principal Rees quotients of free inverse semigroups. Glasg. Math. J. 45, 263-267 (2003) · Zbl 1050.20041
[10] Easdown, D., Shneerson, L.M.: Growth of Rees quotients of free inverse semigroups defined by small numbers of relators. Int. J. Algebra Comput. 23, 521-545 (2013) · Zbl 1281.20076
[11] Gilman, R.H.: Presentations of groups and monoids. J. Algebra 57, 544-554 (1979) · Zbl 0403.20022
[12] Golod, E.S., Shafarevich, I.R.: On the class field tower. Izv. Akad. Nauk SSSR Ser. Mat. 28, 261-272 (1964). (in Russian) · Zbl 0136.02602
[13] Grigorchuk, R.I.: On Milnor’s problem on the growth of groups. Dokl. Akad. Nauk. 271, 31-33 (1983). (in Russian)
[14] Grigorchuk, Rostislav, Milnor’s problem on the growth of groups and its consequences, 705-774 (2014), Princeton · Zbl 1325.20034
[15] Gromov, M.: Groups of polynomial growth and expanding maps. IHES Publ. Math. 53, 53-73 (1981) · Zbl 0474.20018
[16] Higgins, P.M.: Techniques of Semigroup Theory. Oxford University Press, Oxford (1992) · Zbl 0744.20046
[17] Howie, J.M.: An Introduction to Semigroup Theory. Academic Press, New York (1976) · Zbl 0355.20056
[18] Iyudu, N., Shkarin, S.: Finite dimensional semigroup quadratic algebras with minimal number of relations. Monatsh. Math. 168(2), 239-252 (2012) · Zbl 1254.05009
[19] Krause, G.R., Lenagan, T.H.: Growth of Algebras and Gelfand-Kirillov Dimension. Graduate Studies in Mathematics, vol. 22. American Mathematical Society, Providence (2000) · Zbl 0957.16001
[20] Lau, J.: Growth of a class of inverse semigroups. Ph.D. thesis, University of Sydney, Sydney (1997)
[21] Lau, J.: Rational growth of a class of inverse semigroups. J. Algebra 204, 406-425 (1998) · Zbl 0910.20043
[22] Lau, J.: Degree of growth of some inverse semigroups. J. Algebra 204, 426-439 (1998) · Zbl 0910.20044
[23] Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, Singapore (1998) · Zbl 1079.20505
[24] Lothaire, M.: Algebraic Combinatorics on Words. Cambridge University Press, Cambridge (2002) · Zbl 1001.68093
[25] Mann, A.: How Groups Grow. London Mathematical Society Lecture Note Series, vol. 395. Cambridge University Press, Cambridge (2012) · Zbl 1253.20032
[26] Milnor, J.W.: A note on curvature and fundamental group. J. Diff. Geom. 2, 1-7 (1968) · Zbl 0162.25401
[27] Munn, W.D.: Free inverse semigroups. Proc. Lond. Math. Soc. 29(3), 385-404 (1974) · Zbl 0305.20033
[28] Neumann, B.H.: Some remarks on semigroup presentations. Can. J. Math. 19, 1018-1026 (1967) · Zbl 0189.30503
[29] Okninski, J.: Semigroup Algebras. Marcel Dekker, New York (1980) · Zbl 0725.16001
[30] Piochi, B.: Quasi-abelian and quasi-solvable regular semigroup. Le Mat. 51, 167-182 (1996) · Zbl 0902.20026
[31] Rauzy, G.: Suite à termes dans un alphabet fini. Séminaire de Théorie des Nombres de Bordeaux Exposé 25, 1-16 (1982-1983) · Zbl 0547.10048
[32] Reilly, N.R.: Free generators in free inverse semigroups. Bull. Austral. Math. Soc. 7, 407-424 (1972) · Zbl 0238.20077
[33] Romanovskii, N.S.: Free subgroups in finitely presented groups. Algebra Log. 16, 88-97 (1977). (in Russian) · Zbl 0384.20030
[34] Sapir, M.: Combinatorial Algebra: Syntax and Semantics. With Contributions by Victor S. Guba and Mikhail V. Volkov. Springer Monographs in Mathematics (2014) · Zbl 1319.05001
[35] Schein, B.M.: Representations of generalised groups. Izv. Vyss. Ucebn. Zav. Matem. 3(28), 164-176 (1962). (in Russian) · Zbl 0228.20062
[36] Shirayanagi, Kiyoshi, A Classification of Finite-dimensional Monomial Algebras, 469-481 (1991), Boston, MA · Zbl 0737.16006
[37] Shirshov, A.I.: On rings with identity relations. Mat. Sb. 43, 277-283 (1957). (in Russian) · Zbl 0078.02402
[38] Shneerson, L.M.: Identities in finitely presented semigroups. Log. Algebra Comput. Math. 2(1), 163-201 (1973). (in Russian)
[39] Shneerson, L.M.: Free subsemigroups of finitely presented semigroups. Sib. Mat. Zh. 15, 450-454 (1974). (in Russian) · Zbl 0279.20049
[40] Shneerson, L.M.: Finitely presented semigroups with nontrivial identities. Sib. Mat. Zh. 23, 124-133 (1982). (in Russian) · Zbl 0506.20025
[41] Shneerson, L.M.: Identities and a bounded height condition for semigroups. Int. J. Algebra Comput. 13, 565-583 (2003) · Zbl 1065.20068
[42] Shneerson, L.M.: On growth, identities and free subsemigroups for inverse semigroups of deficiency one. Int. J. Algebra Comput. 25, 233-258 (2015) · Zbl 1327.20057
[43] Shneerson, L.M., Easdown, D.: Growth and existence of identities in a class of finitely presented inverse semigroups with zero. Int. J. Algebra Comput. 6, 105-121 (1996) · Zbl 0849.20038
[44] Shneerson, L.M., Easdown, D.: Growth of finitely presented Rees quotients of free inverse semigroups. Int. J. Algebra Comput. 21, 315-328 (2011) · Zbl 1236.20061
[45] Shvarts, A.: A volume invariant of coverings. Dokl. Akad. Nauk. SSSR 105, 32-34 (1955). (in Russian) · Zbl 0066.15903
[46] Stöhr, R.: Groups with one more generator than relators. Math. Z. 182, 45-47 (1983) · Zbl 0509.20021
[47] Ufnarovsky, V.A.: Growth criterion for graphs and algebras given by words. Mat. Zam. 31(3), 465-472 (1982). (in Russian) · Zbl 0491.05041
[48] Ufnarovsky, V.A.: Combinatorial and Asymptotic Methods in Algebra. Algebra VI, Encyclopedia of Mathematical Sciences, Springer, Berlin (1995) · Zbl 0826.00010
[49] Vinberg, E.V.: On the theorem concerning the infinite-dimensionality of an associative algebra. Izv. Akad. Nauk. SSSR Ser. Mat. 29(1), 209-214 (1965). (in Russian) · Zbl 0171.29401
[50] Wilson, J.S.: Soluble groups of deficiency \[11\]. Bull. Lond. Math. Soc. 28, 476-480 (1996) · Zbl 0858.20021
[51] Wolf, J.: Growth of finitely generated solvable groups and curvature of Riemannian manifolds. J. Differ. Geom. 2, 421-446 (1968) · Zbl 0207.51803
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.