Abstract
Thefunction lattice L P is the lattice of all isotone maps from a posetP into a latticeL.
D. Duffus, B. Jónsson, and I. Rival proved in 1978 that for afinite poset P, the congruence lattice ofL P is a direct power of the congruence lattice ofL; the exponent is |P|.
This result fails for infiniteP. However, utilizing a generalization of theL P construction, theL[D] construction (the extension ofL byD, whereD is a bounded distributive lattice), the second author proved in 1979 that ConL[D] is isomorphic to (ConL) [ConD] for afinite lattice L.
In this paper we prove that the isomorphism ConL[D]≅(ConL)[ConD] holds for a latticeL and a bounded distributive latticeD iff either ConL orD is finite.
Similar content being viewed by others
References
Davey, B. A., Duffus, D., Quackenbush, R. W. and Rival, I. (1978) Exponents of finite simple lattices,J. London Math. Soc. 17, 203–211.
Duffus, D., Jónsson, B. and Rival, I. (1978) Structure results for function lattices,J. Math. 33, 392–400.
Grätzer, G. (1979)Universal Algebra, Second Edition, Springer-Verlag, New York, Heidelberg, Berlin.
Grätzer, G. and Lakser, H. (1969) Chain conditions in the distributive free product of lattices,Trans. Amer. Math. Soc. 144, 301–312.
Grätzer, G., Lakser, H. and Quackenbush, R. W. (1981) The structure of tensor products of semilattices with zero,Trans. Amer. Math. Soc. 267, 503–515.
Mitschke, A. und Wille, R. (1973)Freie modulare Verbände FM(DM3), Proc. Univ. Houston Lattice Theory Conf., Houston, 383–396.
Quackenbush, R. W. (1972) Free products of bounded distributive lattices,Algebra Universalis 2, 393–394.
Schmidt, E. T. (1979) Remark on generalized function lattices,Acta Math. Hungar. 34, 337–339.
Tischendorf, M. (1992) The representation problem for algebraic distributive lattices, Ph.D. Thesis, Darmstadt.
Author information
Authors and Affiliations
Additional information
Communicated by I. Rival
The research of the first author was supported by the NSERC of Canada.
The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.
Rights and permissions
About this article
Cite this article
Grätzer, G., Schmidt, E.T. Congruence lattices of function lattices. Order 11, 211–220 (1994). https://doi.org/10.1007/BF02115812
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02115812