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.     

Partial kernel normal systems in regular semigroups

\noindent Let P be an arbitrary full subset of the set E(S) of the idempotents in a regular semigroup S . We shall prove that each congruence on S is completely determined by its partial kernel normal system linking to P and give the kernel normal systems in regular semigroups an abstract characterization. January 19, 1998     

Basic properties of e-inversive semigroups

Generalizing a property of regular resp. finite semigroups a semigroup S is called E-(0-) inversive if for every a ∈ S4(a ≠ 0) there exists x ∈ S such that ax (≠ 0) is an idempotent. Several characterizations are given allowing to identify the (completely, resp. eventually) regular semigroups in this class. The case that for every a ∈ S4(≠ 0) there exist x,y ∈ S such that ax = ya(≠ 0) is an idempotent, is dealt with also. Ideal extensions of E- (0-)inversive semigroups are studied discribing in particular retract extensions of completely simple semigroups. The structure of E- (0-)inversive semigroups satisfying different cancellativity conditions is elucidated. 1991 AMS classification number: 20M10.     

Variants of Regular Semigroups

Let S be a regular semigroup, and let a ∈ S . Then a variant of S with respect to a is a semigroup with underlying set S and multiplication \circ defined by x \circ y = xay . In this paper, we characterise the regularity preserving elements of regular semigroups; these are the elements a such that (S,\circ) is also regular. Hickey showed that the set of regularity preserving elements can function as a replacement for the unit group when S does not have an identity. As an application, we characterise the regularity preserving elements in certain Rees matrix semigroups. We also establish connections with work of Loganathan and Chandrasekaran, and with McAlister's work on inverse transversals in locally inverse semigroups. We also investigate the structure of arbitrary variants of regular semigroups concentrating on how the local structure of a semigroup affects the structure of its variants. May 24, 1999     

On character amenability of semigroup algebras

We study the character amenability of semigroup algebras. We work on general semigroups and certain semigroups such as inverse semigroups with a finite number of idempotents, inverse semigroups with uniformly locally finite idempotent set, Brandt and Rees semigroup and study the character amenability of the semigroup algebra l¹(S) in relation to the structures of the semigroup S. In particular, we show that for any semigroup S, if ?¹(S) is character amenable, then S is amenable and regular. We also show that the left character amenability of the semigroup algebra ?¹(S) on a Brandt semigroup S over a group G with index set J is equivalent to the amenability of G and J being finite. Finally, we show that for a Rees semigroup S with a zero over the group G, the left character amenability of ?¹(S) is equivalent to its amenability, this is in turn equivalent to G being amenable.     

Regular semigroups with skew pairs of idempotents

Let S be a regular semigroup with set of idempotents E(S) . Given x,y ∈ S , we say that (x,y) is a skew pair if x y \notin E(S) whereas y x ∈ E(S) . Here we use this concept to characterise certain regular Rees matrix semigroups.     

On the Cayley graphs of completely simple semigroups

In this paper, the Cayley graphs of completely simple semigroups are investigated. The basic structure and properties of this kind of Cayley graph are given, and a condition is given for a Cayley graph of a completely simple semigroup to be a disjoint union of complete graphs. We also describe all pairs (S,A) such that S is a completely simple semigroup, A⊆S, and Cay (S,A) is a strongly connected bipartite Cayley graph.     

Semigroups with magnifiers admitting minimal subsemigroups

An element a of a semigroup S is a left magnifier if λ_a, the inner left translation associated with a, is surjective and is not injective (E. S. Ljapin [11]). When this happens there exists a proper subset M of S such that the restriction to M of λ_a is bijective. In that case M is said to be a minimal subset for the left magnifier a (F. Migliorini [13], [14], [15]). Remark that if S is a semigroup having left identities then every left magnifier of S admits minimal subsets which are right ideals. Characterisations for semigroups with left magnifiers which also contain left identities have been given by E. S. Ljapin and R. Desq, using the bicyclic monoid. The general problem, precisely to give a characterization of semigroups having left magnifiers, is still open.     

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.     

On the Finite and Nonfinite Generation of Diagonal Acts

The diagonal right act of a semigroup S is the set S × S, with S acting by componentwise multiplication from the right. The diagonal left act and diagonal bi-act of S are defined analogously.

