Abelianization as a Bousfield localization

Example 21.8.3 (Abelianization). The inclusion \(\Ab \hookrightarrow \Grp \) of abelian groups into all groups admits a left adjoint \[ (-)^{\mathrm {ab}}\colon \Grp \to \Ab , \] given by the abelianization functor.