Algebraic group (source code)

= Algebraic group
{wiki}

= Group variety
{synonym}

A group variety is an <algebraic variety> whose multiplication and inversion are morphisms.