×

Universal locally finite maximally homogeneous semigroups and inverse semigroups. (English) Zbl 1498.20139

Summary: In 1959, P. Hall [J. Lond. Math. Soc. 34, 305–319 (1959; Zbl 0088.02301)] introduced the locally finite group \(\mathcal{U}\), today known as Hall’s universal group. This group is countable, universal, simple, and any two finite isomorphic subgroups are conjugate in \(\mathcal{U}\). It can explicitly be described as a direct limit of finite symmetric groups. It is homogeneous in the model-theoretic sense since it is the Fraïssé limit of the class of all finite groups. Since its introduction Hall’s group and several natural generalisations have been studied widely. In this article we use a generalisation of Fraïssé’s theory to construct a countable, universal, locally finite semigroup \(\mathcal{T}\), that arises as a direct limit of finite full transformation semigroups, and has the highest possible degree of homogeneity. We prove that it is unique up to isomorphism among semigroups satisfying these properties. We prove an analogous result for inverse semigroups, constructing a maximally homogeneous universal locally finite inverse semigroup \(\mathcal{I}\) which is a direct limit of finite symmetric inverse semigroups (semigroups of partial bijections). The semigroups \(\mathcal{T}\) and \(\mathcal{I}\) are the natural counterparts of Hall’s universal group for semigroups and inverse semigroups, respectively. While these semigroups are not homogeneous, they still exhibit a great deal of symmetry. We study the structural features of these semigroups and locate several well-known homogeneous structures within them, such as the countable generic semilattice, the countable random bipartite graph, and Hall’s group itself.

MSC:

20M10 General structure theory for semigroups
20M20 Semigroups of transformations, relations, partitions, etc.
03C60 Model-theoretic algebra

Citations:

Zbl 0088.02301
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

References:

