Gruppo moltiplicativo

In matematica e nella teoria dei gruppi il termine gruppo moltiplicativo si riferisce, a seconda del contesto ad uno dei seguenti concetti:

Schema in gruppi delle radici dell'unità modifica

Lo schema in gruppi delle radici  -sime dell'unità è per definizione il nucleo della  -mappa di potenza sul gruppo moltiplicativo  , considerato come schema in gruppi. Perciò per qualsiasi intero   possiamo considerare il morfismo sul gruppo moltiplicativo che prende le potenze  -esime, e assume un prodotto fibrato appropriato nel senso della teoria degli schemi di questo, con il morfismo   che funziona come identità.

Il risultante schema in gruppi viene scritto come  . Questo origina uno schema ridotto, quando lo poniamo su un campo  , se e solo se la caratteristica di  , non divide  . Questo dà origine ad alcuni esempi chiave di schemi non ridotti (ossia schemi con elementi nilpotenti nei loro fasci di struttura; per esempio   su un campo finito con   elementi per qualsiasi numero primo  .

Questo fenomeno non è facilmente esprimibile nel linguaggio classico della geometria algebrica. Risulta che esso è di grande importanza, per esempio, nell'esprimere la teoria di dualità delle varietà abeliane nella caratteristica   (teoria di Pierre Cartier). La coomologia di Galois di questo schema di gruppo è un modo per esprimere la teoria di Kummer.

Note modifica

  1. ^ See Hazewinkel et. al. (2004), p. 2.

Bibliografia modifica

  • Michiel Hazewinkel, Nadiya Gubareni, Nadezhda Mikhaĭlovna Gubareni, Vladimir V.Kirichenko. Algebras, rings and modules. Volume 1. 2004. Springer, 2004. ISBN 1402026900

Voci correlate modifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica