How are diamond identities implied in congruence varieties?
type: Item
instance of: scholarly article
title: How are diamond identities implied in congruence varieties?
zbMATH Open document ID: 0782.08009
DOI: 10.1007/BF01196101
author: Gábor Czédli
published in: Algebra Universalis
publication date: 1994-03-13T00:00:00Z
review text: For \(n\geq 2\), an \((n+1)\)-tuple \(\vec a= (a_ 1,\dots,a_{n+1})\) of elements in a modular lattice \(L\) is called an \(n\)-diamond (after A. P. Huhn and C. Herrmann) if \(\sum^{0,n}_{i\neq k} a_ i=\sum^{0,n}_ i a_ i\) and \(a_ \ell\sum^{0,n}_{i\neq k,\ell} a_ i= \prod^{0,n}_ i a_ i\), for all \(k\neq\ell\). Let \(\lambda: p(x_ 1,\dots,x_ t)= q(x_ 1,\dots,x_ t)\) be a lattice identity. \(\lambda\) is called a diamond identity if \(\lambda\) implies modularity and, in addition, there are \((n+1)\)-ary lattice terms \(c_ 1(y_ 0,\dots,y_ n),\dots,c_ t(y_ 0,\dots,y_ n)\) for some \(n\geq 2\) such that for an arbitrary modular lattice \(L\) if \(p(c_ 1(\vec a),\dots,c_ n(\vec a))= q(c_ 1(\vec a),\dots,c_ n(\vec a))\) for every \(n\)-diamond \(\vec a\) in \(L\) then \(\lambda\) holds in \(L\). The distributive law is the simplest example. Given a set \(\Gamma\) of lattice identities, let \(\Gamma\models_ c\lambda\) denote that \(\lambda\) holds in every congruence variety satisfying \(\Gamma\). Suppose \(\lambda\) is a diamond identity. An algorithm is given to test whether \(\Gamma\models_ c\lambda\). It is shown that \(\Gamma\models_ c\lambda\) implies the existence of a finite subset \(\Delta\) of \(\Gamma\) such that \(\Delta\models_ c\lambda\).
Mathematics Subject Classification ID: 08B10
Mathematics Subject Classification ID: 06C05
Mathematics Subject Classification ID: 06B20
zbMATH DE Number: 203158
zbMATH Keywords: modular lattice
zbMATH Keywords: \(n\)-diamond
zbMATH Keywords: lattice identity
zbMATH Keywords: diamond identity
zbMATH Keywords: congruence variety
zbMATH Keywords: algorithm
MaRDI profile type: Publication
cites work: A note on the compactness of the consequence relation for congruence varieties
cites work: Q4034362
cites work: On congruence distributivity and modularity
cites work: Frames and rings in congruence modular varieties
cites work: On some identities valid in modular congruence varieties
cites work: Q3775604
cites work: Zum Begriff der Charakteristik modularer Verbände
cites work: Q5686073
cites work: A test for identities satisfied in lattices of submodules
cites work: Congruence varieties
description: scientific article; zbMATH DE number 203158