A rank for right congruences on inverse semigroups

TY - JOUR

T1 - A rank for right congruences on inverse semigroups

AU - Gould, Victoria

PY - 2007/8

Y1 - 2007/8

N2 - The S-rank (where 'S' abbreviates 'sandwich') of a right congruence p on a semigroup S is the Cantor-Bendixson rank of rho in the lattice of right congruences RC of S with respect to a topology we call the finite type topology. If every rho is an element of RC 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 B-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) congruent to E. Consequently we argue that the (inverse) bicyclic monoid B is not ranked; moreover, a ranked semigroup cannot contain a bicyclic J-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 T-S 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 T-B is a theory of B-sets that is superstable but not totally transcendental.

AB - The S-rank (where 'S' abbreviates 'sandwich') of a right congruence p on a semigroup S is the Cantor-Bendixson rank of rho in the lattice of right congruences RC of S with respect to a topology we call the finite type topology. If every rho is an element of RC 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 B-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) congruent to E. Consequently we argue that the (inverse) bicyclic monoid B is not ranked; moreover, a ranked semigroup cannot contain a bicyclic J-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 T-S 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 T-B is a theory of B-sets that is superstable but not totally transcendental.

KW - MODEL-COMPANIONS

M3 - Article

SN - 1755-1633

VL - 76

SP - 55

EP - 68

JO - Bulletin of the Australian Mathematical Society

JF - Bulletin of the Australian Mathematical Society

IS - 1

ER -