Диви́зор, обобщение понятия делителя элемента коммутативного кольца. Впервые (под названием «идеальный делитель») это понятие возникло в работах Э. Куммера (Kummer. 1847) об арифметике круговых полей.

Теория дивизоров для коммутативного кольца $A$ с единицей без делителей нуля состоит в построении гомоморфизма $\varphi$ из мультипликативной полугруппы $A^*$ ненулевых элементов $A$ в некоторую полугруппу $D_0$ с однозначным разложением на множители, элементы которой называются (целыми) дивизорами кольца $А$. Теория дивизоров позволяет свести ряд вопросов, связанных с разложением на простые множители в кольце $A$, где это разложение может быть неоднозначно, к рассмотрению разложения на простые множители в $D_0$. Образ $\varphi(a)\in D_0$ элемента $a\in A^*$ обозначается $(a)$ и называется главным дивизором элемента $a$. Говорят, что $a\in A^*$ делится на дивизор $\mathfrak a\in D_0$, если $\mathfrak a$ делит $(a)$ в $D_0$.

Точнее, пусть $D_0$ – свободная абелева полугруппа с единицей, свободные образующие которой называют простыми дивизорами, и пусть задан гомоморфизм $\varphi: A^*\to D_0$. Гомоморфизм $\varphi$ определяет теорию дивизоров кольца $A$, если он удовлетворяет следующим условиям.

1) Для $a,b\in A^*$ элемент $a$ делит $b$ в кольце $A$ тогда и только тогда, когда $(a)$ делит $(b)$ в $D_0$.

2) Для любого $\mathfrak a\in D_0$
$$\{0, \, a\in A\big| \mathfrak a \text{ делит } (a)\}$$является идеалом кольца $A$.

3) Если $\mathfrak a, \mathfrak a'\in D_0$ и для любого $a\in A^*$ $(a)$ делится на $\mathfrak a$ тогда и только тогда, когда $(a)$ делится на $\mathfrak a'$, то $\mathfrak a = \mathfrak a'$.

Этими условиями гомоморфизм $\varphi$, если он существует, определяется однозначно с точностью до изоморфизма. Ядро ${\rm ker}\,\varphi$ совпадает с группой единиц кольца $A$. Элементы из $D_0$ называются положительными дивизорами кольца $A$. Пусть $K$ – поле частных кольца $A$ и $D\supset D_0$ – свободная абелева группа, порождённая множеством простых дивизоров. Тогда для любого $c\in K^*$, $K^* = K\setminus 0$, можно определить главный дивизор $(c)\in D$. Если $c = a/b$, где $a, b\in A^*$, то $(c) = (a)/(b)$. Элементы группы $D$ называют дробными дивизорами (или просто дивизорами) кольца $A$ (или поля $K$). Каждый дивизор $\mathfrak a\in D$ может быть записан в виде$$\mathfrak a = \mathfrak p_1^{n_1}\dots \mathfrak p_r^{n_r},$$где $\mathfrak p_i$ – простые дивизоры. Либо (в аддитивной записи):$$\mathfrak a = n_1 \mathfrak p_1 + \dots + n_r \mathfrak p_r.$$Если $a\in K^*$ и $(a) = \sum n_i \mathfrak p_i$, то отображение $a\to \sum n_i$ является дискретным нормированием на поле $K$, называемым существенным нормированием поля $K$. Гомоморфизм $\varphi$ продолжается до гомоморфизма $\psi: K^*\to D$, где $\psi(c) = (c)$, содержащегося в точной последовательности$$1\to U(A)\to K^* \overset{\psi}{\to} D \to C(A) \to 1.$$Здесь $U(A)$ – группа единиц кольца $A$, а группа $C(A)$ называется группой классов дивизоров кольца $A$ (или поля $K$). Два дивизора, принадлежащие одному смежному классу по подгруппе главных дивизоров, называются эквивалентными (в алгебраической геометрии, где рассматривается целый ряд других эквивалентностей для дивизоров, эта эквивалентность называется линейной).

