Related papers: Partial actions and proper extensions of two-sided…
A semiring generalises the notion of a ring, replacing the additive abelian group structure with that of a commutative monoid. In this paper, we study a notion positioned between a ring and a semiring -- a semiring whose additive monoid is…
We provide a necessary and sufficient condition to the existence of an ordered globalization of a partial ordered action of an ordered groupoid on a ring and we also present criteria to obtain uniqueness. Furthermore, we apply those results…
A Galois correspondence theorem is proved for the case of inverse semigroups acting orthogonally on commutative rings as a consequence of the Galois correspondence theorem for groupoid actions. To this end, we use a classic result of…
A generalization to the categorical notion of biproduct, called semibiproduct, which in the case of groups covers classical semidirect products, has recently been analysed in the category of monoids with surprising results in the…
We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe…
We propose a notion of a proper Ehresmann semigroup based on a three-coordinate description of its generating elements governed by certain labelled directed graphs with additional structure. The generating elements are determined by their…
We present a construction for the holomorph of an inverse semigroup, derived from the cartesian closed structure of the category of ordered groupoids. We compare the holomorph with the monoid of mappings that preserve the ternary heap…
A DR-semigroup $S$ (also known as a reduced E-semiabundant or reduced E-Fountain semigroup) is here viewed as a semigroup equipped with two unary operations $D,R$ satisfying finitely many equational laws. Examples include DRC-semigroups…
Let $S$ be a semigroup (written multiplicatively). Endowed with the operation of setwise multiplication induced by $S$ on its parts, the non-empty subsets of $S$ form themselves a semigroup, denoted by $\mathcal P(S)$. Accordingly, we say…
In this paper we develop an ideal structure theory for the class of left reductive regular semigroups and apply it to several subclasses of popular interest. In these classes we observe that the right ideal structure of the semigroup is…
This paper constructs a foundation to analyze semi-group actions, group actions, filtrations, and decompositions in a unified manner. In fact, though the studies of decomposition can be applied to foliated spaces and group actions, they can…
After recalling basic definitions and constructions for a finite group $G$ action on a $k$-linear category we give a concise proof of the following theorem of Elagin: if $\mathcal{C} = \langle \mathcal{A}, \mathcal{B} \rangle$ is a…
It is shown that the category of \emph{semi-biproducts} of monoids is equivalent to the category of \emph{pseudo-actions}. A semi-biproduct of monoids is a new notion, obtained through generalizing a biproduct of commutative monoids. By…
We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem…
We develop a Galois theory of commutative rings under actions of finite inverse semigroups. We present equivalences for the definition of Galois extension as well as a Galois correspondence theorem. We also show how the theory behaves in…
We prove a Galois correspondence theorem for groupoids acting orthogonally and partially on commutative rings. We also consider partial actions that are not orthogonal, presenting two correspondences in this case: one for strongly Galois…
We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…
In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to…
Given a graded ample Hausdorff groupoid, we realise its graded Steinberg algebra as a partial skew inverse semigroup ring. We use this to show that for a partial action of a discrete group on a locally compact Hausdorff topological space,…
We give explicit axioms for the algebraic theory of the quasivarieties of right-preordered groups and preordered groups. We then look at lattices of effective equivalence relations, which turn out to be similar to the lattices of…