Skew Pairs of Idempotents in Transformation Semigroups

An ordered pair （e, f） of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. We have shown previously that there are four distinct types of skew pairs of idempotents. Here we investigate the ubiquity of such skew pairs in full transformation semigroups.     

PI-强Lρ-富足半群的构造

S为半群,如果S中的每个Lρ-类都含幂等元,称S为Lρ-富足半群．特别地,如果对任意的α∈S,集合Iα∩Lα^ρ都只含唯一的元素,称S为强Lρ-富足半群．在S上通过一个非恒等置换σ,给出了PI-强Lρ-富足半群的结构定理．     

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.     

Shades of orthodoxy in Rees-Sushkevich varieties

It is shown that, within the class of Rees-Sushkevich varieties that are generated by completely (0-) simple semigroups over groups of exponent dividing n, there is a hierarchy of varieties determined by the lengths of the products of idempotents that will, if they fall into a group ℋ-class, be idempotent. Moreover, the lattice of varieties generated by completely (0-) simple semigroups over groups of exponent dividing n, with the property that all products of idempotents that fall into group ℋ-classes are idempotent, is shown to be isomorphic to the direct product of the lattice of varieties of groups with exponent dividing n and the lattice of exact subvarieties of a variety generated by a certain five element completely 0-simple semigroup.     

Derived Rees Matrix Semigroups as Semigroups of Transformations

