Groupe multiplicatif - Multiplicative group

En mathématiques et en théorie des groupes , le terme groupe multiplicatif fait référence à l'un des concepts suivants:

Exemples

  • Le groupe multiplicatif d'entiers modulo n est le groupe sous multiplication des éléments inversibles de . Lorsque n n'est pas premier, il existe des éléments autres que zéro qui ne sont pas inversibles.
  • Le groupe multiplicatif de nombres réels positifs est un groupe abélien avec 1 son élément d'identité . Le logarithme est un isomorphisme de groupe de ce groupe pour le groupe additif des nombres réels, .
  • Le groupe multiplicatif d'un champ est l'ensemble de tous les éléments différents de zéro:, sous l'opération de multiplication. Si est finie d'ordre q (par exemple q = p un nombre premier, et ), le groupe multiplicatif est cyclique: .

Schéma de groupe des racines de l'unité

Le schéma de groupe de n ièmes racines de l' unité est par définition le noyau du n carte -puissance sur le groupe multiplicatif GL (1), considéré comme un système de groupe . Autrement dit, pour tout entier n > 1, nous pouvons considérer le morphisme sur le groupe multiplicatif qui prend des puissances n- ièmes, et prendre un produit fibreux approprié de schémas , avec le morphisme e qui sert d'identité.

Le schéma de groupe résultant s'écrit μ n (ou ). Il donne lieu à un schéma réduit , quand on le prend sur un corps K , si et seulement si la caractéristique de K ne divise pas n . Cela en fait une source de quelques exemples clés de schémas non réduits (schémas avec des éléments nilpotents dans leurs gerbes de structure ); par exemple μ p sur un corps fini avec p éléments pour tout nombre premier p .

Ce phénomène ne s'exprime pas facilement dans le langage classique de la géométrie algébrique. Par exemple, il s'avère être d'une importance majeure dans l'expression de la théorie de la dualité des variétés abéliennes en caractéristique p (théorie de Pierre Cartier ). La cohomologie galoisienne de ce schéma de groupe est une manière d'exprimer la théorie de Kummer .

Remarques

  1. ^ Voir Hazewinkel et al. (2004), p. 2.
  2. ^ Milne, James S. (1980). Étale cohomologie . Presses universitaires de Princeton. pp. xiii, 66.

Les références

  • Michiel Hazewinkel , Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V. Kirichenko. Algèbres, anneaux et modules . Volume 1. 2004. Springer, 2004. ISBN  1-4020-2690-0

Voir également