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

Let \(G\) be a group and let \(\mathbf{V}\) be a pseudovariety of groups. Then \(G\) can be endowed with the pro-\(\mathbf{V}\) topology where the normal subgroups \(K\) of \(G\) with \(G/K \in \mathbf{V}\) form a basis of neighbourhoods of the identity. (In particular, if \(\mathbf{V}\) is the pseudovariety of finite groups, pro-\(\mathbf{V}\) topology is called pro-finite.) Let \(\mathbf{Su}\) be the pseudovariety of finite supersolvable groups. The main result of the paper under review is Theorem 1.1: Let \(F\) be a free group of arbitrary rank. Given a finitely generated subgroup \(H\) of \(F\), it is decidable whether or not \(H\) is \(\mathbf{Su}\)-dense.