Математическая энциклопедия - коммутативная алгебра

раздел алгебры, изучающий свойства коммутативных колец и связанных с ними объектов ( идеалов, модулей, нормирований и т. д.). К. а. выросла из задач, возникавших в теории чисел и алгебраич. геометрии. Задачи эти, как правило, относились к конкретным классам колец. Фундаментальным объектом теории чисел является кольцо Zцелых рациональных чисел, и основной факт его арифметики состоит в том, что любое целое число по существу однозначно разлагается в произведение простых чисел. В 30-е гг. 19 в. К. Гауссом (С. Gauss), Э. Куммером (Е. Rummer) и другими была обнаружена связь различных вопросов теории чисел (напр., квадратичные формы, теорема Ферма) с арифметикой квадратичных и круговых расширений поля рациональных чисел Q (см. [И]). Распространению классических рассуждений на кольца алгебраич. чисел препятствовало, однако, то обстоятельство, что разложение на далее неразложимые множители в них перестает быть однозначным (см. Алгебраическая теория чисел). Догадка Э. Куммера состояла в том, что если добавить к обычным числам некие "идеальные" числа (подобно тому, как в проективной геометрии добавляются бесконечно удаленные точки), однозначность разложения сохранится (см. Идеальное число).

Э. Куммеру удалось построить такие "идеальные" числа, или, как сейчас говорят, дивизоры, только для круговых полей; однако его результаты побудили Р. Дедекинда (R. Dedekind) и Л. Кронекера (L. Kronecker) распространить теорию дивизоров на произвольные кольца алгебраич. чисел. В построенной Р. Дедекиндом к 1882 теории была выявлена роль целых элементов поля; но что еще более важно это появление понятия идеала и простого идеала. Так были заложены основы одномерной К. а.

Параллельно в алгебраич. геометрии происходило формирование многомерной К. а. Алгебраич. геометрия того времени изучала свойства алгебраич. кривых на плоскости, а также более общих алгебраич. многообразий, задаваемых как множество общих нулей нескольких многочленов (различие между аффинными и проективными многообразиями здесь не существенно). То же многообразие Мможно задавать и другими уравнениями, так что более инвариантно с многообразием Мсвязывается идеал U всех многочленов, обращающихся в нуль на М. Это еще один путь, приводящий к понятию идеала. Однако до 1890 алгебраич. основы алгебраич. геометрии находились в зачаточном состоянии. Положение изменилось после опубликования работ Д. Гильберта (D. Hilbert). В 1893 он доказал теорему о нулях (см. Гильберта теорема). Несколько раньше он же установил следующие факты, во многом определившие дальнейшее направление развития К. а.: теорему о базисе (любой идеал в С[ х 1, . .., х п]. порождается конечным числом многочленов), теорему о сизигиях и существование Гильберта многочлена для однородного идеала в кольце многочленов.

Опыт работы с алгебраич. многообразиями малой размерности убеждал в том, что они состоят из конечного числа неприводимых подмногообразий, что приводило к алгебраич. задаче о представлении идеала в виде пересечения более просто устроенных идеалов. Эта задача была решена Э. Ласкером (Е. Lasker, см. [4]), к-рый ввел понятие примарного идеала, заменяющего в многомерном случае степень простого идеала, и ассоциированного с ним простого идеала, а также доказал существование примарного разложения произвольного идеала в кольце многочленов. Вопрос об однозначности такого разложения рассматривался Ф. Маколеем (F. Macaulay, 1913). Было установлено, что хотя само примерное разложение и не однозначно, множество ассоциированных с ним простых идеалов определяется однозначно, как и "изолированные" примерные компоненты. Естественное стремление избавиться от неоднозначности примарного разложения побудило Б. Л. Ван дер Вардена (В. L. Van der Waerden, 1931) ввести более грубое отношение эквивалентности для идеалов, чем равенство. Это привело к теории дивизориальных идеалов, или дивизоров, и позволило обобщить теорию Куммера Дедекинда на более широкий класс колец (см. Крулля кольцо).

Начиная с Л. Кронекера и Э. Ласкера, с простыми идеалами в кольце многочленов связывают их размерность, определяемую пока как степень трансцендентности соответствующего факторкольца; современное комбинаторное определение размерности было предложено В. Круллем (W. Krull) позже. Если все простые идеалы, ассоциированные с идеалом U, имеют одну размерность, то идеал U наз. несмешанным. В кольце многочленов идеалы главного ряда несметаны, или, в современной терминологии, кольцо многочленов является Коэна Маколея кольцом.

Наконец, ряд своих результатов Э. Ласкер распространил на кольцо сходящихся степенных рядов, рассматривая последнее с алгебраич. точки зрения.

К началу 20 в. были получены результаты, относящиеся к кольцам алгебраич. чисел и многочленов. Здесь же стоит упомянуть о конструктивном направлении, отыскивающем явные алгоритмы для установления принадлежности многочлена нек-рому идеалу. Однако конкретность материала мешала увидеть общие закономерности и связи. Толчком к развитию современной К. а. послужила теория р-адических чисел К. Гензеля (К. Hensel); именно возможность применения классических методов к такому нетрадиционному объекту позволила осознать и выделить общие идеи, применимые к произвольным кольцам (удовлетворяющим тем или иным условиям, напр, условиям конечности). Начинается новый этап этап абстрактной К. а., систематич. изучение строения различных классов коммутативных колец. Это проявилось уже в работах Э. Нётер (Е. Noetlier). Связав условие конечности базиса для любого идеала с условием максимальности, т. е. с условием обрыва возрастающих цепочек идеалов (кольца с этим условием наз. нётеровыми), она получила в наиболее общем виде теорию примерных разложений Ласкера Маколея, казавшуюся ранее сугубо вычислительной и громоздкой. Ею было дано также аксиоматич. описание дедекиндовых колец. В то же время Э. Артин (Е. Artin) изучает кольца с условием минимальности артиновы кольца; X. Грелль (Н. Grell) вводит понятие локализации целостного кольца операции, обобщенной затем К. Шевалле (С. Chevalley) и А. И. Узковым. В. Крулль доказывает теорему о главном идеале, положившую начало теории размерности нётеровых колец, а также теорему о пересечении степеней идеала в нётеровом кольце, являющуюся основой при изучении -адических топологий. Теория дивизориальных идеалов (1931) и теория нормирования обобщают более ранние исследования К. Гензеля и А. Островского (A. Ostrowski). Наконец, следует упомянуть теорему Нётер о нормализации, выяснение роли понятия целой зависимости в рамках общей теории коммутативных колец, а также теоремы Крулля о подъеме простых идеалов для целых расширений.