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:
“Just as a person who is always asserting that he is too good-natured is the very one from whom to expect, on some occasion, the coldest and most unconcerned cruelty, so when any group sees itself as the bearer of civilization this very belief will betray it into behaving barbarously at the first opportunity.”
—Simone Weil (1910–1943)
“We doubt not the destiny of our country—that she is to accomplish great things for human nature, and be the mother of a nobler race than the world has yet known. But she has been so false to the scheme made out at her nativity, that it is now hard to say which way that destiny points.”
—Margaret Fuller (1810–1850)
“The greatest gifts you can give your children are the roots of responsibility and the wings of independence.”
—Denis Waitly. Quoted in The Winning Family, ch. 25, by Louise Hart (1987)
“The Puritans, to keep the remembrance of their unity one with another, and of their peaceful compact with the Indians, named their forest settlement CONCORD.”
—Ralph Waldo Emerson (1803–1882)