Free-by-Demushkin pro-\(p\) groups. (Q1771998): Difference between revisions

Studying a problem about pro-\(p\)-groups which can be realized as Galois groups, \textit{T. Würfel} [Proc. Am. Math. Soc. 95, 353-356 (1985; Zbl 0599.12030)] asked the following question: suppose that a finitely generated pro-\(p\) group \(G\) contains a normal closed free pro-\(p\) subgroup \(N\) such that \(G/N\) is a Demushkin group and the inflation map \(H^2(S/N,\mathbb{Z}/(p^n))\to H^2(S,\mathbb{Z}/(p^n))\) is an isomorphism for every closed subgroup \(S\) of \(G\) containing \(N\) and all integers \(n\); does this imply that \(G\) is a free \(p\)-product of a Demushkin and a free pro-\(p\) group? The authors prove that the answer is negative; more precisely they provide as an example the pro-\(p\) group \(G\) with three generators \(x,y,z\) and one defining relation \(z^{p^s}=[x,y]\) (where \(s\geq 1\) if \(p\neq 2\) and \(s\geq 2\) if \(p=2\)).