Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thanks YCor, I see my error: it is not clear that the homomorphism $\rho |_N \colon N \to \prod_{F \in \mathscr{F} \setminus \mathscr{F}_S} F$ is trivial.
