Universal locally finite maximally homogeneous semigroups and inverse semigroups

DOI10.1515/FORUM-2017-0074zbMATH Open1498.20139arXiv1704.00641OpenAlexW3099946021MaRDI QIDQ723296FDOQ723296

Authors: Igor Dolinka, R. Gray 

Publication date: 30 July 2018

Published in: Forum Mathematicum (Search for Journal in Brave)

Abstract: In 1959, P. Hall introduced the locally finite group $mathcalU$, today known as Hall's universal group. This group is countable, universal, simple, and any two finite isomorphic subgroups are conjugate in $mathcalU$. It can be explicitly described as a direct limit of finite symmetric groups. It is homogeneous in the model-theoretic sense since it is the Fraisse limit of the class of all finite groups. Since its introduction Hall's group, and several natural generalisations, have been widely studied. In this article we use a generalisation of Fraisse theory to construct a countable, universal, locally finite semigroup $mathcalT$, 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 $mathcalI$ which is a direct limit of finite symmetric inverse semigroups (semigroups of partial bijections). The semigroups $mathcalT$ and $mathcalI$ 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.

Full work available at URL: https://arxiv.org/abs/1704.00641

Recommendations

• Centralizers in Hall's universal and direct limits of finitary symmetric groups.
• On homogeneous semilattices and their automorphism groups
• Homogeneity of inverse semigroups
• Hall universal group as a direct limit of algebraic groups
• Homogeneous completely simple semigroups

zbMATH Keywords

amalgamationhomogeneous structuresHall's universal countable homogeneous groupmaximally homogeneous semigroup

Mathematics Subject Classification ID

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

Cites Work

• The Subsemigroup Generated By the Idempotents of a Full Transformation Semigroup
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Universal domains and the amalgamation property
• A new strongly minimal set
• Title not available (Why is that?)
• Direct limits of symmetric and alternating groups with strictly diagonal embeddings
• A survey of homogeneous structures
• Title not available (Why is that?)
• Completely O-simple semigroups and their associated graphs and groups
• On finite 0-simple semigroups and graph theory
• Limits of cubes
• Title not available (Why is that?)
• Finite axiomatizations for existentially closed posets and semilattices
• Some Constructions for Locally Finite Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Free products with amalgamation of inverse semigroups
• On homogeneous semilattices and their automorphism groups
• Sylow subgroups which are maximal in the universal locally finite group of Philip Hall
• Some results concerning simple locally finite groups of 1-type.
• Topological Galois theory
• Rigid actions of amenable groups
• Invariant random subgroups of strictly diagonal limits of finite symmetric groups
• Title not available (Why is that?)
• The automorphism group of Hall’s universal group
• Title not available (Why is that?)
• Universal Locally Finite Central Extensions of Groups
• The Potential -Relation and Amalgamation Bases for Finite Semigroups
• Finite Axiomatizations for Universal Domains
• Title not available (Why is that?)
• REPRESENTATION EXTENSION AND AMALGAMATION FOR SEMIGROUPS
• FINITE BANDS AND AMALGAMATION BASES FOR FINITE SEMIGROUPS
• The Full Transformation Semigroups of Finite Rank are Amalgamation Bases for Finite Semigroups
• \(K_{0}\) of Hall's universal group

Cited In (1)

• Homogeneity of inverse semigroups

This page was built for publication: Universal locally finite maximally homogeneous semigroups and inverse semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q723296)