Congruence pairs of principal MS-algebras and perfect extensions

DOI10.1515/MS-2017-0430zbMATH Open1505.06013arXiv1912.11905OpenAlexW3114300254MaRDI QIDQ5145752FDOQ5145752

Abd El-Mohsen Badawy, Miroslav Ploščica, Miroslav Haviar

Publication date: 21 January 2021

Published in: Mathematica Slovaca (Search for Journal in Brave)

Abstract: The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for $K_2$-algebras cite{6}, is introduced. It is proved that the congruences of the principal MS-algebras $L$ correspond to the MS-congruence pairs on simpler substructures $L^{circcirc}$ and $D(L)$ of $L$ that were associated to~$L$ in cite{4}. An analogy of a well-known Gr"atzer's problem cite[Problem 57]{11} formulated for distributive p-algebras, which asks for a characterization of the congruence lattices in terms of the congruence pairs, is presented here for the principal MS-algebras (Problem 1). Unlike a recent solution to such a problem for the principal p-algebras in cite{2}, it is demonstrated here on the class of principal MS-algebras, that a possible solution to the problem, though not very descriptive, can be simple and elegant. As a step to a more descriptive solution of Problem 1, a special case is then considered when a principal MS-algebra $L$ is a perfect extension of its greatest Stone subalgebra $L_S$. It is shown that this is exactly when de Morgan subalgebra $L^{circcirc}$ of $L$ is a perfect extension of the Boolean algebra $B(L)$. Two examples illustrating when this special case happens and when it does not are presented.

Full work available at URL: https://arxiv.org/abs/1912.11905

Mathematics Subject Classification ID

Lattice ideals, congruence relations (06B10) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Cites Work

• Proper congruence-preserving extensions of lattices
• On a common abstraction of de Morgan algebras and Stone algebras
• Triple constructions of decomposable MS-algebras
• \(d_L\)-filters of principal MS-algebras.
• Subvarieties of the class of MS-algebras
• Congruence pairs of principal p-algebras
• On a Problem of G. Gratzer
• Characterization of congruence lattices of principal p-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (2)

• Perfect extensions of de Morgan algebras
• Congruence pairs of decomposable MS-algebras

This page was built for publication: Congruence pairs of principal MS-algebras and perfect extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5145752)