Congruence coherent symmetric extended De Morgan algebras (Q2462671)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Congruence coherent symmetric extended De Morgan algebras |
scientific article |
Statements
Congruence coherent symmetric extended De Morgan algebras (English)
0 references
3 December 2007
0 references
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.
0 references
congruence coherent
0 references
extended De Morgan algebra
0 references