scholarly journals A rank for right congruences on inverse semigroups

2007 ◽  
Vol 76 (1) ◽  
pp. 55-68 ◽  
Author(s):  
Victoria Gould

The S-rank (where ‘S’ abbreviates ‘sandwich’) of a right congruence ρ on a semigroup S is the Cantor-Bendixson rank of ρ in the lattice of right congruences ℛ of S with respect to a topology we call the finite type topology. If every ρ ϵ ℛ possesses S-rank, then S is ranked. It is known that every right Noetherian semigroup is ranked and every ranked inverse semigroup is weakly right Noetherian. Moreover, if S is ranked, then so is every maximal subgroup of S. We show that a Brandt semigroup 0(G, I) is ranked if and only if G is ranked and I is finite.We establish a correspondence between the lattice of congruences on a chain E, and the lattice of right congruences contained within the least group congruence on any inverse semigroup S with semilattice of idempotents E(S) ≅ E. Consequently we argue that the (inverse) bicyclic monoid B is not ranked; moreover, a ranked semigroup cannot contain a bicyclic -class. On the other hand, B is weakly right Noetherian, and possesses trivial (hence ranked) subgroups.Our notion of rank arose from considering stability properties of the theory Ts of existentially closed (right) S-sets over a right coherent monoid S. The property of right coherence guarantees that the existentially closed S-sets form an axiomatisable class. We argue that B is right coherent. As a consequence, it follows from known results that TB is a theory of B-sets that is superstable but not totally transcendental.

1981 ◽  
Vol 22 (2) ◽  
pp. 159-165 ◽  
Author(s):  
P. R. Jones

The structure of semigroups whose subsemigroups form a chain under inclusion was determined by Tamura [9]. If we consider the analogous problem for inverse semigroups it is immediate that (since idempotents are singleton inverse subsemigroups) any inverse semigroup whose inverse subsemigroups form a chain is a group. We will therefore, continuing the approach of [5, 6], consider inverse semigroups whose full inverse subsemigroups form a chain: we call these inverse ▽-semigroups.


1991 ◽  
Vol 43 (3) ◽  
pp. 463-466 ◽  
Author(s):  
S.M. Goberstein

Shortly connected and shortly linked inverse semigroups arise in the study of inverse semigroups determined by the lattices of inverse subsemigroups and by the partial automorphism semigroups. It has been shown that every shortly linked inverse semigroup is shortly connected, but the question of whether the converse is true has not been addressed. Here we construct two examples of combinatorial shortly connected inverse semigroups which are not shortly linked. One of them is completely semisimple while the other is not.


1975 ◽  
Vol 16 (1) ◽  
pp. 40-51 ◽  
Author(s):  
R. McFadden

This paper is concerned mainly with the structure of inverse semigroups which have a partial ordering defined on them in addition to their natural partial ordering. However, we include some results on partially ordered semigroups which are of interest in themselves. Some recent information [1, 2, 6, 7,11] has been obtained about the algebraic structure of partially ordered semigroups, and we add here to the list by showing in Section 1 that every regular integrally closed semigroup is an inverse semigroup. In fact it is a proper inverse semigroup [10], that is, one in which the idempotents form a complete class modulo the minimum group congruence, and the structure of these semigroups is explicitly known [5].


1990 ◽  
Vol 42 (6) ◽  
pp. 1084-1097 ◽  
Author(s):  
S. W. Margolis ◽  
J. C. Meakin ◽  
J. B. Stephen

AbstractIn this paper it is shown how the graphical methods developed by Stephen for analyzing inverse semigroup presentations may be used to study varieties of inverse semigroups. In particular, these methods may be used to solve the word problem for the free objects in the variety of inverse semigroups generated by the five-element combinatorial Brandt semigroup and in the variety of inverse semigroups determined by laws of the form xn = xn + 1. Covering space methods are used to study the free objects in a variety of the form ∨ where is a variety of inverse semigroups and is the variety of groups.


2000 ◽  
Vol 43 (3) ◽  
pp. 559-568 ◽  
Author(s):  
Maria Isabel ◽  
Marques Ribeiro

AbstractTwo possible concepts of rank in inverse semigroup theory, the intermediate I-rank and the upper I-rank, are investigated for the finite aperiodic Brandt semigroup. The so-called large I-rank is found for an arbitrary finite Brandt semigroup, and the result is used to obtain the large rank of the inverse semigroup of all proper subpermutations of a finite set.


1995 ◽  
Vol 05 (03) ◽  
pp. 317-342 ◽  
Author(s):  
BERND BILLHARDT

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.


1977 ◽  
Vol 20 (4) ◽  
pp. 339-354 ◽  
Author(s):  
L. O'Carroll

Let S be an inverse semigroup with semilattice of idempotents E. We denote by σ the minimum group congruence on S (6), and by τ the maximum idempotent-determined congruence on S (2). (Recall that the congruence η on S is called idempotent-determined if (e, x)∈ η and e ∈ E imply that x ∈ E.) In general τ ⊆ σ.


1966 ◽  
Vol 7 (3) ◽  
pp. 145-159 ◽  
Author(s):  
J. M. Howie ◽  
G. Lallement

In recent developments in the algebraic theory of semigroups attention has been focussing increasingly on the study of congruences, in particular on lattice-theoretic properties of the lattice of congruences. In most cases it has been found advantageous to impose some restriction on the type of semigroup considered, such as regularity, commutativity, or the property of being an inverse semigroup, and one of the principal tools has been the consideration of special congruences. For example, the minimum group congruence on an inverse semigroup has been studied by Vagner [21] and Munn [13], the maximum idempotent-separating congruence on a regular or inverse semigroup by the authors separately [9, 10] and by Munn [14], and the minimum semilattice congruence on a general or commutative semigroup by Tamura and Kimura [19], Yamada [22], Clifford [3] and Petrich [15]. In this paper we study regular semigroups and our primary concern is with the minimum group congruence, the minimum band congruence and the minimum semilattice congruence, which we shall consistently denote by α β and η respectively.


2001 ◽  
Vol 70 (2) ◽  
pp. 235-272 ◽  
Author(s):  
Akihiro Yamamura

AbstractWe investigate a locally full HNN extension of an inverse semigroup. A normal form theorem is obtained and applied to the word problem. We construct a tree and show that a maximal subgroup of a locally full HNN extension acts on the tree without inversion. Bass-Serre theory is employed to obtain a group presentation of the maximal subgroup as a fundamental group of a certain graph of groups associated with the D-structure of the original semigroup.


1999 ◽  
Vol 09 (06) ◽  
pp. 721-739 ◽  
Author(s):  
GRACINDA M. S. GOMES ◽  
VICTORIA GOULD

Much of the structure theory of inverse semigroups is based on constructing arbitrary inverse semigroups from groups and semilattices. It is known that E-unitary (or proper) inverse semigroups may be described as P-semigroups (McAlister), or inverse subsemigroups of semidirect products of a semilattice by a group (O'Carroll) or Cu-semigroups built over an inverse category acted upon by a group (Margolis and Pin). On the other hand, every inverse semigroup is known to have an E-unitary inverse cover (McAlister). The aim of this paper is to develop a similar theory for proper weakly left ample semigroups, a class with properties echoing those of inverse semigroups. We show how the structure of semigroups in this class is based on constructing semigroups from unipotent monoids and semilattices. The results corresponding to those of McAlister, O'Carroll and Margolis and Pin are obtained.


Sign in / Sign up

Export Citation Format

Share Document