On a pull-back diagram for orthodox semigroups

In the present paper we deal with two problems concerning orthodox semigroups. M. Yamada raised the questions in [6] whether there exists an orthodox semigroup T with band of idempotents E and greatest inverse semigroup homomorphic image S for every band E and inverse semigroup S which have the property that is isomorphic to the semilattice of idempotents of S, and if T exists then whether it is always unique up to isomorphism. T. E. Hall [1] has published counter-examples in connection with both questions and, moreover, he has given a necessary and sufficient condition for existence. Now we prove a more effective necessary and sufficient condition for existence and deal with uniqueness, too. On the other hand, D. B. McAlister's theorem in [4] saying that every inverse semigroup is an idempotent separating homomorphic image of a proper inverse semigroup is generalized for orthodox semigroups. The proofs of these results are based on a theorem concerning a special type of pullback diagrams. In verifying this theorem we make use of the results in [5] which we draw up in Section 1. The main theorems are stated in Section 2. For the undefined notions and notations the reader is referred to [2].     

Semilattices of bisimple orthodox semigroups

A structure theorem for bisimple orthodox semigroups was given by Clifford [2]. In this paper we determine all homomorphisms of a certain type from one bisimple orthodox semigroup into another, and apply the results to give a structure theorem for any semilattice of bisimple orthodox semigroups with identity in which the set of identity elements forms a subsemigroup. A special case of these results is indicated for bisimple left unipotent semigroups.     

Note on a certain class of orthodox semigroups

This is a continuation and also a supplement of the previous papers [5], [6] and [8] concerning orthodox semigroups¹). In [8], it has been shown that a quasi-inverse semigroup is isomorphic to a subdirect product of a left inverse semigroup and a right inverse semigroup. In this paper, we present a structure theorem for quasi-inverse semigroups and some relevant matters.     

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.     

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

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

Congruences on generalized inverse semigroups

A generalized inverse semigroup is a regular semigroup whose idempotents satisfy a permutation identity X₁ X₂...X_n=X_p1 X_p2...X_pn, where (P₁, P₂..., P_n) is a nontrivial permutation of (1, 2,..., n). Yamada [4] has given a complete classification of generalized inverse semigroups in terms of inverse semigroups, left normal bands, and right normal bands. In this paper we show that every congruence on a generalized inverse semigroup is uniquely determined by a congruence on its associated inverse semigroup, left normal band, and right normal band. A converse is also provided. This paper is extracted from the doctoral thesis of the author written at Monash University under the direction of Professor G. B. Preston. The research was carried out while the author held a Commonwealth Postgraduate Award.     

The Lattice of Full Subsemigroups of an Inverse Semigroup

In this paper, we consider the lattice Subf S of full subsemigroups of an inverse semigroup S. Our first main theorem states that for any inverse semigroup S, Subf S is a subdirect product of the lattices of full subsemigroups of its principal factors, so that Subf S is distributive [meet semidistributive, join semidistributive, modular, semimodular] if and only if the lattice of full subsemigroups of each principal factor is. To examine such inverse semigroups, therefore, we need essentially only consider those which are 0-simple. For a 0-simple inverse semigroup S (not a group with zero), we show that in fact each of modularity, meet semidistributivity and join semidistributivity of Subf S is equivalent to distributivity of S, that is, S is the combinatorial Brandt semigroup with exactly two nonzero idempotents and two nonidempotents. About semimodularity, however, we concentrate only on the completely 0-simple case, that is, Brandt semigroups. For a Brandt semigroup S (not a group with zero), semimodularity of Subf S is equivalent to distributivity of Subf S. Finally, we characterize an inverse semigroup S for which Subf S is a chain.     

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.     

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

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

Split quasi-adequate semigroups

The so-called split IC quasi-adequate semigroups are in the class of idempotent-connected quasi-adequate semigroups. It is proved that an IC quasi-adequate semigroup is split if and only if it has an adequate transversal. The structure of such semigroup whose band of idempotents is regular will be particularly investigated. Our obtained results enrich those results given by McAlister and Blyth on split orthodox semigroups.     

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.     

具有逆断面的左半正规纯正半群

左半正规纯正半群是幂等元集形成左半正规带的纯正半群．本文讨论了具有逆断面的左半正规纯正半群上的一些性质；给出该类半群的一个构造定理。     

Categorical semigroups

This investigation was stimulated by a question raised by F.R. McMorris and M. Satyanarayana [Proc. Amer. Math. Soc. 33 (1972), 271–277] which asked whether a regular semigroup with a tree of idempotents is categorical. The question is answered in the affirmative. Characterizations of categorical semigroups are found within the following classes of semigroups: regular semigroups, bands, commutative regular semigroups, unions of simple semigroups, semilattices of groups, and commutative semigroups. Some results are related to part of the work of M. Petrich [Trans. Amer. Math. Soc. 170 (1972), 245–268]. For instance, it is shown that the poset of J-classes of any regular categorical semigroup is a tree; however, an example of a regular non-categorical semigroup is given in which the poset of J-classes is a chain. It is also shown that the condition that the subsemigroup of idempotents be categorical is sufficient, but not necessary, for an orthodox semigroup to be categorical.     

Semigroups which contain magnifying elements are factorizable

A semigroup S is factorizable if it contains two proper subsemigroups A and B such that S = AB. An element a of a semigroup 5 is a left ( resp. right) magnifier if there exists a proper subset M of S such that S = aM (resp. S - Ma).

In this paper we prove that every semigroup containing magnifying elements is factorizable. Thus we solve a problem raised up by F. Catino and F. Migliorini in [2], namely to find necessary and sufficient conditions in order that a semigroup with magnifying elements be factorizable. Partial answers to this problem have been obtained by K. Tolo ([14]), F. Catino and F. Migliorini ([2]), for semigroups with left magnifiers and which are regular or have left units or right magnifiers, by V. M. Klimov ([9]), for Baer-Levi and Croisot-Teissier semigroups, and by M. Gutan ([4]), for right cancellative, right simple, idempotent free semigroups.     

平衡范畴与半群的双序

研究范畴与半群通过幂等元双序建立的一种自然联系.对每个有幂等元的半群S,其幂等元生成的左、右主理想之集通过双序ω~e,ω~r自然确定两个有子对象、有像且每个包含都右可裂的范畴L(S),R(S),其中态射的性质与S中元素的富足性、正则性有自然对应.利用这个联系,我们定义了"平衡(富足、正规)范畴"概念.对任一平衡(富足、正规)范畴■,我们构造其"锥半群"■,证明■左富足(富足、正则),且每个平衡(富足、正规)范畴■都与某左富足(富足、正则)半群S的左主理想范畴L(S)(作为有子对象的范畴)同构.     

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