2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/79549We prove the following version of Milnor's theorem on solvable groups of exponential growth: A finitely generated solvable group which is not polycyclic contains an ascending HNN extension. Consequently, a finitely generated solvable group is ERF iff it is polycyclic.to appear in Groups Korea-98, De GruyterGroup TheorySolvable Groups of Exponential Growth and HNN Extensionstext