Related papers: Ordered groupoid quotients and congruences on inve…

A fully invarient congruence relations on the free algebra on a given type induces a variety of the given type. In contrast, a congruence relation of the free algebra provides algebra of that type. This algebra is given by a so-called…

For a given inverse semigroup S , we introduce the notion of algebraic crossed product by using a given partial action of S, and we will prove that under some condition it is associative. Also we will introduce the concept of partial…

The algebraic extension $\boldsymbol{B}_{\mathbb{Z}}^{\mathscr{F}}$ of the extended bicyclic semigroup for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$ is introduced. It is proven that…

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.…

By a completely inverse $AG^{**}$-groupoid we mean an inverse $AG^{**}$-groupoid $A$ satisfying the identity $xx^{-1}=x^{-1}x$, where $x^{-1}$ denotes a unique element of $A$ such that $x=(xx^{-1})x$ and $x^{-1}=(x^{-1}x)x^{-1}.$ We show…

This paper enriches the list of known properties of congruence sequences starting from the universal relation and successively performing the operators lower $k$ and lower $t$. Two series of inverse semigroups, namely…

We prove that if $S$ is a $le$-semigroup in which left ideal elements commute (condition which is called $\mathbf{\Lambda}$), then any $\mathcal{J}$-class satisfying the Green condition is a subsemigroup of $S$. As a corollary of this we…

We consider the categorical equivalence between crossed modules over groupoids and double groupoids with thin structures; and by this equivalence, we prove how normality and quotient concepts are related in these two categories and give…

For an element a in a semigroup S the local subsemigroup of S with respect to a is the subsemigroup aSa of S and the variant of S with respect to a is a semigroup with underlying set S with a sandwich operation xy = xay for all x, y in S.…

In this paper we present a novel algorithm for computing a congruence on an inverse semigroup from a collection of generating pairs. This algorithm uses a myriad of techniques from the theories of groups, automata, and inverse semigroups.…

In this paper, we introduce notions called inverse set and inverse correspondence over inverse semigroups. These are analogies of Hilbert $C^*$-modules and \Ccorrs in the $C^*$-algebra theory. We show that inverse semigroups and inverse…

Let ${\cal I}_n$ be the symmetric inverse semigroup on $X_n = \{1, 2,..., n\}$ and let ${\cal DP}_n$ and ${\cal ODP}_n$ be its subsemigroups of partial isometries and of order-preserving partial isometries of $X_n$, respectively. In this…

Given a group G, we construct, in a canonical way, an inverse semigroup S(G) associated to G. The actions of S(G) are shown to be in one-to-one correspondence with the partial actions of G, both in the case of actions on a set, and that of…

In this paper we introduce a quotient structure on topological ternary semigroup by defining a congruence suitably. We have found conditions under which this quotient structure becomes a topological ternary semigroup. We have also obtained…

We build on the description of left congruences on an inverse semigroup in terms of the kernel and trace due to Petrich and Rankin. The notion of an inverse kernel for a left congruence is developed. Various properties of both the trace and…

In this article, we show that a group $G$ is the union of two proper subsemigroups if and only if $G$ has a nontrivial left-orderable quotient. Furthermore, if $G$ is the union of two proper semigroups, then there exists a minimum normal…

For semigroup $S$, a commutative congruence $\sigma_{orient}$ on $S$ and a subsemigroup Orientable($S$) of $S$ were introduced in "Two cancellative commutative congruences and group diagrams", Semigroup Forum (2011) 82: 338-353. Here we…

Inverse semigroups are a class of semigroups whose structure induces a compatible partial order. This partial order is examined so as to establish mirror properties between an inverse semigroup and the semilattice of its idempotent…

Let S be a semigroup and let T be a subsemigroup of S. Then T acts on S by left- and by right multiplication. This gives rise to a partition of the complement of T in S, and to each equivalence class of this partition we naturally associate…

We consider monoids equipped with a compatible quantale valued relation, to which we call quantale enriched monoids, and study semidirect products of such structures. It is well-known that semidirect products of monoids are closely related…