Abelian variety

Two equivalent definitions of abelian variety over a general field k are commonly in use:

When the base is the field of complex numbers, these notions coincide with the previous definition. Over all bases, elliptic curves are abelian varieties of dimension 1.

By the definitions, an abelian variety is a group variety. Its group of points can be proven to be commutative.