Lang's theorem

In algebraic geometry, Lang's theorem states: if G is a connected smooth algebraic group over a finite field $\mathbf {F} _{q}$, then $H^{1}(\mathbf {F} _{q},G)=H_{\text{ét}}^{1}(\operatorname {Spec} \mathbf {F} _{q},G)$ vanishes. Consequently, a G-bundle on $\operatorname {Spec} \mathbf {F} _{q}$ is isomorphic to the trivial one.

It is not necessary that G is affine. Thus, the theorem also applies to abelian varieties.

References

• T.A. Springer, "Linear algebraic groups", 2nd ed. 1998