Hostname: page-component-848d4c4894-wzw2p Total loading time: 0 Render date: 2024-06-03T17:47:16.511Z Has data issue: false hasContentIssue false

Congruence coherent double MS-algebras

Published online by Cambridge University Press:  19 July 2001

T. S. Blyth
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY16 9SS, Scotland
Jie Fang
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY16 9SS, Scotland
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

If A is an algebra and ϑ is a congruence on A then A is said to be ϑ-coherent provided that, for every subalgebra B of A, if B contains some ϑ-class then B is a union of ϑ-classes. An algebra A is said to be congruence coherent if it is ϑ-coherent for every ϑ∈>ConA. This notion was investigated by Beazer [2] in the context of de Morgan algebras. Specifically, he showed that a de Morgan algebra is congruence coherent if and only if it is boolean, or simple, or the 4-element de Morgan chain. He also showed that if an algebra in the Berman class K1,1 of Ockham algebras is congruence coherent then it is necessarily a de Morgan algebra; and that a p-algebra is congruence coherent if and only if it is boolean. This notion has also been considered in the context of distributive double p-algebras by Adams, Atallah and Beazer [1] who showed that particular examples of congruence coherent double p-algebras are those that are congruence regular (in the sense that if two congruences have a class in common then they coincide). In this paperNATO Collaborative Research Grant 960153 is gratefully acknowledged. we extend the results of Beazer to the class of double MS-algebras.

Type
Research Article
Copyright
1999 Glasgow Mathematical Journal Trust