Abelian variety/Definition

A complete non-singular projective variety which is also an algebraic group, necessarily abelian; a complex torus.