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:
“With a group of bankers I always had the feeling that success was measured by the extent one gave nothing away.”
—Francis Aungier, Pakenham, 7th Earl Longford (b. 1905)
“In the scheme of our national government, the presidency is preeminently the people’s office.”
—Grover Cleveland (1837–1908)
“Look at this poet William Carlos Williams: he is primitive and native, and his roots are in raw forest and violent places; he is word-sick and place-crazy. He admires strength, but for what? Violence! This is the cult of the frontier mind.”
—Edward Dahlberg (1900–1977)
“Certainly for us of the modern world, with its conflicting claims, its entangled interests, distracted by so many sorrows, so many preoccupations, so bewildering an experience, the problem of unity with ourselves in blitheness and repose, is far harder than it was for the Greek within the simple terms of antique life. Yet, not less than ever, the intellect demands completeness, centrality.”
—Walter Pater (1839–1894)