Perfect extensions of de Morgan algebras

DOI10.1007/S00012-021-00750-5arXiv1912.12891MaRDI QIDQ6332000FDOQ6332000

Authors: Miroslav Haviar, Miroslav Ploščica 

Publication date: 30 December 2019

Abstract: An algebra $mathbbA$ is called a perfect extension of its subalgebra $mathbbB$ if every congruence of $mathbbB$ has a unique extension to $mathbbA$. This terminology was used by Blyth and Varlet [1994]. In the case of lattices, this concept was described by Gr"atzer and Wehrung [1999] by saying that $mathbbA$ is a congruence-preserving extension of $mathbbB$. Not many investigations of this concept have been carried out so far. The present authors in another recent study faced the question of when a de Morgan algebra $mathbbM$ is perfect extension of its Boolean subalgebra $B(mathbbM)$, the so-called skeleton of $mathbbM$. In this note a full solution to this interesting problem is given. The theory of natural dualities in the sense of Davey and Werner [1983] and Clark and Davey [1998], as well as Boolean product representations, are used as the main tools to obtain the solution.

Mathematics Subject Classification ID

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

This page was built for publication: Perfect extensions of de Morgan algebras

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