Homology of the pronilpotent completion and cotorsion groups

Abstract

For a non-cyclic free group $F$, the second homology of its pronilpotent completion $H_2(\hat{F})$ is not a cotorsion group.