Congruence coherent symmetric extended De Morgan algebras (Q2462671)

An algebra \(A\) is said to be congruence coherent if every subalgebra of \(A\) that includes a class of some congruence \(\theta\) on \(A\) is a union of \(\theta\)-classes. This property has been investigated in several varieties of lattice-based algebras. These include, for example, De Morgan algebras, \(p\)-algebras, double \(p\)-algebras, and double MS-algebras. The strutures dealt with in this paper are De Morgan algebras \((L,\wedge,\vee,f,0,1)\) endowed with an involutive bounded-lattice endomorphism \(k\) such that \(f\) and \(k\) commute. Such an algebra \(L\) is said to be special if \(x\vee f(x)\vee k(x)=1\) for any \(x\in L\); several equivalent conditions are provided. Every special algebra \(L\) is congruence coherent. Several necessary conditions are given for \(L\) to be congruence coherent and not special. The main result is that if \(L\) is not special then \(L\) is congruence coherent if and only if it is simple. The paper is illustrated by a few concrete examples.