Let $F$ be a free profinite group, and let $A,B \leq F$ be finitely generated closed subgroups. Must $A \cap B$ be finitely generated?



Do free profinite groups satisfy Howson's theorem?
The following example shows that the answer is **no**.


Let $p$ and $q$ be two different primes. First I want to construct two generated profinite group $G=A\ltimes H$ isomorphic to semi direct product of a infinitely generated free pro-$p$ group $H$ and a cyclic free pro-$q$ group $A=\langle a \rangle$. 


It can be done, for example, in the following way. Start with a two generated free profinite group $F$ and a normal subgroup $N$ such that $F/N\cong A$. Let $H=N/N\_p$ be the maximal pro-p quotient of $N$. Clearly $H$ is infinitely generated. Then $G=F/N\_p\cong A\ltimes H$ satisfies the requiered conditions.


Now, let $T=<g\_1,g\_2>$ be a two generated free pro-$q$ group. Define its action on $H$ in such way that $g\_1$ and $g\_2$ act as it does $a$. Form a semidirect product $T\ltimes H$ and put $G\_i= <g\_i,H>$ ($i=1,2$). It is clear that $G\_i\cong G$ are two generated.


$T\ltimes H$ is a 3-generated profinite group. Since its Sylow subgroups are free, $T\ltimes H$ has cohomological dimension 1, and so it is a subgroup of a free profinite group. However $G\_1\cap G\_2=H$ is not finitely generated.


