Ideal nil-extensions of semigroups with semimodular congruence lattices (Q688980)

Let \(S\) be a semigroup and \(K\) be an ideal of \(S\), then \(S\) is an ideal nil-extension of \(K\) if \(S/K \cong Q\) where \(Q\) is a nil semigroup. For ideal nil-extensions \(S\) the question is investigated when the congruence lattice \(C(S)\) of \(S\) is semimodular. It holds: For an ideal nil- extension \(S\) of \(K\) the lattice \(C(S)\) is semimodular whenever \(C(K)\) is modular. Further, it is proved that if \(S\) is an ideal nil-extension of \(K\) such that the congruences on \(K\) can be extended to \(S\) preserving inclusion, then \(C(S)\) is semimodular iff \(C(K)\) is semimodular. This is used to show that ideal nil-extensions \(S\) of \(K\), where \(K\) is either an inverse semigroup or a monoid, satisfy: \(C(S)\) is semimodular iff \(C(K)\) is semimodular.