Codimension and pseudometric in co-Heyting algebras

DOI10.1007/S00012-011-0103-XMaRDI QIDQ535091zbMATH OpenOpenAlexFDO

Authors L. Darnière, Markus Junker

Publication date 11 May 2011

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0812.2026

zbMATH Keywords

rankdualitycodimensiondimensiongeneral topologyHeyting algebrascorankslicesbounded distributive lattice

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Topological lattices (06B30) Heyting algebras (lattice-theoretic aspects) (06D20) Lattices and duality (06D50)

Abstract: In this paper we introduce a notion of dimension and codimension for every element of a distributive bounded lattice $L$. These notions prove to have a good behavior when $L$ is a co-Heyting algebra. In this case the codimension gives rise to a pseudometric on $L$ which satisfies the ultrametric triangle inequality. We prove that the Hausdorff completion of $L$ with respect to this pseudometric is precisely the projective limit of all its finite dimensional quotients. This completion has some familiar metric properties, such as the convergence of every monotonic sequence in a compact subset. It coincides with the profinite completion of $L$ if and only if it is compact or equivalently if every finite dimensional quotient of $L$ is finite. In this case we say that $L$ is precompact. If $L$ is precompact and Hausdorff, it inherits many of the remarkable properties of its completion, specially those regarding the join/meet irreducible elements. Since every finitely presented co-Heyting algebra is precompact Hausdorff, all the results we prove on the algebraic structure of the latter apply in particular to the former. As an application, we obtain the existence for every positive integers $n,d$ of a term $t_{n,d}$ such that in every co-Heyting algebra generated by an $n$-tuple $a$, $t_{n,d}(a)$ is precisely the maximal element of codimension $d$.

Recommendations

• Varieties of algebras with pseudoinvolution: codimensions, cocharacters and colengths
• Codimensions of algebras with additional structures
• The cohomology structure of Hom-\(H\)-pseudoalgebras
• Finitely copresented and cogenerated dimensions
• Codimension and colength sequences of algebras and growth phenomena
• scientific article; zbMATH DE number 4107033
• scientific article; zbMATH DE number 874291
• scientific article; zbMATH DE number 5065636
• Cohomology and dimension of quasi-ordered sets
• Cofinality of algebras

Cites work

• scientific article; zbMATH DE number 3496104 (Why is no real title available?)
• scientific article; zbMATH DE number 732978 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• Finitely generated free Heyting algebras
• Locally finite varieties of Heyting algebras
• Number of prelocally table superintuitionistic propositional logics
• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• Prime Ideal Structure in Commutative Rings
• Profinite completions and canonical extensions of Heyting algebras
• Unification in intuitionistic logic

Cited in

(3)

• On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
• THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS
• Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets

This page was built for publication: Codimension and pseudometric in co-Heyting algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q535091)