Completely regular semigroups as semigroups of partial transformations

Communicated by G. Lallement     

Completely regular semigroups in the variety generated by the bicyclic semigroup

We shall show that a completely regular semigroup is in the semigroup variety generated by the bicyclic semigroup if and only if it is an orthogroup whose maximal subgroups are abelian. Therefore the lattice of subvarieties of the variety generated by the bicyclic semigroup contains as a sublattice a countably infinite distributive lattice of semigroup varieties, each of which consists of orthogroups with maximal subgroups that are torsion abelian groups. In particular, every band divides a power of the bicyclic semigroup.Presented by B. M. Schein.     

Completely decomposable lattice-ordered semigroups

Siberian Mathematical Journal -     

Completely regular designs

We study a class of t-designs which enjoy a high degree of regularity. These are the subsets of vertices of the Johnson graph which are completely regular, in the sense of Delsarte [Philips Res. Reports Suppl. 10 (1973)]. After setting up the basic theory, we describe the known completely regular designs. We derive very strong restrictions which must hold in order for a design to be completely regular. As a result, we are able to determine which symmetric designs are completely regular and which Steiner systems with t = 2 are completely regular. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 261–273, 1998     

Completely regular ordered spaces

We present an example of a completely regular ordered space that is not strictly completely regular ordered. Furthermore, we note that a completely regular ordered I-space is strictly completely regular ordered provided that it satisfies at least one of the following three conditions: It is locally compact, it is a C-space, it is a topological lattice.     

Completely regular clique graphs

Let Γ=(X,R) be a connected graph. Then Γ is said to be a completely regular clique graph of parameters (s,c) with s≥1 and c≥1, if there is a collection \(\mathcal{C}\) of completely regular cliques of size s+1 such that every edge is contained in exactly c members of  \(\mathcal{C}\) . In this paper, we show that the parameters of \(C\in\mathcal{C}\) as a completely regular code do not depend on \(C\in\mathcal{C}\) . As a by-product we have that all completely regular clique graphs are distance-regular whenever \(\mathcal {C}\) consists of edges. We investigate the case when Γ is distance-regular, and show that Γ is a completely regular clique graph if and only if it is a bipartite half of a distance-semiregular graph.     

M-classification of regular semigroups

On any regular semigroup S, the least group congruence σ, the greatest idempotent pure congruence τ and the least band congruence β are used to give the M -classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ, K, T), where K and T are the restrictions of the K- and T-relations on {C(S) to Λ. Such triples are characterized abstractly and form the objects of a category M whose morphisms are surjective T-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category M whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from M to M. Several properties of the classification of regular semigroups induced by this functor are established.     

O-simple strictly regular semigroups

In the previous paper [6], it has been proved that a semigroup S is strictly regular if and only if S is isomorphic to a quasi-direct product EX Λ of a band E and an inverse semigroup Λ. The main purpose of this paper is to present the following results and some relevant matters: (1) A quasi-direct product EX Λ of a band E and an inverse semigroup Λ is simple [bisimple] if and only if Λ is simple [bisimple], and (2) in case where EX Λ has a zero element, EX Λ is O-simple [O-bisimple] if and only if Λ is O-simple [O-bisimple]. Any notation and terminology should be referred to [1], [5] and [6], unless otherwise stated.     

Relatively congruence-free regular semigroups

Yu, Wang, Wu and Ye call a semigroup \(S\) \(\tau \) -congruence-free, where \(\tau \) is an equivalence relation on \(S\) , if any congruence \(\rho \) on \(S\) is either disjoint from \(\tau \) or contains \(\tau \) . A congruence-free semigroup is then just an \(\omega \) -congruence-free semigroup, where \(\omega \) is the universal relation. They determined the completely regular semigroups that are \(\tau \) -congruence-free with respect to each of the Green’s relations. The goal of this paper is to extend their results to all regular semigroups. Such a semigroup is \(\mathrel {\mathcal {J}}\) -congruence-free if and only if it is either a semilattice or has a single nontrivial \(\mathrel {\mathcal {J}}\) -class, \(J\) , say, and either \(J\) is a subsemigroup, in which case it is congruence-free, or otherwise its principal factor is congruence-free. Given the current knowledge of congruence-free regular semigroups, this result is probably best possible. When specialized to completely semisimple semigroups, however, a complete answer is obtained, one that specializes to that of Yu et al. A similar outcome is obtained for \(\mathrel {\mathcal {L}}\) and \(\mathrel {\mathcal {R}}\) . In the case of \(\mathrel {\mathcal {H}}\) , only the completely semisimple case is fully resolved, again specializing to those of Yu et al.     

P-systems in regular semigroups

In this paper, firstly it is shown that a regular semigroup S becomes a regular *-semigroup (in the sense of [1]) if and only if S has a certain subset called a p-system. Secondly, all the normal *-bands are completely described in terms of rectangular *-bands (square bands) and transitive systems of homomorphisms of rectangular *-bands. Further, it is shown that an orthodox semigroup S becomes a regular *-semigroup if there is a p-system F of the band E_S of idempotents of S such that F∋e, E_S∋t, e≥t imply t∈F. By using this result, it is also shown that F is a p-system of a generalized inverse semigroup S if and only if F is a p-system of F_S. Dedicated to Professor L. M. Gluskin on his 60th birthday     

Finitely approximable regular semigroups

In this note it is proved that a regular semigroup whose subgroups are all finitely approximable is finitely approximable and that the set of idempotents of each principal factor is finite. As a corollary necessary and sufficient conditions are found for certain classes of regular semigroups to be finitely approximable.Translated from Matematicheskie Zametki, Vol. 17, No. 3, pp. 423–432, March, 1975.The author is grateful to L. N. Shevrin and Yu. N. Mukhin for their valuable observations and helpful discussions.     

Congruences on regular semigroups

The kernel of a congruence on a regular semigroup S may be characterized as a set of subsets of S which satisfy the Teissier-Vagner-Preston conditions. A simple construction of the unique congruence associated with such a set is obtained. A more useful characterization of the kernel of a congruence on an orthodox semigroup (a regular semigroup whose idempotents form a subsemigroup) is provided, and the minimal group congruence on an orthodox semigroup is determined.     

Completely monotone functions on lie semigroups

We obtain an integral representation of a completely monotone function on a Lie semigroup and prove the equivalence of “difference” and “differential” definitions of this function. Gomel University, Gomel. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 52, No. 6, pp. 841–845, June, 2000.