p-Extensions of free pro-p groups

From MaRDI portal
P-Extensions of free pro-p groups





It is proved that any pro-\(p\) group \(G\) that contains a free pro-\(p\) subgroup \(F\) of prime index \(p\) can be expressed as a free pro-\(p\) product \(G\simeq(\prod_{x\in X}(C_p\times H_x))\coprod H\) over some Boolean space \(X\), where the groups \(H_x\) and \(H\) are free pro-\(p\) subgroups of \(F\), and \(C_p\) denotes a cyclic group of order \(p\). In other words, it is proved that a virtually free pro-\(p\) group \(G\) having a free pro-\(p\) subgroup of index \(p\) satisfies a pro-\(p\) version of the known Dyer-Scott theorem. Serre's famous theorem stating that any virtually free torsion free pro-\(p\) group is free pro-\(p\) is generalised. Another consequence of this result is that for any automorphism of order \(p^n\) of a free pro-\(p\) group \(F\) its fixed point group is a free factor in \(F\).











This page was built for publication: p-Extensions of free pro-p groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4229353)