donde el conjunto de relaciones es vacío, de hecho este grupo coincide con un grupo libre de un solo generador.