在代数几何中，一个概形S上的群概形G是范畴SchS中的群对象，具体定义请参见正文。