Semigroups for which every right congruence of finite index is finitely generated (Q784003)

A semigroup \(S\) is called \textit{f-Noetherian} (\textit{finitely connected, right Noetherian}) if every right congruence of finite index (the universal right congruence, every right congruence) on \(S\) is finitely generated. The author studies the relations between the properties f-Noetherian and finitely generated, finitely connected or right Noetherian for various classes of semigroups. For example, while any finitely generated semigroup is f-Noetherian, the opposite is true for some classes (cryptogroups, bands, nilpotent, archimedian, complete, left simple, left 0-simple, completely simple, completely 0-simple semigroups), and not necessarily true for some other classes (inverse, commutative, cancellative, right simple, right 0-simple semigroups). Some results of other type are also obtained. For example, it is proved that monoids \(M\) and \(N\) are f-Noetherian if and only if \(M\times N\) is f-Noetherian and that Baer-Levi semigroups are f-Noetherian.