Esto se debe en parte al hecho de que en cualquier grupo compacto de Lie, se puede encontrar un toro máximo; es decir, un subgrupo cerrado, el cual es un determinado toro de la mayor dimensión posible.