Том 37. Женщины-математики. От Гипатии до Эмми Нётер (Наварро) - страница 65

На первую страницу
делится на а» для идеалов можно выразить как b
a. Гениальность Нётер заключается в том, что она выстроила цепочку идеалов, объединенных функцией принадлежности
, которая отражает их делимость друг на друга.

Так как любое отношение делимости рано или поздно заканчивается некоторым числом, то рано или поздно закончится и любая цепочка идеалов. «Хорошие» цепочки идеалов обязательно заканчиваются, то есть являются конечными. Кольца, на которых не существует бесконечных цепочек идеалов, называются нётеровыми кольцами. Именно этим кольцам Эмми уделяла особое внимание в своих исследованиях.

Позднее алгебраисты доказали эквивалентность следующих утверждений.

1. Кольцо А является нётеровым (иными словами, возрастающие цепочки идеалов на нем конечны).

2. Любой идеал на А является конечнопорожденным.

3. Любое множество идеалов на А содержит наибольший идеал.

В 1999 году Австралийский математический фонд выпустил футболки, на которых были изображены все возрастающие цепи для идеала 18 на множестве . Использовать другой пример помешали ограниченные размеры футболок. На футболках были изображены следующие цепи идеалов:


Как и следовало ожидать, эти цепочки конечны, а кольцо  является нётеровым. Между прочим, Гильберт доказал, что если кольцо А является нётеровым, то нётеровым будет и кольцо многочленов А[Х].

* * *

ТЕОРЕМА ЭММИ И ШАХМАТИСТА

Алгебраист Эмануэль Ласкер (1868–1941) был выдающимся математиком и чемпионом мира по шахматам. Он подробно рассмотрел обычные, простые и примарные идеалы. Не будем слишком углубляться в абстрактную алгебру и рассмотрим кольца А, которые также представляют собой области целостности. Примерным идеалом на этих кольцах называется идеал I, отличный от исходного кольца А, на котором при ab I и а 

 I существует n такое, что b>n I. (При n = 1 этот идеал называется простым.) Ласкер описал очень широкий класс колец (сегодня они называются кольцами Ласкера) на основе одного интересного свойства их идеалов. Любой идеал можно представить в виде пересечения конечного числа примарных идеалов.

Эмми Нётер доказала теорему, сегодня известную как теорема Нётер — Ласкера, которая звучит следующим образом:

«Любая нётерова область целостности является кольцом Ласкера».

Эта теорема, относящаяся к абстрактной алгебре, связывает между собой два, казалось бы, очень далеких понятия — конечные цепочки идеалов и пересечения примарных идеалов. Возможно, вы не заметили (и, по правде говоря, извиняться за это вовсе не стоит), что если мы применим теорему Ласкера — Нётер к кольцу , то получим основную теорему арифметики: любое целое число можно представить в виде произведения простых множителей единственным способом. Термин «нётерово кольцо», который сегодня используется повсеместно, ввел великий французский математик 

Следующая страница