On Some Monogenic Semigroups with an Associate Subgroup

Let S be any semigroup and a, s ∈ S. If a = asa, then s is an associate of a. A subgroup G of S is an associate subgroup of S if every a ∈ S has a unique associate a* in G. It turns out that G = H _z for some idempotent z, the zenith of S. The mapping a → a* is a unary operation on S. We say that S is monogenic if S is generated, as a unary semigroup, by a single element.

We embark upon the problem of the structure of monogenic semigroups in this sense by characterizing monogenic ones belonging to completely simple semigroups, normal cryptogroups, orthogroups, combinatorial semigroups, cryptic medial semigroups, cryptic orthodox semigroups, and orthodox monoids. In each of these cases, except one, we construct a free object. The general problem remains open.     

Embedding Semigroups with Associate Subgroups into Semidirect Products

A semigroup S is said to have an associate subgroup G if, for each s ∈ S, there is a unique s* ∈ G such that ss*s = s. If the identity 1 _G of G is medial, i.e., c1 _G c = c holds for each c being a product of idempotents, we show that S is isomorphic to a certain subsemigroup of a semidirect product of an idempotent generated semigroup C by G. If additionally S is orthodox, we may choose C to be a band, belonging to the band variety, generated by the band of idempotents of S.     

Intuitionistic fuzzy semiprime ideals in ordered semigroups

We give characterizations of different classes of ordered semigroups by using intuitionistic fuzzy ideals. We prove that an ordered semigroup is regular if and only if every intuitionistic fuzzy left (respectively, right) ideal of S is idempotent. We also prove that an ordered semigroup S is intraregular if and only if every intuitionistic fuzzy two-sided ideal of S is idempotent. We give further characterizations of regular and intra-regular ordered semigroups in terms of intuitionistic fuzzy left (respectively, right) ideals. In conclusion of this paper we prove that an ordered semigroup S is left weakly regular if and only if every intuitionistic fuzzy left ideal of S is idempotent.     

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.     

On some medial semigroups with an associate subgroup

Let S be a semigroup and s,t∈S. We say that t is an associate of s if s=sts. If S has a maximal subgroup G such that every element s of S has a unique associate in G, say s ^∗, we say that G is an associate subgroup of S and consider the mapping s→s ^∗ as a unary operation on S. In this way, semigroups with an associate subgroup may be identified with unary semigroups satisfying three simple axioms. Among them, only those satisfying the identity (st)^∗=t ^∗ s ^∗, called medial, have a structure theorem, due to Blyth and Martins.     

Cryptogroups with an associate subgroup

A cryptogroup is a completely regular semigroup S on which Green’s relation $\mathcal{H}$ is a congruence. For a,x∈S, x is an associate of a if a=axa. A subgroup G of S is an associate subgroup of S if it contains precisely one associate of each element of S. Further, S is a regular (respectively normal) cryptogroup if $S/\mathcal{H}$ is a regular (respectively normal) band. We provide a construction of a general (respectively regular or normal) cryptogroup in terms of groups and functions. On this model of S, we find several conditions equivalent to S containing an associate subgroup G. We characterize several varieties of completely regular semigroups, provided with the unary operation s?s ^?, where s ^? is the associate of s in G. They include completely regular semigroups, (regular, normal) cryptogroups, completely simple semigroups, and their monoid and/or overabelian members.     

E-special Ordered Regular Semigroups

An ordered regular semigroup S is E-special if for every x ∈ S there is a biggest x ⁺ ∈ S such that both xx ⁺ and x ⁺ x are idempotent. Every regular strong Dubreil–Jacotin semigroup is E-special, as is every ordered completely simple semigroup with biggest inverses. In an E-special ordered regular semigroup S in which the unary operation x → x ⁺ is antitone the subset P of perfect elements is a regular ideal, the biggest inverses in which form an inverse transversal of P if and only if S has a biggest idempotent. If S ⁺ is a subsemigroup and S does not have a biggest idempotent, then P contains a copy of the crown bootlace semigroup.     

On Classes of E-Inversive Semigroups and Semigroups Whose Idempotents Form a Subsemigroup

Abstract

A semigroup S is called E-inversive if for every a ∈ S there is an x ∈ S such that ax is idempotent. The purpose of this paper is the investigation of E-inversive semigroups and semigroups whose idempotents form a subsemigroup. Basic properties are analysed and, in particular, semigroups whose idempotents form a semilattice or a rectangular band are considered. To provide examples and characterizations, the construction methods of generalized Rees matrix semigroups and semidirect products are employed.     

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.     

Special subgroups of regular semigroups

Extending the notions of inverse transversal and associate subgroup, we consider a regular semigroup S with the property that there exists a subsemigroup T which contains, for each x∈S, a unique y such that both xy and yx are idempotent. Such a subsemigroup is necessarily a group which we call a special subgroup. Here, we investigate regular semigroups with this property. In particular, we determine when the subset of perfect elements is a subsemigroup and describe its structure in naturally arising situations.     

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.     

On Inverse Transversals of Ordered Regular Semigroups

We first consider an ordered regular semigroup S in which every element has a biggest inverse and determine necessary and sufficient conditions for the subset S ^○ of biggest inverses to be an inverse transversal of S. Such an inverse transversal is necessarily weakly multiplicative. We then investigate principally ordered regular semigroups S with the property that S ^○ is an inverse transversal. In such a semigroup we determine precisely when the set S ^☆ of biggest pre-inverses is a subsemigroup and show that in this case S ^☆ is itself an inverse transversal of a subsemigroup of S. The ordered regular semigroup of 2 × 2 boolean matrices provides an informative illustrative example. The structure of S, when S ^☆ is a group, is also described.     

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.     

Ring semigroups whose subsemigroups intersect

A multiplicative semigroup S is said to be a ring semigroup provided there exists an addition + on S such that (S,+,⋅) is a ring. In this note, we characterize the ring semigroups S with the property that every two nonzero subsemigroups intersect.     

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.     

On Ordered Semigroups Containing Covered Ideals

A proper ideal M of an ordered semigroup (S, ·, ≤) is said to be a covered ideal of S if M ? (S(S?M)S], i.e., if for any x in M, there exist a, c in S and b in S?M such that x ≤ abc. The purpose of this article is to study the structure of ordered semigroups containing covered ideals. The results obtained generalize the results on semigroups (without order) studied by Fabrici in 1984.     

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.