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