Abstract:
It is proved that a pro-$p$-group of type $(3,4)$ that is closed (in the sense of Schur) with an elementary Abelian commutator-factor group is always finite for $p\geqslant7$. The proof uses the classification of analytic pro-$p$-groups of rank $3$.
Bibliography: 7 titles.