Skip to main content
1 of 2
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

The question needs a little more context, which I'll try to fill in. The comments by user76758 seem to answer the question correctly in the negative, but if I have time later I'll try to add a concrete counterexample based on the Tits classification (summarized by him in lecture ntoes for the 1965 AMS summer institute at Boulder and published in Proc. Symp. Pure Math. 9). In that classification, relevant examples require one to start with a semisimple group $G$ of rank at least 3, but one also has to work over a suitable number field or such. Over a finite field $k$ all $G$ are quasisplit, and here one has $T = Z_G(S)$ in Borel-Tits notation, with $T$ a maximal $k$-torus containing a maximal $k$-split torus $S$.

As Tits indicates for a general connected reductive group $G$ over $k$, one has to distinguish between the semisimple anisotropic kernel $H:=(Z_G(S), Z_G(S))$ (derived group) and the reductive anisotropic kernel $Z_a \cdot H$ (almost-direct product), where $Z_a \subset T$ is the $k$-anisotropic part of the center $Z$ of $H$. As in the quasisplit case it's sometimes possible for $Z_a$ to be nontrivial in other cases, hence for $S$ to be properly contained in $Z$.

This is all part of the 1965 Borel-Tits structure theory (translated later into scheme language) for reductive groups over arbitrary fields. Here $Z_G(S)$ is a Levi subgroup of a minimal $k$-parabolic subgroup, etc. And of course the classification depends heavily on the nature of $k$, being usually incomplete when $G$ is $k$-anisotropic.

Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240