The analogous result for a global field k of positive characteristic was proved earlier by Harder (1975): for every simply connected semisimple group G over k, H1(k,G) is trivial (since k has no real places).
Аналогичный результат глобального поля k положительной характеристики доказал ранее Хардер (1975) — для любой односвязной полупростой группы G над полем k, H 1 ( k , G ) {\displaystyle H^{1}(k,G)} тривиально (поскольку k не имеет вещественных мест) .