Esta construcción servirá de modelo más adelante en la construcción de los llamados grupos cocientes.