In mathematics, a group scheme is a type of algebro-geometric object equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The category of group schemes is somewhat better behaved than that of group varieties, since all homomorphisms have kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The initial development of the theory of group schemes was due to Alexandre Grothendieck, Michel Raynaud, and Michel Demazure in the early 1960s.
Read more about Group Scheme: Definition, Constructions, Examples, Basic Properties, Finite Flat Group Schemes, Cartier Duality, Dieudonné Modules
Famous quotes containing the words group and/or scheme:
“My routines come out of total unhappiness. My audiences are my group therapy.”
—Joan Rivers (b. 1935)
“We are all bound to the throne of the Supreme Being by a flexible chain which restrains without enslaving us. The most wonderful aspect of the universal scheme of things is the action of free beings under divine guidance.”
—Joseph De Maistre (17531821)