Demazure, lectures on p-divisible groups, II.1, group -functors

This entry is about a section of the text

A *group functor* is a group object in a functor category.

A *$k$-group functor* is a k-functor? which is a group functor.

A group functor which is a scheme is called *$k$-group scheme* or just *$k$-group*. The category of $k$-groups is denoted by $Gr_k$.

The terminology of group-functors is mainly used in the theory of algebraic groups in algebraic geometry. If $G$ is a group functor the multiplication morphism $\pi:G\times G\to G$ is called *group law on* $G$.

- Michel Demazure, lectures on p-divisible groups web, chapter II

Revised on May 27, 2012 13:24:17
by Stephan Alexander Spahn
(79.227.168.80)