It suffices toWe will show that $u$ lies in the unipotent radical of a "canonical" parabolic subgroup $P$ that is "canonical" in terms of $u$ (i.e., one stable under all automorphisms of $G$ that preserve $u$, or even just preserve the cyclic subgroup generated by $u$). Indeed, onceOnce this is proved, such a $P$ is stable under $U$-conjugation on $G$ (as that leaves the central $u$ in $U(k)$ invariant), so by the self-normalizing property of parabolic subgroups it would follow that $U \subset P$. But $P \ne G$ (since $R_u(P)$ contains $u \ne 1$ whereas we arranged that $G$ is reductive), so we can use dimension induction to conclude.
We are left with a serious problem concerning a single unipotent element $u \in G(k)$ (with $G$ a connected linear algebraic groupis reductive): find, so we can use dimension induction to conclude that $U$ lies in a "canonical" parabolicconnected unipotent subgroup of $P$ of $G$ that contains, but without canonicity in $u$$(G,U)$. (This may not seem like progressHowever, as we have reducedgain the initial claim to a problem involving a cyclic group, but we will soon seeproperty that this$U$ is "embeddable" (in the terminology of Borel--Tits), meaning that it does occur inside some connected unipotent subgroup (equivalently, in fact genuine progress.the unipotent radical of a Borel subgroup) The weaker claim.
Observe that $u$ lies in the unipotent radical of somesome parabolic subgroup, or equivalently in the unipotent radical of somesome Borel subgroup,: this is immediate from Grothendieck's important theorem that $G(k)$ is covered by the subgroups $B(k)$ for Borel subgroups $B$ of $G$ (a result that is proved near the end of section 14 of Borel's textbook but possibly not stated as an official result there; it can be extracted nonetheless). We are going to actually use Grothendieck's theorem to get things started.
By Grothendieck's theorem, $u$ lies in $R_u(B)$Thus, sothe Zariski closure of the cyclic subgroup generated by $u$ is "embeddable" (in the terminology of Borel--Tits). Moreover, meaningwe saw above via the dimension induction that it does occur inside some connected unipotentonce this cyclic subgroup (equivalently, inis realized inside the unipotent radical of a Borel subgroup). The problem is to show that there is a canonical"canonically associated" parabolic subgroup whose unipotent radical contains that cyclic group (or equivalently, contains its unipotent Zariski closure). Rather than focus on cyclic groups, consider more generally a closed (perhaps disconnected) unipotent subgroup $U$ of $G$ that is "embeddable"; i.e., then $U$ itself is contained in a connected unipotent subgroup"embeddable". It suffices to prove Hence, by two applications of the following refinementresult (which is to be regarded as a finer version of the previousGrothendieck's theorem, but whose applicability in our inductive strategy ultimately rests on Grothendieck's theorem) we would be done: