具有左中心幂等元的弱L-正则半群

本文证明了半群S是一个具有左中心幂等元的弱L-正则半群,当且仅当S为H-左可消幺半群和右零带直积的强半格,并借助具有中心幂等元的弱L-正则半群和右正规带建立了半群S的强织积结构.     

具有中心幂等元的L-弱正则半群

本文定义了具有中心幂等元的(L)-弱正则半群,研究了这类半群的代数结构.利用半群上的右同余(L)+和左同余R+,证明了半群S是一个具有中心幂等元的(L)-弱正则半群,当且仅当S是H-左可消幺半群的强半格.这推广了Clifford半群的相应结果.     

正规密码H~#-富足半群的结构

证明了H~#-富足半群S是正规密码H~#-富足半群当且仅当它是完全J~#-单半群的强半格.该结果也是正规密码超富足半群和正规密码群并半群分别在超富足半群和完全正则半群上的相应结构定理的推广.     

具有弱正规幂等元的富足半群的结构

本文研究含弱正规幂等元的富足半群.在给出这类半群的若干特征后,建立了具有弱正规幂等元的富足半群的结构．作为应用,给出具有正规幂等元的富足半群和具有（弱）正规幂等元的拟适当半群的结构．     

具有左中心幂等元的U-富足半群（英文）

本文研究了具有左中心幂等元的U-富足半群的半格分解.利用半格分解,证明了半群S为具有左中心幂等元的U-富足半群,当且仅当S为直积Mα×Λα的强半格,其中Mα是幂幺半群,Λα是右零带.这一结果为具有左中心幂等元的U-富足半群结构的建立奠定了基础.     

正规密码o-超富足半群的结构

证明了ο-超富足半群S是正规密码ο-超富足半群当且仅当它是完全Jο-单半群的强半格.该结果也是正规密码超富足半群和正规密码群并半群分别在超富足半群和完全正则半群上的相应结构定理的推广。     

全子半群构成链的富足半群

全子半群定义为含有所有幂等元的子半群.半群称为▽_(fs)-半群,如果它的所有全子半群关于集合包含关系构成一个链.本文研究富足▽_(fs)-半群,得到这类半群的若干特征,特别地,建立了完全0-单▽_(fs)-半群和满足正则性条件的本原富足▽_(fs)-半群的结构.     

完全■-单半群

完全■-单半群是完全单半群和完全■~*-单半群在U-半富足半群类中的一个自然推广.本文证明了半群S是完全■-单半群,当且仅当S同构于幺半群T上的正规Rees矩阵半群■(T;I,A;P).这一结果不仅推广了完全单半群的著名Rees定理,而且推广了任学明和岑嘉评在2004年建立的完全■~*-单半群的一个结构定理.     

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

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

半群的广义Clifford定理

令U为U-半富足半群的投射元集合.每个H-类含投射元的U-富足半群称为U-超富足半群.这种半群是完全正则半群和超富足半群在U-半富足半群类中的一个共同推广.1941年,Clifford证明了半群S为完全正则半群,当且仅当S为完全单半群的半格.40多年后,Fountain将这一结果推广到了超富足半群上.本文关于U-超富足半群得到了广义Clifford定理.这一结果分别以Clifford和Fountain的上述结果为其推论.     

Orthodox semigroups whose idempotents satisfy a certain identity

An orthodox semigroup S is called a left [right] inverse semigroup if the set of idempotents of S satisfies the identity xyx=xy [xyx=yx]. Bisimple left [right] inverse semigroups have been studied by Venkatesan [6]. In this paper, we clarify the structure of general left [right] inverse semigroups. Further, we also investigate the structure of orthodox semigroups whose idempotents satisfy the identity xyxzx=xyzx. In particular, it is shown that the set of idempotents of an orthodox semigroup S satisfies xyxzx=xyzx if and only if S is isomorphic to a subdirect product of a left inverse semigroup and a right inverse semigroup.     

Congruences on *-Regular Semigroups

In this paper we study the congruences of *-regular semigroups, involution semigroups in which every element is p-related to a projection (an idempotent fixed by the involution). The class of *-regular semigroups was introduced by Drazin in 1979, as the involutorial counterpart of regular semigroups. In the standard approach to *-regular semigroup congruences, one ,starts with idempotents, i.e. with traces and kernels in the underlying regular semigroup, builds congruences of that semigroup, and filters those congruences which preserve the involution. Our approach, however, is more evenhanded with respect to the fundamental operations of *-regular semigroups. We show that idempotents can be replaced by projections when one passes from regular to *-regular semigroup congruences. Following the trace-kernel balanced view of Pastijn and Petrich, we prove that an appropriate equivalence on the set of projections (the *-trace) and the set of all elements equivalent to projections (the *-kernel) fully suffice to reconstruct an (involution-preserving) congruence of a *-regular semigroup. Also, we obtain some conclusions about the lattice of congruences of a *-regular semigroup. This revised version was published online in June 2006 with corrections to the Cover Date.     

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

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

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 algebras of <Emphasis Type="Italic">P</Emphasis>-Ehresmann semigroups and their associate partial semigroups

P-Ehresmann semigroups are introduced by Jones as a common generalization of Ehresmann semigroups and regular \(*\)-semigroups. Ehresmann semigroups and their semigroup algebras are investigated by many authors in literature. In particular, Stein shows that under some finiteness condition, the semigroup algebra of an Ehresmann semigroup with a left (or right) restriction condition is isomorphic to the category algebra of the corresponding Ehresmann category. In this paper, we generalize this result to P-Ehresmann semigroups. More precisely, we show that for a left (or right) P-restriction locally Ehresmann P-Ehresmann semigroup \(\mathbf{S}\), if its projection set is principally finite, then we can give an algebra isomorphism between the semigroup algebra of \(\mathbf{S}\) and the partial semigroup algebra of the associate partial semigroup of \(\mathbf{S}\). Some interpretations and necessary examples are also provided to show why the above isomorphism dose not work for more general P-Ehresmann semigroups.     

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).     

Generators for categories of compact irreducible semigroups

For a compact totally ordered space X, K. H. Hofmann and P. S. Mostert constructed a topological semigroup Irr (X)₀ such that every compact irreducible semigroup with idempotents X is a surmorphic image of Irr (X)₀ [2]. J. H. Carruth and M. Mislove pointed out that Irr (X)₀ was in general not a compact semigroup. In this paper a compact connected hormos will be constructed which contains Irr (X)₀ as a dense subsemigroup and for which every compact irreducible semigroup with idempotents X is a surmorphic image. This leads to a new proof of the existence of generators for the category of compact irreducible semigroups with idempotents X. It will then be shown that Irr (X)₀ contains generators for the category.     

Commutative semigroups whose homomorphic images in groups are groups

In this paper we study commutative semigroups whose every homomorphic image in a group is a group. We find that for a commutative semigroup S, this property is equivalent to S being a union of subsemigroups each of which either has a kernel or else is isomorphic to one of a sequence T₀, T₁, T₂, ... of explicitly given, countably infinite semigroups without idempotents. Moreover, if S is also finitely generated then this property is equivalent to S having a kernel.