Congruence pairs of principal MS-algebras and perfect extensions

DOI10.1515/MS-2017-0430MaRDI QIDQ5145752zbMATHOpenAlexFDO

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

Publication date 21 January 2021

Published in Mathematica Slovaca (Search for Journal in Brave)

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)

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.

Cites work

• scientific article; zbMATH DE number 3829994 (Why is no real title available?)
• scientific article; zbMATH DE number 3924851 (Why is no real title available?)
• scientific article; zbMATH DE number 3985291 (Why is no real title available?)
• scientific article; zbMATH DE number 3677913 (Why is no real title available?)
• scientific article; zbMATH DE number 639844 (Why is no real title available?)
• scientific article; zbMATH DE number 651728 (Why is no real title available?)
• scientific article; zbMATH DE number 908175 (Why is no real title available?)
• scientific article; zbMATH DE number 7412080 (Why is no real title available?)
• scientific article; zbMATH DE number 3366941 (Why is no real title available?)
• scientific article; zbMATH DE number 3060247 (Why is no real title available?)
• Characterization of congruence lattices of principal \({p}\)-algebras
• Congruence pairs of principal \(p\)-algebras
• On a Problem of G. Gratzer
• On a common abstraction of de Morgan algebras and Stone algebras
• Proper congruence-preserving extensions of lattices
• Subvarieties of the class of MS-algebras
• Triple constructions of decomposable MS-algebras
• \(d_L\)-filters of principal MS-algebras.

Cited in

(2)

• Congruence pairs of decomposable MS-algebras
• Perfect extensions of de Morgan 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)