Dualities for equational classes of Brouwerian algebras and Heyting algebras

Davey, Brian A.

doi:10.1090/S0002-9947-1976-0412063-9

Dualities for equational classes of Brouwerian algebras and Heyting algebras
HTML articles powered by AMS MathViewer

by Brian A. Davey PDF

Trans. Amer. Math. Soc. 221 (1976), 119-146 Request permission

Abstract:

This paper focuses on the equational class ${{\mathbf {S}}_n}$ of Brouwerian algebras and the equational class ${{\mathbf {L}}_n}$ of Heyting algebras generated by an n-element chain. Firstly, duality theories are developed for these classes. Next, the projectives in the dual categories are determined, and then, by applying the dualities, the injectives and absolute subretracts in ${{\mathbf {S}}_n}$ and ${{\mathbf {L}}_n}$ are characterized. Finally, free products and the finitely generated free algebras in ${{\mathbf {S}}_n}$ and ${{\mathbf {L}}_n}$ are described.

References

R. Balbes and G. Grätzer, Injective and projective Stone algebras, Duke Math. J. 38 (1971), 339–347. MR 281663
Raymond Balbes and Alfred Horn, Stone lattices, Duke Math. J. 37 (1970), 537–545. MR 277448
Raymond Balbes and Alfred Horn, Injective and projective Heyting algebras, Trans. Amer. Math. Soc. 148 (1970), 549–559. MR 256952, DOI 10.1090/S0002-9947-1970-0256952-1
B. Banaschewski, Injectivity and essential extensions in equational classes of algebras. , Proc. Conf. on Universal Algebra (Queen’s Univ., Kingston, Ont., 1969) Queen’s Univ., Kingston, Ont., 1970, pp. 131–147. MR 0258708
R. Beazer, Post-like algebras and injective Stone algebras, Algebra Universalis 5 (1975), 16–23. MR 382100, DOI 10.1007/BF02485227
Garrett Birkhoff, Lattice theory, 3rd ed., American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. MR 0227053
William H. Cornish, Normal lattices, J. Austral. Math. Soc. 14 (1972), 200–215. MR 0313148
Brian A. Davey, Some annihilator conditions on distributive lattices, Algebra Universalis 4 (1974), 316–322. MR 357261, DOI 10.1007/BF02485743

Topological duality for quasi-varieties of universal algebras

Alan Day, Injectivity in equational classes of algebras, Canadian J. Math. 24 (1972), 209–220. MR 291051, DOI 10.4153/CJM-1972-017-8

Varieties of Heyting algebras

James Dugundji, Topology, Allyn and Bacon, Inc., Boston, Mass., 1966. MR 0193606
George Epstein, The lattice theory of Post algebras, Trans. Amer. Math. Soc. 95 (1960), 300–317. MR 112855, DOI 10.1090/S0002-9947-1960-0112855-8
Grant A. Fraser and Alfred Horn, Congruence relations in direct products, Proc. Amer. Math. Soc. 26 (1970), 390–394. MR 265258, DOI 10.1090/S0002-9939-1970-0265258-1
Andrew M. Gleason, Projective topological spaces, Illinois J. Math. 2 (1958), 482–489. MR 121775
George Grätzer, Universal algebra, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, 1968. MR 0248066
George Grätzer, Lattice theory. First concepts and distributive lattices, W. H. Freeman and Co., San Francisco, Calif., 1971. MR 0321817

Some applications of free distributive products

16