Теория дивизоров существует для всякого дедекиндова кольца, в частности для колец целых элементов в полях алгебраических чисел, причём в этом случае элементы $D_0$ находятся во взаимно однозначном соответствии с ненулевыми идеалами кольца $A$ (дивизору $\mathfrak a$ при этом соответствует идеал всех элементов $A$, делящихся на $\mathfrak a$). По этой причине в дедекиндовых кольцах группу дивизоров называют также группой идеалов, а группу классов дивизоров – группой классов идеалов.

Группа классов дивизоров поля алгебраических чисел конечна, и с вычислением её порядка (числа классов) и структуры связаны многие задачи алгебраической теории чисел (Боревич. 1972).

Более общо, теория дивизоров существует для колец Крулля (Бурбаки. 1971). В этом случае роль $D_0$ играет полугруппа дивизориальных идеалов кольца, а роль $D$ играет группа дробных дивизориальных идеалов.

Обобщением понятия дробного дивизориального идеала коммутативного кольца на случай алгебраического многообразия или аналитического пространства служит понятие дивизора Вейля. Так называется целочисленная формальная конечная линейная комбинация $\sum n_W W$ неприводимых замкнутых подпространств $W$ в $X$ коразмерности $1$. Дивизор Вейля называется положительным, или эффективным, если все $n_W\ge 0$. Все дивизоры Вейля образуют группу $Z^1(X)$ (группа дивизоров Вейля). В случае когда $X$ – гладкое алгебраическое многообразие, понятие дивизора Вейля совпадает с понятием алгебраического цикла коразмерности $1$.

Если $A$ – нётерово кольцо Крулля, то каждый простой дивизориальный идеал $\mathfrak p$ в $A$ определяет подпространство $V(\mathfrak p)$ коразмерности $1$ в схеме $X = {\rm Spec} (A)$, а каждый дивизор $\mathfrak a = \mathfrak p_1^{n_1}, \dots,\mathfrak p_k^{n_k}$ может быть отождествлён тем самым с дивизором Вейля $\sum n_i V(\mathfrak p)$.

Пусть $X$ – нормальная схема, а $f$ – мероморфная функция на $X$. Каноническим образом определяется главный дивизор Вейля:$$(f) = \sum n_W W.$$Здесь $n_W$ есть значение дискретного нормирования кольца $O_{X, W}$ общей точки подмногообразия $W$ на представителе $f$ в $O_{X, W}$. Если$$(f) = \sum n_W^+ W + \sum n_W^- W,$$где $n_W^+>0$, а $n_W^- < 0$, то дивизор Вейля $(f)_0 = \sum n_W^+ W$ называется дивизором нулей, а $\sum n_W^- W$ – дивизором полюсов функции $f$. Множество главных дивизоров Вейля является подгруппой $Z^1_p(X)$ группы $Z^1(X)$. Факторгруппа $Z^1(X)/ Z_p^1(X)$ обозначается $C(X)$ и называется группой классов дивизоров схемы $X$. Если $X = {\rm Spec}\, A$, где $A$ – нётерово кольцо Крулля, то $C(X)$ совпадает с группой классов дивизоров кольца $A$.

Пусть $K$ – поле алгебраических функций. Дивизорами поля $K$ называют иногда формальные конечные целочисленные комбинации дискретных нормирований ранга $1$ поля $K$. Если $K$ есть поле алгебраических функций от одной переменной, то каждый такой дивизор может быть отождествлён с дивизором Вейля его полной неособой модели.

Пусть $X$ – регулярная схема или комплексное многообразие и $D = \sum n_W W$ – дивизор Вейля. Для любой точки $x\in X$ существует такая открытая окрестность $U$, что ограничение $D$ на $U$$$D\big|_U = \sum n_W (W\cap U)$$является главным дивизором $(f_U)$ для некоторой мероморфной функции $f_U$ на $U$. Функция определена однозначно с точностью до обратимой функции на $U$ и называется локальным уравнением дивизора $D$ в окрестности $U$, а соответствие $U\to f_U$ определяет сечение пучка $M^*_X/{\mathcal O}_X^*$. Вообще, дивизором Картье на окольцованном пространстве $(X, \mathcal O_X)$ называется глобальное сечение пучка $M^*_X/{\mathcal O}^*_X$ (пучка ростков дивизоров). Здесь $M_X$ обозначает пучок ростков мероморфных (или рациональных) функций на $X$, т. е. пучок, сопоставляющий каждому открытому $U\subset X$ полное кольцо частных кольца $\Gamma(U, \mathcal O_X)$, а $M_X^*$ и $\mathcal O_X^*$ – пучки обратимых элементов в $M_X$ и $\mathcal O_X$ соответственно. Дивизор Картье можно задавать набором локальных уравнений$$f_i\in \Gamma\big(U_i, M_X^*\big),$$где $\{U_i\}$ – открытое покрытие $X$, причём на $U_i\cap U_j$ функция $f_i/f_j$ должна быть сечением пучка $\mathcal O_X^*$. В частности, мероморфная функция $f$ определяет дивизор ${\rm div}\,(f)$, называемый главным. Множество $x\in M$ таких, что $(f_i)_x \notin \mathcal O_{X, x}^*$, называется носителем дивизора. Дивизоры Картье образуют абелеву группу ${\rm Div}\,(X)$, а главные дивизоры – её подгруппу ${\rm Div}_l (X)$. Каждый дивизор $D\in {\rm Div}\,(X)$ определяет обратимый пучок $\mathcal O_X (D)$, содержащийся в $M_X$: если $D$ представлен локальными уравнениями $f_i$ на покрытии $\{U_i \}$, то$$\mathcal O_X (D)\big|_{U_i} = f_i^{-1} \mathcal O\big|_{U_i} \subset M_X \big|_{U_i}.$$Сопоставление $D\mapsto \mathcal O_X (D)$ является гомоморфизмом группы ${\rm Div}\,(X)$ в группу Пикара ${\rm Pic}\,(X) = H^1 (X, \mathcal O_X^*)$. Этот гомоморфизм включается в точную последовательность$$\Gamma(X, M_X^*) \to {\rm Div}\,(X) \overset{\delta}{\to} {\rm Pic}\,(X) \to H^1(X, M_X^*),$$получающуюся из точной последовательности пучков$$0 \to \mathcal O_X^* \to M_X^* \to M_X^*/\mathcal O_X^* \to 0.$$Таким образом, ${\rm ker}\, \delta = {\rm Div}_l (X)$. Если $D-D'$ есть главный дивизор, то $D$ и $D'$ называются линейно эквивалентными. Если $X$ – квазипроективное алгебраическое многообразие или комплексное пространство Штейна, то гомоморфизм $\delta: {\rm Div}\,(X) \to {\rm Pic}\, (X)$ сюръективен и индуцирует изоморфизм группы классов линейно эквивалентных дивизоров ${\rm Div}\,(X)/{\rm Div}_l(X)$ на группу Пикара ${\rm Pic}\, (X)$.

Если $X$ – комплексное пространство, то вопрос о том, когда данный дивизор является главным, есть вторая проблема Кузена. Например, на комплексном пространстве Штейна $(X,\mathcal O)$ группа классов дивизоров тривиальна тогда и только тогда, когда $H^2(X,\mathbb Z)=0$.

Дивизор $D$ называется эффективным (или положительным), если $\mathcal O_X\subset\mathcal O_X(D)$. В этом случае $\mathcal O_X(-D)$ является пучком идеалов в $\mathcal O_X$; носитель дивизора $D$ со структурным пучком $\mathcal O_X/\mathcal O_X(-D)$ образует подпространство в $X$, обозначаемое также $D$.

