Abstract
Constellations were recently introduced by the authors as one-sided analogues
of categories: a constellation is equipped with a partial multiplication for
which ‘domains’ are defined but, in general, ‘ranges’ are not. Left restriction semigroups
are the algebraic objects modelling semigroups of partial mappings, equipped
with local identities in the domains of the mappings. Inductive constellations correspond
to left restriction semigroups in a manner analogous to the correspondence
between inverse semigroups and inductive groupoids.
In this paper, we define the notions of the action and partial action of an inductive
constellation on a set, before introducing the Szendrei expansion of an inductive constellation.
Our main result is a theorem which uses this expansion to link the actions
and partial actions of inductive constellations, providing a global setting for results
previously proved by a number of authors for groups, monoids and other algebraic
objects.
of categories: a constellation is equipped with a partial multiplication for
which ‘domains’ are defined but, in general, ‘ranges’ are not. Left restriction semigroups
are the algebraic objects modelling semigroups of partial mappings, equipped
with local identities in the domains of the mappings. Inductive constellations correspond
to left restriction semigroups in a manner analogous to the correspondence
between inverse semigroups and inductive groupoids.
In this paper, we define the notions of the action and partial action of an inductive
constellation on a set, before introducing the Szendrei expansion of an inductive constellation.
Our main result is a theorem which uses this expansion to link the actions
and partial actions of inductive constellations, providing a global setting for results
previously proved by a number of authors for groups, monoids and other algebraic
objects.
Original language | English |
---|---|
Pages (from-to) | 35-60 |
Number of pages | 26 |
Journal | Semigroup Forum |
Volume | 82 |
Issue number | 1 |
Early online date | 4 Dec 2010 |
DOIs | |
Publication status | Published - Nov 2011 |
Keywords
- Algebra