Skip to main content
3 of 3
Describe the maximal torus o the result

Consider a supplement $T'$ to $T$, so that $T \times T'$ is a maximal torus of $G$. The centraliser $H_0$ of $T'$ in $G$ is then a reductive group, defined over $Q$ if $T'$ is, whose maximal subgroup is $T \times T'$. Taking $H$ the derived group of $H_0$ will kill the center of $H_0$. $T' \times T$ meets $H$ against a maximal torus of $H$, which is the intersection of the roots of $G$ whose kernel contains $T$.

Using this process, you do not really get $T$ as maximal torus, but rather a kind of “arithmetic closure” of it. Is this close enough?