Resoluciones cruzadas libres de grupos y presentaciones de módulos de identidades entre relaciones