A groupoid approach to regular -semigroups

DOI10.1016/J.AIM.2023.109447arXiv2301.04845OpenAlexW4389552290MaRDI QIDQ6184571FDOQ6184571

P. A. Azeef Muhammed, James East

Publication date: 25 January 2024

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: In this paper we develop a new groupoid-based structure theory for the class of regular $*$-semigroups. This class occupies something of a `sweet spot' between the important classes of inverse and regular semigroups, and contains many important and natural examples. Some of the most significant families include the partition, Brauer and Temperley-Lieb monoids, among other diagram monoids. Our main result shows that the category of regular $*$-semigroups is isomorphic to the category of so-called `chained projection groupoids'. Such a groupoid is in fact a pair $(mathcalG,varepsilon)$, where: $$ $mathcalG$ is an ordered groupoid, whose object set $P$ is a projection algebra (in the sense of Imaoka and Jones), and $$ $varepsilon:mathscrComathcalG$ is a special functor, where $mathscrC$ is a certain natural `chain groupoid' constructed from $P$. Roughly speaking: the groupoid $mathcalG$ remembers only the `easy' products in a regular $*$-semigroup $S$; the projection algebra $P$ remembers only the `conjugation action' of the projections of $S$; and the functor $varepsilon$ tells us how $mathcalG$ and $P$ `fit together' in order to recover the entire structure of $S$. In this way, our main result contains the first completely general structure theorem for regular $*$-semigroups. Among other applications, we use our structure theorem to obtain new, and perhaps more transparent, constructions of fundamental regular $*$-semigroups. We also use the chain groupoids to demonstrate the existence of free (idempotent-generated) regular $*$-semigroups associated to arbitrary projection algebras. Specialising to inverse semigroups, we also obtain a new proof of the celebrated Ehresmann--Schein--Nambooripad Theorem. We consider several examples along the way, and pose a number of problems that we believe are worthy of further attention.

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

zbMATH Keywords

inverse semigroupsgroupoidspartition monoidsprojection algebrasregular \(\ast \)-semigroups

Mathematics Subject Classification ID

Semigroups of transformations, relations, partitions, etc. (20M20) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Connections of semigroups with homological algebra and category theory (20M50) Free semigroups, generators and relations, word problems (20M05) General structure theory for semigroups (20M10) Regular semigroups (20M17)

Cites Work

