On profinite completions and canonical extensions
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.
- Comparison of MacNeille, canonical, and profinite completions
- MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- Morphisms inverted by profinite completion
- Canonical extensions and ultraproducts of polarities
- Natural dualities in partnership
- Canonical extensions and profinite completions of semilattices and lattices
- Monotone bounded distributive lattice expansions
- scientific article; zbMATH DE number 4158615 (Why is no real title available?)
- Direct factors of profinite completions and decidability
- Profinite Heyting algebras and profinite completions of Heyting algebras
- Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras
- Canonical extensions of posets.
- Profinite completions and canonical extensions of semilattice reducts of distributive lattices.
- Topological duality and algebraic completions
- A note on profinite completions and canonical extensions
- Natural extensions and profinite completions of algebras
- Profinite completions and canonical extensions of Heyting algebras
This page was built for publication: On profinite completions and canonical extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861603)