G. Grätzer and H. Lakser, The structure of pseudocomplemented distributive lattices. II. Congruence extension and amalgamation, Trans. Amer. Math. Soc. 156 (1971), 343–358. MR 274359, DOI 10.1090/S0002-9947-1971-0274359-9
G. Grätzer and H. Lakser, The structure of pseudocomplemented distributive lattices. III. Injective and absolute subretracts, Trans. Amer. Math. Soc. 169 (1972), 475–487. MR 309821, DOI 10.1090/S0002-9947-1972-0309821-4
G. Grätzer and E. T. Schmidt, On a problem of M. H. Stone, Acta Math. Acad. Sci. Hungar. 8 (1957), 455–460. MR 92763, DOI 10.1007/BF02020328
Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. MR 0167440
T. Hecht and Tibor Katriňák, Equational classes of relative Stone algebras, Notre Dame J. Formal Logic 13 (1972), 248–254. MR 295978
Karl Heinrich Hofmann, Michael Mislove, and Albert Stralka, The Pontryagin duality of compact $\textrm {O}$-dimensional semilattices and its applications, Lecture Notes in Mathematics, Vol. 396, Springer-Verlag, Berlin-New York, 1974. MR 0354921
Alfred Horn, Logic with truth values in a linearly ordered Heyting algebra, J. Symbolic Logic 34 (1969), 395–408. MR 253876, DOI 10.2307/2270905
Alfred Horn, Free $L$-algebras, J. Symbolic Logic 34 (1969), 475–480. MR 253886, DOI 10.2307/2270910
Bjarni Jónsson, Algebras whose congruence lattices are distributive, Math. Scand. 21 (1967), 110–121 (1968). MR 237402, DOI 10.7146/math.scand.a-10850
Tibor Katriňák, Remarks on the W. C. Nemitz’s paper “Semi-Boolean lattices”, Notre Dame J. Formal Logic 11 (1970), 425–430. MR 290946
T. Katriňák and A. Mitschke, Stonesche Verbände der Ordnung $n$ und Postalgebren, Math. Ann. 199 (1972), 13–30 (German). MR 319838, DOI 10.1007/BF01419572

Freie endlich erzeugte Heyting-Algebren

Freie S-Algebren

S-Algebren mit endlichem Zentrum

H. Lakser, Injective hulls of Stone algebras, Proc. Amer. Math. Soc. 24 (1970), 524–529. MR 255457, DOI 10.1090/S0002-9939-1970-0255457-7
H. Lakser, The structure of pseudocomplemented distributive lattices. I. Subdirect decomposition, Trans. Amer. Math. Soc. 156 (1971), 335–342. MR 274358, DOI 10.1090/S0002-9947-1971-0274358-7
K. B. Lee, Equational classes of distributive pseudo-complemented lattices, Canadian J. Math. 22 (1970), 881–891. MR 265240, DOI 10.4153/CJM-1970-101-4
Saunders MacLane, Categories for the working mathematician, Graduate Texts in Mathematics, Vol. 5, Springer-Verlag, New York-Berlin, 1971. MR 0354798
Mark Mandelker, Relative annihilators in lattices, Duke Math. J. 37 (1970), 377–386. MR 256951
William C. Nemitz, Implicative semi-lattices, Trans. Amer. Math. Soc. 117 (1965), 128–142. MR 176944, DOI 10.1090/S0002-9947-1965-0176944-9
H. A. Priestley, Representation of distributive lattices by means of ordered stone spaces, Bull. London Math. Soc. 2 (1970), 186–190. MR 265242, DOI 10.1112/blms/2.2.186
H. A. Priestley, Ordered topological spaces and the representation of distributive lattices, Proc. London Math. Soc. (3) 24 (1972), 507–530. MR 300949, DOI 10.1112/plms/s3-24.3.507
H. A. Priestley, Stone lattices: a topological approach, Fund. Math. 84 (1974), no. 2, 127–143. MR 340136, DOI 10.4064/fm-84-2-127-143
Helena Rasiowa and Roman Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963. MR 0163850
T. P. Speed, Spaces of ideals of distributive lattices. I. Prime ideals, Bull. Soc. Roy. Sci. Liège 38 (1969), 610–628 (English, with French summary). MR 265243
M. H. Stone, The theory of representations for Boolean algebras, Trans. Amer. Math. Soc. 40 (1936), no. 1, 37–111. MR 1501865, DOI 10.1090/S0002-9947-1936-1501865-8
A. Urquhart, Free distributive pseudo-complemented lattices, Algebra Universalis 3 (1973), 13–15. MR 337711, DOI 10.1007/BF02945101
A. Urquhart, Free Heyting algebras, Algebra Universalis 3 (1973), 94–97. MR 347709, DOI 10.1007/bf02945107
Jules Varlet, On the characterization of Stone lattices, Acta Sci. Math. (Szeged) 27 (1966), 81–84. MR 194370