Классов дивизоров группа

- факторгруппа группы диеизориалъных идеалов D (А) Крулля кольца А по подгруппе главных идеалов F(A). К. д. г. является абелевой группой и обычно обозначается С(А). Группа С(А)порождается классами простых идеалов высоты 1 в кольце А. В некотором смысле К. д. г. измеряет отклонение от однозначности разложения элементов кольца Ана неразложимые множители. Так, факториальное кольцо имеет нулевую К. д. г. Пусть j: [img: http://localhost:8080/file/021218-7.jpg] - гомоморфизм колец Крулля, тогда при некоторых дополнительных предположениях (напр., в случае, когда В- целое или плоское расширение кольца А)определен канонич. гомоморфизм К. д. г. j*: [img: http://localhost:8080/file/021218-8.jpg] Если В - локализация кольца Апо мультипликативной системе S, то j* сюръективно и ядро j* порождается простыми дивизориальными идеалами кольца А, пересекающимися с S (теорема Hагата). Если В- кольцо многочленов над А, то канонич. гомоморфизм ф* биективен (это является обобщением теоремы Гаусса о факториальности кольца многочленов над полем). В более общем случае, когда В - симметрическая нётерова алгебра А-модуля М, канонич. гомоморфизм j* будет биективен при условии, что все симметрич. степени Si (М). рефлексивны. Если В- кольцо формальных степенных рядов над А, то гомоморфизм j* инъективен (и даже обратим слева), но. вообще говоря, не биективен. Подгруппа группы С(А), порожденная обратимыми идеалами, изоморфна Пикара группеPic(A) кольца А, и функториальные свойства Pic (А)и С(А)согласованы. Так, если В- строго плоское расширение кольца Аи гомоморфизм j*: [img: http://localhost:8080/file/021218-9.jpg] инъективен, то инъективен и j*: [img: http://localhost:8080/file/021218-10.jpg] В частности, если пополнение Алокального кольца Афакториально, то факториально и А(теорема Мори). Пусть А- нормальное нётерово кольцо. Группа Pic (А)совпадает с С(А)тогда и только тогда, когда А- локально факториальное кольцо, т. е. все локальные кольца А т факториальны (напр., когда А - регулярное кольцо). Более точно, если [img: http://localhost:8080/file/021218-11.jpg] - факториально}, то [img: http://localhost:8080/file/021218-12.jpg] где Uпробегают систему открытых подсхем в Spec(A), содержащих F. Это позволяет определить К. д. г. нормальной схемы [5] - группу классов дивизоров Вейля (см. Дивизор). Первоначально изучались К. д. г. колец алгебраич. чисел, первые результаты о конечности этой группы были получены еще Э. Куммером (Е. Kummer). Имеется тесная связь свойств К. д. г. с теоретико-числовыми вопросами, напр, с теоремой Ферма. Таблицы порядков. К. д. г. некоторых колец алгебраич. чисел приведены в [1]. Современную общность теория К. д. г. получила в работах В. Крулля (W. Krull); П. Самюэль (P. Samuel) изучил функториальный характер К. д. г. и предложил несколько методов ее вычисления (как, напр., метод спуска). Другие подходы к изучению К. д. г. основаны на сравнении ее с группой Пикара, при этом применяются когомологич. и алгебро-геометрич. средства. Для любой абелевой группы существует изоморфная ей К. д. г.