The pro-algebraic completion $G^{\mathrm{alg}}$ of a discrete group $G$ is the initial pro-algebraic group with a morphism $G\to G^{\mathrm{alg}}$. This construction is functorial.
Does anyone have any good references for the basic properties of the pro-algebraic completion functor?