Hostname: page-component-7b7567c8c-wxvwp Total loading time: 0 Render date: 2026-11-15T07:31:00.180Z Has data issue: false hasContentIssue false

The ideal lattice of an MS-algebra†

Published online by Cambridge University Press:  18 May 2009

T. S. Blyth
Affiliation:
Mathematical Institute, University of St Andrews, St Andrews KY16 9SS, Fife, Scotland
J. C. Varlet
Affiliation:
Institut de Mathématique, Université de Liège, Avenue des tilleuls, 15, B-4000 Liège, Belgique
Rights & Permissions [Opens in a new window]

Extract

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.

Recently we introduced the notion of an MS-algebra as a common abstraction of a de Morgan algebra and a Stone algebra [2]. Precisely, an MS-algebra is an algebra 〈L; ∧, ∨ ∘, 0, 1〉 of type 〈2, 2, 1, 0, 0〉 such that 〈L; ∧, ∨, 0, 1〉 is a distributive lattice with least element 0 and greatest element 1, and x → x∘ is a unary operation such that x ≤ x∘∘, (x ∧ y)∘ = x∘ ∨ y∘ and 1∘ = 0. It follows that ∘ is a dual endomorphism of L and that L∘∘ = {x∘∘ x ∊ L} is a subalgebra of L that is called the skeleton of L and that belongs to M, the class of de Morgan algebras. Clearly, theclass MS of MS-algebras is equational. All the subvarieties of MS were described in [3]. The lattice Λ (MS) of subvarieties of MS has 20 elements (see Fig. 1) and its non-trivial part (we exclude T, the class of one-element algebras) splits into the prime filter generated by M, that is [M, M1], the prime ideal generated by S, that is [B, S], and the interval [K, K2 ∨ K3].

Information

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 1988