An ordered pair (e,f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. Previously [1] we have established that there are four distinct types of skew pairs of idempotents. We have also described (as quotient semigroups of certain regular Rees matrix semigroups [2]) the structure of the smallest regular semigroups that contain precisely one skew pair of each of the four types, there being to within isomorphism ten such semigroups. These we call the derived Rees matrix semigroups. In the particular case of full transformation semigroups we proved in [3] that T_X contains all four skew pairs of idempotents if and only if |X| ≥ 6. Here we prove that T_X contains all ten derived Rees matrix semigroups if and only if |X| ≥ 7.     

The structure of bisimple left unipotent semigroups as ordered pairs

Call a semigroup S left unipotent if eachℒ-class of S contains exactly one idempotent. A structure theorem for bisimple left unipotent semigroups is given which reduces to that of N. R. Reilly [8] for bisimple inverse semigroups. A structure theorem, alternative to one given by R. J. Warne [13], is given for the case when the band E_S of idempotents of S is an ω-chain of right zero semigroups, and two applications of it are made. This research was partially supported by a grant from the National Science Foundation.     

A Characterisation of a Class of Semigroups with Locally Commuting Idempotents

McAlister proved that a necessary and sufficient condition for a regular semigroup S to be locally inverse is that it can be embedded as a quasi-ideal in a semigroup T which satisfies the following two conditions: (1) T = TeT, for some idempotent e; and (2) eTe is inverse. We generalise this result to the class of semigroups with local units in which all local submonoids have commuting idempotents.     

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.     

Certain congruences on E-inversive E-semigroups

A semigroup S is called E-inversive if for every a ∈ S there exists x ∈ S such that ax is idempotent. S is called E-semigroup if the set of idempotents of S forms a subsemigroup. In this paper some special congruences on E-inversive E-semigroups are investigated, such as the least group congruence, a certain semilattice congruence, some regular congruences and a certain idempotent-separating congruence.     

Tight representations of semilattices and inverse semigroups

By a Boolean inverse semigroup we mean an inverse semigroup whose semilattice of idempotents is a Boolean algebra. We study representations of a given inverse semigroup in a Boolean inverse semigroup which are tight in a certain well defined technical sense. These representations are supposed to preserve as much as possible any trace of Booleanness present in the semilattice of idempotents of  . After observing that the Vagner–Preston representation is not tight, we exhibit a canonical tight representation for any inverse semigroup with zero, called the regular tight representation. We then tackle the question as to whether this representation is faithful, but it turns out that the answer is often negative. The lack of faithfulness is however completely understood as long as we restrict to continuous inverse semigroups, a class generalizing the E ^*-unitaries. Partially supported by CNPq.     

Semiprimitivity of Orthodox Semigroup Algebras

Let S be a finite orthodox semigroup or an orthodox semigroup where the idempotent band E(S) is locally pseudofinite. In this paper, by using principal factors and Rukolaǐne idempotents, we show that the contracted semigroup algebra R₀[S] is semiprimitive if and only if S is an inverse semigroup and R[G] is semiprimitive for each maximal subgroup G of S. This theorem strengthens previous results about the semiprimitivity of inverse semigroup algebras.     

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.     

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.     

<Emphasis Type="Italic">N</Emphasis>-homogeneous <Emphasis Type="Italic">C</Emphasis>*-algebras generated by idempotents

In this paper we consider n-homogeneous C*-algebras generated by idempotents. We prove that a finitely generated unital n-homogeneous (when n is greater than or equals 2) C*-algebra A can be generated by a finite set of idempotents if and only if the algebra A contains at least one nontrivial idempotent.     

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 subsemigroups of βℕ and absolute coretracts

A semigroup S is called an absolute coretract if for any continuous homomorphism f from a compact Hausdorff right topological semigroup T onto a compact Hausdorff right topological semigroup containing S algebraically there exists a homomorphism g \colon S→ T such that f\circ g=id _S . The semigroup β\ben contains isomorphic copies of any countable absolute coretract. In this article we define a class C of semigroups of idempotents each of which is a decreasing chain of rectangular semigroups. It is proved that every semigroup from C is an absolute coretract and every finite semigroup of idempotents, which is an absolute coretract, belongs to C . July 25, 2000     

具有弱中间幂等元的正则半群

本文在正则半群上引入弱中间幂等元和拟中间幂等元,着重探讨了这两类幂等元的性质特征.构造了若干具有弱(拟)中间幂等元的正则半群,确定了弱中间幂等元和拟中间幂等元之间的关系,给出了弱中间幂等元和拟中间幂等元各自的等价判定,利用拟中间幂等元刻画了纯正半群.最后,得到了构造具有拟中间幂等元的正则半群的一般途径,并在此基础上进一步给出了判定正则半群是否具有乘逆断面的方法.     

On some classes of regular semigroups

An idempotent e of a semigroup S is called right [left] principal (B.R. Srinivasan, [2]) if fef=fe [fef=ef] for every idempotent f of S. Say that S has property (LR) [(LR₁)] if every ℒ-class of S contains atleast [exactly] one right principal idempotent. There and six further properties obtained by replacing, ‘ℒ-class’ by ‘ℛ-class’ and/or ‘right principal’ by ‘left principal’ are examined. If S has (LR₁), the set of right principal elementsa of S (aa′ is right principal for some inversea′ ofa) is an inverse subsemigroup of S, generalizing a theorem of Srinivasan [2] for weakly inverse semigroups. It is shown that the direct sum of all dual Schützenberger representations of an (LR) semigroup is faithful (cf[1], Theorem 3.21, p. 119). Finally, necessary and sufficient conditions are given on a regular subsemigroup S of the full transformation semigroup on a set in order that S has each of the properties (LR), (LR₁), etc.     

The Smallest Regular Semigroups with all Four Skew Pairs of Idempotents

An ordered pair (e, f) of idempotents of a regular semigroup is called a skew pair if ef is not idempotent whereas fe is idempotent. We have shown previously that there are four distinct types of skew pairs of idempotents. Here we consider the smallest regular semigroups that contain precisely one of each of these four types. We show that, to within isomorphism and dualisomorphism, there are six such semigroups and characterise them as quotient semigroups of certain regular Rees matrix semigroups.     

On left C-U-liberal semigroups

In this paper the equivalence on a semigroup S in terms of a set U of idempotents in S is defined. A semigroup S is called a U-liberal semigroup with U as the set of projections and denoted by S(U) if every -class in it contains an element in U. A class of U-liberal semigroups is characterized and some special cases are considered.