КЛАССОВ ДИВИЗОРОВ ГРУППА

КЛАССОВ ДИВИЗОРОВ ГРУППА

- факторгруппа группы диеизориалъных идеалов D (А) Крулля кольца А по подгруппе главных идеалов F(A). К. д. г. является абелевой группой и обычно обозначается С(А). Группа С(А)порождается классами простых идеалов высоты 1 в кольце А.

В некотором смысле К. д. г. измеряет отклонение от однозначности разложения элементов кольца Ана неразложимые множители. Так, факториальное кольцо имеет нулевую К. д. г.

Пусть j :- гомоморфизм колец Крулля, тогда при некоторых дополнительных предположениях (напр., в случае, когда В- целое или плоское расширение кольца А)определен канонич. гомоморфизм К. д. г. j* : Если В - локализация кольца Апо мультипликативной системе S, то j* сюръективно и ядро j* порождается простыми дивизориальными идеалами кольца А, пересекающимися с S (теорема Hагата). Если В- кольцо многочленов над А, то канонич. гомоморфизм ф* биективен (это является обобщением теоремы Гаусса о факториальности кольца многочленов над полем). В более общем случае, когда В - симметрическая нётерова алгебра А-модуля М, канонич. гомоморфизм j* будет биективен при условии, что все симметрич. степени Si (М). рефлексивны. Если В- кольцо формальных степенных рядов над А, то гомоморфизм j* инъективен (и даже обратим слева), но. вообще говоря, не биективен.

Подгруппа группы С(А), порожденная обратимыми идеалами, изоморфна Пикара группеPic(A) кольца А, и функториальные свойства Pic (А)и С(А)согласованы. Так, если В- строго плоское расширение кольца Аи гомоморфизм j* : инъективен, то инъективен и j* : В частности, если пополнение Алокального кольца Афакториально, то факториально и А(теорема Мори).

Пусть А- нормальное нётерово кольцо. Группа Pic (А)совпадает с С(А)тогда и только тогда, когда А- локально факториальное кольцо, т. е. все локальные кольца А т факториальны (напр., когда А - регулярное кольцо). Более точно, если - факториально}, то где Uпробегают систему открытых подсхем в Spec(A), содержащих F. Это позволяет определить К. д. г. нормальной схемы [5] - группу классов дивизоров Вейля (см. Дивизор).

Первоначально изучались К. д. г. колец алгебраич. чисел, первые результаты о конечности этой группы были получены еще Э. Куммером (Е. Kummer). Имеется тесная связь свойств К. д. г. с теоретико-числовыми вопросами, напр, с теоремой Ферма. Таблицы порядков.

К. д. г. некоторых колец алгебраич. чисел приведены в [1].

Современную общность теория К. д. г. получила в работах В. Крулля (W. Krull); П. Самюэль (P. Samuel) изучил функториальный характер К. д. г. и предложил несколько методов ее вычисления (как, напр., метод спуска). Другие подходы к изучению К. д. г. основаны на сравнении ее с группой Пикара, при этом применяются когомологич. и алгебро-геометрич. средства.

Для любой абелевой группы существует изоморфная ей К. д. г.

Лит.:[1] Боревич 3. И., Шафаревич И. Р., Теория чисел, М., 1964; [2] Бурбаки Н., Коммутативная алгебра, пер. с франц., М., 1971; [3] Samuel P., Topology, [1964], v. 3, Suppl. 1, S. 81-96; [4] Fоssum R. M., The divisor class group of a Krull domain, В., 1973; [5] Grоthendieck A., Dieudonne J., "Publ. Math. IHES", 1967, t. 32.

В. И. Данилов.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "КЛАССОВ ДИВИЗОРОВ ГРУППА" в других словарях:

  • НЕРОНА-СЕВЕРИ ГРУППА — группа классов дивизоров по отношению алгебраич. эквивалентности на неособом проективном многообразии. Пусть X неособое проективное многообразие размерности , определенное над алгебраически замкнутым полем группа дивизоров многообразия X, а… …   Математическая энциклопедия

  • ПИКАРА ГРУППА — группа классов обратимых пучков (или линейных расслоений). Более точно, пусть окольцованное пространство. Пучок модулей наз. обратимым, если он локально изоморфен структурному пучку . Множество классов изоморфных обратимых пучков на Xобозначается …   Математическая энциклопедия

  • ПОЛЕЙ КЛАССОВ ТЕОРИЯ — теория, дающая описание всех абелевых расширений (конечных расширений Галуа с абелевой группой Галуа) поля К, принадлежащего к одному из следующих типов: 1) К поле алгебраич. чисел, т. е. конечное расширение поля ; 2) К конечное расширение поля… …   Математическая энциклопедия

  • КРУЛЛЯ КОЛЬЦО — коммутативное целостное кольцо А, для к poro существует семейство дискретных нормировании поля частных Ккольца А, удовлетворяющее следующим условиям: а) для любого н для всех i, исключая, быть может, конечное число, б) для условие эквивалентно… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ КРИВАЯ — алгебраическое многообразие размерности 1. А. к. является наиболее изученным объектом алгебраической геометрии. В дальнейшем под А. к. понимается, как правило, неприводимая А. к. над алгебраически замкнутым полем. Наиболее простым и интуитивно… …   Математическая энциклопедия

  • ДИВИЗОР — обобщение понятия делителя элемента коммутативного кольца. Впервые (под назв. идеальный делитель ) это понятие возникло в работах Э. Куммера [1] об арифметике круговых полей. Теория Д. для коммутативного кольца А с единицей без делителей нуля… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ ПОВЕРХНОСТЬ — двумерное алгебраическое многообразие. Вместе с алгебраическими кривыми А. п. представляют собой наиболее изученный класс алгебраич. многообразий. Богатство задач и идей, применяемых для их решения, делает теорию А. п. одним из самых интересных… …   Математическая энциклопедия

  • КВАДРАТИЧНОЕ ПОЛЕ — расширение степени 2 поля рациональных чисел Q. Любое К. п. имеет вид где т. е. получается присоединением к полю Q элемента тогда и только тогда, когда d1=c2d2, где Поэтому любое К. п. имеет вид где d целое рациональное число свободное от… …   Математическая энциклопедия

  • КРУГОВОЕ ПОЛЕ — поле деления круг а, поле получающееся присоединением к полю рациональных чисел первообразного корня из единицы степени га, где п некоторое натуральное число. Иногда (локальным) круговым полем наз. также поле вида где поле рациональных р… …   Математическая энциклопедия

  • МОДУЛЬ — абелева группа с кольцом операторов. М. является обобщением (линейного) векторного пространства над полем Кдля случая, когда Кзаменяется нек рым кольцом. Пусть задано кольцо А. Аддитивная абелева группа Мназ. левым А модулем, если определено… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»