On some small varieties of distributive Ockham algebras

Beazer, R.

Glasgow mathematical journal, Tome 25 (1984) no. 2, pp. 175-181

Résumé

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].

Détail

DOI : 10.1017/S0017089500005590

Bibliographie

[1] 1.Balbes, R. and Dwinger, Ph., Distributive Lattices (University of Missouri Press, 1974). Google Scholar

[2] 2.Berman, J., Distributive lattices with an additional unary operation, Aequationes Math. 16 (1977), 165–171. Google Scholar | DOI

[3] 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. Google Scholar | DOI

[4] 4.Burris, S. and Sankappanavar, H. P., A Course in Universal Algebra, (Springer-Verlag 1981). Google Scholar

[5] 5.Goldberg, M. S., Distributive Ockham algebras: free algebras and injectivity, Bull. Austral. Math. Soc. 24 (1981), 161–203. Google Scholar | DOI

[6] 6.Priestley, H., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186–190. Google Scholar | DOI

[7] 7.Priestley, H., Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3), 24 (1972), 507–530. Google Scholar | DOI

[8] 8.Urquhart, A., Distributive lattices with a dual homomorphic operation, Studia Logica 38 (1979), 201–209. Google Scholar