含有中间幂等元满足同余条件的◇-富足半群

本文引入了--格林关系和--富足半群,研究了满足同余条件含有中间幂等元的--富足半群.利用具有中间幂等元的由幂等元生成的正则半群和◇-拟恰当半群建立了满足同余条件含有中间幂等元的◇-富足半群的结构.     

Regular F-Abundant Semigroups

ABSTRACT

The investigation of regular F-abundant semigroups is initiated. In fact, F-abundant semigroups are generalizations of regular cryptogroups in the class of abundant semigroups. After obtaining some properties of such semigroups, the construction theorem of the class of regular F-abundant semigroups is obtained. In addition, we also prove that a regular F-abundant semigroup is embeddable into a semidirect product of a regular band by a cancellative monoid. Our result is an analogue of that of Gomes and Gould on weakly ample semigroups, and also extends an earlier result of O'Carroll on F-inverse semigroups.     

Weakly J-covered completely regular semigroups

After defining the weakly covering and covering congruence on regular semigroups, we give a necessary and sufficent condition for the J-relation on a completely regular semigroup to be a weakly covering congruence and construct J-covered and weakly covered completely regular semigroups.     

Weakly J-covered completely regular semigroups

Abstract. After defining the weakly covering and covering congruence on regular semigroups, we give a necessary and sufficent condition for the J -relation on a completely regular semigroup to be a weakly covering congruence and construct J -covered and weakly covered completely regular semigroups.     

Fundamental semigroups having a band of idempotents

The construction by Hall of a fundamental orthodox semigroup W _B from a band B provides an important tool in the study of orthodox semigroups. We present here a semigroup S _B that plays the role of W _B for a class of semigroups having a band of idempotents B. Specifically, the semigroups we consider are weakly B-abundant and satisfy the congruence condition (C). Any orthodox semigroup S with E(S)=B lies in our class. On the other hand, if a semigroup S lies in our class, then S is Ehresmann if and only if B is a semilattice. The Hall semigroup W _B is a subsemigroup of S _B , as are the (weakly) idempotent connected semigroups V _B and U _B . We show how the structure of S _B can be used to extract information relating to arbitrary weakly B-abundant semigroups with (C). This work was carried out during a visit to Lisbon of the second author funded by the London Mathematical Society and while the first author was a member of project POCTI/0143/2003 of CAUL financed by FCT and FEDER.     

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.     

On <Emphasis Type="Italic">U</Emphasis>-orthodox semigroups

As a generalization of an orthodox semigroup in the class of regular semigroups, a type W semigroup was first investigated by El-Qallali and Fountain. As an analogy of the type W semigroups in the class of abundant semigroups, we introduce the U-orthodox semigroups. It is shown that the maximum congruence μ contained in on U-orthodox semigroups can be determined. As a consequence, we show that a U-orthodox semigroup S can be expressed by the spined product of a Hall semigroup W _U and a V-ample semigroup (T,V). This theorem not only generalizes a known result of Hall-Yamada for orthodox semigroups but also generalizes another known result of El-Qallali and Fountain for type W semigroups. This work was supported by National Natural Science Foundation of China (Grant No. 10671151) and Natural Science Foundation of Shaanxi Province (Grant No. SJ08A06), and partially by UGC (HK) (Grant No. 2160123)     

Hall-type representations for generalised orthogroups

An orthogroup is a completely regular orthodox semigroup. The main purpose of this paper is to find a representation of a (generalised) orthogroup with band of idempotents B in terms of a fundamental (generalised) orthogroup. The latter is a subsemigroup of the Hall semigroup W _B (or of its generalisations V _B ,U _B and S _B ). We proceed in the regular case by constructing a fundamental completely regular subsemigroup \(\overline{W_{B}}\) of W _B , using two different methods. Our subsemigroup plays the role for orthogroups that W _B plays for orthodox semigroups, in that it contains a representation of every orthogroup with band of idempotents B, with kernel of the representation being μ, the greatest congruence contained in \(\mathcal{H}\) . To develop an analogous theory for classes of generalised orthogroups, that is, to extend beyond the regular case, we replace \(\mathcal{H}\) by \(\widetilde{\mathcal{H}}_{B}\) . Generalised orthogroups are then classes of weakly B-superabundant semigroups with (C). We first consider those satisfying an idempotent connected condition (IC) or (WIC). We construct fundamental weakly B-superabundant subsemigroups \(\overline{V_{B}}\) (respectively, \(\overline{U_{B}}\) ) of V _B (respectively, U _B ) with (C) and (IC) (respectively, with (C) and (WIC)) such that any weakly B-superabundant semigroup with (C) and (IC) (respectively, with (C) and (WIC)) admits a representation to \(\overline{V_{B}}\) (respectively, \(\overline{U_{B}}\) ), with kernel of the respresentation being μ _B , the greatest congruence contained in \(\widetilde{\mathcal{H}}_{B}\) . Finally, we remove the idempotent connected condition and find a representation for an arbitrary weakly B-superabundant semigroup with (C), making use of fresh technology, constructing a fundamental weakly B-superabundant subsemigroup \(\overline{S_{B}}\) of S _B , with the appropriate universal properties. We note that our results are needed in a parallel paper to complete the representation of arbitrary weakly B-superabundant semigroups with (C) as spined products of superabundant Ehresmann semigroups and subsemigroups of S _B .     

