Amalgamation of ortholattices (Q1267546): Difference between revisions

Let \(K\) be a class of algebras of the same type. \(K\) is said to have the (strong) amalgamation property (S)AP if the following holds: If \(B,L_1,L_2\) are algebras in \(K\) and if, for \(i=1,2\), \(\varphi_i\) is an embedding of \(B\) into \(L_i\) then there exist an algebra \(C\) in \(K\) and, for \(i=1,2\), an embedding \(\psi_i\) of \(L_i\) into \(C\) such that \(\psi_1\circ\varphi_1=\psi_2\circ\varphi_2\) (and such that in addition \(\psi_1(L_1)\cap\psi_2(L_2)=\psi_1(\varphi_1(B))=\psi_2(\varphi_2(B))\)). If \(K\) is a class of ortholattices and \(B\) is a Boolean algebra one speaks of the (strong) Boolean amalgamation property (S)BAP. The following theorems are proved: The variety of ortholattices has the SAP. The variety of orthomodular lattices (OMLs) has the SBAP, but does not have the AP. The variety of modular ortholattices does not have the BAP. No non-Boolean variety of OMLs which is generated by OMLs of bounded height can have the BAP. Finally, some open problems are formulated.