Take $G={\mathbb Z}^2={\mathbb Z}\times {\mathbb{Z}}$, $K$ be the second summand, $N$ is the first summand. Then $G$ is finitely generated, $\mathcal F$ is trivial and not profinitely dense.
markvs
- 1.8k
- 1
- 11
- 25