It is known that in any free group the isolator of finitely generated subgroup is finitely generated subgroup. A very simple proof of this statement is proposed.
Supersolvable closures of finitely generated subgroups of the free group
A simple proof of a theorem of Karrass and Solitar
Linear programming and the intersection of subgroups in free groups
![QR code for arXiv:2009.09735 [math.GR]](http://oss.arxitics.com/images/favicon.svg)