S-Acts with Finitely Generated Universal Congruence

Universal left congruences on semigroups were studied in “Y. Dandan, V. Gould, T. Quinn-Gregson and R. Zenab, Semigroups with finitely generated universal left congruence, Monat. Math. 190 (2019) 689−724”. We consider universal congruences on acts over monoids and extend the results from semigroups to acts. Among other things, for an S-act AS with zero over a monoid S, we prove that being finitely generated of the universal congruence ωA and being pseudofinite of AS coincide.