Deje que %-%-% sea el grupo Baer-Specker y %-%-% sea el subgrupo libre natural de abelian. Se sabe que si %-%-% es un grupo alín contable sin elementos infinitamente divisibles (por ejemplo, %-%-%), entonces cada homomorfismo %-%%% es trivial.
He oído de boca en boca un resultado sobre grupos fundamentales que implicaría la existencia de homomorfismos no triviales %-%-% para cualquier %-%%. ¿Qué es una construcción explícita de tal homomorfismo para el %-%-%?
