Proper congruence-preserving extensions of lattices (Q1977419): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0501438 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1804163189 / rank | |||
Normal rank |
Latest revision as of 09:23, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proper congruence-preserving extensions of lattices |
scientific article |
Statements
Proper congruence-preserving extensions of lattices (English)
0 references
14 May 2000
0 references
A lattice \(K\) is a congruence-preserving extension of a lattice \(L\), if \(K\) is an extension and every congruence of \(L\) has exactly one extension to \(K\). Then the congruence lattice of \(L\) is isomorphic to the congruence lattice of \(K\). The extension is called proper if \(K\) properly contains \(L\), that is, \(K-L\neq\emptyset\). \textit{G. Grätzer} and \textit{E. T. Schmidt} [Acta Math. Hung. 66, 275-288 (1995; Zbl 0842.06008)] pointed out that if there exists a distributive interval with more than one element in \(L\), then \(L\) has a proper congruence-preserving extension \(K\). Generalizing this result, in this paper, the authors prove: Every lattice \(L\) with more than one element has a proper congruence-preserving extension \(K\). The proof of this theorem is based on a construction of \textit{E. T. Schmidt} [Publ. Math. Debrecen 9, 243-256 (1962; Zbl 0178.33902)]. For a lattice \(L\), let us call the triple \(\langle x,y,z\rangle \in L^3\) Boolean, if \[ \begin{alignedat}{1} x&=(x\lor y)\land (x\lor z), \\ y&=(y\lor x)\land (y\lor z), \tag{B}\\ z &= (z\lor x)\land (z\lor y). \end{alignedat} \] Let \(M_3\langle L\rangle\subseteq L^3\) denote the poset of Boolean triples of \(L\). Then \(M_3\langle L\rangle\) is a lattice. If \(c\) is an element of \(L\), then the subposet \(\{\langle x,x\land c,c\rangle \mid x\in L\}\) is a sublattice \(L_c\) and it is isomorphic to \(L\), and \(L_c\) is a proper congruence-preserving extension of \(L\).
0 references
extensions of lattices
0 references
congruence lattice
0 references
Boolean triples
0 references