Abelian variety (source code)

= Abelian variety
{wiki}

An abelian variety is a complete connected group variety. Despite its name, commutativity follows from completeness and the rigidity lemma.