Group variety (source code)

= Group variety
{wiki=Algebraic_group}

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