Ciertos espacios-tiempo admiten grupos isometría no triviales.