Deje KK ser un algebraicamente cerrado de campo. Deje SL(n,K),GL(n,K)SL(n,K),GL(n,K) denotar el especial de grupo lineal general y de grupo, respectivamente, y D(n,K)D(n,K) es la diagonal del subgrupo de GL(n,K)GL(n,K).
A continuación, SL(n,K)∩D(n,K)SL(n,K)∩D(n,K) debe ser un toro, es decir, conectado a un diagonalizable subgrupo, de SL(n,K)SL(n,K). Pero, debe ser máxima?
Cuando charK=0K=0, este parece ser el caso. Al K=Z/(2) y n=2, SL(2,K)∩D(2,K)={e}, aquí, e denota el elemento de identidad de los dos grupos. Y e es la única diagonalizable la matriz en SL(2,K), por lo que este es verificada.
Pero, ¿cómo demostrar que esto es cierto en general? Y si no es cierto, ¿cuál es su contraejemplo?
Muchas gracias~