nLab
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 kk-group functor is a k-functor? which is a group functor.

A group functor which is a scheme is called kk-group scheme or just kk-group. The category of kk-groups is denoted by Gr kGr_k.

Terminology

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

References

  • 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)