Для нормальной нётеровой схемы или нормального аналитического пространства $X$ имеется естественный гомоморфизм$${\rm cyc}: {\rm Div}\,(X)\to Z^1(X),$$переводящий $D\in{\rm Div}\,(X)$ в $\sum n_W W$, где $n_W = \nu_W(f)$, $f$ – локальное уравнение $D$ в окрестности $W$, a $\nu_W$ – соответствующее $W$ дискретное нормирование (Вейль. 1961). Гомоморфизм $\rm cyc$ инъективен и переводит эффективные дивизоры в эффективные; $\rm cyc$ биективен тогда и только тогда, когда $X$ локально факториально (например, когда $X$ – неособая схема или аналитическое многообразие). В случае когда $\rm cyc$ биективен, дивизоры Вейля и Картье отождествляются.

Пусть $f: X'\to X$ – морфизм схем, плоский в коразмерности $1$. Тогда для любого дивизора Картье или Вейля $D$ на $X$ определён его обратный образ $f^*(D)$. При этом ${\rm cyc}(f^*(D)) = f^*({\rm cyc}(D))$. Отображение $D\to f^*(D)$ является гомоморфизмом групп, переводит главные дивизоры в главные и тем самым определяет гомоморфизм групп$$\begin{aligned} f^*: {\rm Pic}\,(X & )\to {\rm Pic}\,(X') & \\ (\text{соответственно } & f^*: C(X)\to C(X')). \end{aligned}$$Если $X'$ – открытое множество в $X$, дополнение к которому имеет коразмерность $\ge 2$ и $f$ – вложение $X'$ в $X$, то $f^*: C(X)\to C(X')$ – изоморфизм, а $f: {\rm Pic}\,(X)\to {\rm Pic}\,(X')$ является изоморфизмом при условии, что схема $X$ локально факториальна.

Пусть $X$ – гладкое проективное многообразие над $\mathbb C$. Каждый дивизор $D$ на $X$ определяет класс гомологий$$[D]\in H_{2 {\rm dim}\, X -2}(X,\mathbb Z);$$двойственный по Пуанкаре к $[D]$ класс когомологий совпадает с классом Чжэня $c_1(\mathcal O_X(D))\in H^2(X,\mathbb Z)$ обратимого пучка $\mathcal O_X(D)$. Так на ${\rm Div}\,(X)$ возникает гомологическая эквивалентность. Имеется теория пересечения дивизоров (Шафаревич. 1972), приводящая к понятию численной эквивалентности, тесно связанной с понятием алгебраической эквивалентности дивизоров. Группа$${\rm Pic}^0(X)={\rm Div}_a(X)/{\rm Div}_l(X),$$где ${\rm Div}_a (X)$ обозначает группу дивизоров, алгебраически эквивалентных нулю, естественным образом снабжается структурой абелева многообразия (многообразие Пикара; если $X$ – кривая, то оно также называется многообразием Якоби кривой $X$). Группа ${\rm Div}\,(X)/{\rm Div}_a(X)$, называемая группой Нерона – Севери, имеет конечное число образующих. Последние два факта верны и для алгебраических многообразий над произвольным полем.

Если $X$ – одномерное комплексное многообразие (риманова поверхность), то дивизоры на $X$ можно понимать как конечные линейные комбинации$$D = \sum_i k_i x_i,$$где $k_i\in\mathbb Z$, $x_i\in X$. Число $\sum k_i$ называется степенью дивизора $D$. Для компактной римановой поверхности $X$ рода $g$ группа классов дивизоров степени $0$ есть $g$-мерное абелево многообразие и совпадает с многообразием Пикара (или с многообразием Якоби). Если $f$ – мероморфная функция на $X$, то главный дивизор$${\rm div}(f)= \sum_i m_i x_i -\sum_j n_j y_j,$$где $x_i$ – нули, $y_j$ – полюсы функции $f$, а $m_i$, $n_j$ – их кратности. Тогда $\sum_i m_i = \sum_j n_j$, т. е. главный дивизор имеет степень $0$. Дивизор $D$ степени $0$ на $X$ является главным тогда и только тогда, когда существует такая сингулярная одномерная цепь $C$, что$$\partial C = D \quad\text{ и } \quad\int_C \omega = 0$$для всех голоморфных форм $\omega$ степени $1$ на $X$ (теорема Абеля). См. также статью Абелев дифференциал.