Bass-Serre theory for groupoids and the structure of full regular semigroup amalgams
amalgamated free productsamalgamated free products of groupoidsBass-Serre theorycategories of inverse semigroupscategory of regular semigroupsfull inverse subsemigroupsfundamental groupsgraphs of groupsgroups acting on graphsmaximal subgroups
Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Groups acting on trees (20E08) Free semigroups, generators and relations, word problems (20M05) Regular semigroups (20M17) Inverse semigroups (20M18) Connections of semigroups with homological algebra and category theory (20M50)
While it has been known since 1975 that all amalgams in the category of inverse semigroups are strongly embeddable, detailed knowledge of the structure of the associated amalgamated free products has been scarce. The main purpose of \S 3 of this paper is an investigation of the maximal subgroups of the amalgamated free product \(S_1*_US_2\) of inverse semigroups \(S_1\), \(S_2\), over a common full inverse subsemigroup \(U\) (``full meaning that \(U\) contains all the idempotents of both \(S_1\) and \(S_2\)). In fact the general methods employed are applicable within the category of regular semigroups. That the amalgamated free product over a full common regular subsemigroup exists was shown by \textit{T. E. Hall} [Trans. Am. Math. Soc. 246, 395-406 (1978; Zbl 0401.20053)]. However, the methods in the paper under review are based on \textit{K. S. S. Nambooripad}'s association of an ``inductive groupoid with each regular semigroup. He and \textit{F. Pastijn} [Houston J. Math. 15, No. 2, 249-254 (1989; Zbl 0697.20048)] showed that when \(U\) is full in \(S_1\) and \(S_2\), the groupoid associated with the amalgamated free product is just the amalgamated free product of the groupoids associated with \(S_1\) and \(S_2\), over that associated with \(U\). The maximal subgroups of \(S_1*_US_2\) are the vertex groups of this groupoid. Now amalgamated free products of groupoids have been shown by E. T. Ordman to behave in a manner akin to those of groups. The major innovation of this paper is the recognition that the vertex groups in the groupoid product are the fundamental groups of a certain graph of groups, arising quite simply from the sets of \({\mathcal D}\)-classes of \(S_1\), \(S_2\) and \(U\). This involves the Bass-Serre theory of groups acting on graphs. Various applications of the general theory are given. For instance, it is shown that if both \(S_1\) and \(S_2\) are combinatorial (that is, they have trivial subgroups), then the subgroups of any amalgamated free product of \(S_1\) and \(S_2\) are free groups. A more detailed analysis is given for the case when both \(S_1\) and \(S_2\) are bicyclic; in this case all full inverse subsemigroups \(U\) are known.
- HNN extensions of inverse semigroups and groupoids.
- Amalgams of finite inverse semigroups.
- A tribute to John Meakin on the occasion of his 75th birthday
- Maximal subgroups of amalgams of finite inverse semigroups.
- Normal forms for semigroup amalgams
- Subgroups of free idempotent generated semigroups need not be free.
- Bass-Serre theory and inverse monoids
- A note on amalgams of inverse semigroups
- Locally full HNN extensions of inverse semigroups
- Decidability versus undecidability of the word problem in amalgams of inverse semigroups.
- The Potential -Relation and Amalgamation Bases for Finite Semigroups
- HNN EXTENSIONS OF SEMILATTICES
- An amalgam of inverse semigroups is embedded into an amalgam with a lower bounded core
- FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS
- Amalgamated free products of inverse semigroups
- Amalgamated free products of inverse semigroups
- Amalgams of free inverse semigroups.
- A class of inverse monoids acting on ordered forests.
- Dixmier groups and Borel subgroups
This page was built for publication: Bass-Serre theory for groupoids and the structure of full regular semigroup amalgams
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1921896)
