Pro-\(p\) groups with constant generating number on open subgroups. (Q716461)

Let \(d(\Gamma)\) denote the minimal number of topological generators of a topological group \(\Gamma\). The aim of this paper is to solve the following classification problem: for every prime number \(p\), determine up to isomorphism all finitely generated pro-\(p\) groups \(G\) with the property \[ d(H)=d(G)\quad\mathrm{for all open subgroups }H\mathrm{ of }G.\tag{*} \] The main result of this paper is (Theorem 1.1): Let \(G\) be a finitely generated pro-\(p\) group with \(d(G)=d\), then \(G\) has property (*) if and only if \(G\) is isomorphic to one of the groups in the following list: (1) \(\mathbb Z_p^d\) (for \(d\geq 0\)); (2) \(\langle y\rangle\ltimes A\), where \(\langle y\rangle\simeq\mathbb Z_p\), \(A\simeq\mathbb Z_p^{d-1}\) (for \(d\geq 2\)) and \(y\) acts on \(A\) as scalar multiplication by \(\lambda\), with \(\lambda=1+p^s\) for some \(s\geq 1\) if \(p>2\) and \(\lambda=-1\) or \(\lambda=\pm(1+2^s)\) for some \(s\geq 1\) if \(p=2\); (3) \(\langle w\rangle\ltimes B\), where \(\langle w\rangle\) has order \(3\), \(B=\mathbb Z_3\oplus\mathbb Z_3\omega\simeq\mathbb Z_3^2\) for a primitive \(3\)-rd root of unity \(\omega\) and where \(w\) acts on \(B\) as multiplication by \(\omega\).