Extending maps to profinite completions in finitely generated quasivarieties
Rings and Algebras
2019-06-10 v2 Logic
Abstract
We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension. We provide an extension which is a multi-map and we study its continuity properties, and the conditions under which it is a map.
Keywords
Cite
@article{arxiv.1310.2140,
title = {Extending maps to profinite completions in finitely generated quasivarieties},
author = {Georges Hansoul and Bruno Teheux},
journal= {arXiv preprint arXiv:1310.2140},
year = {2019}
}