Gruppe von Divisoren modulo (algebraischer) numerischer Äquivalenz.

Zwei Divisoren D₁ und D₂ sind algebraisch äquivalent, bezeichnet durch D₁ ≡ D₂, wenn es einen Divisor D gibt, so daß D + D_i beide effektiv sind, und gilt D + D₁ = D + D₂. Dies ist eine Äquivalenzrelation, die verträglich mit der Gruppenstruktur auf Div (M) ist. Die Divisoren, die algebraisch äquivalent zu 0 sind, bilden dann eine Untergruppe „≡“ auf Div (M), und den Quotienten

\begin{eqnarray}Div\,(M){/}_{\equiv }^=NS\quad(M)\end{eqnarray}