|Title:||Sandwich semigroups in locally small categories I: foundations||Journal:||Algebra Universalis||Volume:||79||Issue:||3||Issue Date:||1-Sep-2018||Rank:||M22||ISSN:||0002-5240||DOI:||10.1007/s00012-018-0537-5||Abstract:||
Fix (not necessarily distinct) objects i and j of a locally small category S, and write Sij for the set of all morphisms i→ j. Fix a morphism a∈ Sji, and define an operation ⋆ a on Sij by x⋆ ay= xay for all x, y∈ Sij. Then (Sij, ⋆ a) is a semigroup, known as a sandwich semigroup, and denoted by Sija. This article develops a general theory of sandwich semigroups in locally small categories. We begin with structural issues such as regularity, Green’s relations and stability, focusing on the relationships between these properties on Sija and the whole category S. We then identify a natural condition on a, called sandwich regularity, under which the set Reg(Sija) of all regular elements of Sija is a subsemigroup of Sija. Under this condition, we carefully analyse the structure of the semigroup Reg(Sija), relating it via pullback products to certain regular subsemigroups of Sii and Sjj, and to a certain regular sandwich monoid defined on a subset of Sji; among other things, this allows us to also describe the idempotent-generated subsemigroup E(Sija) of Sija. We also study combinatorial invariants such as the rank (minimal size of a generating set) of the semigroups Sija, Reg(Sija) and E(Sija); we give lower bounds for these ranks, and in the case of Reg(Sija) and E(Sija) show that the bounds are sharp under a certain condition we call MI-domination. Applications to concrete categories of transformations and partial transformations are given in Part II.
|Keywords:||Categories | Idempotent rank | Mid-identities | Partial semigroups | Rank | Sandwich semigroups | Transformation semigroups||Publisher:||Springer Link||Project:||Numerical Linear Algebra and Discrete Structures
Algebraic, logical and combinatorial methods with applications in theoretical computer science
Show full item record
checked on May 28, 2023
checked on May 29, 2023
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.