Alternativamente uno puede observar que el funtor que para cada grupo toma el monoide subyacente (que ignora el inverso) tiene un adjunto izquierdo.