Hostname: page-component-76fb5796d-2lccl Total loading time: 0 Render date: 2024-04-27T16:56:52.631Z Has data issue: false hasContentIssue false
  • English
  • Français

On some small varieties of distributive Ockham algebras

Published online by Cambridge University Press:  18 May 2009

R. Beazer
R. Beazer
Affiliation:
Department of Mathematics, University of Glasgow, Scotland, U.K.
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.

J. Berman [2] initiated the study of a variety k of bounded distributive lattices endowed with a dual homomorphic operation paying particular attention to certain subvarieties km, n. Subsequently, A. Urquhart [8] named the algebras in k distributive Ockham algebras, and developed a duality theory, based on H. A. Priestley's order-topological duality for bounded distributive lattices [6], [7]. Amongst other things, Urquhart described the ordered spaces dual to the subdirectly irreducible algebras in Sif. This work was developed further still by M. S. Goldberg in his thesis and the paper [5]. Recently, T. S. Blyth and J. C. Varlet [3], in abstracting de Morgan and Stone algebras, studied a subvariety MS of the variety k1.1. The main result in [3]is that there are, up to isomorphism, nine subdirectly irreducible algebras in MS and their Hasse diagrams are exhibited. The methods employed in [3] are purely algebraic and can be generalized to show that, up to isomorphism, there are twenty subdirectly irreducible algebras in k1.1. In section 3 of this paper, we take a short cut to this result by utilizing the results of Urquhart and Goldberg. Our basic method is simple: the results of Goldberg [5] are applied to k1,1 to produce a certain eight-element algebra B1 in k1,1, whose lattice reduct is Boolean and whose subalgebras are, up to isomorphism, precisely the subdirectly irreducibles in k1.1. We then pick out of the list of twenty such algebras those belonging to the variety MS. In section 4, we sketch a purely algebraic proof along the lines followed by Blyth and Varlet in [3].

Type
Research Article
Information
Glasgow Mathematical Journal , Volume 25 , Issue 2 , July 1984 , pp. 175 - 181
Copyright
Copyright © Glasgow Mathematical Journal Trust 1984

References

REFERENCES

1.Balbes, R. and Dwinger, Ph., Distributive Lattices (University of Missouri Press, 1974).Google Scholar
2.Berman, J., Distributive lattices with an additional unary operation, Aequationes Math. 16 (1977), 165–171.CrossRefGoogle Scholar
3.Blyth, T. S. and Varlet, J. C., On a common abstraction of de Morgan algebras and Stone algebras, Proc. Roy. Soc. Edinburgh. 94A (1983), 301–308.CrossRefGoogle Scholar
4.Burris, S. and Sankappanavar, H. P., A Course in Universal Algebra, (Springer-Verlag 1981).Google Scholar
5.Goldberg, M. S., Distributive Ockham algebras: free algebras and injectivity, Bull. Austral. Math. Soc. 24 (1981), 161–203.CrossRefGoogle Scholar
6.Priestley, H., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186–190.CrossRefGoogle Scholar
7.Priestley, H., Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3), 24 (1972), 507–530.CrossRefGoogle Scholar
8.Urquhart, A., Distributive lattices with a dual homomorphic operation, Studia Logica 38 (1979), 201–209.Google Scholar