Mária B. Szendrei

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. McAlisters 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].

Almost Factorizable Weakly Ample Semigroups

An appropriate generalization of the notion of permissible sets of inverse semigroups is found within the class of weakly ample semigroups that allows us to introduce the notion of an almost left factorizable weakly ample semigroup in a way analogous to the inverse case. The class of almost left factorizable weakly ample semigroups is proved to coincide with the class of all (idempotent separating) (2, 1, 1)-homomorphic images of semigroups W(T, Y) where Y is a semilattice, T is a unipotent monoid acting on Y, and W(T, Y) is a well-defined subsemigroup in the respective semidirect product that appeared in the structure theory of left ample monoids more than ten years ago. Moreover, the semigroups W(T, Y) are characterized to be, up to isomorphism, just the proper and almost left factorizable weakly ample semigroups.

E-unitaryR-unipotent semigroups

By making use of McAlister’s P-theorem [4] O’Carroll proved in [5] that every E-unitary inverse semigroup can be embedded into a semidirect product of a semilattice by a group. Recently an alternative proof of this result was published by Wilkinson [10]. In this paper we generalize this theorem by proving that every E-unitaryR-unipotent semigroup S can be embedded into a semidirect product of a band B by a group where B belongs to the variety of bands generated by the band of idempotents of S.

Weakly E-unitary locally inverse semigroups

Abstract We prove that each weakly E -unitary locally inverse semigroup is embeddable in a restricted semidirect product of a normal band by a completely simple semigroup and, equivalently, in a Pastijn product of a normal band by a completely simple semigroup.

ON E-UNITARY COVERS OF ORTHODOX SEMIGROUPS

In this paper we prove that each orthodox semigroup S has an E-unitary cover embeddable into a semidirect product of a band B by a group where B belongs to the band variety generated by the band of idempotents in S. This result is related to an embeddability question on E-unitary regular semigroups raised previously.

Embedding Into Almost Left Factorizable Restriction Semigroups

The notion of almost left factorizability and the results on almost left factorizable weakly ample semigroups, due to Gomes and the author, are adapted for restriction semigroups. The main result of the paper is that each restriction semigroup is embeddable into an almost left factorizable restriction semigroup. This generalizes a fundamental result of the structure theory of inverse semigroups.

PROPER COVERS OF RESTRICTION SEMIGROUPS AND W-PRODUCTS

Each factor semigroup of a free restriction (ample) semigroup over a congruence contained in the least cancellative congruence is proved to be embeddable into a W-product of a semilattice by a monoid. Consequently, it is established that each restriction semigroup has a proper (ample) cover embeddable into such a W-product.

Embedding in factorisable restriction monoids

Abstract Each restriction semigroup is proved to be embeddable in a factorisable restriction monoid, or, equivalently, in an almost factorisable restriction semigroup. It is also established that each restriction semigroup has a proper cover which is embeddable in a semidirect product of a semilattice by a group.

Associativity of the regular semidirect product of existence varieties

The associativity of the regular semidirect product of existence varieties introduced by Jones and Trotter was proved under certain conditions by Reilly and Zhang. Here we establish associativity in many new cases. Moreover, we prove that the regular semidirect product is right distributive with respect to the join operation. In particular, both associativity and right distributivity yield within the varieties of completely simple semigroups. Analogous results are obtained for e-pseudovarieties of finite regular semigroups.

The bifree regularE-solid semigroups

A model of the bifree regularE-solid semigroup on a non-empty setX is presented which is defined on the free ‘locally’ unary semigroupoid on the Cayley graph of the free group onX by means of the fully invariant congruence on the set of arrows which correspondes to the variety of completely regular semigroups.