On profinite completions and canonical extensions
type: Item
instance of: scholarly article
title: On profinite completions and canonical extensions
zbMATH Open document ID: 1134.06004
published in: Algebra Universalis
publication date: 2007-01-29T00:00:00Z
review text: Let \(A\) be a (universal) algebra. Let \(\Phi\) be the set of all congruences \(\theta\) on \(A\) with \(A/\theta\) finite and let \(\bar A\) denote the subalgebra of elements \(\alpha\in \prod_{\Phi} A/\theta\) such that \(\alpha(\theta)=a/\theta\) and \(\theta\subseteq \theta_1\) implies \(\alpha/\theta_1=a/\theta_1.\) Then \(\bar A\) is called a profinite completion of \(A.\) In addition, a canonical extension of a bounded lattice \(L\) is a pair \((e, C)\), such that (i) \(C\) is a complete lattice, (ii) \(e: L\rightarrow C\) is a bounded lattice embedding, (iii) each element of \(C\) is a join of meets and a meet of joins of elements of the image \(e[L]\) of \(L\), and (iv) if \(F\), \(I\) are a filter and an ideal of \(L\), then \(\bigwedge e(F)\leq \bigvee e[I]\) implies \(F\cap I\neq \emptyset.\) Eventually, a bounded lattice \(L\) with a family of monotone fundamental operations (= \(n\)-ary operations that in each coordinate either preserve or reverse order) is called a monotone lattice expansion. The author proves: Let \(V\) be a variety of monotone lattice operations which is finitely generated. Then, profinite completions coincide with canonical extensions on \(V.\) Examples: Boolean algebras, bounded distributive lattices, or finitely generated varieties of Heyting algebras.
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 08B25
Mathematics Subject Classification ID: 06E25
zbMATH DE Number: 5119638
zbMATH Keywords: profinite completion
zbMATH Keywords: canonical extension
zbMATH Keywords: lattice expansion
zbMATH Keywords: finitely generated
author: John Harding
reviewed by: Tibor Katriňák
MaRDI profile type: Publication
full work available at URL: s00012-006-1969-x
OpenAlex ID: W1980659015
DOI: 10.1007/S00012-006-1969-X
description: scientific article; zbMATH DE number 5119638