On U-ample ω-semigroups

The investigation of U-ample ω-semigroups is initiated. After obtaining some properties of such semigroups, a structure of U-ample ω-semigroups is established. It is proved that a semigroup is a U-ample ω-semigroup if and only if it can be expressed by WBR（T, 0）, namely, the weakly Bruck-Reilly extensions of a monoid T. This result not only extends and amplifies the structure theorem of bisimple inverse ω-semigroups given by N. R. Reilly, but also generalizes the structure theorem of ,-bisimple type A ω-semigroups given by U. Asibong-Ibe in 1985.     

On semigroups in which every Rees one-sided congruence is a congruence

The purpose of this paper is to examine the structure of those semigroups which satisfy one or both of the following conditions: A_r(A_ℓ): The Rees right (left) congruence associated with any right (left) ideal is a congruence. The conditions A_r and A_ℓ are generalizations of commutativity for semigroups. This paper is a continuation of the work of Oehmke [5] and Jordan [4] on H-semigroups (H for hamiltonian, a semigroup is called an H-semigroup if every one-sided congruence is a two-sided congruence). In fact the results of section 2 of Oehmke [5] are proved here under the condition A_r and/or A_ℓ and not the stronger hamiltonian condition. Section 1 of this paper is essentially a summary of the known results of Oehmke. In section 2 we examine the structure of irreducible semigroups satisfying the condition A_r and/or A_ℓ. In particular we determine all regular (torsion) irreducible semigroups satisfying both the conditions A_r and A_ℓ. This research has been supported by Grant A7877 of the National Research Council of Canada.     

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

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

M-classification of regular semigroups

On any regular semigroup S, the least group congruence σ, the greatest idempotent pure congruence τ and the least band congruence β are used to give the M -classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ, K, T), where K and T are the restrictions of the K- and T-relations on {C(S) to Λ. Such triples are characterized abstractly and form the objects of a category M whose morphisms are surjective T-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category M whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from M to M. Several properties of the classification of regular semigroups induced by this functor are established.     

S-Classification of Regular Semigroups

On any regular semigroup S, the greatest idempotent pure congruence τ the greatest idempotent separating congruence μ and the least band congruence β are used to give the S-classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K- and T-relations on C(S) to Λ. Such triples are characterized abstractly and form the objects of a category S whose morphisms are surjective K- and T-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category S whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from S to S. The effect of the S-classification on Reilly semigroups and cryptogroups is discussed briefly.     

T-Classification of Regular Semigroups

On any regular semigroup S, the least group congruence σ, the greatest idempotent separating congruence μ and the least band congruence β are used to give the T-classification of regular semigroups as follows. These congruences generate a sublattice Λ of the congruence lattice C(S) of S. We consider the triples (Λ,K,T), where K and T are the restrictions of the K- and T-relations on C(S) to Λ. Such triples are characterized abstractly and form the objects of a category T whose morphisms are surjective K-preserving homomorphisms subject to a mild condition. The class of regular semigroups is made into a category T whose morphisms are fairly restricted homomorphisms. The main result of the paper is the existence of a representative functor from T to T. The effect of the T-classification to P-semigroups is considered in some detail.     

Rees matrix covers for a class of locally U-commutative semigroups

Given the importance of Morita theory of semigroups, we continue the study on the local structure of semigroups. Here we consider a class of nonregular semigroups, called locally U-commutative semigroups having U-local units, containing the classes of locally inverse semigroups, locally adequate semigroups, locally Ehresmann semigroups, and semigroups with local units having locally commuting idempotents. Our aim is to give a Rees matrix covering theorem for such semigroups with a partial McAlister sandwich bundle, and hence to put all the existing results into one context.     

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.