Voir la source de Diviseur (géométrie algébrique)

En [[mathématiques]], plus précisément en [[géométrie algébrique]], les diviseurs sont une généralisation des sous-variétés de codimension 1 de [[Variété algébrique|variétés algébriques]] ; deux généralisations différentes sont d'un usage commun : les '''diviseurs de Weil''' et les '''diviseurs de Cartier'''. Les deux concepts coïncident dans les cas des variétés non singulières.

== Diviseurs en géométrie algébrique ==

En géométrie algébrique, comme en géométrie analytique complexe, ou en géométrie arithmétique, les diviseurs forment un groupe qui permet de saisir la nature d'un schéma (une variété algébrique, une [[surface de Riemann]], un anneau de Dedekind...) au travers d'un squelette assez simple. Ce groupe provient de l'idée commune aux études menées sur ces objets : on peut connaître une grande part de leur géométrie en étudiant les sous-schémas non triviaux maximaux (sous variétés, ou idéaux de codimension 1).

L'ensemble de ces diviseurs est muni d'une loi de groupe additive. Plusieurs définitions sont possibles, selon le cadre dans lequel on agit (cycles de codimension 1, faisceaux inversibles, diviseurs de Cartier). Néanmoins, sous de bonnes conditions, les diviseurs qu'on obtient sont identiques.

On peut agir ainsi dans le cadre de variétés définies sur un [[corps algébriquement clos]] (<math>\Complex</math> par exemple) ou sur un corps de nombre quelconque (voire <math>\Q</math> ou les corps p-adiques). On peut les définir sur des structures souples (par exemple des changements de cartes holomorphes) ou plus rigides (variétés algébriques). On peut se placer localement (sur un anneau) ou plus globalement, en regardant toute une variété.

== Diviseurs de Weil ==

=== Définition ===

Pour une variété algébrique (ou plus généralement un [[schéma noethérien]]), on appelle '''diviseur de Weil''' (nommé en l'honneur de [[André Weil]]) sur <math>X</math> une somme formelle, à support fini et à coefficients entiers, de sous-variétés fermées et irréductibles, de codimension 1. L'ensemble des diviseurs sur <math>X</math> est donc le groupe abélien libre engendré par ces sous-variétés de codimension 1. La théorie des [[Cycle (géométrie algébrique)|cycles algébriques]] s'intéresse au groupe engendré par des fermés irréductibles de codimension quelconque.

Chaque diviseur de Weil s'écrit donc formellement comme une somme finie <math>{\sum_i n_i [Z_i]}</math>
où les ''n<sub>i</sub>'' sont des entiers relatifs, tous nuls sauf pour un nombre fini d'entre eux, les ''Z<sub>i</sub>'' étant des fermés irréductibles de la variété <math>X</math>.
Deux diviseurs sont identiques si les coefficients des deux diviseurs pour tout ''Z<sub>i</sub>'' sont identiques. L'addition de deux diviseurs s'effectue en additionnant les coefficients termes à termes.

Un '''diviseur irréductible''' ou premier est un [''Z''] pour un fermé irréductible ''Z''. On appelle '''diviseur effectif''' tout diviseur dont les coefficients sont positifs. Sur l'ensemble des diviseurs il existe ainsi une [[relation d'ordre]] (partielle) : <math>D\ge D' </math> si et seulement si <math> D-D'</math> est effectif.

=== Cas d'une courbe projective ===

Sur une courbe ''C'' sur un corps ''k'', un diviseur de Weil est représenté comme une somme formelle de points de cette courbe. La somme formelle
;<math>\displaystyle \sum_{x\in C }a_x[x]</math>
étant prise sur les familles à support fini, à coefficients dans <math>\Z</math>, et indexée par les points (fermés) de <math>C</math>.

Soit <math>D=\sum_{x}a_x[x]</math> un diviseur. Le '''degré''' de <math>D </math> est par définition la somme pondérée <math>\deg(D)=\sum_x a_x[k(x) : k]</math> où <math>k(x)</math> est le corps résiduel de <math>C</math> en <math>x</math>.

L'application qui à tout diviseur associe son degré est un [[morphisme de groupes]] à valeurs dans ℤ.

On montre que pour une courbe projective intègre sur un corps, le degré d'un diviseur principal est nul.

=== Ordre d'annulation ===

Soit ''A'' un [[anneau local]] noethérien de dimension 1. Pour tout [[élément régulier]] ''a'' de ''A'', le quotient ''A/aA'' est un ''A''-module artinien. L''''ordre''' ou la '''multiplicité''' de ''a'' est <math>\mathrm{ord}(a)=\mathrm{long}(A/aA)</math>. Si ''g=a/b'' est un élément inversible de l'anneau total des fractions ''M''(''A''), on pose <math>\mathrm{ord}(g)=\mathrm{ord}(a)-\mathrm{ord}(b)</math>. C'est un entier relatif indépendant du choix de la présentation de ''g'' sous forme de fractions. On écrira <math>\mathrm{ord}_A(g)</math> s'il besoin de préciser l'anneau dans lequel on calcule l'ordre de ''g''.

