scholarly journals Semigroups whose idempotents form a subsemigroup

1990 ◽  
Vol 41 (2) ◽  
pp. 161-184 ◽  
Author(s):  
Jean-Camille Birget ◽  
Stuart Margolis ◽  
John Rhodes
Keyword(s):  
Inverse Semigroup ◽  
Finite Semigroup ◽  
Orthodox Semigroup ◽  
Inverse Semigroups ◽  
Type Ii ◽  
Finite Semigroups ◽  
Case Type ◽  
Orthodox Semigroups

We prove that if the “type-II-construct” subsemigroup of a finite semigroup S is regular, then the “type-II” subsemigroup of S is computable (actually in this case, type-II and type-II-construct are equal). This, together with certain older results about pseudo-varieties of finite semigroups, leads to further results:(1) We get a new proof of Ash's theorem: If the idempotents in a finite semigroup S commute, then S divides a finite inverse semigroup. Equivalently: The pseudo-variety generated by the finite inverse semigroups consists of those finite semigroups whose idempotents commute.(2) We prove: If the idempotents of a finite semigroup S form a subsemigroup then S divides a finite orthodox semigroup. Equivalently: The pseudo-variety generated by the finite orthodox semigroups consists of those finite semigroups whose idempotents form a subsemigroup.(3) We prove: The union of all the subgroups of a semigroup S forms a subsemigroup if and only if 5 belongs to the pseudo-variety u * G if and only if Sn belongs to u. Here u denotes the pseudo-variety of finite semigroups which are unions of groups.For these three classes of semigroups, type-II is equal to type-II construct.

EXTENSIONS OF REGULAR ORTHOGROUPS BY INVERSE SEMIGROUPS

1995 ◽  
Vol 05 (03) ◽  
pp. 317-342 ◽  
Author(s):  
BERND BILLHARDT
Keyword(s):  
Inverse Semigroup ◽  
Recent Result ◽  
Semidirect Product ◽  
Orthodox Semigroup ◽  
Inverse Semigroups ◽  
Normal Extension ◽  
Group Congruence ◽  
Completely Regular ◽  
Orthodox Semigroups

Let V be a variety of regular orthogroups, i.e. completely regular orthodox semigroups whose band of idempotents is regular. Let S be an orthodox semigroup which is a (normal) extension of an orthogroup K from V by an inverse semigroup G, that is, there is a congruence ρ on S such that the semigroup ker ρ of all idempotent related elements of S is isomorphic to K and S/ρ≅G. It is shown that S can be embedded into an orthodox subsemigroup T of a double semidirect product A**G where A belongs to V. Moreover T itself can be chosen to be an extension of a member from V by G. If in addition ρ is a group congruence we obtain a recent result due to M.B. Szendrei [16] which says that each orthodox semigroup which is an extension of a regular orthogroup K by a group G can be embedded into a semidirect product of an orthogroup K′ by G where K′ belongs to the variety of orthogroups generated by K.

scholarly journals On regular semigroups whose idempotents form a subsemigroup

1969 ◽  
Vol 1 (2) ◽  
pp. 195-208 ◽  
Author(s):  
T. E. Hall
Keyword(s):  
Inverse Semigroup ◽  
Simple Form ◽  
Finite Semigroup ◽  
Orthodox Semigroup ◽  
Principal Factor ◽  
Regular Semigroups ◽  
Orthodox Semigroups

For brevity the semigroups in the title are called orthodox semigroups. The finest inverse semigroup congruence on an orthodox semigroup is shown to have a simple form and conversely, regular semigroups whose finest inverse congruence has this simple form are shown to be orthodox. Next ideal extensions of orthodox semigroups by orthodox semigroups are shown to be also orthodox, whence a finite semigroup is orthodox if and only if each principal factor is orthodox and completely O-simple or simple. Finally it is determined which completely O-simple semigroups are orthodox.

JOINS OF INVERSE SEMIGROUP VARIETIES AND BAND VARIETIES

1991 ◽  
Vol 01 (03) ◽  
pp. 371-385 ◽  
Author(s):  
PETER R. JONES ◽  
PETER G. TROTTER
Keyword(s):  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Lattice Of Varieties ◽  
Orthodox Semigroups ◽  
Semigroup Varieties

The joins in the title are considered within two contexts: (I) the lattice of varieties of regular unary semigroups, and (II) the lattice of e-varieties (or bivarieties) of orthodox semigroups. It is shown that in each case the set of all such joins forms a proper sublattice of the respective join of the variety I of all inverse semigroups and the variety B of all bands; each member V of this sublattice is determined by V ∩ I and V ∩ B. All subvarieties of the join of I with the variety RB of regular bands are so determined. However, there exist uncountably many subvarieties (or sub-bivarieties) of the join I ∨ B, all of which contain I and all of whose bands are regular.

scholarly journals A note on congruences on orthodox semigroups

1985 ◽  
Vol 26 (1) ◽  
pp. 25-30
Author(s):  
D. B. McAlister
Keyword(s):  
Inverse Semigroup ◽  
Orthodox Semigroup ◽  
Explicit Construction ◽  
Lattice Of Congruences ◽  
Orthodox Semigroups

