Uncountably many non-commensurable finitely presented pro-\(p\) groups. (Q285591)

Two groups are commensurable if they have subgroups of finite index that are isomorphic. The main result of this paper is: let \(m\geq 3\) be a positive integer; there are uncountably many noncommensurable metabelian uniform pro-\(p\) groups of dimension \(m\) and, consequently, there are uncountably many non-commensurable finitely presented pro-\(p\) groups with minimal number of generators \(m\). -- The idea of the proof is to construct uncountably many non-isomorphic metabelian \(\mathbb Q_p\)-Lie algebras and apply \(p\)-adic Lie-theory. As a direct consequence of previous theorem, the author gets the following corollary: let \(m\geq 3\); there are uncountably many noncommensurable finitely presented pro-\(p\) groups \(G\) with \(d(G)=m\) none of which is the pro-\(p\) completion of a finitely presented abstract group. Another consequence is that there are uncountably many non-commensurable isospectral pro-\(p\) groups.