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

DOI10.1016/J.JALGEBRA.2024.02.002MaRDI QIDQ6196137zbMATH OpenOpenAlexFDO

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

Publication date 14 March 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

densenesspolynomial congruencespro-supersolvable topologysubgroups of the free group

Mathematics Subject Classification ID

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

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?

Recommendations

• The pro-k-solvable topology on a free group
• The pro-nilpotent group topology on a free group
• On The Profinite Topology on a Free Group
• CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA
• A Conjecture on the Hall Topology for the Free Group

Cites work

• A remark on Ax's theorem on solvability modulo primes
• A topology for free groups and related groups
• 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
• Classes of finite groups and their properties
• CLOSED SUBGROUPS IN PRO-V TOPOLOGIES AND THE EXTENSION PROBLEM FOR INVERSE AUTOMATA
• Coset Representations in Free Groups
• Extending partial automorphisms and the profinite topology on free groups
• Fields of large transcendence degree generated by values of elliptic functions
• Solvability of a system of polynomial equations modulo primes
• THE PRO-p TOPOLOGY OF A FREE GROUP AND ALGORITHMIC PROBLEMS IN SEMIGROUPS
• Zu einem von B. H. und H. Neumann gestellten Problem

Cited in

(3)

• On the closure of cyclic subgroups of a free group in some profinite topologies
• Pseudovarieties of semigroups
• On a pseudovariety of finite supersolvable groups

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)