Characterization of \(p\)-adic analytic groups in terms of wreath products (Q1183291)

If \(p\) is an odd prime, then a pro-\(p\)-group \(H\) is called ``powerful'' if the closure \(H^p\) of the subgroup generated by \(p\)-th powers contains the derived group \(H'\) (for \(p=2\) we require \(H'\leq H^4\).) A similar definition holds for finite \(p\)-groups. It was proved by \textit{M. Lazard} [Publ. Math., Inst. Hautes Etud. Sci. 26, 389--603 (1965; Zbl 0139.02302)] that a finitely generated pro-\(p\)-group \(G\) is \(p\)-adic analytic if and only if it has a powerful open subgroup (necessarily of finite index). In the present paper the author gives a new criterion for a pro-\(p\)-group to be analytic. Theorem: A finitely generated pro-\(p\)-group \(G\) is \(p\)-adic analytic if and only if, for some \(n\geq 1\), \(G\) has no closed subgroups \(K\triangleleft H\) such that \(H/K\cong C_p \wr C_{p^n}\) (\(C_ m\) denotes the cyclic group of order \(m\)). To prove this the author first shows that, if \(G\) is a finite \(p\)-group which does not have a section isomorphic to \(C_p \wr C_{p^n}\), then \(G^{p^n}\) is powerful if \(p\) is odd, and \(G^{p^{n+1}}\) is powerful if \(p=2\). He then applies the deep theorem of \textit{E. I. Zelmanov} [The solution of the restricted Burnside problem for groups of prime power exponent (Yale Univ. Notes, 1990)] which gives a positive solution of the restricted Burnside problem. The author points out that, conversely, Zelmanov's theorem is a simple logical consequence of the main theorem of this paper.