Free pro-\(p\) groups with operators (Q1191476): Difference between revisions

A semidirect product of a finite \(p\)-group \(P\) by a finite group \(H\) such that the induced representation of \(H\) on the Frattini factorgroup of \(P\) is projective can be extended to the corresponding product of a free pro- \(p\)-group by \(H\) (theorem A). Finitely generated free pro-\(p\)-groups on which \(H\) acts such that the Frattini factorgroups are projective \(\mathbb{F}_ pH\)-modules are projective objects in the category of finitely generated pro-\(p\)-groups with operator group \(H\) (theorem B).