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

DOI10.1016/J.JALGEBRA.2024.02.002arXiv2304.10501OpenAlexW4392089164MaRDI QIDQ6196137FDOQ6196137

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

Publication date: 14 March 2024

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Let $F$ be a free group of arbitrary rank and let $H$ be a finitely generated subgroup of $F$. Given a pseudovariety $mathbfV$ of finite groups, i.e. a class of finite groups closed under taking subgroups, quotients and finitary direct products, we endow $F$ with its pro-$mathbfV$ topology. Our main result states that it is decidable whether $H$ is $mathbfSu$-dense, where $mathbfSusubsetmathbfS$ denote respectively the pseudovarieties of all finite supersolvable groups and all finite solvable groups. Our motivation stems from the following open problem: is it decidable whether $H$ is $mathbfS$-dense?

Full work available at URL: https://arxiv.org/abs/2304.10501

zbMATH Keywords

densenesspolynomial congruencessubgroups of the free grouppro-supersolvable topology

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Solvable groups, supersolvable groups (20F16) Quasivarieties and varieties of groups (20E10)

Cites Work

• Bruno Buchberger's PhD thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Translation from the German
• THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
• Coset Representations in Free Groups
• Classes of finite groups and their properties
• Fields of large transcendence degree generated by values of elliptic functions
• CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA
• Zu einem von B. H. und H. Neumann gestellten Problem
• Extending partial automorphisms and the profinite topology on free groups
• A topology for free groups and related groups
• A remark on Ax's theorem on solvability modulo primes
• SOLVABILITY OF A SYSTEM OF POLYNOMIAL EQUATIONS MODULO PRIMES

This page was built for publication: The pro-supersolvable topology on a free group: deciding denseness

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