Semidirect products of lattices (Q2474102)

Given two groups \(K\) and \(H\), and a homomorphism \(\varphi\) from \(K\) to \(\Aut(H)\), the well-known construction of a \(\varphi\)-semidirect product \(K\ltimes_\varphi H\) equips the set product of \(K\) and \(H\) with the operation \((k_1,h_1)\bullet(k_2,h_2):=(k_1\cdot k_2, h_1\cdot\varphi(k_1)(h_2))\). This makes \(K\times H\) a group \(G\) containing (canonical copies of) \(K\) resp. \(H\) as subgroups such that \(H\) is normal, \(KH=G\) and \(K\cap H=\{1\}\) (not \(\emptyset\), as stated in the paper). The author transfers this notion to the setting of lattices, defining two operations \(\sqcap\) and \(\sqcup\) on the set product of two lattices \(K\) and \(H\), with the aid of two maps \(\varphi\) resp. \(\psi\) from \(K\times K\) to \(H^H\) satisfying certain properties. He obtains, in this way, a lattice \(K\ltimes_\psi^\varphi H\) which he calls the \((\varphi,\psi)\)-semidirect product of the lattices \(K\) and \(H\). Its main feature is the existence of a congruence \(\theta\) such that \(K\ltimes^\varphi_\psi H/\theta\cong K\) and all \(\theta\)-classes are isomorphic to \(H\) as lattices. Conversely, if \(L\) is a lattice with a congruence \(\theta\) whose classes are all isomorphic to some lattice \(H\), then, under certain conditions (satisfied, e.g., if \(L\) is finite), \(L\) is isomorphic to \(L/\theta\ltimes^\varphi_\psi H\). Since both \(\sqcap\) and \(\sqcup\) determine the order on \(K\ltimes^\varphi_\psi H\), the mappings \(\varphi\) resp. \(\psi\) are closely related; in fact, \(\psi\) is uniquely determined by \(\varphi\). Moreover, for any finite lattice \(L\) and congruence \(\theta\) on \(L\), \(L\) may be embedded into a semidirect product of \(L/\theta\) and an ordinal sum of certain \(\theta\)-classes such that the canonical congruence of this semidirect product extends \(\theta\). Finally, the construction of semidirect products is extended to join-semilattices and shown to preserve completeness in this setting.