3
$\begingroup$

Let $F$ be a nonabelian free profinite group, $H \leq_c F$ finitely generated with $[F:H] = \infty$. Must there be some $\{1\} \neq N \lhd_c F$ such that $N \cap H = \{1\}$?

$\endgroup$
2
  • 2
    $\begingroup$ You first need to assume that $H$ has infinite index. $\endgroup$
    – YCor
    Commented Nov 2, 2014 at 21:27
  • $\begingroup$ @YCor I just forgot it, edited now. $\endgroup$
    – Pablo
    Commented Nov 3, 2014 at 5:33

0

You must log in to answer this question.

Browse other questions tagged .