Natural extensions and profinite completions of algebras (Q651385): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:51, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Natural extensions and profinite completions of algebras |
scientific article |
Statements
Natural extensions and profinite completions of algebras (English)
0 references
13 December 2011
0 references
A profinite completion of a given algebra \(A\) is defined to be the inverse limit algebra formed from finite quotient algebras of \(A\) by congruences of finite index, where the indexing set is the set of congruences of finite index and ordering is reverse inclusion. The paper investigates profinite completions of residually finite algebras drawing on ideas of natural dualities. Given a class \(V=\mathrm{ISP}(M)\), where \(M\) is a set of finite algebras, it is shown that each \(A \in V\) embeds as a topologically dense subalgebra of a topological algebra which is a natural extension of \(A\) and this algebra is isomorphic, topologically and algebraically, to the profinite completion of \(A\). It is shown how the natural extensions can be described as families of relation-preserving maps. For an algebra of a finitely generated variety of lattice-based algebras, the natural extension provides a realization of the canonical extension. The paper concludes with an exhaustive survey of classes of algebras to which the main theorem do, or do not, apply.
0 references
profinite completion
0 references
residually finite
0 references
natural extension
0 references
canonical extension
0 references