Natural extensions and profinite completions of algebras
This paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class A = ISP (M) where M is a set, not necessarily finite, of finite algebras, it is shown that each A ε A embeds as a topologically dense subalgebra of a topo...
| Main Authors: | , , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2011
|
| _version_ | 1826286913706786816 |
|---|---|
| author | Davey, B Gouveia, M Haviar, M Priestley, H |
| author_facet | Davey, B Gouveia, M Haviar, M Priestley, H |
| author_sort | Davey, B |
| collection | OXFORD |
| description | This paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class A = ISP (M) where M is a set, not necessarily finite, of finite algebras, it is shown that each A ε A embeds as a topologically dense subalgebra of a topological algebra nA (A)(its natural extension), and that nA (A) is isomorphic, topologically and algebraically, to the profinite completion of A. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that M is finite and A possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply. © 2011 Springer Basel AG. |
| first_indexed | 2024-03-07T01:50:47Z |
| format | Journal article |
| id | oxford-uuid:9a05224a-f595-4c40-9e52-84061d78c263 |
| institution | University of Oxford |
| language | English |
| last_indexed | 2024-03-07T01:50:47Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:9a05224a-f595-4c40-9e52-84061d78c2632022-03-27T00:18:24ZNatural extensions and profinite completions of algebrasJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:9a05224a-f595-4c40-9e52-84061d78c263EnglishSymplectic Elements at Oxford2011Davey, BGouveia, MHaviar, MPriestley, HThis paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class A = ISP (M) where M is a set, not necessarily finite, of finite algebras, it is shown that each A ε A embeds as a topologically dense subalgebra of a topological algebra nA (A)(its natural extension), and that nA (A) is isomorphic, topologically and algebraically, to the profinite completion of A. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that M is finite and A possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply. © 2011 Springer Basel AG. |
| spellingShingle | Davey, B Gouveia, M Haviar, M Priestley, H Natural extensions and profinite completions of algebras |
| title | Natural extensions and profinite completions of algebras |
| title_full | Natural extensions and profinite completions of algebras |
| title_fullStr | Natural extensions and profinite completions of algebras |
| title_full_unstemmed | Natural extensions and profinite completions of algebras |
| title_short | Natural extensions and profinite completions of algebras |
| title_sort | natural extensions and profinite completions of algebras |
| work_keys_str_mv | AT daveyb naturalextensionsandprofinitecompletionsofalgebras AT gouveiam naturalextensionsandprofinitecompletionsofalgebras AT haviarm naturalextensionsandprofinitecompletionsofalgebras AT priestleyh naturalextensionsandprofinitecompletionsofalgebras |