Generators and relations of direct products of semigroups

Robertson, E.; Ruškuc, N.; Wiegold, J.

doi:10.1090/S0002-9947-98-02074-1

Generators and relations of direct products of semigroups
HTML articles powered by AMS MathViewer

by E. F. Robertson, N. Ruškuc and J. Wiegold PDF

Trans. Amer. Math. Soc. 350 (1998), 2665-2685 Request permission

Abstract:

The purpose of this paper is to give necessary and sufficient conditions for the direct product of two semigroups to be finitely generated, and also for the direct product to be finitely presented. As a consequence we construct a semigroup $S$ of order 11 such that $S\times T$ is finitely generated but not finitely presented for every finitely generated infinite semigroup $T$. By way of contrast we show that, if $S$ and $T$ belong to a wide class of semigroups, then $S\times T$ is finitely presented if and only if both $S$ and $T$ are finitely presented, exactly as in the case of groups and monoids.

References

C. M. Campbell, E. F. Robertson, N. Ruškuc, and R. M. Thomas, Reidemeister-Schreier type rewriting for semigroups, Semigroup Forum 51 (1995), no. 1, 47–62. MR 1336997, DOI 10.1007/BF02573619
C.M. Campbell, E.F. Robertson, N. Ruškuc and R.M. Thomas, On subsemigroups of finitely presented semigroups, J. Algebra 180 (1996), 1–21.
C.M. Campbell, E.F. Robertson, N. Ruškuc and R.M. Thomas, Presentations for subsemigroups—applications to ideals of semigroups, J. Pure Appl. Algebra, to appear.
C. M. Campbell, E. F. Robertson, N. Ruškuc, and R. M. Thomas, On subsemigroups and ideals in free products of semigroups, Internat. J. Algebra Comput. 6 (1996), no. 5, 571–591. MR 1419132, DOI 10.1142/S0218196796000325
Keresztély Corrádi and Sándor Szabó, A new proof of Rédei’s theorem, Pacific J. Math. 140 (1989), no. 1, 53–61. MR 1019066
P.A. Grillet, A short proof of Redei’s theorem, Semigroup Forum 46 (1993), 126–127.
P. Hall, The eulerian functions of a group, Quart. J. Math. 7 (1936), 134–151.
Peter M. Higgins, Techniques of semigroup theory, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1992. With a foreword by G. B. Preston. MR 1167445
J.M. Howie, Fundamentals of Semigroup Theory, Clarendon Press, Oxford, 1995.
John M. Howie and N. Ruškuc, Constructions and presentations for monoids, Comm. Algebra 22 (1994), no. 15, 6209–6224. MR 1302999, DOI 10.1080/00927879408825184
Andrzej Jura, Coset enumeration in a finitely presented semigroup, Canad. Math. Bull. 21 (1978), no. 1, 37–46. MR 486223, DOI 10.4153/CMB-1978-007-x
Andrzej Jura, Determining ideals of a given finite index in a finitely presented semigroup, Demonstratio Math. 11 (1978), no. 3, 813–827. MR 522892
Andrzej Jura, Some remarks on nonexistence of an algorithm for finding all ideals of a given finite index in a finitely presented semigroup, Demonstratio Math. 13 (1980), no. 2, 573–578. MR 599283
Wilhelm Magnus, Abraham Karrass, and Donald Solitar, Combinatorial group theory: Presentations of groups in terms of generators and relations, Interscience Publishers [John Wiley & Sons], New York-London-Sydney, 1966. MR 0207802
K. A. Hirsch, On skew-groups, Proc. London Math. Soc. 45 (1939), 357–368. MR 0000036, DOI 10.1112/plms/s2-45.1.357
S.J. Pride, Geometric methods in combinatorial semigroup theory, Semigroups, Formal Languages and Groups, J. Fountain (ed.), Kluwer, Dordrecht, 1995, pp. 215–232.
László Rédei, The theory of finitely generated commutative semigroups, Pergamon Press, Oxford-Edinburgh-New York, 1965. Translation edited by N. Reilly. MR 0188322
Edmund F. Robertson and Yusuf Ünlü, On semigroup presentations, Proc. Edinburgh Math. Soc. (2) 36 (1993), no. 1, 55–68. MR 1200187, DOI 10.1017/S0013091500005897
N. Ruškuc, Matrix semigroups—generators and relations, Semigroup Forum 51 (1995), no. 3, 319–333. MR 1351958, DOI 10.1007/BF02573640
N. Ruškuc, Semigroup Presentations, Ph.D. Thesis, University of St Andrews, St Andrews, Scotland, 1995.
N. Ruškuc, On large subsemigroups and finiteness conditions of semigroups, Proc. London Math. Soc., to appear.
N. Ruškuc and R.M. Thomas, Syntactic and Rees indices of subsemigroups, submitted.
Charles C. Sims, Computation with finitely presented groups, Encyclopedia of Mathematics and its Applications, vol. 48, Cambridge University Press, Cambridge, 1994. MR 1267733, DOI 10.1017/CBO9780511574702
J.A. Todd and H.S.M. Coxeter, A practical method for enumerating the cosets of a finite abstract group, Proc. Edinburgh Math. Soc. 5 (1936), 26–34.
T.G. Walker, Semigroup Enumeration – Computer Implementation and Applications, Ph.D. Thesis, University of St Andrews, St Andrews, Scotland, 1992.
James Wiegold, Growth sequences of finite groups. III, J. Austral. Math. Soc. Ser. A 25 (1978), no. 2, 142–144. MR 499355