Relatively projective pro-$p$ groups

Abstract

It is known that the Kurosh Subgroup Theorem does not hold for pro-$p$ groups of big cardinality. However, a subgroup $G$ of a free pro-$p$ product is projective relative to the Kurosh family of subgroups. In this paper we prove the converse of this fact.