1 problem

Let … be the homomorphism induced by the inclusion of the abelianization. Cokernel generation conjecture. The cokernel of $f$ is infinitely generated. Theorem 3.1 shows that $f$ is…