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.
Articles by others on the same topic
A group scheme over a base scheme is an -scheme with multiplication , an identity section , and inversion satisfying the group axioms as equalities of morphisms.