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.     

Archimedean ordered semigroups as ideal extensions

The main result of the paper is a structure theorem concerning the ideal extensions of archimedean ordered semigroups. We prove that an archimedean ordered semigroup which contains an idempotent is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup. Conversely, if an ordered semigroup S is an ideal extension of a simple ordered semigroup by a nil ordered semigroup, then S is archimedean. As a consequence, an ordered semigroup is archimedean and contains an idempotent if and only if it is an ideal extension of a simple ordered semigroup containing an idempotent by a nil ordered semigroup.     

Some Characterizations of Strongly Semisimple Ordered Semigroups

In this paper, the concept of quasi-prime fuzzy left ideals of an ordered semigroup $S$ is introduced. Some characterizations of strongly semisimple ordered semigroups are given by quasi-prime fuzzy left ideals of $S$. In particular, we prove that $S$ is strongly semisimple if and only if each fuzzy left ideal of $S$ is the intersection of all quasi-prime fuzzy left ideals of $S$ containing it.     

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.     

On ordered semigroups which are semilattices of left simple semigroups

It has been proved by Tôru Saitô that a semigroup S is a semilattice of left simple semigroups, that is, it is decomposable into left simple semigroups, if and only if the set of left ideals of S is a semilattice under the multiplication of subsets, and that this is equivalent to say that S is left regular and every left ideal of S is two-sided. Besides, S. Lajos has proved that a semigroup S is left regular and the left ideals of S are two-sided if and only if for any two left ideals L ₁, L ₂ of S, we have L ₁ ∩ L ₂ = L ₁ L ₂. The present paper generalizes these results in case of ordered semigroups. Some additional information concerning the semigroups (without order) are also obtained.     

Bands of weakly r-Archimedean ordered semigroups

In this paper, some characterizations that an ordered semigroup S is a band of weakly r-archimedean ordered subsemigroups of S are given by some relations on S . We prove that an ordered semigroup S is a band of weakly r -archimedean ordered subsemigroups if and only if S is regular band of weakly r -archimedean ordered subsemigroups. Finally, we obtain that a negative ordered semigroup S is a band of weakly r-archimedean ordered subsemigroups of S if and only if S is a band of r-archimedean ordered subsemigroups of S . As an application the corresponding results on semigroups without order can be obtained by moderate modifications. August 27, 1999     

阿基米德序半群的链的若干刻画

本文首先引入了一个序半群$S$的准素模糊理想的概念,通过序半群$S$上的一些二元关系以及它的理想的模糊根给出了该序半群是阿基米德序子半群的半格的一些刻画.进一步地借助于序半群$S$的模糊子集对该序半群是阿基米德序子半群的半格进行了刻画.尤其是通过序半群的模糊素根定理证明了序半群$S$是阿基米德序子半群的链当且仅当$S$是阿基米德序子半群的半格且$S$的所有弱完全素模糊理想关于模糊集的包含关系构成链.     

Ascending chain conditions on principal left and right ideals for semidirect products of semigroups

In this paper we investigate the ascending chain conditions on principal left and right ideals for semidirect products of semigroups and show how this is connected to the corresponding problem for rings of skew generalized power series. Let S be a left cancellative semigroup with a unique idempotent e, T a right cancellative semigroup with an idempotent f and $\omega: T \to \operatorname {End}(S)$ a semigroup homomorphism such that ??(f)=id _S . We show that in this case the semidirect product S? _?? T satisfies the ascending chain condition for principal left ideals (resp. right ideals) if and only if S and T satisfy the ascending chain condition for principal left ideals (resp. right ideals and $\operatorname {Im}\omega(t)$ is closed for complete inverses for all t??T). We also give several examples to show that for more general semigroups these implications may not hold.     

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.     

阿基米德序半群的链(英文)

本文通过一个序半群S上的一些二元关系以及它的理想(右理想,双理想)的根集分别给出了该序半群是阿基米德(右阿基米德,t-阿基米德)序子半群的链的刻画.进一步证明了准素序半群是阿基米德序半群的链.最后,通过素根定理证明了序半群S是阿基米德序子半群的链当且仅当S是阿基米德序子半群的半格且S的所有素理想关于集合的包含关系构成链.     

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.     

序半群的阿基米德半群的半格分解

本文通过一个序半群S上的一些二元关系以及它的理想的根集的性质该序半群是阿基米德半群的半格,特别地是阿基米德半群的链的刻划,证明了S是阿基米德链当且仅当S是准素的.通过序半群的m-系的概念,证明了S的任意半素理想是含它的所有素理想的交,并通过该结论,证明了S是阿基米德半群的链当且仅当S是阿基米德半群的半格且S的所有素理想关于集包含关系构成链.作为应用,该结论在一般的半群（没有序）[1]中也成立.     

On (∈, ∈ ∨q k )-fuzzy ideals of ordered semigroups

In this paper, the concept of (∈, ∈ ∨q _k )-fuzzy ideals of an ordered semigroup S is introduced by the ordered fuzzy points of S, and related properties are investigated. Furthermore, we introduce the concept of prime (∈, ∈ q _k )-fuzzy ideals of ordered semigroups, and give some characterizations of them. As an application results of this paper, the corresponding results in ordinary semigroups can be also obtained by moderate modification.     

偏序半群的C-左理想

本文引入了偏序半群中Ｃ 左理想的概念，讨论了Ｃ 左理想的一些基本性质，定义了左基的概念并利用它给出了最大Ｃ 左理想存在的必要和充分条件．作为应用，本文还讨论了每个真左理想均为Ｃ 左理想和无Ｃ 左理想这两类半群的结构特征．本文的结果在一般半群中也成立     

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.     

Intuitionistic fuzzy quasi-ideals of ordered semigroups

In this paper we define intuitionistic fuzzy quasi-ideals of ordered semigroups. The main result of the paper is a characterization of quasi-ideals in terms of intuitionistic fuzzy quasi-ideals. We also characterize left simple, right simple, and completely regular ordered semigroups in terms of intuitionistic fuzzy quasi-ideals. We study the decomposition of left and right simple ordered semigroups using intuitionistic fuzzy quasi-ideals.     

Idempotent bounded C-semigroups

A semigroup with zero isidempotent bounded (IB) if it is the 0-direct union of idempotent generated principal left ideals and the 0-direct union of idempotent generated principal right ideals. Notable examples are completely 0-simple semigroups and the wider class of primitive abundant semigroups. Significant to the structure of these semigroups is that they are all categorical at zero. In this paper we describe IB semigroups that are categorical at zero in terms ofdouble blocked Rees matrix semigroups. This generalises Fountain's characterisation of primitive abundant semigroups via blocked Rees matrix semigroups [1], which in turn yields the Rees theorem for completely 0-simple semigroups.     

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.