L'application <math>\mathrm{ord}_A:M(A)^*\to\Z</math> est un morphisme de groupes.

=== Diviseurs principaux sur une courbe ===

Supposons que ''C'' soit une courbe projective lisse et [[schéma intègre|intègre]]. Si ''f'' est une [[Schéma intègre#Fonctions rationnelles|fonction rationnelle]] non nulle sur <math>C</math> ; c'est-à-dire un morphisme de <math>C</math> vers la [[droite projective]], on lui associe un diviseur qui est différence entre le lieu de ses zéros et le lieu de ses pôles (comptés avec leur multiplicité). On note <math>(f)</math> le diviseur de <math>f</math>. Un tel diviseur est dit '''principal'''.

On remarque que <math>(fg) = (f) + (g).</math> On en déduit que l'ensemble des diviseurs principaux de la forme <math>(f)</math> forme un sous-groupe du groupe des diviseurs de <math>C</math>.

Deux diviseurs <math>D</math> et <math>D'</math> sont '''linéairement équivalents''' si leur différence est un diviseur principal. En particulier, un diviseur principal est linéairement équivalent à 0.

'''Exemple''' Dans la droite projective <math>\mathrm{Proj}\, k[x, y]</math>, le diviseur défini par soustraction <math>[O]-[\infty]</math> des diviseurs correspondant à l'origine et le point à l'infini, est linéairement équivalent à 0. C'est le diviseur de la fonction <math>x/y</math>.

Soit <math>D=\sum a_x [x]</math> un diviseur de Weil sur ''C''. On considère l'ensemble des fonctions rationnelles <math>f</math> sur <math>C</math> dont le diviseur associé <math>(f)</math> est au moins égal à <math>-D</math>. En chaque point ''x'' où <math>a_x\ge 0</math>, ''f'' a un pôle de multiplicité au plus <math>a_x</math> et, aux points ''x'' où <math>a_x<0</math>, ''f'' possède des zéros de multiplicité au moins <math>-a_{x}</math>.

Ces fonctions sont les sections globales du faisceau inversible associé au diviseur ''D''.

=== Diviseurs principaux sur une variété intègre ===

Soit ''X'' une variété ou un schéma noethérien [[schéma intègre|intègre]]. Soit ''f'' une [[Schéma intègre#Fonctions rationnelles|fonction rationnelle]] non nulle sur ''X''. Pour tout fermé irréductible ''Z'' de ''X'' de codimension 1, de point générique <math>\xi</math>, l'anneau local <math>O_{X, \xi}</math> est noethérien de dimension 1, donc la multiplicité <math>\mathrm{ord}_Z(f)</math> de ''f'' est bien défini dans <math>O_{X, \xi}</math>. Le diviseur <math>(f)</math> est par définition
;<math>(f)=\sum_{Z} \mathrm{ord}_Z(f) [Z]</math>
où la somme s'étend sur les fermés irréductibles ''Z'' de codimension 1. Un tel diviseur est appelé un diviseur principal.

Comme dans le cas des courbes, les diviseurs principaux forment un sous-groupe du groupe des diviseurs, et on définit la [[relation d'équivalence]] linéaire exactement comme dans le cas des courbes.
Le quotient du groupe des diviseurs par les diviseurs principaux est une partie du [[Cycle (géométrie algébrique)#Diviseur principal et cycle principal|groupe de Chow]] de ''X''.

La somme des termes positifs
;<math>(f)_0=\sum_{\mathrm{ord}_Z(f) >0} \mathrm{ord}_Z(f) [Z]</math>
est appelée le '''diviseur des zéros''' de ''f''. Tandis que celle des termes négatifs <math>(f)_{\infty}</math> est appelée le '''diviseur des pôles''' de ''f''. On a
;<math>(f)=(f)_0 - (f)_{\infty}.</math>
Lorsque ''X'' est un schéma normal (par exemple une variété lisse), dire que ''f'' est régulière revient à dire que le diviseur des pôles est trivial. De même ''f'' est une fonction régulière inversible si et seulement si (''f'')=0.

=== Diviseur de Weil associé à un fermé ===

Soit ''Z'' un sous-schéma fermé de ''X'' dont les composantes irréductibles <math>Z_1, \dots, Z_n</math> sont de codimension 1 dans ''X''. Le schéma ''Z'' n'est pas nécessairement réduit. En chaque point générique <math>\xi_i</math> de <math>Z_i</math>, l'anneau local <math>O_{Z, \xi_i}</math> est artinien. Par définition, le diviseur de Weil associé à ''Z'' est
;<math>[Z]=\sum_{1\le i\le n} \mathrm{long}(O_{Z, \xi_i})[Z_i].</math>

=== Structure locale des diviseurs de Weil ===

Supposons que ''X'' soit un schéma noethérien régulier (par exemple une variété algébrique lisse). Si ''Z'' est un fermé irréductible de ''X'', alors en tout point ''z'' de ''Z'', il existe un voisinage ouvert ''U'' de ''z'' dans ''X'' tel que le fermé ''Z'' soit exactement l'ensemble ''V''(''f'') des zéros d'un élément irréductible de l'anneau des fonctions régulières <math>O_X(U)</math>. Autrement dit, ''Z'' est localement défini par l'annulation d'une fonction, ou ''Z'' est localement principal (on peut recouvrir ''X'' par des ouverts ''U'' tels que la restriction de ''Z'' à ''U'' soit un diviseur de Weil principal sur ''U'').

Cela n'est plus valable si l'on supprime l'hypothèse de régularité sur ''X''. La structure locale de ''Z'' devient alors plus complexe.

== Diviseurs de Cartier ==

Si le schéma <math>X</math> est éventuellement singulier, les diviseurs de Weil ne sont plus localement principaux en général. Les diviseurs de Cartier sont, grosso modo, les diviseurs de Weil qui sont localement principaux.

=== Définition ===

==== Le cas intègre. ====
Soit ''X'' un [[schéma intègre]]. On considère le groupe des fonctions rationnelles non nulles <math>K(X)^*</math> comme un [[Préfaisceau#Faisceaux|faisceau]] constant sur ''X''. Les sections globales <math>\Gamma(X, K(X)^*/O_X^*)</math> du faisceau quotient par le faisceau des fonctions régulières inversibles sont appelées les '''diviseurs de [[Pierre Cartier|Cartier]]''' sur ''X''.

Par construction, un diviseur de Cartier peut être représenté comme un recouvrement d'ouverts <math>{U_i}</math> de ''X'', associés à une famille de [[fonction rationnelle|fonctions rationnelles]] <math>f_i</math> définies sur l'ouvert <math>U_i</math> correspondant ; ces fonctions étant reliées entre elles par les changements de cartes admissibles (inversibles et réguliers)<ref>[[C. S. Seshadri]], « [http://www.numdam.org/item?id=SCC_1958-1959__4__A4_0 Diviseurs en géométrie algébrique] », ''Séminaire [[Claude Chevalley]]'', tome 4 (1958-1959), exp. n° 4, p. 1-9.</ref> : <math>f_if_j^{-1}</math> est une fonction régulière inversible sur l'intersection <math>U_i\cap U_j</math>. Deux tels systèmes <math>(U_i, f_i)_i, \ (V_j, g_j)_j</math> définissent le même diviseur de Cartier si <math>f_ig_j^{-1}</math> est régulier est inversible sur <math>U_i\cap V_j</math> pour tout couple d'indice <math>i, j</math>.

L'ensemble des diviseurs de Cartier est un groupe abélien, puisque c'est l'ensemble des sections globales d'un faisceau de groupes abélien. Ce groupe est noté <math>\mathrm{Div}(X)</math>.

Un '''diviseur principal''' correspond à un système <math>(X, f)</math> avec un unique ouvert. Les diviseurs principaux forment un sous-groupe de <math>\mathrm{Div}(X)</math>, isomorphe à <math>K(X)^*/O(X)^*</math>. Deux diviseurs de Cartier sont dits '''linéairement équivalents''' si leur différence est un diviseur principal.

Un diviseur de Cartier est dit '''effectif''' s'il peut être représenté avec les <math>f_i</math> régulières. Dans des cas usuels (par exemple une variété quasi-projective sur un corps), un diviseur de Cartier peut s'écrire comme différence de deux diviseurs de Cartier effectifs.

==== Le cas général ====
Lorsque ''X'' n'est plus nécessairement intègre, il importe de définir avec soin le faisceau des fonctions rationnelles<ref>{{en}} [[Steven Kleiman]], « Misconceptions about KX », ''L'Enseignement Mathématique'', vol. 25, 1979, p. 203-206 {{DOI|10.5169/seals-50379}}.</ref> sur ''X''.

Pour tout anneau (commutatif unitaire) ''A'', notons ''R''(''A'') le groupe multiplicatif des éléments réguliers de ''A'' et ''M''(''A'') la localisation ''R''(''A''){{-1}}''A''.
Le '''faisceau des fonctions rationnelles''' <math>\mathcal M_X</math> sur ''X'' est le faisceau associé au préfaisceau dont les sections sur tout ouvert '''affine''' ''U'' est <math>M(O_X(U))</math><ref>Il est à noter que la correspondance <math>U\mapsto M(O_X(U))</math> pour tout ouvert ''U'' n'est pas un préfaisceau.</ref>. Si ''X'' est intègre, on retrouve le faisceau constant des fonctions rationnelles. Si ''X'' est noethérien, ou réduit avec un nombre fini de composantes irréductibles, alors <math>\mathcal M_X(U)=M(O_X(U))</math> pour tout ouvert affine ''U''.

Les définitions du cas intègre s'étendent alors au cas général en remplaçant <math>K(X)^*</math> par le faisceau des fonctions rationnelles inversibles <math>\mathcal M_X^*</math>.

=== Relation avec les faisceaux inversibles ===

Un [[Groupe de Picard|faisceau inversible]] (appelé aussi un [[fibré en droites]]) est un faisceau de <math>O_X</math>-modules localement libre de rang 1.

À tout diviseur de Cartier <math>D</math>, représenté par <math>(U_i, f_i)_i</math>, on peut associer un faisceau inversible <math>O_X(D)</math> sur ''X''. Par définition, c'est un sous-faisceau de <math>\mathcal M_X</math> dont la restriction à <math>U_i</math> est égale à <math>f_i^{-1}O_{U_i}</math>. Ce faisceau est indépendant de la représentation de ''D'' avec des équations locales <math>f_i</math>.

Le faisceau <math>O_X(D+E)</math> est l'image du produit tensoriel <math>O_X(D)\otimes O_X(E)</math> dans <math>\mathcal M_X</math>. Le faisceau <math>O_X(D)</math> est libre si et seulement si ''D'' est principal. On obtient ainsi un morphisme injectif du groupe des classes d'équivalence des diviseurs de Cartier dans le [[groupe de Picard]] de ''X''. L'image de ce morphisme est l'ensemble des classes d'isomorphisme de sous-faisceaux inversibles de <math>\mathcal M_X</math>.

Cette application est surjective si ''X'' est intègre ou s'il est quasi-projectif sur un [[anneau noethérien]] (par exemple une variété quasi-projective sur un corps).

On a <math>O_X\subseteq O_X(D)</math> si et seulement si ''D'' est effectif. Le faisceau <math>O_X(-D)</math> est alors un faisceau d'idéaux de <math>O_X</math> définissant un sous-schéma fermé <math>V(O_X(-D))</math>.

=== Relations avec les diviseurs de Weil ===

Soit ''X'' un schéma noethérien et soit ''D'' un diviseur de Cartier sur ''X''. On peut lui associer un diviseur de Weil [''D''] de la façon suivante. Soit ''Z'' un fermé irréductible ''Z'' de codimension 1 dans ''X'', de point générique <math>\xi</math>, le germe <math>(O_X(D))_\xi</math> est engendré par un élément <math>g</math> de l'anneau total des fractions de <math>O_{X,\xi}</math>. On pose <math>\mathrm{ord}_Z(D)=-\mathrm{ord}_{O_{X, \xi}}(g)</math> (attention au signe). Le diviseur de Weil associé à ''D'' est
;<math>[D]=\sum_Z \mathrm{ord}_Z(D)[Z]</math>
la somme ayant lieu sur les fermés irréductibles de codimension 1. C'est une somme finie car ''X'' est noethérien.

Si ''D'' est effectif, [''D''] est le diviseur de Weil associé au sous-schéma fermé <math>V(O_X(-D))</math>. C'est donc un diviseur de Weil effectif.

La correspondance <math>D\mapsto [D]</math> définit un morphisme de groupes <math>\mathrm{Div}(X)\to Z^1(X)</math>.

* Si ''X'' est noethérien et normal, alors <math>\mathrm{Div}(X)\to Z^1(X)</math> est injectif.
* Si de plus ''X'' est régulier (par exemple une variété algébrique lisse), alors <math>\mathrm{Div}(X)\to Z^1(X)</math> est un isomorphisme. Celui-ci induit un isomorphisme sur les ensembles des classes d'équivalences linéaires.
* Si ''X'' est une variété algébrique lisse connexe, on peut identifier les diviseurs de Weil, les diviseurs de Cartier ainsi que les sous-faisceaux inversibles de <math>K(X)</math>. On peut identifier les classes d'équivalence linéaire des diviseurs de Weil, de Cartier et les classes d'isomorphismes des faisceaux inversibles.

'''Exemples'''

* Si ''X'' est la courbe singulière <math>y^2=x^3</math> sur <math>\Complex</math>, le point ''p'' correspondant à <math>x=y=0</math> définit un diviseur de Weil [''p''] qui n'est pas associé à un diviseur de Cartier effectif. Par contre, le diviseur de Cartier <math>D</math> représenté par <math>(X, x/y)</math> a pour image <math>[D]=[p]</math>.
* Si ''X'' est la courbe projective sur <math>\mathrm{Proj}\,\R[x,y,z]/(x^2+y^2)</math> et si ''p'' est le point singulier <math>(0, 0, 1)</math>, tout diviseur de Cartier ''D'' induit un diviseur de Weil [''D''] dont le coefficient en ''p'' est pair. Ainsi l'application <math>\mathrm{Div}(X)\to Z^1(X)</math> n'est pas surjective dans ce cas-là.

'''Diviseur d'une section rationnelle'''

Soit ''L'' un faisceau inversible sur un schéma intègre ''X'', et soit ''s'' une '''section rationnelle ''' non nulle de ''L'', c'est-à-dire une section de ''L'' sur un ouvert non vide, ou de façon équivalente, une section du faisceau constant <math>L\otimes K(X)</math>. Alors il existe un unique diviseur de Cartier ''D'' tel que <math>L=sO_X(D)</math>. On pose alors
;<math>\mathrm{div}(s)=[D].</math>
Concrètement, si ''Z'' est un fermé irréductible de codimension 1, de point générique <math>\xi</math>, on écrit <math>s_\xi=ge_{\xi}</math> avec ''g'' une fonction rationnelle non nulle et <math>e_\xi</math> une base de <math>L_\xi</math>. Le coefficient de div(''s'') en ''Z'' est alors égal à <math>\mathrm{ord}_Z(g)</math>.

Si ''s'' est une section régulière de ''L'', alors son diviseur est effectif. La réciproque est vraie si ''X'' est de plus normal.

Deux sections rationnelles non nulles de ''L'' définissent des diviseurs linéairement équivalents.

'''Exemple''' Si <math>L=O_X(D)</math> et ''s'' = 1, alors div(''s'') = [''D''].

== Diviseurs remarquables ==

;Diviseur canonique

On considère une variété algébrique lisse ''X'' connexe de dimension ''d'' sur un corps ''k''. Alors les ''d''-formes différentielles sur ''X'' forment un faisceau inversible <math>\Omega^d_{X/k}</math> noté également par <math>\omega_{X/k}</math>. C'est le déterminant du faisceau localement (de rang ''d'') des 1-formes différentielles <math>\Omega^1_{X/k}</math>, c'est-à-dire le produit extérieur ''d''-ième de ce dernier.

Fixons une ''d''-différentielle rationnelle <math>\omega</math> de <math>\omega_{X/k}</math>. Alors le diviseur div(<math>\omega</math>) est appelé '''un diviseur canonique''' de ''X''.
Il est à noter qu'un tel diviseur n'est canonique (unique) qu'à équivalence linéaire près. On note souvent un diviseur canonique par <math>K_X</math>, oubliant sa dépendance en <math>\omega</math>.

Supposons de plus ''X'' de dimension 1. Pour tout point (fermé) ''x'' de ''X'', on peut écrire <math>\omega_x</math> dans une base de <math>\omega_{X,x}</math> (par exemple, si ''t'' est une coordonnée locale de ''X'' en ''x'', alors ''dt'' est une base de <math>\omega_{X,x}</math>). Le coefficient du diviseur canonique en ''x'' est alors l'ordre (positif ou négatif) en ''x'' du coefficient de <math>\omega_x</math>.

Sur la droite projective, –2[''x''] est un diviseur canonique pour n'importe quel point rationnel ''x''.

;Sections hyperplanes, faisceaux amples :

Un hyperplan ''H'' de l'espace projectif définit un diviseur irréductible. Tout diviseur de l'espace projectif est linéairement équivalent à un multiple de [''H''].

Le faisceau de Serre <math>O(1)</math> est isomorphe à <math>O(H)</math>. Ses sections globales sont les polynômes homogènes de degré 1.

Un faisceau inversible ''L'' est dit '''très ample''' lorsqu'on peut plonger la variété comme une sous-variété dans un espace projectif de façon que ''L'' soit le faisceau inversible associé à l'intersection de la variété avec un hyperplan ''H'' comme ci-dessus.

Un faisceau ample (sur une variété algébrique) est un faisceau dont une certaine puissance tensorielle (positive) est très ample.

Sur une courbe projective lisse, une condition nécessaire et suffisante pour qu'un faisceau inversible, isomorphe à <math>O_X(D)</math>, soit ample est que le degré de ''D'' soit strictement positif.

== Le langage des anneaux ==

=== Diviseurs de Weil en termes d'anneaux ===

Si ''A'' est un [[anneau unitaire|anneau]], on appelle diviseur de Weil une combinaison linéaire à coefficients entiers de quotients ''A''/''P ''de l'anneau ''A'' par des [[Idéal premier|idéaux premiers]] ''P ''tels que dim(''A{{ind|P}}'') = 1.

Si ''n ''est un entier positif, un cycle de codimension ''n ''est une combinaison linéaire de type <math>\sum_Pn_P[A/P]</math> où les ''n{{ind|P}} ''sont des entiers relatifs et les ''P ''des idéaux premiers de ''A'' tels que dim(''A{{ind|P}}'') = ''n''.

Ainsi les diviseurs de Weil sont les cycles de codimension 1.

'''Exemple'''

Si ''I'' est un idéal d'un anneau noethérien ''A ''et si dim(''A{{ind|P}}'') = ''n ''pour tout idéal premier ''P ''de ''I'', on peut associer à ''I ''un cycle de codimension ''n'', noté cycle(''A''/''I'') et défini par :

{{retrait|<math> \mathrm{cycle}(A/I) =\sum_{\dim A_P=n }\mathrm{long}(A_P/IA_P)[A/P],</math>}}

la somme étant finie.

Lorsque ''I'' est un ''A''-module inversible (c'est-à-dire si ''I'' est localement engendré par un élément régulier) on obtient un diviseur de Weil<ref>[[Lucien Szpiro]], [http://www.gc.cuny.edu/CUNY_GC/media/CUNY-Graduate-Center/PDF/Programs/Math/Cours_de_Geometrie_Arithmetique.pdf Cours de géométrie arithmétique (chap. 2 à 6)], preprint Orsay 1986.</ref>. On note ''Z''{{1}}(''A'') leur ensemble.

=== Diviseurs de Cartier en termes d'anneaux ===

Soit <math>A</math> un [[anneau unitaire|anneau]]. L'ensemble des [[idéal|idéaux]] (A-modules) inversibles de ''A'' est un monoïde, le produit de deux tels idéaux ''I, J'' étant donné par l'idéal produit ''IJ''. On appelle groupe des diviseurs de Cartier de <math>A</math>, et on note Div(''A'') le groupe engendre par ce monoïde.

Si ''A'' est un anneau de Dedekind, tout idéal non nul ''I'' est inversible et se décompose en produit de <math>P_i^{r_i}</math> avec <math>P_i</math> idéaux maximaux et <math>r_i</math> entiers naturels. L’application cycle <math>\mathrm{Div}(A)\to Z^1(A)</math> envoie alors ''I'' sur <math>\sum_i r_i[P_i].</math> On voit donc que <math>\mathrm{Div}(A)\to Z^1(A)</math> est un isomorphisme de groupes.

=== Diviseurs principaux, groupe de Picard. ===

;Définition :

On note Pr(''A'') le sous-groupe de Div(''A'') engendré par les idéaux ''fA'' où ''f'' est non-diviseur de zéro. Ce groupe est canoniquement isomorphe à ''K''*/''A''* si ''A'' est intègre, de corps des fractions ''K''. Les éléments de Pr(''A'') sont appelés des diviseurs principaux.

Si ''A'' est un anneau de Dedekind, ''K'' son corps de fractions et ''f'' un élément de ''K'', alors <math>(f) :=\sum_p v_P(f)[A/P]</math>, la somme étant prise sur les idéaux maximaux de ''A'', est un élément de ''Z''{{1}}(''A'') dans l'image de Pr(''A'') (''v{{ind|P}}'' étant la valuation normalisée associée à l'anneau de valuation discrète ''A{{ind|P}}''). Le quotient de Div(''A'') par Pr(''A'') est le [[groupe des classes]] de ''A''.

Plus généralement, si ''A'' est intègre, ce quotient est isomorphe au groupe de Picard de ''A''.

== Notes et références ==
<references/>

== Bibliographie ==
* {{en}} [[Jean Dieudonné]], ''History of Algebraic Geometry - An Outline of the History and Development of Algebraic Geometry'' {{ISBN|0-534-03723-2}}
* {{Fulton1}}, chap. 30
* {{Hartshorne1}}
* {{Ouvrage|langue=de|auteur1=[[Reinhold Remmert]]|auteur2=Georg Schumacher|titre=Funktionentheorie|volume=2|éditeur=Springer|année=2013|numéro d'édition=2|année première édition=1991|isbn=978-3-540-57052-3|lire en ligne={{Google Livres|7jbwBgAAQBAJ}}}}
* {{Ouvrage|langue=en|auteur1=[[Joseph L. Taylor]]|titre=Several Complex Variables with Connections to Algebraic Geometry and Lie Groups|éditeur=[[American Mathematical Society|AMS]]|lieu=Providence (R. I.)|année=2002|pages totales=507|isbn=0-8218-3178-X|lire en ligne={{Google Livres|HtbpBwAAQBAJ}}}}

{{portail|mathématiques}}

[[Catégorie:Géométrie algébrique]]