Related papers: Cross-connection structure of concordant semigroup…
Cross-connection theory developed by Nambooripad is the construction of a semigroup from its principal left (right) ideals using categories. We briefly describe the general cross-connection theory for regular semigroups and use it to study…
Cross-connection is a construction of regular semigroups using certain categories called normal categories which are abstractions of the partially ordered sets of principal left (right) ideals of a semigroup. We describe the…
A completely simple semigroup S is a semigroup without zero which has no proper ideals and contains a primitive idempotent. It is known that S is a regular semigroup and any completely simple semigroup is isomorphic to the Rees matrix…
There are two major structure theorems for an arbitrary regular semigroup using categories, both due to Nambooripad. The first construction using inductive groupoids departs from the biordered set structure of a given regular semigroup.…
Cross-connection theory propounded by K. S. S. Nambooripad describes the ideal structure of a regular semigroup using the categories of principal left (right) ideals. A variant $\mathscr{T}_X^\theta$ of the full transformation semigroup…
Locally inverse semigroups are regular semigroups whose idempotents form pseudo-semilattices. We characterise the categories that correspond to locally inverse semigroups in the realm of Nambooripad's cross-connection theory. Further, we…
Cross-connections of normal categories was introduced by K.S.S.Nambooripad while discussing the structure of regular semigroups and via this cross-connections he obtained a beautiful representetion of regualr semigroup called the…
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…
A groupoid is a small category in which all morphisms are isomorphisms. An inductive groupoid is a specialised groupoid whose object set is a regular biordered set and the morphisms admit a partial order. A normal category is a specialised…
We introduce a notion of c-group, which is a group up to congruence relation and consider the corresponding category. Extensions, actions and crossed modules (c-crossed modules) are defined in this category and the semi-direct product is…
In this paper we characterize the monoid congruences of commutative semigroups by the help of the notion of the separator of subsets of semigroups. We show that every monoid congruence of a commutative semigroup S can be constructed by the…
An inverse Clifford semigroup (often referred to as just a Clifford semigroup) is a semilattice of groups. It is an inverse semigroup and in fact, one of the earliest studied classes of semigroups. In this short note, we discuss various…
We use quasi-orders to describe the structure of C-groups. We do this by associating a quasi-order to each compatible C-relation of a group, and then give the structure of such quasi-ordered groups. We also reformulate in terms of…
A semigroup conjugacy is an equivalence relation that equals group conjugacy when the semigroup is a group. In this note, we answer five open problems related to semigroup conjugacy. (Problem One) We say a conjugacy ~ is partition-covering…
For any cssc-crossed module a category is constructed, equipped with a structure and proved that this is a coherent categorical group. Together with a result of the previous paper, where to any categorical group the cssc-crossed module is…
This paper touches on several interaction points of semigroups and constructions from category theory: An adjunction is established between categories with selected arrows and semigroups. Regular semigroups are characterized by split epi -…
We built some congruences on semigroups, from where a decomposition of quasi-separative semigroups was obtained.
We give a constructive treatment of some basic concepts and results in semigroup theory. Focusing on semigroups equipped with an apartness relation, we give analogues, from the point of view of apartness, of several classical constructions…
In this paper we provide an overview of the class of inverse semigroups $S$ such that every congruence on $S$ relates at least one idempotent to a non-idempotent; such inverse semigroups are called $E$-disjunctive. This overview includes…
We consider semigroups of transformations (partial mappings defined on a set $A$) closed under the set-theoretic intersection of mappings treated as subsets of $A\times A$. On such semigroups we define two relations: the relation of…