A new characterization of a proper type B semigroup

In this paper, we develop the elementary theory of inverse semigroups to the cases of type B semigroups. The main aim of this paper is to study proper type B semigroups. We introduce first the concept of a left admissible triple. After obtaining some basic properties of left admissible triple, we give the definition of a Q-semigroup and get a structure theorem of Q-semigroup. In particular, we introduce the notion of an admissible triple and give some characterization of proper type B semigroups. It is proved that an arbitrary Q-semigroup with an admissible triple is an E-unitary type B semigroup.

On generalized Ehresmann semigroups

As a generalization of the class of inverse semigroups, the class of Ehresmann semigroups is introduced by Lawson and investigated by many authors extensively in the literature. In particular, Gomes and Gould construct a fundamental Ehresmann semigroup CE from a semilattice E which plays for Ehresmann semigroups the role that TE plays for inverse semigroups, where TE is the Munn semigroup of a semilattice E. From a varietal perspective, Ehresmann semigroups are derived from reduction of inverse semigroups. In this paper, from varietal perspective Ehresmann semigroups are extended to generalized Ehresmann semigroups derived instead from normal orthodox semigroups (i.e. regular semigroups whose idempotents form normal bands) with an inverse transversal. We present here a semigroup C(I,Λ,E∘) from an admissible triple (I, Λ, E∘) that plays for generalized Ehresmann semigroups the role that CE from a semilattice E plays for Ehresmann semigroups. More precisely, we show that a semigroup is a fundamental generalized Ehresmann semigroup whose admissible triple is isomorphic to (I, Λ, E∘) if and only if it is (2,1,1,1)-isomorphic to a quasi-full (2,1,1,1)-subalgebra of C(I,Λ,E∘). Our results generalize and enrich some results of Fountain, Gomes and Gould on weakly E-hedges semigroups and Ehresmann semigroups.

The kernel and trace operators for ideal extensions of regular semigroups

Let V be a regular semigroup and an ideal extension of a semigroup S by a semigroup Q Congruences on V can be represented by triples of the form (σ, P, τ), here called admissible, where a is a congruence on S, P is an ideal of Q and τ is a O-restricted congruence on Q/P satisfying certain conditions. We characterize the trace relation T on V in terms of admissible triples. When the extension V of S is strict, for a congruence v on V given in terms of an admissible triple, we characterize vK, vK, vT and vT again in terms of admissible triples.