Let $F$ be a nonabelian free finitely generated group, and $F = G_0 \rhd G_1 \rhd G_2 \dots$ a strictly descending subnormal chain of subgroups ($G_n \lhd G_{n-1}$ for each $n \in \mathbb{N}$) each closed in $F$ (with respect to the profinite topology). Set $$H = \bigcap_{n \in \mathbb{N}} G_n$$

Is it possible for $H$ to be nontrivial and finitely generated?

Since it seems possible, I further assume that $[F : G_n] < \infty$ for $n \in \mathbb{N}$ making the assumption on being closed in the profinite topology superfluous.

  • 2
    $\begingroup$ You can obtain $H=\{1\}$. Are you looking for $H$ infinite? $\endgroup$ – YCor Sep 15 '14 at 17:01
  • 2
    $\begingroup$ Any subgroup closed in the pro-$p$ topology, for some prime $p$, will be an intersection open pro-$p$ subgroups, each of which is a subnormal subgroup of $p$-power index. For example any free factor (or a retract) is closed in pro-$p$ topology. $\endgroup$ – Ashot Minasyan Sep 15 '14 at 19:54
  • 2
    $\begingroup$ Of course the profinite topology is finer than the pro-$p$ topology, so any closed set in the latter is also closed in the former. Not every f.g. subgroup is an intersection of subnormal subgroups in a free group, though. For example any cyclic subgroup of $S_3$, of order $2$, is not subnormal. Taking its preimage in the free group of rank $2$ one gets a subgroup of index $3$ which is maximal but not (sub)normal. $\endgroup$ – Ashot Minasyan Sep 15 '14 at 20:03
  • 1
    $\begingroup$ @Pablo, Ashot has already provided counterexamples to your conjecture. $\endgroup$ – HJRW Sep 16 '14 at 9:08
  • 1
    $\begingroup$ Right, missed that. @Ashot: I would gladly accept your comment as an answer. $\endgroup$ – Pablo Sep 16 '14 at 9:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.