Group Scheme of Roots of Unity
The group scheme of -th roots of unity is by definition the kernel of the -power map on the multiplicative group, considered as a group scheme. That is, for any integer we can consider the morphism on the multiplicative group that takes -th powers, and take an appropriate fiber product in the sense of scheme theory of it, with the morphism that serves as the identity.
The resulting group scheme is written . It gives rise to a reduced scheme, when we take it over a field, if and only if the characteristic of does not divide . This makes it a source of some key examples of non-reduced schemes (schemes with nilpotent elements in their structure sheaves); for example over a finite field with elements for any prime number .
This phenomenon is not easily expressed in the classical language of algebraic geometry. It turns out to be of major importance, for example, in expressing the duality theory of abelian varieties in characteristic (theory of Pierre Cartier). The Galois cohomology of this group scheme is a way of expressing Kummer theory.
Read more about this topic: Multiplicative Group
Famous quotes containing the words group, scheme, roots and/or unity:
“Unless a group of workers know their work is under surveillance, that they are being rated as fairly as human beings, with the fallibility that goes with human judgment, can rate them, and that at least an attempt is made to measure their worth to an organization in relative terms, they are likely to sink back on length of service as the sole reason for retention and promotion.”
—Mary Barnett Gilson (1877?)
“In the scheme of our national government, the presidency is preeminently the peoples office.”
—Grover Cleveland (18371908)
“Einstein is not ... merely an artist in his moments of leisure and play, as a great statesman may play golf or a great soldier grow orchids. He retains the same attitude in the whole of his work. He traces science to its roots in emotion, which is exactly where art is also rooted.”
—Havelock Ellis (18591939)
“Civilization is a process in the service of Eros, whose purpose is to combine single human individuals, and after that families, then races, peoples and nations, into one great unity, the unity of mankind. Why this has to happen, we do not know; the work of Eros is precisely this.”
—Sigmund Freud (18561939)