ON THE STRUCTURE OF REGULAR CRYPTO SEMIGROUPS

Superabundant semigroups are generalizations of completely regular semigroups written the class of abundant semigroups. It has been shown by Fountain that an abundant semigroup is superabundant if and only if it is a semilattice of completely J ^*-simple semigroups. Reilly and Petrich called a semigroup S cryptic if the Green's relation H is a congruence on S. In this paper, we call a superabundant semigroup S a regular crypto semigroup if H ^* is a congruence on S such that S/H ^* is a regular band. It will be proved that a superabundant semigroup S is a regular crypto semigroup if and only if S is a refined semilattice of completely J ^*-simple semigroups. Thus, regular crypto semigroups are generalization of the cryptic semigroups as well as abundant semigroups.     

Some relations on completely regular semigroups

A semigroup S is called a Clifford semigroup if it is completely regular and inverse. In this paper, some relations related to the least Clifford semigroup congruences on completely regular semigroups are characterized. We give the relation between Y and ξ on completely regular semigroups and get that Y ^* is contained in the least Clifford congruence on completely regular semigroups generally. Further, we consider the relation Y ^*, Y, ν and ε on completely simple semigroups and completely regular semigroups. This work is supported by Leading Academic Discipline Project of Shanghai Normal University, Project Number: DZL803 and General Scientific Research Project of Shanghai Normal University, No. SK200707.     

A Representation for $F$-Regular Semigroups

A regular (inverse) semigroup S is called F-regular (F-inverse), if each class of the least group congruence _S contains a greatest element with respect to the natural partial order on S. Such a semigroup is necessarily an E-unitary regular (hence orthodox) monoid. We show that each F-regular semigroup S is isomorphic to a well determined subsemigroup of a semidirect product of a band X by S/_S, where X belongs to the band variety, generated by the band of idempotents E_S of S. Our main result, Theorem 4, is the regular version of the corresponding fact for inverse semigroups, and might be useful to generalize further features of the theory of F-inverse semigroups to the F-regular case.     

Left Orders in Special Completely 0-Simple Semigroups

A subsemigroup S of a semigroup Q is a left order in Q, and Q is a semigroup of left quotients of S, if every element of Q can be written as a ^?1 b for some ${a, b\in S}$ with a belonging to a group ${\mathcal{H}}$ -class of Q. Characterizations are provided for semigroups which are left orders in completely 0-simple semigroups in the following classes: without similar ${\mathcal{L}}$ -classes, without contractions, ${\mathcal{R}}$ -unipotent, Brandt semigroups and their generalization. Complete discussion of two examples and an idea for a new concept conclude the paper.     

The Berman Conjecture Is True for Finite Surjective Semigroups and Their Inflations

A semigroup S is called surjective if S ² =S . The aim of this paper is to prove that p _n -sequences of finite surjective semigroups are eventually strictly increasing, except in few well known cases, when they are bounded. Also, some further types of finite semigroups, obtained by means of subdirect products, are shown to have the same property.     

Ω-compact semigroups having congruence extension property

The congruence extension property (CEP) of semigroups has been extensively studied by a number of authors. We call a compact semigroup S an Ω-compact semigroup if the set of all regular elements of S forms an ideal of S. In this note, we characterize the Ω-compact semigroup having (CEP). Our result extends a recent result obtained by X.J. Guo on the congruence extension property of strong Ω-compact semigroups which is a semigroup containing precisely one regular D-class.     

A class of regular semigroups with regular *- transversals

Let S be a regular semigroup. If there is a subsemigroup S ^* of S and a unary operation * in S satisfying: (1) x ^* ∈ S ^* \cap V_ S ^* (x) for all x∈ S; (2) (x ^* ) ^* =x for all x∈ S ^* ; (3) (x ^* y) ^* =y ^* x ^** and (xy ^* ) ^* =y ^** x ^* for all x,y∈ S, then S ^* is called a regular *- transversal of S ; if (3) is replaced with (xy) ^* =y ^* x ^* for all x,y∈ S, then S ^* is called a strongly regular *- transversal of S. In this paper we consider the class of regular semigroups with a strongly regular *- transversal. It is proved that these semigroups are P - regular semigroups. We characterize the structure of the regular semigroups with a strongly regular *- transversal.     

On left regular and intra-regular ordered semigroups

We study the decomposition of left regular ordered semigroups into left regular components and the decomposition of intra-regular ordered semigroups into simple or intra-regular components, adding some additional information to the results considered in [KEHAYOPULU, N.: On left regular ordered semigroups, Math. Japon. 35 (1990), 1057–1060] and [KEHAYOPULU, N.: On intra-regular ordered semigroups, Semigroup Forum 46 (1993), 271–278]. We prove that an ordered semigroup S is left regular if and only if it is a semilattice (or a complete semilattice) of left regular semigroups, equivalently, it is a union of left regular subsemigroups of S. Moreover, S is left regular if and only if it is a union of pairwise disjoint left regular subsemigroups of S. The right analog also holds. The same result is true if we replace the words “left regular” by “intraregular”. Moreover, an ordered semigroup is intra-regular if and only if it is a semilattice (or a complete semilattice) of simple semigroups. On the other hand, if an ordered semigroup is a semilattice (or a complete semilattice) of left simple semigroups, then it is left regular, but the converse statement does not hold in general. Illustrative examples are given.     

The structure of ?*-inverse semigroups

The concepts of ℒ*-inverse semigroups and left wreath products of semigroups are introduced. It is shown that the ℒ*-inverse semigroup can be described as the left wreath product of a type A semigroup Γ and a left regular band B together with a mapping which maps the semigroup Γ into the endomorphism semigroup End(B). This result generalizes the structure theorem of Yamada for the left inverse semigroups in the class of regular semigroups. We shall also provide a constructed example for the ℒ*-inverse semigroups by using the left wreath products.     

Orders in Strict Regular Semigroups

 A subsemigroup S of a semigroup Q is an order in Q if for every there exist such that , where a and d are contained in (maximal) subgroups of Q, and and are their inverses in these subgroups. A regular semigroup S is strict if it is a subdirect product of completely (0-)simple semigroups. We construct all orders and involutions in Auinger’s model of a strict regular semigroup. This is used to find necessary and sufficient conditions on an involution on an order S in a strict regular semigroup Q for extendibility to an involution on Q.     

Left Equalizer Simple Semigroups

We characterize and construct semigroups whose right regular representation is a left cancellative semigroup. These semigroups will be called left equalizer simple semigroups. For a congruence \({\varrho}\) on a semigroup S, let \({{\mathbb F}[\varrho]}\) denote the ideal of the semigroup algebra \({{\mathbb F}[S]}\) which determines the kernel of the extended homomorphism of \({{\mathbb F}[S]}\) onto \({{\mathbb F}[S/\varrho]}\) induced by the canonical homomorphism of S onto \({S/\varrho}\). We examine the right colons (\({{\mathbb F}[\varrho] :_{r} {\mathbb F}[S]) = {a \epsilon {\mathbb F}[S] : {\mathbb F}[S]a \subseteqq {\mathbb F}[\varrho]}}\) in general, and in that special case when \({\varrho}\) has the property that the factor semigroup \({S/\varrho}\) is left equalizer simple.     

Amenability of semigroups and their algebras modulo a group congruence

We investigate the amenability of the semigroup algebras \({\ell^1(S/\rho)}\) , where \({\rho}\) is a group congruence (not necessarily minimal) on a semigroup S. We relate this to a new notion of amenability of Banach algebras modulo an ideal, to prove a version of Johnson’s theorem for a large class of semigroups, including inverse semigroups, E-inversive semigroup and E-inversive E-semigroups.     

η-Simple semigroups without zero and η ∗-simple semigroups with a least non-zero idempotent

A semigroup S is called η-simple if S has no semilattice congruences except S×S. Tamura in (Semigroup Forum 24:77–82, 1982) studied η-simple semigroups with a unique idempotent. In the present paper we consider a more general situation, that is, we investigate η-simple semigroups (without zero) with a least idempotent. Moreover, we study η ^?-simple semigroups with zero which contain a least non-zero idempotent.     

Orders in Strict Regular Semigroups

 A subsemigroup S of a semigroup Q is an order in Q if for every there exist such that , where a and d are contained in (maximal) subgroups of Q, and and are their inverses in these subgroups. A regular semigroup S is strict if it is a subdirect product of completely (0-)simple semigroups. We construct all orders and involutions in Auinger’s model of a strict regular semigroup. This is used to find necessary and sufficient conditions on an involution on an order S in a strict regular semigroup Q for extendibility to an involution on Q. (Received 27 April 1999; in revised form 20 October 1999)     

On generalized inverse transversals

Let S be a regular semigroup, S° an inverse subsemigroup of S.S° is called a generalized inverse transversal of S, if V（x）∩S°≠Ф. In this paper, some properties of this kind of semigroups are discussed. In particular, a construction theorem is obtained which contains some recent results in the literature as its special cases.     

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.