Associate inverse subsemigroups of regular semigroups

By an associate inverse subsemigroup of a regular semigroup S we mean a subsemigroup T of S containing a least associate of each x∈S, in relation to the natural partial order ≤ _S . We describe the structure of a regular semigroup with an associate inverse subsemigroup, satisfying two natural conditions. As a particular application, we obtain the structure of regular semigroups with an associate subgroup with medial identity element. Research supported by the Portuguese Foundation for Science and Technology (FCT) through the research program POCTI.     

Representation of congruences on regular semigroups with inverse transversals

For a regular semigroup with an inverse transversal, we have Saito’s structureW(I,S ^o, Λ, *, {α, β}). We represent congruences on this kind of semigroups by the so-called congruence assemblage which consist of congruences on the structure component partsI,S ^o and Λ. The structure of images of this type of semigroups is also presented. This work is supported by Natural Science Foundation of Guangdong Province     

正则半群上的矩形群同余

文[1]中PetrichM定义了同余的核与迹，用它们描述了逆半群上的同余，Gomes在文[2]中定义了同余的核与超迹并描述了正则半群上的R-幂单(R-unipo-tent)同余，本文利用同余的核与超迹描述正则半群上的另一类重要同余，即矩形群同余．     

E-自反逆半群上的Clifford同余

研究E-自反逆半群上的Clifford同余.本文中的结果是James[1],McAlister[2],Petrich[3]和Reilly[4]等人关于E-酉逆半群上的相应同余定理在E-自反逆半群上的自然推广.     

Cyclic subsemigroups of symmetric inverse semigroups

A generalization of the cycle notation for permutations is introduced for partial one-one transformations (charts). Notational representation theorems for charts that generalize those of permutations are given. Notational multiplication of charts is developed and then applied to yield a transparent proof of Frobenius' result which bounds the idempotent in the cyclic subsemigroup. Lastly, the well known result that the structure of the cyclic subgroups of the finite symmetric groups is determined from combinations of disjoint cycles is generalized to the cyclic subsemigroups of the finite symmetric inverse semigroups.     

On sandwich sets and congruences on regular semigroups

Let S be a regular semigroup and E(S) be the set of its idempotents. We call the sets S(e, f)f and eS(e, f) one-sided sandwich sets and characterize them abstractly where e, f ∈ E(S). For a, a′ ∈ S such that a = aa′a, a′ = a′aa′, we call S(a) = S(a′a, aa′) the sandwich set of a. We characterize regular semigroups S in which all S(e; f) (or all S(a)) are right zero semigroups (respectively are trivial) in several ways including weak versions of compatibility of the natural order. For every a ∈ S, we also define E(a) as the set of all idempotets e such that, for any congruence ϱ on S, aϱa ² implies that aϱe. We study the restrictions on S in order that S(a) or be trivial. For , we define on S by a b if . We establish for which S are or congruences.     

Ordered groupoid quotients and congruences on inverse semigroups

We introduce a preorder on an inverse semigroup S associated to any normal inverse subsemigroup N, that lies between the natural partial order and Green’s \({\mathcal {J}}\)–relation. The corresponding equivalence relation \(\simeq _N\) is not necessarily a congruence on S, but the quotient set does inherit a natural ordered groupoid structure. We show that this construction permits the factorisation of any inverse semigroup homomorphism into a composition of a quotient map and a star-injective functor, and that this decomposition implies a classification of congruences on S. We give an application to the congruence and certain normal inverse subsemigroups associate to an inverse monoid presentation.     

Semitransitive subsemigroups of the symmetric inverse semigroups

We initiate the study of semitransitive transformation semigroups. In the paper we describe the structure of semitransitive subsemigroups of the finite symmetric inverse semigroup of the minimal cardinality modulo the classification of transitive subgroups of the minimal cardinality of finite symmetric groups, and state the results on minimal transitive subsemigroups. The authors were supported in part by Ukrainian-Slovenian bilateral research grants from the Ministry of Education and Science, Ukraine, and the Research Agency of the Republic of Slovenia.     

Principal continuum congruences,regular γ-classes and local subsemigroups

Communicated by N.R. Reilly     

Fundamental regular semigroups with inverse transversals

Let C be a regular semigroup with an inverse transversal C° and let C be generated by its idempotents. Following W. D. Munn and T. E. Hall’s idea, in this paper, a fundamental regular semigroup T _C,C° with an inverse transversal T _C,C° ^° is constructed such that the following holds. For any regular semigroup S with an inverse transversal S° and 〈E(S)〉 = C, C° = C ∩ S°, there is a homomorphism φ from S to T _C,C° such that the kernel of φ is the maximum idempotent-separating congruence on S, and φ satisfies: (1) φ| _C is a homomorphism from C onto 〈E(T _C,C°)〉 ; (2) φ| _S° is a homomorphism from S° to T _C,C° °. In particular, S is fundamental if and only if S is isomorphic to a full subsemigroup of T _C,C°. Our fundamental regular semigroup T _C,C° is isomorphic to a subsemigroup of the Hall semigroup of C but it is easier to handle. Its elements are partial transformations, and the operation—although not the usual composition—is defined by means of composition.     

Maximal regular subsemigroups of certain semigroups of transformations

Let T _n and P _n be the full and partial transformation semigroups on a finite set of order n respectively. The properties of the subsemigroups of T _n and P _n have been widely studied. But the maximal regular subsemigroups of T _n and P _n seem to be unknown. In this note, we determine all the maximal regular subsemigroups of all ideals of T _n and P _n . April 7, 1999     

On associate subgroups of regular semigroups

We describe the structure of a regular semigroup with an associate subgroup the identiy element of which is a mcdial idempotent. As a particular application of this, we obtain the structure of perfect Dubreil-Jacotin semigroups in which the set of residuals of the bimaximum element form a subgroup.