The congruence lattice of an extension of completely \(0\)-simple semigroups (Q1333037)

The author considers the lattice \(C(S)\) of the congruences on an (ideal) extension \(S\) of a completely \(0\)-simple semigroup \(S_ 0\) by a completely \(0\)-simple semigroup \(S_ 1\). First, some constructions and properties of these congruences are given, among them, meets and joins of all types of congruences on \(S\) are described there. The relation on \(C(S)\) induced by the restrictions of congruences to \(S_ 0\) and \(S^*_ 1\) and their classes are described in some detail, while the kernel and the trace relations, \(K\) and \(T\), are studied with the particular attention to \(K\) and the conditions ensuring that it be a congruence. The case when \(S\) is a strict extension of \(S_ 0\) by \(S_ 1\) is considered, and necessary and sufficient conditions on \(S\) are found for \(K\) to be a congruence when the extension is strict or \(S_ 0\) has no contractions. The same problem is solved for the case when \(S_ 1\) has no zero divisors.