A lattice construction and congruence-preserving extensions
type: Item
instance of: scholarly article
title: A lattice construction and congruence-preserving extensions
zbMATH Open document ID: 0842.06008
DOI: 10.1007/BF01876045
published in: Acta Mathematica Hungarica
publication date: 1996-07-24T00:00:00Z
review text: A ``chopped lattice'' is a partial lattice \(M\), such that \(M\) is a meet-semilattice with 0 and any two elements with a common upper bound have a join. Equivalently, \(M = L - \{1\}\), where \(L\) is a lattice with 0 and 1. For such a chopped lattice, ``Condition (FG)'' means: Every finitely generated ideal of \(M\) is a finite union of principal ideals. In the paper it is shown: If \(M\) satisfies (FG), then the finitely generated ideals of \(M\) form a sublattice \(\text{Idfg} (M)\) of the ideal lattice \(\text{Id} (M)\) of \(M\), and \(\text{Idfg} (M)\) is a congruence-preserving extension of \(M\) (i.e., every congruence of \(M\) has exactly one extension to \(\text{Idfg} (M)\)). Let \(A\) and \(B\) be two lattices sharing the sublattice \(A \cap B \neq \emptyset\). Then a set of sufficient conditions is given under which the amalgamation \(M(A,B) = A \cup B\) (with the natural partial ordering induced by the lattices \(A\) and \(B\)) is a chopped lattice. If \(A\), \(B\) satisfy these conditions, they are called a ``chopped pair''. Furthermore, two stronger versions of chopped pairs are introduced: ``sharp'' and ``full'' chopped pairs. The main results on sharp chopped pairs \(A\), \(B\) are the following: (i) If \(A \cap B\) satisfies the Ascending Chain Condition, then \(M(A,B)\) satisfies (FG). (ii) If \(A\), \(B\) are both modular, then \(M(A,B)\) satisfies (FG). For a full chopped pair \(A\), \(B\) it is shown: If one of the lattices \(A\), \(B\) is modular, then \(M(A,B)\) satisfies (FG). In the last section, these results are applied to the problem whether a given lattice has a proper congruence-preserving extension. The following theorem is proved: If \(L\) is a lattice with a non-trivial distributive interval, then \(L\) has a proper congruence-preserving extension.
Mathematics Subject Classification ID: 06B10
Mathematics Subject Classification ID: 06B99
Mathematics Subject Classification ID: 06C05
zbMATH DE Number: 755483
zbMATH Keywords: modular lattice
zbMATH Keywords: partial lattice
zbMATH Keywords: chopped lattice
zbMATH Keywords: finitely generated ideal
zbMATH Keywords: principal ideals
zbMATH Keywords: congruence-preserving extension
zbMATH Keywords: chopped pairs
zbMATH Keywords: Ascending Chain Condition
zbMATH Keywords: distributive interval
author: G. Grätzer
author: E. T. Schmidt
reviewed by: Günther Eigenthaler
MaRDI profile type: Publication
cites work: Q3875978
cites work: The strong independence theorem for automorphism groups and congruence lattices of finite lattices
full work available at URL: https://doi.org/10.1007/bf01876045
OpenAlex ID: W1987681641
description: scientific article; zbMATH DE number 755483