Coherent De Morgan algebras
type: Item
instance of: scholarly article
title: Coherent De Morgan algebras
zbMATH Open document ID: 0644.06005
DOI: 10.1007/BF01188390
author: R. Beazer
published in: Algebra Universalis
publication date: 1987-01-01T00:00:00Z
review text: The variety of De Morgan algebras is generated by three simple algebras: \(M_ 2\)- the two-element Boolean algebra, \(M_ 3\)- the three-element chain, and \(M_ 4\)- the four-element Boolean lattice with two fixed points under involution. The author shows that these three algebras and \(C_ 4\)- the four-element chain with no fixed points under involution, give the full list of coherent De Morgan algebras, i.e. the algebras with the property: if any subalgebra of the algebra contains a class of some congruence then that subalgebra is a union of classes of that congruence.
Mathematics Subject Classification ID: 06D30
Mathematics Subject Classification ID: 08A30
zbMATH DE Number: 4049695
zbMATH Keywords: variety of De Morgan algebras
zbMATH Keywords: coherent De Morgan algebras
reviewed by: V. Yu. Meskhi
MaRDI profile type: Publication
cites work: Q4083730
cites work: On some small varieties of distributive Ockham algebras
cites work: Distributive lattices with an additional unary operation
cites work: Lattices With Involution
cites work: Q3861449
cites work: Distributive Lattices with a Dual Endomorphism
cites work: Uniformity of congruences
full work available at URL: https://doi.org/10.1007/bf01188390
OpenAlex ID: W1967529914
description: scientific article; zbMATH DE number 4049695