Group scheme

Abstract definition
A group scheme over $$S$$ is a group object in a category of schemes with fiber products and final object $$S$$.

Concrete definition
A group scheme over $$S$$ is a $$S$$-scheme $$G$$ (in a category of schemes that admits fiber products over $$S$$) equipped with the following operations:

satisfying the following compatibility conditions: