Algebraic structure →Group theory Group theory |
---|
![]() |
Infinite dimensional Lie group
|
Inmathematics andgroup theory, the termmultiplicative group refers to one of the following concepts:
Thegroup scheme ofn-throots of unity is by definition the kernel of then-power map on the multiplicative group GL(1), considered as agroup scheme. That is, for any integern > 1 we can consider the morphism on the multiplicative group that takesn-th powers, and take an appropriatefiber product of schemes, with the morphisme that serves as the identity.
The resulting group scheme is written μn (or[2]). It gives rise to areduced scheme, when we take it over a fieldK,if and only if thecharacteristic ofK does not dividen. This makes it a source of some key examples of non-reduced schemes (schemes withnilpotent elements in theirstructure sheaves); for example μp over afinite field withp elements for anyprime numberp.
This phenomenon is not easily expressed in the classical language of algebraic geometry. For example, it turns out to be of major importance in expressing theduality theory of abelian varieties in characteristicp (theory ofPierre Cartier). The Galois cohomology of this group scheme is a way of expressingKummer theory.