Notes in sectionally complemented lattices. II. Generalizing the 1960 sectional complement with an application to congruence restrictions (Q2568524)

In Can. J. Math. 38, 1122--1134 (1986; Zbl 0597.06007), \textit{G. Grätzer} and \textit{H. Lakser} proved that for finite distributive lattices \(D\) and \(E,\) with \(\left| D\right| >1\), and for a \(\{0,1\}\)-homomorphism \(\varphi \) of \(D\) into \(E\) there exist a finite lattice \(L\) and an ideal \(I\) of \(L\) such that \(D\cong \text{Con\,}L,\) \(E\cong \text{Con\,}I\), and \(\varphi \) is represented by the restriction map. In their recent survey of finite congruence lattices, \textit{G. Grätzer} and \textit{E. T. Schmidt} [Algebra Univers. 52, 241--278 (2004; Zbl 1090.06005)] ask whether this result can be improved by requiring that \(L\) be sectionally complemented. In this note, the authors provide an affirmative answer. The key to the solution is to generalize the 1960 sectional complement (see Part III of this series of papers [\textit{G. Grätzer} and \textit{H. Lakser}, Acta Math. Hung. 108, 327--336 (2005; Zbl 1093.06005)], reviewed below) from finite orders to finite preorders. See also Part I of this series [ibid. 108, 117--127 (2005; Zbl 1093.06003)], reviewed above.