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.
体ｋ上のアフィン代数群とは、ｋ上の可換多元環の圏から群の圏への表現可能な共変関手で、有限生成な多元環によって表現される。