Affine algebraic group (source code)

= Affine algebraic group
{wiki=Linear_algebraic_group}

An affine algebraic group is an <affine variety> $G$ whose multiplication and inversion are <regular maps>. Equivalently, its <coordinate ring> $k[G]$ is a commutative <Hopf algebra>, with comultiplication induced by multiplication in $G$.