Let be a free group (pro- group), and let and be two finitely generated subgroups (closed subgroups) of . The Strengthened Hanna Neumann conjecture says that
This conjecture was proved independently in the case of abstract groups by J. Friedman and I. Mineyev in 2011.
In this paper we give the proof of the conjecture in the pro- context, and we present a new proof in the abstract case. We also show that the Lück approximation conjecture holds for free groups.
"Approximation by subgroups of finite index and the Hanna Neumann conjecture." Duke Math. J. 166 (10) 1955 - 1987, 15 July 2017. https://doi.org/10.1215/00127094-0000015X