Necessary and sufficient conditions are found for the finite generation of the diagonal bi-acts of completely zero-simple semigroups and completely simple semigroups. It is also proved that various classes of semigroups do not have finitely generated or cyclic diagonal right, left, or bi-acts.     

Normal cryptogroups with an associate subgroup

Let S be a semigroup. For a, x ∈ S such that a = axa, we say that x is an associate of a. A subgroup G of S which contains exactly one associate of each element of S is called an associate subgroup of S. It induces a unary operation in an obvious way, and we speak of a unary semigroup satisfying three simple axioms. A normal cryptogroup S is a completely regular semigroup whose H -relation is a congruence and S/H is a normal band. Using the representation of S as a strong semilattice of Rees matrix semigroups, in a previous communication we characterized those that have an associate subgroup. In this paper, we use that result to find three more representations of this semigroup. The main one has a form akin to the one of semigroups in which the identity element of the associate subgroup is medial.     

Unary Semigroups with an Associate Subgroup

A subgroup H of a regular semigroup S is said to be an associate subgroup of S if for every s ∈ S, there is a unique associate of s in H. An idempotent z of S is said to be medial if czc = c, for every c product of idempotents of S. Blyth and Martins established a structure theorem for semigroups with an associate subgroup whose identity is a medial idempotent, in terms of an idempotent generated semigroup, a group and a single homomorphism. Here, we construct a system of axioms which characterize these semigroups in terms of a unary operation satisfying those axioms. As a generalization of this class of semigroups, we characterize regular semigroups S having a subgroup which is a transversal of a congruence on S.     

Medial permutable semigroups of the first kind

We say that a semigroup S is a permutable semigroup if the congruences of S commute with each other, that is, α○β=β○α is satisfied for all congruences α and β of S. A semigroup is called a medial semigroup if it satisfies the identity axyb=ayxb. The medial permutable semigroups were examined in Proc. Coll. Math. Soc. János Bolyai, vol. 39, pp. 21–39 (1981), where the medial semigroups of the first, the second and the third kind were characterized, respectively. In Atta Accad. Sci. Torino, I-Cl. Sci. Fis. Mat. Nat. 117, 355–368 (1983) a construction was given for medial permutable semigroups of the second [the third] kind. In the present paper we give a construction for medial permutable semigroups of the first kind. We prove that they can be obtained from non-archimedean commutative permutable semigroups (which were characterized in Semigroup Forum 10, 55–66, 1975). Research supported by the Hungarian NFSR grant No T042481 and No T043034.     

On Ordered Semigroups Which are Semilattices of Simple and Regular Semigroups

We characterize the ordered semigroups which are decomposable into simple and regular components. We prove that each ordered semigroup which is both regular and intra-regular is decomposable into simple and regular semigroups, and the converse statement also holds. We also prove that an ordered semigroup S is both regular and intra-regular if and only if every bi-ideal of S is an intra-regular (resp. semisimple) subsemigroup of S. An ordered semigroup S is both regular and intra-regular if and only if the left (resp. right) ideals of S are right (resp. left) quasi-regular subsemigroups of S. We characterize the chains of simple and regular semigroups, and we prove that S is a complete semilattice of simple and regular semigroups if and only if S is a semilattice of simple and regular semigroups. While a semigroup which is both π-regular and intra-regular is a semilattice of simple and regular semigroups, this does not hold in ordered semigroups, in general.     

Globals of Idempotent Semigroups

If S is a semigroup, the global (or the power semigroup) of S is the set P(S) of all nonempty subsets of S equipped with a naturally defined multiplication. A class K of semigroups is globally determined if any two semigroups of K with isomorphic globals are themselves isomorphic. We study properties of globals of idempotent semigroups and show, in particular, that the class of normal bands is globally determined.     

Finite Proper covers in a class of finite semigroups with commuting idempotents

Weakly left ample semigroups are a class of semigroups that are (2,1)-subalgebras of semigroups of partial transformations, where the unary operation takes a transformation α to the identity map in the domain of α. It is known that there is a class of proper weakly left ample semigroups whose structure is determined by unipotent monoids acting on semilattices or categories. In this paper we show that for every finite weakly left ample semigroup S, there is a finite proper weakly left ample semigroup ? and an onto morphism from ? to S which separates idempotents. In fact, ? is actually a (2,1)-subalgebra of a symmetric inverse semigroup, that is, it is a left ample semigroup (formerly, left type A).     

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.     

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.