Suppose that $G$ is a reductive group defined over a field $k$ which is not quasisplit. Suppose that $S$ is a maximal $k$-split torus. Let $\mathcal{L}(S)$ be the centraliser of $S$ and $\mathcal{DL}(S)$ the commutator group of $\mathcal{L}(S)$ or the anisotropic kernel. Is it correct that $\mathcal{L}(S)=\mathcal{DL}(S)\cdot S$?



centralisers of maximal split tori
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.


ADDED: From a quick look at the Tits classification list for simple types, it seems that counterexamples to the question asked occur (as user76758 suggested) in various cases involving outer automorphisms of the Dynkin diagrams. There are some in types $^2\!A\_n$ and $^2\!D\_n$ which appear over the real numbers as well as number fields, along with a couple in type $^2\!E\_6$. In the latter case, Tits remarks that one of them occurs for a real form "which gives rise to a bounded symmetric domain". In his notation, $r$ is the relative rank ($=\dim S$), while $n$ is the absolute rank. Here $r$ is the number of Galois orbits in the Dynkin diagram, so you want $r$ to be strictly less than the number of simple roots in those orbits. 


Concerning the Tits survey article, details (and corrections to the proof of the main theorem) were written down in a 1976 Bonn thesis by his student Martin Selbach (published in the series *Bonner Math. Schriften*). 