C. Eberhart and W. Williams [3] showed that the least inverse semigroup congruence , on an orthodox semigroup S, plays a very important role in determining the structure of the lattice of congruences on S. In this note we show that their results can be applied to give an explicit construction for the idempotent separating congruences on S in terms of idempotent separating congruences on S/.

On left quasinormal orthodox semigroups

1983 ◽  
Vol 95 (1-2) ◽  
pp. 59-71 ◽  
Author(s):  
Gracinda M. S. Gomes
Keyword(s):  
Inverse Semigroup ◽  
Regular Semigroup ◽  
Orthodox Semigroup ◽  
Local Isomorphism ◽  
Orthodox Semigroups

SynopsisThe existence of a smallest inverse congruence on an orthodox semigroup is known. It is also known that a regular semigroup S is locally inverse and orthodox if and only if there exists a local isomorphism from S onto an inverse semigroup T.In this paper, we show the existence of a smallest R-unipotent congruence ρ on an orthodox semigroup S and give its expression in the case where S is also left quasinormal. Finally, we prove that a regular semigroup S is left quasinormal and orthodox if and only if there exists a local isomorphism from S onto an R-unipotent semigroup T.

scholarly journals Finite semigroups with commuting idempotents

1987 ◽  
Vol 43 (1) ◽  
pp. 81-90 ◽  
Author(s):  
C. J. Ash ◽  
T. E. Hall
Keyword(s):  
Inverse Semigroup ◽  
Homomorphic Image ◽  
Inverse Semigroups ◽  
Finite Semigroups

AbstractWe show that every such semigroup is a homomorphic image of a subsemigroup of some finite inverse semigroup. This shows that the pseudovariety generated by the finite inverse semigroups consists of exactly the finite semigroups with commuting idempotents.

Direct products of finite monogenic inverse semigroups

1982 ◽  
Vol 92 (3-4) ◽  
pp. 301-317 ◽  
Author(s):  
D. C. Trueman
Keyword(s):  
Inverse Semigroup ◽  
Direct Product ◽  
Finite Semigroup ◽  
Inverse Semigroups ◽  
Direct Products

SynopsisWe characterize direct products of finite monogenic inverse semigroups; we show that a finite monogenic inverse semigroup which is not a group is directly indecomposable and that a finite semigroup which is decomposable into a direct product of monogenic inverse semigroups which are not groups is uniquely so decomposable. We determine when a finite semigroup can be decomposed into a direct product of non-group monogenic inverse semigroups and show how the direct factors, if they exist, can be found.

scholarly journals Lattice isomorphisms of orthodox semigroups

1992 ◽  
Vol 45 (2) ◽  
pp. 201-213 ◽  
Author(s):  
Katherine G. Johnston ◽  
F.D. Cleary
Keyword(s):  
Orthodox Semigroup ◽  
Inverse Semigroups ◽  
Special Cases ◽  
Orthodox Semigroups

It is shown that the set of all orthodox subsemigroups of an orthodox semigroup forms a lattice. This lattice is a join-sublattice of the lattice of all semigroups, but is not in general a meet-sublattice. We obtain results concerning lattice isomorphisms between orthodox semigroups, several of which include known results for inverse semigroups as special cases.

scholarly journals On quasi-F-orthodox semigroups

1995 ◽  
Vol 38 (3) ◽  
pp. 361-385 ◽  
Author(s):  
Bernd Billhardt ◽  
Mária B. Szendrei
Keyword(s):  
Inverse Semigroup ◽  
Homomorphic Image ◽  
Semidirect Product ◽  
Orthodox Semigroup ◽  
Band Variety ◽  
Orthodox Semigroups

An orthodox semigroup S is termed quasi-F-orthodox if the greatest inverse semigroup homomorphic image of S1 is F-inverse. In this paper we show that each quasi-F-orthodox semigroup is embeddable into a semidirect product of a band by a group. Furthermore, we present a subclass in the class of quasi-F-orthodox semigroups whose members S are embeddable into a semidirect product of a band B by a group in such a way that B belongs to the band variety generated by the band of idempotents in S. In particular, this subclass contains the F-orthodox semigroups and the idempotent pure homomorphic images of the bifree orthodox semigroups.

COMPLEXITY PSEUDOVARIETIES ARE NOT LOCAL: TYPE II SUBSEMIGROUPS CAN FALL ARBITRARILY IN COMPLEXITY

2006 ◽  
Vol 16 (04) ◽  
pp. 739-748 ◽  
Author(s):  
JOHN RHODES ◽  
BENJAMIN STEINBERG
Keyword(s):  
Finite Semigroup ◽  
Type Ii ◽  
Local Type

We prove the following two results announced by Rhodes: the Type II subsemigroup of a finite semigroup can fall arbitrarily in complexity; the complexity pseudovarieties Cn (n ≥ 1) are not local.

Sign in / Sign up

Export Citation Format

Share Document