Virtually free factors of pro-p groups

Abstract

Letp be a prime number,G a pro-p group, andH a closed (topologically) finitely generated subgroup ofG. We give conditions under whichH is virtually a free factor ofG, i.e., that there exists an open subgroupU ofG such thatU is the free pro-p product ofH and some other subgroup ofU. We prove that this happens if eitherG is a free pro-p group of any rank, or ifG is a free pro-p product of finitely generated pro-p groups.