Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Multiplicative group

From Wikipedia, the free encyclopedia
Mathematical structure with multiplication as its operation
Algebraic structureGroup theory
Group theory

Inmathematics andgroup theory, the termmultiplicative group refers to one of the following concepts:

Examples

[edit]

Group scheme of roots of unity

[edit]

Thegroup scheme ofnthroots 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 takesnth powers, and take an appropriatefiber product of schemes, with the morphisme that serves as the identity.

The resulting group scheme is writtenμn (orμμn{\displaystyle \mu \!\!\mu _{n}}[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). TheGalois cohomology of this group scheme is a way of expressingKummer theory.

See also

[edit]

Notes

[edit]
  1. ^Hazewinkel et al. 2004, p. 2
  2. ^Milne 1980, pp. xiii, 66

References

[edit]
  • Hazewinkel, Michiel; Gubareni, Nadiya; Gubareni, Nadezhda Mikhaĭlovna; Kirichenko, Vladimir V. (2004),Algebras, rings and modules, vol. 1, Springer,ISBN 1-4020-2690-0
  • Milne, James S. (1980).Étale cohomology. Princeton University Press.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Multiplicative_group&oldid=1306018015"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp