Sea G/KG/K sea un espacio simétrico de tipo no compacto, es decir GG es un grupo Lie semisimple conexo, y KK es su subgrupo compacto máximo. Helgason en su libro "Differential geometry and symmetric spaces" define el grupo de Weyl W(G,K)W(G,K) como sigue.
Sea g=Lie(G),k=Lie(K)g=Lie(G),k=Lie(K) . Sea g=k⊕pg=k⊕p sea la descomposición de Cartan. Sea aa sea un subespacio abeliano máximo de pp . Sea MM y M′ sean respectivamente el centralizador y el normalizador de a sur K . Claramente M es un subgrupo normal de M′ . Entonces W(G,K):=M′/M se denomina grupo de Weyl de G/K y se sabe que es finito.
Pregunta. ¿Existe una relación directa entre W(G,K) y el grupo de Weyl W de G (o quizás sea mejor decir de la forma compacta de G )? Por ejemplo, ¿se puede decir que W(G,K)⊂W de alguna forma natural?
Una referencia sería muy útil.