Do free profinite groups satisfy Howson's theorem? 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?
 A: 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.
