Semigroups with finitely generated universal left congruence

Research output: Contribution to journalArticlepeer-review


We consider semigroups such that the universal left congruence ω is finitely generated. Certainly a left noetherian semigroup, that is, one in which all left congruences are finitely generated, satisfies our condition. In the case of a monoid the condition that ω is finitely generated is equivalent to a number of pre-existing notions. In particular, a monoid satisfies the homological finiteness condition of being of type left-FP 1 exactly when ω is finitely generated. Our investigations enable us to classify those semigroups such that ω is finitely generated that lie in certain important classes, such as strong semilattices of semigroups, inverse semigroups, Rees matrix semigroups (over semigroups) and completely regular semigroups. We consider closure properties for the class of semigroups such that ω is finitely generated, including under morphic image, direct product, semi-direct product, free product and 0-direct union. Our work was inspired by the stronger condition, stated for monoids in the work of White, of being pseudo-finite. Where appropriate, we specialise our investigations to pseudo-finite semigroups and monoids. In particular, we answer a question of Dales and White concerning the nature of pseudo-finite monoids.

Original languageEnglish
Pages (from-to)689-724
Number of pages36
JournalMonatshefte fur Mathematik
Issue number4
Early online date19 Feb 2019
Publication statusE-pub ahead of print - 19 Feb 2019

Bibliographical note

© The Author(s) 2019.


  • FP
  • Finitely generated
  • Left congruences
  • Monoids
  • Pseudo-finite
  • Semigroups

Cite this