[1] M. H. Albert and S. N. Burris, Finite axiomatizations for existentially closed posets and semilattices, Order 3 (1986), no. 2, 169-178. · Zbl 0611.03013
[2] P. J. Cameron and S. Tarzi, Limits of cubes, Topology Appl. 155 (2008), no. 14, 1454-1461. · Zbl 1153.54004
[3] O. Caramello, Topological Galois theory, Adv. Math. 291 (2016), 646-695. · Zbl 1401.18007
[4] G. T. Clarke, On completely regular semigroup varieties and the amalgamation property, Semigroups (Clayton 1979), Academic Press, New York (1980), 159-165. · Zbl 0569.20048
[5] A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups. Vol. I, Math. Surveys 7, American Mathematical Society, Providence, 1961. · Zbl 0111.03403
[6] M. Dalle Molle, Sylow subgroups which are maximal in the universal locally finite group of Philip Hall, J. Algebra 215 (1999), no. 1, 229-234. · Zbl 0929.20030
[7] S. Donkin, K_{0} of Hall’s universal group, J. Algebra 306 (2006), no. 1, 47-61. · Zbl 1106.19002
[8] M. Doucha, Universal actions of locally finite groups on metric and Banach spaces by isometries, preprint (2016), .
[9] M. Droste, Finite axiomatizations for universal domains, J. Logic Comput. 2 (1992), no. 2, 119-131. · Zbl 0776.68080
[10] M. Droste and R. Göbel, A categorical theorem on universal objects and its application in abelian group theory and computer science, Proceedings of the International Conference on Algebra. Part 3 (Novosibirsk 1989), Contemp. Math. 131, American Mathematical Society, Providence (1992), 49-74. · Zbl 0759.18002
[11] M. Droste and R. Göbel, Universal domains and the amalgamation property, Math. Structures Comput. Sci. 3 (1993), no. 2, 137-159. · Zbl 0803.68068
[12] M. Droste, D. Kuske and J. K. Truss, On homogeneous semilattices and their automorphism groups, Order 16 (1999), no. 1, 31-56. · Zbl 0945.06001
[13] D. Evans, Homogeneous structures, omega-categoricity and amalgamation constructions, Lecture notes from talks given at the Hausdorff Institute for Mathematics, 2013, .
[14] R. L. Graham, On finite 0-simple semigroups and graph theory, Math. Systems Theory 2 (1968), 325-339. · Zbl 0177.03103
[15] P. Hall, Some constructions for locally finite groups, J. Lond. Math. Soc. 34 (1959), 305-319. · Zbl 0088.02301
[16] T. E. Hall, Free products with amalgamation of inverse semigroups, J. Algebra 34 (1975), 375-385. · Zbl 0326.20054
[17] T. E. Hall, Representation extension and amalgamation for semigroups, Quart. J. Math. Oxford Ser. (2) 29 (1978), no. 115, 309-334. · Zbl 0402.20052
[18] T. E. Hall, Finite inverse semigroups and amalgamation, Semigroups and Their Applications (Chico 1986), Reidel, Dordrecht (1987), 51-56. · Zbl 0626.20048
[19] T. E. Hall and M. S. Putcha, The potential {\mathscr{J}}-relation and amalgamation bases for finite semigroups, Proc. Amer. Math. Soc. 95 (1985), no. 3, 361-364. · Zbl 0592.20060
[20] T. E. Hall and K. Shoji, Finite bands and amalgamation bases for finite semigroups, Comm. Algebra 30 (2002), no. 2, 911-933. · Zbl 0999.20049
[21] B. Hartley, Simple locally finite groups, Finite and Locally Finite Groups (Istanbul 1994), NATO Adv. Sci. Inst. Ser. C Math. Phys. Sci. 471, Kluwer Academic Publisher, Dordrecht (1995), 1-44. · Zbl 0855.20030
[22] K. Hickin, Universal locally finite central extensions of groups, Proc. Lond. Math. Soc. (3) 52 (1986), no. 1, 53-72. · Zbl 0582.20022
[23] W. Hodges, A Shorter Model Theory, Cambridge University Press, Cambridge, 1997. · Zbl 0873.03036
[24] C. H. Houghton, Completely 0-simple semigroups and their associated graphs and groups, Semigroup Forum 14 (1977), no. 1, 41-67. · Zbl 0358.20071
[25] J. M. Howie, The subsemigroup generated by the idempotents of a full transformation semigroup, J. Lond. Math. Soc. 41 (1966), 707-716. · Zbl 0146.02903
[26] J. M. Howie, Fundamentals of Semigroup Theory, London Math. Soc. Monogr. Ser. (N. S.) 12, The Clarendon Press, New York, 1995. · Zbl 0835.20077
[27] E. Hrushovski, A new strongly minimal set, Ann. Pure Appl. Logic 62 (1993), no. 2, 147-166. · Zbl 0804.03020
[28] T. Imaoka, Free products with amalgamation of semigroups, PhD thesis, Monash University, Clayton, 1977. · Zbl 0368.20048
[29] O. H. Kegel and B. A. F. Wehrfritz, Locally Finite Groups, North-Holland Math. Lib. 3, North-Holland Publishing, Amsterdam, 1973.
[30] N. V. Kroshko and V. I. Sushchansky, Direct limits of symmetric and alternating groups with strictly diagonal embeddings, Arch. Math. (Basel) 71 (1998), no. 3, 173-182. · Zbl 0929.20031
[31] M. V. Lawson, Inverse Semigroups. The Theory of Partial Symmetries, World Scientific Publishing, River Edge, 1998. · Zbl 1079.20505
[32] F. Leinen and O. Puglisi, Some results concerning simple locally finite groups of 1-type, J. Algebra 287 (2005), no. 1, 32-51. · Zbl 1072.20042
[33] D. Macpherson, A survey of homogeneous structures, Discrete Math. 311 (2011), no. 15, 1599-1634. · Zbl 1238.03032
[34] U. Meierfrankenfeld, Locally finite, simple groups, Lecture notes for the course “Group Theory II” given at the Michigan State University, East Lansing, MI, 1997, .
[35] J. Okniński and M. S. Putcha, Embedding finite semigroup amalgams, J. Aust. Math. Soc. Ser. A 51 (1991), no. 3, 489-496. · Zbl 0746.20049
[36] G. Paolini and S. Shelah, The automorphism group of Hall’s universal group, preprint (2017), . · Zbl 1427.20043
[37] D. J. S. Robinson, A Course in the Theory of Groups, Grad. Texts in Math. 80, Springer, New York, 1982.
[38] I. Samet, Rigid actions of amenable groups, Israel J. Math. 173 (2009), 61-90. · Zbl 1187.43003
[39] K. Shoji, The full transformation semigroups of finite rank are amalgamation bases for finite semigroups, Comm. Algebra 44 (2016), no. 8, 3278-3289. · Zbl 1351.20034
[40] S. Thomas and R. Tucker-Drob, Invariant random subgroups of strictly diagonal limits of finite symmetric groups, Bull. Lond. Math. Soc. 46 (2014), no. 5, 1007-1020. · Zbl 1342.37005
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.