Homomorphisms and endomorphisms in varieties of pseudocomplemented distributive lattices (with applications to Heyting algebras)

Adams, M. E.; Koubek, V.; Sichler, J.

doi:10.1090/S0002-9947-1984-0748830-6

Homomorphisms and endomorphisms in varieties of pseudocomplemented distributive lattices (with applications to Heyting algebras)
HTML articles powered by AMS MathViewer

by M. E. Adams, V. Koubek and J. Sichler PDF

Trans. Amer. Math. Soc. 285 (1984), 57-79 Request permission

Abstract:

According to a result by K. B. Lee, the lattice of varieties of pseudocomplemented distributive lattices is the $\omega + 1$ chain ${B_{ - 1}} \subset {B_0} \subset {B_1} \subset \cdots \subset {B_n} \subset \cdots \subset {B_\omega }$ in which the first three varieties are formed by trivial, Boolean, and Stone algebras respectively. In the present paper it is shown that any Stone algebra is determined within ${B_1}$ by its endomorphism monoid, and that there are at most two nonisomorphic algebras in ${B_2}$ with isomorphic monoids of endomorphisms; the pairs of such algebras are fully characterized both structurally and in terms of their common endomorphism monoid. All varieties containing ${B_3}$ are shown to be almost universal. In particular, for any infinite cardinal $\kappa$ there are ${2^\kappa }$ nonisomorphic algebras of cardinality $\kappa$ in ${B_3}$ with isomorphic endomorphism monoids. The variety of Heyting algebras is also almost universal, and the maximal possible number of nonisomorphic Heyting algebras of any infinite cardinality with isomorphic endomorphism monoids is obtained.

References

M. E. Adams, Implicational classes of pseudocomplemented distributive lattices, J. London Math. Soc. (2) 13 (1976), no. 2, 381–384. MR 404075, DOI 10.1112/jlms/s2-13.2.381
M. E. Adams, V. Koubek, and J. Sichler, Homomorphisms and endomorphisms of distributive lattices, Houston J. Math. 11 (1985), no. 2, 129–145. MR 792189
Raymond Balbes and Philip Dwinger, Distributive lattices, University of Missouri Press, Columbia, Mo., 1974. MR 0373985
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, Injective and projective Heyting algebras, Trans. Amer. Math. Soc. 148 (1970), 549–559. MR 256952, DOI 10.1090/S0002-9947-1970-0256952-1
H.-J. Bandelt, Endomorphism semigroups of median algebras, Algebra Universalis 12 (1981), no. 2, 262–264. MR 608671, DOI 10.1007/BF02483886
Hans-J. Bandelt, Isomorphisms between semigroups of isotone maps, J. Austral. Math. Soc. Ser. A 30 (1980/81), no. 4, 453–460. MR 621560
R. Beazer, Pseudocomplemented algebras with Boolean congruence lattices, J. Austral. Math. Soc. Ser. A 26 (1978), no. 2, 163–168. MR 551487, DOI 10.1017/s1446788700011654
Garrett Birkhoff, On groups of automorphisms, Rev. Un. Mat. Argentina 11 (1946), 155–157 (Spanish). MR 15387
C. C. Chen and G. Grätzer, Stone lattices. I. Construction theorems, Canadian J. Math. 21 (1969), 884–894. MR 242737, DOI 10.4153/CJM-1969-096-5
C. C. Chen and G. Grätzer, Stone lattices. I. Construction theorems, Canadian J. Math. 21 (1969), 884–894. MR 242737, DOI 10.4153/CJM-1969-096-5
B. A. Davey and D. Duffus, Exponentiation and duality, Ordered sets (Banff, Alta., 1981) NATO Adv. Study Inst. Ser. C: Math. Phys. Sci., vol. 83, Reidel, Dordrecht-Boston, Mass., 1982, pp. 43–95. MR 661291
Brian A. Davey and Moshe S. Goldberg, The free $p$-algebra generated by a distributive lattice, Algebra Universalis 11 (1980), no. 1, 90–100. MR 593015, DOI 10.1007/BF02483084
Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, and Dana S. Scott, A compendium of continuous lattices, Springer-Verlag, Berlin-New York, 1980. MR 614752

Sur quelques points de la logique de M. Brouwer

15

