Vamos a probar ahora que este conjunto cociente puede ser dotado de una estructura de grupo.