Definition 39.9.1. Let $k$ be a field. An abelian variety is a group scheme over $k$ which is also a proper, geometrically integral variety over $k$.

Comment #78 by Keenan Kidwell on

The section title should be Picard groups of curves, right?

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).