Group scheme

In algebraic geometry and number theory, a **group scheme** is a scheme that has the structure of a group, in the sense that it supports the operations of multiplication and inversion in a way that is compatible with the geometric structure.