An affine algebraic group over a field k is a representable covariant functor from the category of commutative algebras over k to the category of groups such that the representing algebra is finitely generated.
Un gruppo algebrico affine su un campo k è un funtore covariante rappresentabile dalla categoria di algebre commutative su k alla categoria di gruppi tale che l'algebra che rappresenta è finitamente generato.