The pro-k-solvable topology on a free group

DOI10.1017/S1446788723000162arXiv2304.10235OpenAlexW4390112624MaRDI QIDQ6433739FDOQ6433739

Authors: Claude Marion, Pedro V. Silva, Gareth M. Tracey 

Publication date: 20 April 2023

Abstract: We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian topology finitely generated? We show also that if the latter question has a positive answer, then we can effectively construct a basis for the closure, and the closure has decidable membership problem in any case. Moreover, it is decidable whether $H$ is closed for the pro-$$ topology when $$ is an equational pseudovariety of finite groups, such as the pseudovariety $$ of all finite solvable groups with derived length $leqk$. We also connect the pro-abelian topology with the topologies defined by abelian groups of bounded exponent.

Full work available at URL: https://doi.org/10.1017/s1446788723000162

Recommendations

• scientific article; zbMATH DE number 3487529
• scientific article; zbMATH DE number 3080938
• scientific article; zbMATH DE number 3407754
• Eine Bemerkung zum Satz von Vitali über Konvergenz von Funktionenfolgen: Dem stets hilftsbereiten Herrn Kollegen H. L. Schmid, gewidmet
• scientific article; zbMATH DE number 1839786
• Holomorphic mappings of complex manifolds
• scientific article; zbMATH DE number 5593209
• On \(\varepsilon\)-representations
• scientific article; zbMATH DE number 3148394

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Other classes of groups defined by subgroup chains (20F22) Quasivarieties and varieties of groups (20E10)

Cited In (1)

• The pro-supersolvable topology on a free group: deciding denseness

This page was built for publication: The pro-$k$-solvable topology on a free group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6433739)