• The structure of regular semigroups. II: Cross-connections
• The structure of regular semigroups. III: The reduced case
• The structure of regular semigroups. I: A representation
• Catégories inductives et pseudogroupes
• D-semigroups and constellations
• Enumeration of idempotents in planar diagram monoids
• Title not available (Why is that?)
• Extending the Ehresmann-Schein-Nambooripad theorem.
• Inductive groupoids and crossconnections of regular semigroups
• Ordered Ehresmann semigroups and categories
• Title not available (Why is that?)
• The structure of regular semigroups. IV: The general case
• Enumeration of finite inverse semigroups
• Partial Transformation Groupoids Attached to Graphs and Semigroups
• Equilibrium states on operator algebras associated to self-similar actions of groupoids on graphs
• Congruence lattices of finite diagram monoids
• On Ehresmann semigroups
• A Note on Free Idempotent Generated Semigroups over the Full Monoid of Partial Transformations
• The global dimension of the algebra of the monoid of all partial functions on an \(n\)-set as the algebra of the EI-category of epimorphisms between subsets
• Partition algebras Pk(n) with 2k>n and the fundamental theorems of invariant theory for the symmetric group Sn
• An Ehresmann-Schein-Nambooripad theorem for locally Ehresmann \(P\)-Ehresmann semigroups
• An Ehresmann-Schein-Nambooripad-type theorem for a class of \(P\)-restriction semigroups
• Reduced \(C^*\)-algebras of Fell bundles over inverse semigroups
• Left restriction monoids from left \(E\)-completions
• Representation theory of order-related monoids of partial functions as locally trivial category algebras
• Ehresmann semigroups whose categories are EI and their representation theory
• Wagner’s Theory of Generalised Heaps
• Classification of congruences of twisted partition monoids
• Identities of the Kauffman Monoid $$\mathcal {K}_4$$ and of the Jones Monoid $$\mathcal {J}_4$$
• Recent developments in inverse semigroup theory
• A tale of two categories: inductive groupoids and cross-connections
• An Ehresmann-Schein-Nambooripad type theorem for DRC-semigroups
• Trace- and pseudo-products: restriction-like semigroups with a band of projections
• Algebras of reducedE-Fountain semigroups and the generalized ample identity
• The Ehresmann-Schein-Nambooripad Theorem for Inverse Categories
• Limits in dagger categories
• Groupoids on a skew lattice of objects
• Title not available (Why is that?)
• Congruence Lattices of Ideals in Categories and (Partial) Semigroups
• The Mathematical Work of K. S. S. Nambooripad
• Properties of congruences of twisted partition monoids and their lattices
• Hecke algebra representations of braid groups and link polynomials
• On \(C^\ast\)-algebras associated to right LCM semigroups
• Title not available (Why is that?)
• Semigroup \(C^{*}\)-algebras and amenability of semigroups
• State models and the Jones polynomial
• Index for subfactors
• A Natural Partial Order for Semigroups
• Title not available (Why is that?)
• Structure of regular semigroups. I
• The natural partial order on a regular semigroup
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An Invariant of Regular Isotopy
• Title not available (Why is that?)
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Relations between the ‘percolation’ and ‘colouring’ problem and other graph-theoretical problems associated with regular planar lattices: some exact results for the ‘percolation’ problem
• Title not available (Why is that?)
• A groupoid approach to discrete inverse semigroup algebras
• Structure of concordant semigroups
• Semigroups and ordered categories. I: The reduced case
• Groupoids, inverse semigroups, and their operator algebras
• Beyond orthodox semigroups.
• Beyond regular semigroups
• Title not available (Why is that?)
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Regular representation of groupoid C* -algebras and applications to inverse semigroups
• Homotopy Type Theory: Univalent Foundations of Mathematics
• The second fundamental theorem of invariant theory for the orthogonal group.
• On presentations of Brauer-type monoids.
• On the structure of semigroups
• On the representation theory of partial Brauer algebras
• Partition algebras.
• On the structure of Brauer's centralizer algebras
• Semigroups under a sandwich operation
• Möbius functions and semigroup representation theory.
• On inverses of products of idempotents in regular semigroups
• Regular * semigroups
• Krohn-Rhodes complexity of Brauer type semigroups.
• The semigroup generated by the idempotents of a partition monoid.
• Motzkin algebras
• ON THE SINGULAR PART OF THE PARTITION MONOID
• ENDOMORPHISMS OF , , AND
• ON THE PARTITION MONOID AND SOME RELATED SEMIGROUPS
• Pseudovarieties generated by Brauer type monoids
• Motzkin monoids and partial Brauer monoids
• Diagram monoids and Graham-Houghton graphs: idempotents and generating sets of ideals
• Presentation of the singular part of the Brauer monoid
• Title not available (Why is that?)
• Title not available (Why is that?)
• TEMPERLEY-LIEB ALGEBRAS FOR NON-PLANAR STATISTICAL MECHANICS — THE PARTITION ALGEBRA CONSTRUCTION
• Kauffman Monoids
• Enumeration of idempotents in diagram semigroups and algebras
• Ideal Structure of the Kauffman and Related Monoids
• Generators and relations for partition monoids and algebras.
• The finite basis problem for Kauffman monoids.
• Cellularity of diagram algebras as twisted semigroup algebras.
• Biordered sets come from semigroups
• On maximal subgroups of free idempotent generated semigroups.
• A quotient of the affine Hecke algebra in the Brauer algebra
• The structure of the partition algebras
• Free idempotent generated semigroups and endomorphism monoids of free \(G\)-acts.
• Subgroups of free idempotent generated semigroups need not be free.
• Maximal subgroups of free idempotent generated semigroups over the full linear monoid.
• Infinite partition monoids.
• Maximal subgroups of free idempotent-generated semigroups over the full transformation monoid.
• Title not available (Why is that?)
• A solution of the word problem for free \(^*\)-regular semigroups
• Presentations for subgroups of monoids
• Representations of Inverse Semi-Groups
• The Brauer category and invariant theory
• Factorizable inverse monoids.
• On inverse semigroup \(C^*\)-algebras and crossed products
• P-systems in regular semigroups
• Bands with an involution
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A common framework for restriction semigroups and regular \(*\)-semigroups.
• Gattungen von lokalen Strukturen
• Higher-rank graph \(C^*\)-algebras: an inverse semigroup and groupoid approach
• Inverse Semi-Groups
• The decomposition matrices of the Brauer algebra over the complex field
• The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion
• Restriction and Ehresmann Semigroups
• EVERY GROUP IS A MAXIMAL SUBGROUP OF THE FREE IDEMPOTENT GENERATED SEMIGROUP OVER A BAND
• Title not available (Why is that?)
• Subgroups of free idempotent generated regular semigroups
• Möbius functions and semigroup representation theory. II: Character formulas and multiplicities.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Regular D -Classes in Semigroups
• Restriction Semigroups and Inductive Constellations
• On regularity and the word problem for free idempotent generated semigroups
• Title not available (Why is that?)
• Ordered groupoids and left cancellative categories
• FUNDAMENTAL INVERSE SEMIGROUPS
• Algebras of Ehresmann semigroups and categories
• The representation theory of the monoid of all partial functions on a set and related monoids as EI-category algebras.

This page was built for publication: A groupoid approach to regular \(\ast \)-semigroups

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