Skip to main content
2 of 4
added link to the original article.
Joe Silverman
  • 47.4k
  • 2
  • 149
  • 241

This is a theorem of Lang's from 1956. Here's an online document giving a proof (in the form $H^1(A,k)=0$):

Lecture 14: Galois Cohomology of Abelian Varieties over Finite Fields, William Stein. http://wstein.org/edu/2010/582e/lectures/582e-2010-02-12/582e-2010-02-12.pdf

Stein notes that there is a "more modern proof" in the first few sections of Chapter VI of Serre's Algebraic Groups and Class Fields.

The original article is Serge Lang, "Abelian varieties over finite fields," Proceedings of the National Academy of Sciences 41.3 (1955): 174-176. It is available at http://www.pnas.org/content/41/3/174.short. It's very short, but phrased in the "old-style" Weil language of algebraic geometry.

Joe Silverman
  • 47.4k
  • 2
  • 149
  • 241