Es el grupo de isometría más grande posible que deja invariante el producto minkowskiano de dos vectores.