Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit (Q855747)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit |
scientific article |
Statements
Stone duality for Dedekind \(\sigma\)-complete \(\ell\)-groups with order-unit (English)
0 references
7 December 2006
0 references
If \(G\) is a lattice-ordered group (\(\ell \)-group) then \(G\) is Dedekind \(\sigma \)-complete if every non-empty countable subset of \(G\) which is bounded above in \(G\) has a supremum in \(G\). Denote by \(\mathcal{DED}\) the category whose objects are Dedekind \(\sigma \)-complete \(\ell \)-groups with a distinguished order-unit and whose morphisms are the unit preserving \(\ell \)-group homomorphisms which, moreover, preserve all denumerable infima and suprema. The authors establish a categorical duality between \(\mathcal{DED}\) and a category \(\mathcal{W}\) consisting of basically disconnected compact Hausdorff spaces equiped with a system of closed sets. Furthemore, the restiction of this duality gives analogous topological representations for certain subclasses of \(\mathcal{DED}\).
0 references
lattice-ordered abelian group
0 references
Stone duality
0 references
basically disconnected space
0 references
complete MV-algebra
0 references
0 references