Skip to main content
1 of 2
Post Made Community Wiki
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240

First, the Borel-Tits paper you refer to is Homomorphismes "abstraits" de groupes algebriques simples, in Ann. of Math. 97 (1973), 499-571.

Their main concern is a connected reductive algebraic group $G$ defined over an arbitrary field $k$, but they pay special attention to the case of local fields later in the paper. In Section 6 they define the subgroup $H^+$ for any connected $k$-group $H$ to be the (normal) subgroup of $H(k)$ generated by the rational points of all $k$-split unipotent $k$-subgroups of $H$. (Here $k$-split is usually automatic, for instance when working over a perfect field.) The definition is sometimes given in a slightly different form in other papers but amounts to the same thing.

Assuming $H$ is actually generated by its connected unipotent subgroups, which often happens in the cases of interest such as semisimple groups, a finite number of such subgroups will be enough to generate the group (an elementary consequence of finite dimensionality). So the answer to your basic question is yes.

The group $G^+$ plays a natural role for Borel-Tits in the study of "abstract" homomorphisms of almost-simple algebraic groups, but it comes up more generally in older work of Tits where he conjectured that for simply connected groups it might coincide with the full group of rational points. This had already been suggested in special cases by Kneser and became known as the Kneser-Tits Conjecture. But Platonov found a counterexample, which led later to the label Kneser-Tits Problem in work of Prasad-Raghunathan and others (related to the "Whitehead group", etc.). So there is a further paper trail of interest here, much of it in English. However, the long paper by Borel-Tits is definitely in French.

Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 240