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.
Afina algebra grupo super korpo k estas reprezentebla kovarianta funktoro de la kategorio de komutaj algebroj super k al la kategorio de grupoj tia, ke la reprezentanta algebro estas fine generita.