En este artículo, construimos una estructura de cociente en los digrupos. Esta construcción produce un nuevo funtor de la categoría de digrupos a la categoría de grupos. Obtenemos una propiedad modular para los digrupos y la utilizamos para demostrar un análogo del lema de Zassenhaus en este marco.