On profinite completions and canonical extensions (Q861603): Difference between revisions
From MaRDI portal
Removed claims |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: John Harding / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Tibor Katrińák / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00012-006-1969-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1980659015 / rank | |||
Normal rank |
Latest revision as of 00:30, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On profinite completions and canonical extensions |
scientific article |
Statements
On profinite completions and canonical extensions (English)
0 references
29 January 2007
0 references
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.
0 references
profinite completion
0 references
canonical extension
0 references
lattice expansion
0 references
finitely generated
0 references