Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-26T04:21:50.754Z Has data issue: false hasContentIssue false
  • English
  • Français

A rank for right congruences on inverse semigroups

Published online by Cambridge University Press:  17 April 2009

Victoria Gould
Victoria Gould
Affiliation:
Department of Mathematics, University of York, Heslington, York Y010 5DD, United Kingdom, e-mail: vargl@york.ac.uk
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Research Article
Information
Bulletin of the Australian Mathematical Society , Volume 76 , Issue 1 , August 2007 , pp. 55 - 68
Copyright
Copyright © Australian Mathematical Society 2007

References

[1]Baldwin, J.T., Fundamentals of stability theory (Springer-Verlag, Berlin, 1988).CrossRefGoogle Scholar
[2]Chang, C.C. and Keisler, H.K., Model theory (North-Holland, Amsterdam, 1973).Google Scholar
[3]Enderton, H.B., A mathematical introduction to logic (Academic Press, New York, 1972).Google Scholar
[4]Fountain, J.B. and Gould, V.A.R, ‘Stability of the theory of existentially closed S-sets over a right coherent monoid S’, (preprint), http://www-users.york.ac.uk/~vargl/gpubs.htm.Google Scholar
[5]Gould, V.A.R., ‘Model companions of S-systems’, Quart. J. Math. Oxford 38 (1987), 189–211.CrossRefGoogle Scholar
[6]Gould, V.A.R., ‘Coherent monoids’, J. Austral. Math. Soc. Ser. A 53 (1992), 166–182.CrossRefGoogle Scholar
[7]Gould, V.A.R., ‘A notion of rank for right congruences on semigroups’, Comm. Algebra 33 (2005), 4631–4656.CrossRefGoogle Scholar
[8]Hotzel, E., ‘On semigroups with maximal conditions’, Semigroup Forum 11 (1975/1976), 337–362.CrossRefGoogle Scholar
[9]Lascar, D., Stability in model theory (Longman, London, 1987).Google Scholar
[10]Meakin, J., ‘One-sided congruences on inverse semigroups’, Trans. Amer. Math. Soc. 206 (1975), 67–82.CrossRefGoogle Scholar
[11]Mustafin, T.G., ‘Stability of the theory of polygons’, (in Russian), Trudy. Inst. Math (Novosibirisk) 8 (1988), 92–108. Translated in ‘Model theory and applications’ Amer. Math. Soc. Transl. 295 (1999) 205–223.Google Scholar
[12]Petrich, M. and Rankin, S., ‘Right congruences on a Brandt semigroup’, Soochow J. Math. 22 (1986), 85–106.Google Scholar
[13]Pillay, A., An introduction to stability theory (Oxford University Press, New York, 1983).Google Scholar
[14]Wheeler, W.H., ‘Model companions and definability in existentially complete structures’, Israel J. Math. 25 (1976), 305–330.CrossRefGoogle Scholar