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.
This is the question I want to re-ask: mathoverflow.net/questions/250809/… The special case I'm interested in is when F is a free group of finite rank, and K is a finite index subgroup. I'm also more interested in necessary conditions rather than sufficient.Do you think this justifies opening a new question?
