On subdirectly irreducible OMAs (Q1770612)

For a given signature \(\Sigma\) let PAlg\((\Sigma)\) be the class of all partial algebras of the signature \(\Sigma\). Let \(\mathcal K\subseteq \text{PAlg}(\Sigma)\). A family \((f_i:\underline{A}\to\underline{A}_i)_{i\in I}\) of epimorphisms with \(\underline{A}\in\text{PAlg}(\Sigma)\) and \(\underline{A}_i\in\mathcal K\) for \(i\in I\) is called an epi-subdirect representation of \(\underline{A}\) in \(\mathcal K\) if the induced homomorphism \(f=\langle f_i\rangle_{i\in I}: \underline{A}\to\prod_{i\in I}\underline{A}_i\) is injective and closed. Further, \(\underline{A}\in\text{PAlg}(\Sigma)\) is said to be \(\mathcal K\)-epi-subdirectly irreducible if for every epi-subdirect representation \((f_i:\underline{A}\to \underline{A}_i)_{i\in I}\) in \(\mathcal K\) there exists \(j\in I\) such that \(f_j\) is an isomorphism (closed and bijective homomorphism). The paper deals with the class \(\underline{\underline{\text{OMA}}}\) consisting of all orthomodular partial algebras; the notion of an orthomodular partial algebra (OMA for short) was investigated by several authors. The author constructs an infinite class of finite \(\underline{\underline{\text{OMA}}}\)-epi-subdirectly irreducible OMAs; let us denote this class by \(\mathcal D\). It is proved that the quasivariety generated by the OMA with 2 elements contains up to isomorphism only one \(\underline{\underline{\text{OMA}}}\)-epi-subdirectly irreducible OMA; this result implies some other properties of the elements of \(\mathcal D\). Also, congruences of OMAs are systematically studied.