Proper congruence-preserving extensions of lattices
英文摘要：
We prove that every lattice with more than one element has a proper congruence-preserving extension.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
Congruence amalgamation of lattices
J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with at most $\aleph\_1$ compact elements can be represented as the congruence lattice of a lattice $L$. We show that $L$ can be constructed as a locally finite relatively complemented lattice with zero. --We find a large class of lattices, the $ω$-congruence-finite lattices, that contains all locally finite countable lattices, in which every lattice has a relati…
math.GM
A uniform refinement property for congruence lattices
The Congruence Lattice Problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of a lattice. It was hoped that a positive solution would follow from E. T. Schmidt's construction or from the approach of P. Pudlak, M. Tischendorf, and J. Tuma. In a previous paper, we constructed a distributive algebraic lattice $A$ with $\aleph\_2$ compact elements that cannot be obtained by Schmidt's construction. In this paper, we show that the same lattice $A$ cannot be obtained using the Pudlak, Tischendorf, Tuma approach. The basic idea is that every congruence latt…
math.GM
Forcing extensions of partial lattices
We prove the following result: Let K be a lattice, let D be a distributive lattice with zero, and let $ϕ$: Con K $\to$ D be a {∨, 0}-homomorphism, where Conc K denotes the {∨, 0}-semilattice of all finitely generated congruences of K. Then there are a lattice L, a lattice homomorphism f : K $\to$ L, and an isomorphism $\ga$: Conc L $\to$ D such that $\ga$ Conc f = $ϕ$. Furthermore, L and f satisfy many additional properties, for example: (i) L is relatively complemented. (ii) L has definable principal congruences. (iii) If the range of $ϕ$ is cofinal in D, then th…
math.GM
