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:
“We begin with friendships, and all our youth is a reconnoitering and recruiting of the holy fraternity they shall combine for the salvation of men. But so the remoter stars seem a nebula of united light, yet there is no group which a telescope will not resolve; and the dearest friends are separated by impassable gulfs.”
—Ralph Waldo Emerson (1803–1882)
“I have no scheme about it,—no designs on men at all; and, if I had, my mode would be to tempt them with the fruit, and not with the manure. To what end do I lead a simple life at all, pray? That I may teach others to simplify their lives?—and so all our lives be simplified merely, like an algebraic formula? Or not, rather, that I may make use of the ground I have cleared, to live more worthily and profitably?”
—Henry David Thoreau (1817–1862)
“To the young mind, every thing is individual, stands by itself. By and by, it finds how to join two things, and see in them one nature; then three, then three thousand; and so, tyrannized over by its own unifying instinct, it goes on tying things together, diminishing anomalies, discovering roots running underground, whereby contrary and remote things cohere, and flower out from one stem.”
—Ralph Waldo Emerson (1803–1882)
“However incoherent a human existence may be, human unity is not bothered by it.”
—Charles Baudelaire (1821–1867)