Primero se construye un grupo "B" como cociente del producto libre