Uno de los más importantes problemas abiertos en la teoría de Álgebras de Leibniz es encontrar una generalización apropiada del Tercer Teorema de Lie, el cual asocia un grupo de Lie a cualquier álgebra de Lie. Kinyon encontró una solución parcial usando el concepto de digrupos, sin embargo el problema, conocido como "Coquecigrue", sigue abierto en el caso general. En este proyecto se pretende estudiar este problema, estudiar el concepto de digrupo generalizado y hacer la construcción de diálgebras( en particular digrupos) a partir de bimódulos.