Extending maps to profinite completions in finitely generated quasivarieties
نویسندگان
چکیده
منابع مشابه
Admissibility in Finitely Generated Quasivarieties
Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibilit...
متن کاملElementary Equivalence and Profinite Completions: a Characterization of Finitely Generated Abelian-by-finite Groups
In this paper, we show that any finitely generated abelian-byfinite group is an elementary submodel of its profinite completion. It follows that two finitely generated abelian-by-finite groups are elementarily equivalent if and only if they have the same finite images. We give an example of two finitely generated abelian-by-finite groups G, H which satisfy these properties while G x Z and H x Z...
متن کاملOn finitely generated profinite groups, II: products in quasisimple groups
We prove two results. (1) There is an absolute constant D such that for any finite quasisimple group S, given 2D arbitrary automorphisms of S, every element of S is equal to a product of D ‘twisted commutators’ defined by the given automorphisms. (2) Given a natural number q, there exist C = C(q) and M = M(q) such that: if S is a finite quasisimple group with |S/Z(S)| > C, βj (j = 1, . . . ,M) ...
متن کاملDiamond Theorem for a Finitely Generated Free Profinite Group
We extend Haran’s Diamond Theorem to closed subgroups of a finitely generated free profinite group. This gives an affirmative answer to Problem 25.4.9 in [FrJ].
متن کاملCartesian products as profinite completions
We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups under some natural restrictions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry
سال: 2020
ISSN: 0138-4821,2191-0383
DOI: 10.1007/s13366-020-00492-w