George Grätzer, Lattice theory. First concepts and distributive lattices, W. H. Freeman and Co., San Francisco, Calif., 1971. MR 0321817
George Grätzer, General lattice theory, Lehrbücher und Monographien aus dem Gebiete der Exakten Wissenschaften, Mathematische Reihe, Band 52, Birkhäuser Verlag, Basel-Stuttgart, 1978. MR 504338
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, H. Lakser, and R. W. Quackenbush, On the lattice of quasivarieties of distributive lattices with pseudocomplementation, Acta Sci. Math. (Szeged) 42 (1980), no. 3-4, 257–263. MR 603314
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
Junji Hashimoto, Ideal theory for lattices, Math. Japon. 2 (1952), 149–186. MR 57224

Partly ordered sets with given monoid of order preserving mappings

A. Pultr and Z. Hedrlín, Relations (graphs) with given infinite semigroups, Monatsh. Math. 68 (1964), 421–425. MR 170841, DOI 10.1007/BF01304185
Z. Hedrlín and A. Pultr, On rigid undirected graphs, Canadian J. Math. 18 (1966), 1237–1242. MR 200193, DOI 10.4153/CJM-1966-121-7
Z. Hedrlín and J. Sichler, Any boundable binding category contains a proper class of mutually disjoint copies of itself, Algebra Universalis 1 (1971), no. 1, 97–103. MR 285580, DOI 10.1007/BF02944963
Tibor Katriňák, Die Kennzeichnung der distributiven pseudokomplementären Halbverbände, J. Reine Angew. Math. 241 (1970), 160–179 (German). MR 260629, DOI 10.1515/crll.1970.241.160

Über eine Konstruktion der distributiven pseudokomplementären Verbände

53

John L. Kelley, General topology, D. Van Nostrand Co., Inc., Toronto-New York-London, 1955. MR 0070144
Peter Köhler, The triple method and free distributive pseudocomplemented lattices, Algebra Universalis 8 (1978), no. 2, 139–150. MR 480240, DOI 10.1007/BF02485382
Peter Köhler, Endomorphism semigroups of Brouwerian semilattices, Semigroup Forum 15 (1977/78), no. 3, 229–234. MR 466381, DOI 10.1007/BF02195755
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
Kenneth D. Magill Jr., The semigroup of endomorphisms of a Boolean ring, J. Austral. Math. Soc. 11 (1970), 411–416. MR 0272690
Carlton J. Maxson, On semigroups of Boolean ring endomorphisms, Semigroup Forum 4 (1972), 78–82. MR 297900, DOI 10.1007/BF02570772
R. McKenzie and J. D. Monk, On automorphism groups of Boolean algebras, Infinite and finite sets (Colloq., Keszthely, 1973; dedicated to P. Erdős on his 60th birthday), Vol. II, Colloq. Math. Soc. János Bolyai, Vol. 10, North-Holland, Amsterdam, 1975, pp. 951–988. MR 0376476
Ralph McKenzie and Constantine Tsinakis, On recovering a bounded distributive lattice from its endomorphism monoid, Houston J. Math. 7 (1981), no. 4, 525–529. MR 658568
Don Pigozzi and J. Sichler, Homomorphisms of partial and of complete Steiner triple systems and quasigroups, Universal algebra and lattice theory (Charleston, S.C., 1984) Lecture Notes in Math., vol. 1149, Springer, Berlin, 1985, pp. 224–237. MR 823018, DOI 10.1007/BFb0098467
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, The construction of spaces dual to pseudocomplemented distributive lattices, Quart. J. Math. Oxford Ser. (2) 26 (1975), no. 102, 215–228. MR 392731, DOI 10.1093/qmath/26.1.215

Ordered sets and duality for distributive lattices

Aleš Pultr and Věra Trnková, Combinatorial, algebraic and topological representations of groups, semigroups and categories, North-Holland Mathematical Library, vol. 22, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 563525
Helena Rasiowa and Roman Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963. MR 0163850
Paulo Ribenboim, Characterization of the sup-complement in a distributive lattice with last element, Summa Brasil. Math. 2 (1949), no. 4, 43–49. MR 30931
B. M. Schein, Ordered sets, semilattices, distributive lattices and Boolean algebras with homomorphic endomorphism semigroups, Fund. Math. 68 (1970), 31–50. MR 272686, DOI 10.4064/fm-68-1-31-50
Constantine Tsinakis, Brouwerian semilattices determined by their endomorphism semigroups, Houston J. Math. 5 (1979), no. 3, 427–436. MR 559982
Alasdair Urquhart, Projective distributive $p$-algebras, Bull. Austral. Math. Soc. 24 (1981), no. 2, 269–275. MR 642245, DOI 10.1017/S0004972700007632

Contribution à l’étude des treillis pseudocomplémentés et des treillis de Stone

8