定义.在代数几何中，一个概形formula_1上的群概形formula_2是范畴formula_3中的群对象。借由米田信夫引理，我们可以给出两种刻划：并满足结合律等等群的性质。换言之：对于任意的formula_1-概形formula_11，formula_12构成一个群；而且对任意formula_1-态射formula_14，诱导映射formula_15都是群同态。