作者
Pavel Ruzicka
发表日期
2008/1/1
期刊
Fund. Math
卷号
198
页码范围
217-228
简介
We prove that there is a distributive (∨, 0, 1)-semilattice G of size ℵ2 such that there is no weakly distributive (∨, 0)-homomorphism from Conc A to G with 1 in its range, for any algebra A with either a congruence-compatible structure of a (∨, 1)-semilattice or a congruence-compatible structure of a lattice. In particular, G is not isomorphic to the (∨, 0)-semilattice of compact congruences of any lattice. This improves Wehrung’s solution of Dilworth’s Congruence Lattice Problem, by giving the best cardinality bound possible. The main ingredient of our proof is the modification of Kuratowski’s Free Set Theorem, which involves what we call free trees.
学术搜索中的文章
P Ruzicka - Fund. Math, 2008