Algebra universalis

, 79:9 | Cite as

Characterizing fully principal congruence representable distributive lattices

  • Gábor Czédli
Part of the following topical collections:
  1. In memory of Bjarni Jónsson


Motivated by a recent paper of G. Grätzer, a finite distributive lattice D is called fully principal congruence representable if for every subset Q of D containing 0, 1, and the set J(D) of nonzero join-irreducible elements of D, there exists a finite lattice L and an isomorphism from the congruence lattice of L onto D such that Q corresponds to the set of principal congruences of L under this isomorphism. A separate paper of the present author contains a necessary condition of full principal congruence representability: D should be planar with at most one join-reducible coatom. Here we prove that this condition is sufficient. Furthermore, even the automorphism group of L can arbitrarily be stipulated in this case. Also, we generalize a recent result of G. Grätzer on principal congruence representable subsets of a distributive lattice whose top element is join-irreducible by proving that the automorphism group of the lattice we construct can be arbitrary.


Distributive lattice Principal lattice congruence Congruence lattice Principal congruence representable Simultaneous representation Automorphism group 

Mathematics Subject Classification



  1. 1.
    Baranskiĭ, V.A.: On the independence of the automorphism group and the congruence lattice for lattices. In: Abstracts of Lectures of the 15th All-Soviet Algebraic Conference, vol. 1, Krasnojarsk, p. 11 (1979)Google Scholar
  2. 2.
    Czédli, G.: Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices. Algebra Univ. 67, 313–345 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Czédli, G.: Representing a monotone map by principal lattice congruences. Acta Math. Hung. 147, 12–18 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Czédli, G.: The ordered set of principal congruences of a countable lattice. Algebra Univ. 75, 351–380 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Czédli, G.: An independence theorem for ordered sets of principal congruences and automorphism groups of bounded lattices. Acta Sci. Math. (Szeged) 82, 3–18 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Czédli, G.: Representing some families of monotone maps by principal lattice congruences. Algebra Univ. 77, 51–77 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Czédli, G.: Cometic functors and representing order-preserving maps by principal lattice congruences. Algebra Univ. (submitted)Google Scholar
  8. 8.
    Czédli, G.: On the set of principal congruences in a distributive congruence lattice of an algebra. Acta Sci. Math. (Szeged) (to appear)Google Scholar
  9. 9.
    Czédli, G., Grätzer, G.: Planar semimodular lattices and their diagrams. In: Grätzer, G., Wehrung, F. (eds.) Lattice Theory: Special Topics and Applications, pp. 91–130. Birkhäuser, Basel (2014)Google Scholar
  10. 10.
    Czédli, G., Lenkehegyi, A.: On classes of ordered algebras and quasiorder distributivity. Acta Sci. Math. (Szeged) 46, 41–54 (1983)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Freese, R.: The structure of modular lattices of width four with applications to varieties of lattices. Mem. Am. Math. Soc. 9(181), vii+91 (1977)MathSciNetzbMATHGoogle Scholar
  12. 12.
    Grätzer, G.: The order of principal congruences of a bounded lattice. Algebra Univ. 70, 95–105 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Grätzer, G.: Congruences and prime-perspectivities in finite lattices. Algebra Univ. 74, 351–359 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Grätzer, G.: Homomorphisms and principal congruences of bounded lattices I. Isotone maps of principal congruences. Acta Sci. Math. (Szeged) 82, 353–360 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    Grätzer, G.: Characterizing representability by principal congruences for finite distributive lattices with a join-irreducible unit element. Acta Sci. Math. (Szeged) 83, 415–431 (2017).
  16. 16.
    Grätzer, G.: Homomorphisms and principal congruences of bounded lattices. II. Sketching the proof for sublattices. Algebra Univ. 78(3), 291–295 (2017).
  17. 17.
    Grätzer, G.: Homomorphisms and principal congruences of bounded lattices. III. The independence theorem. Algebra Univ. 78(3), 297–301 (2017).
  18. 18.
    Grätzer, G., Knapp, E.: Notes on planar semimodular lattices. I. Construction. Acta Sci. Math. (Szeged) 73, 445–462 (2007)MathSciNetzbMATHGoogle Scholar
  19. 19.
    Grätzer, G., Lakser, H.: Notes on the set of principal congruences of a finite lattice. I. Some preliminary results. Algebra Univ. (submitted, available from ResearchGate and
  20. 20.
    Grätzer, G., Quackenbush, R.W.: Positive universal classes in locally finite varieties. Algebra Univ. 64, 1–13 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Grätzer, G., Schmidt, E.T.: The strong independence theorem for automorphism groups and congruence lattices of finite lattices. Beitr. Algebra Geom. 36, 97–108 (1995)MathSciNetzbMATHGoogle Scholar
  22. 22.
    Grätzer, G., Sichler, J.: On the endomorphism semigroup (and category) of bounded lattices. Pac. J. Math. 35, 639–647 (1970)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Grätzer, G., Wehrung, F.: The strong independence theorem for automorphism groups and congruence lattices of arbitrary lattices. Adv. Appl. Math. 24, 181–221 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Urquhart, A.: A topological representation theory for lattices. Algebra Univ. 8, 45–58 (1978)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Bolyai InstituteUniversity of SzegedSzegedHungary

Personalised recommendations