Conclusions
There are many questions, which arise in connection with the theorem presented. In general, we would like to know more about the class of embeddings of a given lattice in the lattices of all equivalences over finite sets. Some of these problems are studied in [4]. In this paper, an embedding is called normal, if it preserves 0 and 1. Using regraphs, our result can be easily improved as follows:
THEOREM.For every lattice L, there exists a positive integer n 0,such that for every n≥n 0,there is a normal embedding π: L→Eq(A), where |A|=n.
Embedding satisfying special properties are shown in Lemma 3.2 and Basic Lemma 6.2. We hope that our method of regraph powers will produce other interesting results.
There is also a question about the effectiveness of finding an embedding of a given lattice. In particular, the proof presented here cannot be directly used to solve the following.
Problem. Can the dual of Eq(4) be embedded into Eq(21000)?
Similar content being viewed by others
References
G. Birkhoff,On the Structure of abstract algebras, Proc. Cambridge Phil. Soc.31 (1935), 433–454.
G. Birkhoff,Lattice Theory, Amer. Math. Soc. (1948).
P. Crawey andR. P. Dilworth:Algebraic theory of lattices, Prentice-Hall, 1973.
A. Ehrenfeucht, V. Faber, S. Fajtlowicz andJ. Mycielski,Representations of finite lattices as partition lattices on finite sets, Proc. Univ. of Houston Lattice Theory Conf., Houston, 1973.
J. Hartmanis,Two embedding theorems for finite lattices, Proc. Amer. Math. Soc.7 (1956), 571–577.
J. Hartmanis,Generalized partitions and lattice embeddings theorems, lattice theory, Proc. Sympos. Pure. Math.,2, AMS, Providence (1961), 22–30.
B. Jónsson,Algebras whose congruence lattices are distributive, Math. Scand.,21 (1967), 110–121
R. Peele,The Representations of combinatorial circuits as finite partitions, preprint
W. Poguntke andJ. Rival,Finite four-generated simple lattices contain all finite lattices, Proc. Amer. Math. Soc.55, No 1 (1976), 22–24.
P. Pudlák andJ. Tůma,Yeast graphs and fermentation of algebraic lattices. Colloquia Mathematica Societatis Jano, Bolyai, 14. Lattice Theory, Szeged (Hungary), 1974, 301–341.
P. M. Whitman,Lattices, equivalence relations, and subgroups, Bulletin of AMS,52 (1946), 507–522.
East-West, Home is Best, (English proverb)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Pudlák, P., T⫲ma, J. Every finite lattice can be embedded in a finite partition lattice. Algebra Universalis 10, 74–95 (1980). https://doi.org/10.1007/BF02482893
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02482893