# Group scheme

﻿
Group scheme

In mathematics, a group scheme is a group object in the category of schemes. That is, it is a scheme "G" with the equivalent properties

* there is a group law expressible as a multiplication μ and inversion map ι on "G"; or
* "G" is a functor (as in the Yoneda lemma) mapping to the category of groups, rather than just sets.

There are numerous examples familiar in algebra, including the general linear group, and elliptic curves. Those are both examples of group varieties (the scheme involved is respectively an affine variety and a projective variety).

In the case of matrix multiplication, it is obvious that the multiplication formula is polynomial in the entries. To take care of matrix inversion also, one should note that as a variety the "n"&times;"n" "invertible" matrices should be considered as having

:"n"2 + 1

coordinates "Xij" and "Y" subject to the equation

:"det(Xij)Y − 1 = 0".

Then Cramer's rule shows that matrix inversion is polynomial in the "Xij" and "Y". That takes care of the first equivalent property; the second is essentially the well-known fact that matrices can have entries from any commutative ring, and still give a ring, from which we may take the group of units.

The theory of commutative group varieties occupies the place in theory that was investigated in nineteenth century mathematics, in the search for the most general addition theorems. Every algebraic torus and abelian variety is part of the theory, as are group extensions formed from both kinds of object (which have been called "quasi-abelian varieties"), used in the theory of differential forms (of the "second kind" and "third kind", in classical terminology), and the geometric forms of class field theory.

Group schemes are a source of examples of schemes that are not reduced, that is, have nilpotent 'functions' on them (other than 0). Examples can be found over finite fields: if "F" is a field of characteristic "p", as the kernels of endomorphisms.

For example, the additive group is just the functor sending a ring "R" to "R"+, the underlying additive group of "R". Over "F", it is represented by

:"Spec(F [X] )"

with μ the mapping coming from

:"F [X] &rarr; F [X,Y] ", "X &rarr; X + Y".

(See spectrum of a ring for the duality here.)

Now compute the kernel of the "p"-th power map, i.e.

:"x &rarr; xp"

as a fiber product in the category of schemes (dually, a tensor product of R-algebras.) It turns out to be

:"Spec(F [t] /tpF [t] )".

The class of "t" is nilpotent, in the underlying ring.

This phenomenon was noticed in the duality theory of abelian varieties, which in characteristic "p" was seen not to be something easily expressed in terms of variety theory alone. The finer aspects were first worked out by Pierre Cartier.

References

*cite book
last = Demazure
first = Michel
coauthors = Alexandre Grothendieck, eds.
title = Séminaire de Géométrie Algébrique du Bois Marie - 1962-64 - Schémas en groupes - (SGA 3) - vol. 1 (Lecture notes in mathematics 151)
year = 1970
publisher = Springer-Verlag
location = Berlin; New York
language = French
pages = xv+564

*cite book
last = Demazure
first = Michel
coauthors = Alexandre Grothendieck, eds.
title = Séminaire de Géométrie Algébrique du Bois Marie - 1962-64 - Schémas en groupes - (SGA 3) - vol. 2 (Lecture notes in mathematics 152)
year = 1970
publisher = Springer-Verlag
location = Berlin; New York
language = French
pages = ix+654

*cite book
last = Demazure
first = Michel
coauthors = Alexandre Grothendieck, eds.
title = Séminaire de Géométrie Algébrique du Bois Marie - 1962-64 - Schémas en groupes - (SGA 3) - vol. 3 (Lecture notes in mathematics 153)
year = 1970
publisher = Springer-Verlag
location = Berlin; New York
language = French
pages = vii+529

*Jean-Pierre Serre, "Groupes algébriques et corps des classes".

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Group representation — In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group… …   Wikipedia

• Group decision making — (also known as collaborative decision making) is a situation faced when individuals are brought together in a group to solve problems. According to the idea of synergy, decisions made collectively tend to be more effective than decisions made by… …   Wikipedia

• group personal pension scheme — group personal pension plan/group personal pension scheme (GPPP) An arrangement for the employees of a specific employer to participate in a personal pension scheme on a group basis. A GPPP is effectively a series of individual personal pensions… …   Law dictionary

• group personal pension plan — group personal pension plan/group personal pension scheme (GPPP) An arrangement for the employees of a specific employer to participate in a personal pension scheme on a group basis. A GPPP is effectively a series of individual personal pensions… …   Law dictionary

• scheme rescue — In the context of the Pension Protection Fund (PPF), a scheme rescue occurs if, on the insolvency of a company that sponsors an occupational pension scheme, financial support for the scheme continues. This will usually occur either because the… …   Law dictionary

• group — [gruːp] noun [countable] 1. also group of companies ORGANIZATIONS a large business organization that consists of several companies that all have the same owner: • Burmah Castrol, the lubricants group • the sale of the Rover Group to BMW …   Financial and business terms

• group incentive — UK US noun [C] HR ► money or a reward given to a group of employees who achieve something together: »One of the most overlooked benefits of group incentives is the good feeling that naturally develops between teammates . »The entire division… …   Financial and business terms

• Group code recording — In computer science, group code recording (GCR) refers to several distinct but related encoding methods for magnetic media. The first, used in 6250 cpi magnetic tape, is an error correcting code combined with a run length limited encoding scheme …   Wikipedia

• Group signature — A Group signature scheme is a method for allowing a member of a group to anonymously sign a message on behalf of the group. The concept was first introduced by David Chaum and Eugene van Heyst in 1991. For example, a group signature scheme could… …   Wikipedia

• Group (periodic table) — The periodic table of the chemical elements. The columns represent the groups In chemistry, a group (also known as a family) is a vertical column in the periodic table of the chemical elements. There are 18 groups in the standard periodic table,… …   Wikipedia