On the cokernel of the Baumslag rationalization

Abstract

We prove that for the free group of rank two $F$ the cokernel of the homomorphism to its Baumslag rationalization $F\to \mathsf{Bau}(F)$ is not abelian. Moreover, this cokernel contains a free subgroup of countable rank. This answers a question of Emmanuel Farjoun.