Research output: Contribution to journal › Article › peer-review

**A rank for right congruences on inverse semigroups.** / Gould, Victoria.

Research output: Contribution to journal › Article › peer-review

Gould, V 2007, 'A rank for right congruences on inverse semigroups', *Bulletin of the Australian Mathematical Society*, vol. 76, no. 1, pp. 55-68.

Gould, V. (2007). A rank for right congruences on inverse semigroups. *Bulletin of the Australian Mathematical Society*, *76*(1), 55-68.

Gould V. A rank for right congruences on inverse semigroups. Bulletin of the Australian Mathematical Society. 2007 Aug;76(1):55-68.

@article{6036e8da8445431eb5f89d7663a721f0,

title = "A rank for right congruences on inverse semigroups",

abstract = "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.",

keywords = "MODEL-COMPANIONS",

author = "Victoria Gould",

year = "2007",

month = aug,

language = "English",

volume = "76",

pages = "55--68",

journal = "Bulletin of the Australian Mathematical Society",

number = "1",

}

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

VL - 76

SP - 55

EP - 68

JO - Bulletin of the Australian Mathematical Society

JF - Bulletin of the Australian Mathematical Society

IS - 1

ER -