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:
“The trouble with tea is that originally it was quite a good drink. So a group of the most eminent British scientists put their heads together, and made complicated biological experiments to find a way of spoiling it. To the eternal glory of British science their labour bore fruit.”
—George Mikes (b. 1912)
“In the scheme of our national government, the presidency is preeminently the people’s office.”
—Grover Cleveland (1837–1908)
“Sprung from the West,
He drank the valorous youth of a new world.
The strength of virgin forests braced his mind,
The hush of spacious prairies stilled his soul.
His words were oaks in acorns; and his thoughts
Were roots that firmly gript the granite truth.”
—Edwin Markham (1852–1940)
“However incoherent a human existence may be, human unity is not bothered by it.”
—Charles Baudelaire (1821–1867)