8 research outputs found
Sandwich semigroups in locally small categories I: Foundations
Fix (not necessarily distinct) objects and of a locally small
category , and write for the set of all morphisms . Fix a
morphism , and define an operation on by
for all . Then is a
semigroup, known as a sandwich semigroup, and denoted by . 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 and the whole category . We then identify a natural condition
on , called sandwich regularity, under which the set Reg of all
regular elements of is a subsemigroup of . Under this
condition, we carefully analyse the structure of the semigroup Reg,
relating it via pullback products to certain regular subsemigroups of
and , and to a certain regular sandwich monoid defined on a subset of
; among other things, this allows us to also describe the
idempotent-generated subsemigroup of . We also
study combinatorial invariants such as the rank (minimal size of a generating
set) of the semigroups , Reg and ;
we give lower bounds for these ranks, and in the case of Reg and
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.Comment: 23 pages, 1 figure. V2: updated according to referee report, expanded
abstract, to appear in Algebra Universali
Sandwich semigroups in locally small categories II: Transformations
Fix sets and , and write for the set of all
partial functions . Fix a partial function , and define the
operation on by for
. The sandwich semigroup
is denoted . We apply general results from Part I to
thoroughly describe the structural and combinatorial properties of
, as well as its regular and idempotent-generated
subsemigroups, Reg and .
After describing regularity, stability and Green's relations and preorders, we
exhibit Reg as a pullback product of certain regular
subsemigroups of the (non-sandwich) partial transformation semigroups
and , and as a kind of "inflation" of
, where is the image of the sandwich element . We also
calculate the rank (minimal size of a generating set) and, where appropriate,
the idempotent rank (minimal size of an idempotent generating set) of
, Reg and . The same program is also carried out for sandwich
semigroups of totally defined functions and for injective partial functions.
Several corollaries are obtained for various (non-sandwich) semigroups of
(partial) transformations with restricted image, domain and/or kernel.Comment: 35 pages, 11 figures, 1 table. V2: updated according to referee
report, expanded abstract, to appear in Algebra Universali
Partial oders on semigroups of partial transformations with restricted range
Let be any set and the set of all partial transformations defined on , that is, all functions where are subsets of . Then is a semigroup under composition. Let be a subset of . Recently, Fernandes and Sanwong defined and the set of all injective transformations in . So and are subsemigroups of . In this paper, we study properties of the so-called natural partial order on and in terms of domains, images and kernels, compare with the subset order, characterize the meet and join of these two orders, then find out elements of and those are compatible. Also, the minimal and maximal elements are described.
DOI: 10.1017/S000497271200002