Эйнштейн был прав, и Эмми Нётер (1882–1935) , с которой ему так и не довелось вместе поработать в Институте перспективных исследований в Принстоне (хотя она этого заслуживала как никто), была удивительным математиком — возможно, величайшей женщиной-математиком всех времен. И Эйнштейн не единственный придерживался такой точки зрения: Норберт Винер поместил Нётер в один ряд с лауреатом двух нобелевских премий Марией Кюри, которая тоже была превосходным математиком.

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

По воспоминаниям очевидцев, она забывала уложить волосы, почистить платье, тщательно пережевывать пищу и отличалась многими другими чертами, которые делали ее не слишком женственной в глазах благопристойных соотечественников-немцев. Также Эмми страдала сильной близорукостью, из-за чего носила некрасивые очки с толстыми стеклами и была похожа на сову. Сюда же следует добавить и привычку носить (из соображений удобства) мужскую шляпу и набитый бумагами кожаный чемодан, как у страхового агента. Сам Герман Вейль, ученик Эмми и почитатель ее математического таланта, достаточно взвешенно выразил общее мнение о наставнице словами: «Грации не стояли у ее колыбели».

Портрет Эмми Нётер в юности.

Превращение в прекрасного лебедя

Эмми Нётер родилась в обществе, где женщины, можно сказать, были скованы по рукам и ногам. В то время в Германии правил всесильный кайзер Вильгельм II, любитель торжественных приемов и церемоний. Он приезжал в город, чинно спускался с поезда, а затем местный градоначальник произносил речь. Всей грязной работой занимался Железный Канцлер Бисмарк. Он и был истинным главой государства и общества, вдохновителем его консервативной структуры, которая препятствовала обучению женщин (всеобщее образование считалось признаком ненавистного социализма). Образцом женщины была супруга кайзера, императрица Августа Виктория. Ее жизненным кредо были четыре К: кайзер, Kinder (дети), Kirche (церковь), Küche (кухня) — дополненная версия трех К из народной трилогии «Kinder, Kirche, Küche». В такой среде женщинам отводилась четко выписанная роль: на социальной лестнице они находились ниже мужчин и на ступеньку выше домашних животных. Так, женщины не могли получить образование. Собственно, обучение женщин не было запрещено полностью — для родины Гёте и Бетховена это было бы слишком. Преодолев множество препятствий, женщины могли учиться, но не имели права занимать должностей. Итог был тем же самым, но игра — более тонкой. Некоторые преподаватели, демонстрируя особое идеологическое рвение, отказывались начинать занятия, если в аудитории присутствовала хотя бы одна женщина. Совершенно иначе дело обстояло, например, во Франции, где господствовали свобода и либерализм.

Эмми родилась в небольшом городе Эрлангене, в семье преподавателей, принадлежавшей к верхушке среднего класса. Эрланген занимал необычное место в истории математики — он был малой родиной создателя так называемой синтетической геометрии Христиана фон Штаудта (1798–1867) , кроме того, именно в Эрлангене юный гений Феликс Клейн (1849–1925) обнародовал свою знаменитую Эрлангенскую программу, в которой классифицировал геометрии с точки зрения теории групп.

Отец Эмми, Макс Нётер, преподавал математику в Эрлангенском университете. Его интеллект унаследовали сын Фриц, посвятивший жизнь прикладной математике, и дочь Эмми, которая напоминала гадкого утенка из сказки Андерсена — никто не мог и предположить, каких научных высот она достигнет. В детстве и юности Эмми ничем не отличалась от сверстников: ей очень нравилось танцевать, поэтому она охотно посещала все торжества. При этом девушка не проявляла особого интереса к музыке, что отличает ее от других математиков, которые часто любят музыку и даже играют на разных инструментах. Эмми исповедовала иудаизм — в то время это обстоятельство было неважным, но сказалось на ее дальнейшей судьбе. За исключением редких проблесков гениальности обучение Эмми ничем не отличалось от обучения ее сверстниц: она умела готовить и вести домашнее хозяйство, проявляла успехи в изучении французского и английского, и ей пророчили карьеру преподавателя языков. Ко всеобщему удивлению, Эмми выбрала математику.

Фасад Kollegienhaus — одного из старейших корпусов Эрлангенского университета.

Бесконечная гонка

Эмми имела все необходимое для того, чтобы посвятить себя выбранному занятию: она знала математику, семья могла выделять ей средства на жизнь (пусть и весьма скудные), а личное знакомство с коллегами отца позволяло ей рассчитывать на то, что учеба в университете не станет невыносимой. Чтобы продолжить обучение, Эмми пришлось стать слушательницей — посещать занятия в качестве полноправного студента ей запрещалось. Она успешно окончила обучение и сдала экзамен, дававший право на получение докторской степени. В качестве темы диссертации Эмми выбрала алгебраические инварианты тернарных квадратичных форм. Преподавателем этой дисциплины был Пауль Гордан (1837–1912) , которого современники называли королем теории инвариантов; он был давним другом отца Нётер и сторонником конструктивной математики. В поисках алгебраических инвариантов Гордан превращался в настоящего бульдога: он вцеплялся в инвариант и не разжимал челюстей до тех пор, пока не выделял его среди хитросплетения расчетов, порой казавшихся бесконечными. Объяснить, что такое алгебраический инвариант и форма, не слишком сложно, но эти понятия не представляют интереса для современной алгебры, поэтому не будем останавливаться на них подробнее.

В докторской диссертации под названием «Об определении формальных систем тернарных биквадратичных форм» приведен 331 инвариант тернарных биквадратичных форм, найденный Эмми. Работа принесла ей степень доктора и дала возможность вдоволь попрактиковаться в математической гимнастике. Этот тяжкий труд сама Эмми позднее в порыве самокритики назвала чепухой. Она стала второй женщиной — доктором наук в Германии после Софьи Ковалевской.

Эмми получила должность преподавателя в Эрлангене, где проработала восемь долгих лет, не получая никакого жалования. Порой ей выпадала честь замещать собственного отца — его здоровье к тому времени ослабело. Пауль Гордан вышел в отставку, и его сменил Эрнст Фишер, который придерживался более современных взглядов и прекрасно ладил с Эмми. Именно Фишер познакомил ее с трудами Гильберта.

К счастью, проницательность Нётер, ее ум и знания заметили два светила Гёттингенского университета, «самого математического университета мира». Этими светилами были Феликс Клейн и Давид Гильберт (1862–1943) . Шел 1915 год, Первая мировая война была в самом разгаре. И Клейн, и Гильберт отличались крайним либерализмом в вопросах обучения женщин (и их участия в исследовательской работе) и были специалистами высочайшего уровня. Они убедили Эмми покинуть Эрланген и переехать к ним в Гёттинген для совместной работы. В то время гремели революционные физические идеи Альберта Эйнштейна, а Эмми была экспертом по алгебраическим и прочим инвариантам, составлявшим крайне полезный математический аппарат теории Эйнштейна (к разговору об инвариантах мы вернемся чуть позже).

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

Но Эмми так и не была избрана приват-доцентом. Ученый совет объявил ей настоящую войну. Конфликт вскоре прекратился, была провозглашена Веймарская республика, и положение женщин улучшилось: они получили право голосовать, Эмми смогла занять должность профессора (но без жалования), однако лишь в 1922 году, приложив огромные усилия, она наконец начала получать деньги за свой труд. Эмми раздражало, что ее работа на посту редактора журнала «Анналы математики», отнимавшая немало времени, не была оценена по достоинству.

В 1918 году была опубликована сенсационная теорема Нётер. Многие называли ее именно так, хотя Эмми доказала немало и других теорем, в том числе очень важных. Нётер заслужила бы бессмертие, даже если бы умерла на следующий день после публикации теоремы в 1918 году, хотя на самом деле она нашла доказательство тремя годами ранее. Эта теорема не относится к абстрактной алгебре и находится на стыке между физикой и математикой, точнее говоря, принадлежит к механике. К сожалению, чтобы объяснить ее понятным для читателя языком, пусть даже в упрощенном виде, мы не сможем обойтись без высшей математики и физики.

Если говорить просто, без символов и уравнений, то теорема Нётер в наиболее общей формулировке гласит: «Если физическая система обладает непрерывной симметрией, то в ней найдутся соответствующие величины, которые сохраняют свои значения с течением времени».

Понятие непрерывной симметрии в высшей физике объясняется с помощью групп Ли. Не будем углубляться в детали и скажем, что в физике под симметрией понимается любое изменение физической системы, относительно которого физические величины в системе инвариантны. Это изменение посредством математически непрерывного преобразования должно затрагивать координаты системы, а рассматриваемая величина до и после преобразования должна оставаться неизменной.

Откуда же взялся термин «симметрия»? Он принадлежит к чисто физическому языку и применяется потому, что по смыслу схож с термином «симметрия» в математике. Представьте себе повороты пространства, образующие группу симметрии. Если мы применим один из таких поворотов к системе координат, то получим другую систему координат. Изменение координат будет описываться непрерывными уравнениями. Согласно теореме Нётер, если система инвариантна относительно подобной непрерывной симметрии (в данном случае — поворота), то в ней автоматически существует закон сохранения той или иной физической величины. В нашем случае, проведя необходимые вычисления, можно убедиться, что этой величиной будет момент импульса.

Не будем останавливаться на этой теме и приведем некоторые разновидности симметрии, группы симметрии и соответствующие физические величины, которые будут сохраняться.

Эта теорема вызвала множество хвалебных отзывов, в том числе от Эйнштейна, который писал Гильберту:

«Вчера я получил очень интересную статью госпожи Нётер о построении инвариантов. На меня производит впечатление то, что такие вещи можно рассматривать со столь общей точки зрения. Старой гвардии в Гёттингене не повредило бы, если бы ее послали на обучение к госпоже Нётер. Похоже, она хорошо знает свое ремесло».

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

Перенесемся в простой и понятный мир экспериментов, описанный Карлом Поппером (1902–1994) , и предположим, что мы создали новую теорию, описывающую некое физическое явление. По теореме Нётер, если в рамках нашей теории присутствует некая разновидность симметрии (предполагать подобное вполне разумно), то в системе будет сохраняться некоторая величина, которую можно измерить. Таким образом можно определить, верна наша теория или нет.

* * *

ТЕОРЕМА НЁТЕР

Физическая система в механике определяется с помощью достаточно сложных терминов, в том числе такого понятия, как действие, которое можно рассматривать как произведение выделенной энергии на время, затраченное на ее поглощение. Поведение физической системы на языке математики описывается ее лагранжианом L , который представляет собой функционал (функцию от функций) вида

где q — положение, q · — скорость (точка вверху в нотации Ньютона обозначает производную от q ), t - время. Обратите внимание, что q — положение в системе координат общего вида, которая необязательно является декартовой.

Действие А на языке математики выражается интегралом вдоль пути, выбранного системой:

Принцип наименьшего действия, сыгравший столь важную роль в физике XIX века, гласит: физическая система движется согласно закону наименьших усилий, следовательно, если использовать язык математического анализа, действие А должно представлять собой экстремальное значение, то есть минимум или максимум, поэтому его первая производная должна равняться нулю.

Хорошая иллюстрация лучше тысячи слов, поэтому приведем пример, который прекрасно объясняется во множестве книг и в интернете. Теорема Нётер в этом примере выражена в следующем виде: «Допустим, что система частиц обладает некой симметрией, то есть ее лагранжиан L инвариантен относительно изменений некоторой переменной s  таким образом, что dL / ds = 0. Тогда существует свойство системы С , которое будет сохраняться: dC / dt = 0

Рассмотрим физическую систему, состоящую из двух пружин с коэффициентами упругости к 12 и к 23   Введем обозначения:

Здесь общие координаты q совпадают с декартовыми координатами х i . Применив методы математического анализа, в частности уравнение Эйлера — Лагранжа, получим:

Теперь рассмотрим симметрию (в формулировке теоремы она обозначена через s ). Так как закон упругости выполняется всегда, мы вполне можем предположить, что s = t , то есть время, и симметрия лагранжиана, о которой говорится в исходной формулировке, проявляется так:

Проведем некоторые алгебраические преобразования:

Изменим порядок членов:

Мы получили сохраняющуюся величину С — она приведена в скобках. Так как q˙ = х˙ , имеем

Сумма (со знаком «минус») кинетической и потенциальной энергии, то есть общая энергия системы, постоянна. Мы получили закон сохранения энергии.

* * *

Алгебра и еще раз алгебра. И какая алгебра!

Мы прервали наш рассказ об Эмми на том, что она обосновалась в Гёттингене, рядом с Клейном и Гильбертом — двумя математиками мировой величины. Остроумный Гильберт нашел способ преодолеть препятствия со стороны наиболее косных и консервативных преподавателей: он организовал курсы под своим именем, но на занятиях его всякий раз замещала Эмми, а недоброжелателям оставалось лишь скрежетать зубами.

Эмми отличалась невероятной работоспособностью — ее можно было сравнить с автомобилем, у которого отказали тормоза. В 1920 году она решила последовать новым путем. Постепенно, но неуклонно Эмми стала уделять все больше внимания вопросам чистой алгебры: сначала кольцам и идеалам на кольцах, затем — более сложным структурам, в частности различным алгебрам. Она настолько овладела темой, что вполне заслужила титул «властительницы колец». К этой эпохе относятся столь важные для развития алгебры результаты, как теорема Ласкера — Нетер (1921) и лемма о нормализации (1926). К 1927 году относятся ее теоремы об изоморфизме.

Затем практически сразу же Эмми перешла к более сложным темам, в частности к алгебрам. В 1931 году была сформулирована теорема Альберта — Брауэра — Хассе — Нётер об алгебрах конечной размерности. В 1933 году Эмми Нётер вновь получила важный результат, связанный с алгебрами, — так называемую теорему Сколема — Нётер. Мы не приводим подробные формулировки этих теорем, так как в них упоминаются очень абстрактные математические термины и объекты, доступные исключительно специалистам.

За Эмми повсюду следовала настоящая толпа учеников — шумных, недисциплинированных, но очень умных. То были «дети Нётер», которые внимали ее словам. Они сопровождали ее во время длинных прогулок и частых купаний в муниципальном бассейне, где Эмми плавала и ныряла, словно дельфин. Многие «дети Нётер» впоследствии стали великими математиками благодаря идеям, которые они почерпнули от своей наставницы, хотя ее педагогический дар был, если можно так выразиться, нестандартным: она относилась к ученикам как курица-наседка к цыплятам — была неизменно строгой и требовательной и не отходила от них ни на шаг. Многим она напоминала скорее петуха, чем курицу, и они называли ее, проявляя уважение к ее уму и некоторую робость, в мужском роде — Der Noether.

«Дети Нётер ».

Понять, сколь любопытной была свита «детей Нётер», поможет анекдотичный случай времен нацистской Германии. Наташа Артин-Брауншвейг, супруга Эмиля Артина (1898–1962) , рассказывала, как они однажды спустились в гамбургское метро: ученики ни на шаг не отставали от Нётер и шли за ней, словно дети за Гамельнским крысоловом. Едва они зашли в поезд, Эмми начала обсуждать математические темы с Эмилем Артином, все больше повышая голос и не обращая внимания на остальных пассажиров. В речи Нётер постоянно звучали слова «фюрер» и «идеал» — к великому ужасу Наташи, которая боялась, что их вот-вот задержит гестапо.

Однако любой из «детей» без труда объяснил бы внушавшим ужас гестаповцам, что эти слова были всего лишь невинными алгебраическими терминами из теории колец. В то время нацисты установили повальную слежку, они вмешивались в частную жизнь людей и буквально осаждали университеты. Один из учеников Эмми, который был евреем и поэтому не мог посещать университет, приходил заниматься к ней домой в форме члена штурмового отряда, чтобы избежать подозрений. Пацифистка Эмми воспринимала происходящее со смирением.

Она занималась наиболее современными разделами алгебры. Время от времени Эмми обращалась к топологии, в частности в совместных работах с Павлом Сергеевичем Александровым (1896–1982) . Специализацией Нётер было подробное изучение алгебраических структур, цель которого — отбросить их частные свойства и рассмотреть их в максимально общем виде. Эмми пользовалась безграничным авторитетом, и к ней приезжали ученики со всех уголков Европы. Один из них, Бартель ван дер Варден (1903–1996) , впоследствии прославившийся как автор «Современной алгебры», книги, ставшей каноном для нескольких поколений (по этой самой книге, страницы которой были испещрены непонятными символами готического шрифта, учился и я), писал в некрологе Эмми Нётер:

«Для Эмми Нётер связи между числами, функциями и операциями становились ясными, доступными для обобщения и полезными только после того, как они были отделены от конкретных объектов и сведены к концептуальным связям общего вида».

А вот что писал Эйнштейн:

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

Основные алгебраические структуры

Внимательно прочтите этот раздел, посвященный азам абстрактной алгебры, — в противном случае вы не поймете ничего из того, о чем говорится в следующих разделах. Этот раздел обширен, но прост, так как содержит исключительно определения.

Основных алгебраических структур, которые рассматриваются как множества с одной или несколькими операциями, много. Мы ограничимся тем, что рассмотрим структуры, на которых определены две операции, o и •. Этими операциями часто оказываются + и •. Порой требуется так называемый третий закон внешней композиции (а иногда и больше), но мы рассмотрим только простейшие случаи. Вместо того чтобы постоянно использовать слова «является элементом», заменим их символом  .

Группой называется множество элементов А с определенной на нем операцией o, которая удовлетворяет трем следующим условиям:

1) существует нейтральный элемент n такой, что n о а = а о n = а для любого a  А;

2) для каждого а   А существует обратный элемент а-1 такой, что а о а-1 = а-1 о а = n;

3) для любых a, b, с  А выполняется свойство ассоциативности, согласно которому (а о Ь) о с = а о (Ь о с).

Группа называется коммутативной, или абелевой (в честь норвежского математика Нильса Хенрика Абеля), если для любых a, b   А определенная нами операция обладает коммутативностью, то есть выполняется соотношение а о Ь = b о а.

Если на группе определена операция сложения (+), то элемент, обратный а, обозначается — а и называется противоположным. Нейтральный элемент в этом случае обозначается 0.

Если на группе определена операция умножения (), то элемент, обратный а, обозначается 1/а. Нейтральный элемент в этом случае обозначается 1.

4) для любых а, Ь, с  А справедливо (а Ь) с = а (Ь с).

Операции о и связаны друг с другом свойством дистрибутивности относительно:

5) а (Ь о с) = (а b) о (а с).

Кольцо — это коммутативная группа, на которой определена еще одна операция обладающая свойством ассоциативности:

Примерами колец являются натуральные числа , целые числа , рациональные числа , вещественные числа  и комплексные числа  (вне зависимости от определенной для них модальной арифметики). Многочлены также образуют кольца.

В мире колец операция о обладает коммутативностью аналогично операции сложения, поэтому она обозначается знаком +. Операция (для простоты будем предполагать, что она также обладает коммутативностью) обозначается знаком ·, подобно умножению.

Подгруппой или подкольцом А будет любое подмножество, которое будет оставаться группой или кольцом, если ограничить операции о или этим подмножеством. Идеал — особое подкольцо: это подкольцо В  А такое, что любое произведение b   В и любого другого элемента, принадлежащего В или нет, будет принадлежать В. Идеалы можно складывать и перемножать. Результатами сложения и умножения идеалов также будут идеалы. Понятие идеала возникло как обобщение понятия числа. Для двух данных идеалов I и J имеем:

Определить идеал IJ несколько сложнее. Это идеал, порожденный всеми произведениями ху, где х  I, у  J. Пересечение всех идеалов, содержащих подобные произведения, называется порожденным идеалом.

Областью целостности называется кольцо А, на котором для операции · не существует так называемых делителей нуля. Иными словами, на этом кольце не существует элементов а и b таких, что аb = bа = 0.

В этом случае кольцо А является коммутативным и содержит единичный элемент, то есть для операции определен нейтральный элемент, играющий роль единицы:

а 1 = а.

Теперь рассмотрим область целостности А без 0. Обозначим ее через А* = А|(0). Если операция · определяет на А* коммутативную группу, то А называется полем. Если А* не является коммутативной, то А называется телом. Не стоит пугаться подобных сложностей: если кольцо А конечно, то оно коммутативно согласно знаменитой теореме Веддербёрна. Если кольцо А бесконечно, то наступает раздолье для алгебраистов.

Рассмотрим А-модули — редчайший вид современного алгебраического мира. Чтобы определить левый А-модуль, нам потребуются кольцо с единицей А и коммутативная группа М. Действия с элементами a, b  А и элементами М (m, n  М) определяются следующим, вполне обычным образом:

1. (ab)m= а(Ьm)

2. (а + b) n = am + bm

3. а(m + n) = am + аn

4. 1m = m.

Аналогично определяется правый А-модуль; коммутативный модуль (или просто A-модуль) — это модуль, который является правым и левым одновременно. Если А — поле, то A-модуль называется векторным пространством. Если для векторов векторного пространства определена операция умножения, имеем «алгебру». На этом мы остановимся. Хотя приведенные нами определения элементарны, вполне возможно, что читатель не назовет элементарным этот раздел.

Несколько слов об алгебре, идеалах и нётеровых кольцах

Большая часть научной работы Эмми Нётер была посвящена кольцам и идеалам — алгебраическим структурам, над которыми она работала многие годы. Почему же Нётер уделяла им такое внимание?

Многие объекты, с которыми работают математики, представляют собой кольца: так, кольцами являются множество целых чисел  и его последовательные расширения — ,  и . Кольцами также являются многочлены одной переменной с коэффициентами из вышеуказанных колец [X], [X],  [X] и [X]. Аналогично кольцами являются многочлены нескольких переменных [X1, Х2…., Xn],  [X1, Х2…., Xn],  [X1, Х2…., Xn], и [X1, Х2…., Xn]. А также сходящиеся ряды — короче говоря, много чего еще.

Но что такое идеалы и почему они получили столь романтичное название? Совершим небольшой экскурс в историю математики. Рассмотрим в качестве примера квадратичное целое [√-5] или [i√5], что аналогично. Это множество чисел вида а + Ь√-5, где а и Ь — целые числа. Иными словами,

[√-5] — кольцо (убедитесь в этом), но здесь, говоря математическим языком, мы вступаем в запретную зону. Мы привыкли к стандартным свойствам делимости и к тому, что разложение числа на простые множители всегда является единственным. К примеру, рассмотрим число 21. Имеем 21 = 3·7 и на этом разложение на множители заканчивается: 21 можно разложить на простые множители единственным способом, и этими множителями будут 3 и 7. Это утверждение следует из основной теоремы арифметики: на множестве  разложение любого числа на простые множители является единственным. На множестве [√-5] это утверждение уже не будет выполняться: здесь мы можем разложить 21 на простые множители двумя способами:

3·7 = (4 + √-5)(4 — √-5) = 21.

На этом множестве разложение на простые множители уже не будет единственным, что, к своему величайшему неудовольствию, заметил еще Эрнст Куммер (1810–1893) . Это утверждение, которое кажется не особенно важным и записывается всего одной строкой, помешало алгебраистам XIX доказать теорему Ферма и доставило им немало хлопот.

Чтобы как-то исправить ситуацию и обойти проблему стороной, сам Куммер ввел идеальные числа. Они оказались не слишком полезны, так как принадлежали уже не к  [√-5], а к другому, большему кольцу. Это были даже не числа — сегодня мы бы назвали их множествами чисел, эквивалентных между собой. Тогдашним математикам были неизвестны общепринятые на сегодняшний день понятия фактор множества и гомоморфизма, и какой-то порядок и логику в мир идеалов внес лишь Рихард Дедекинд (1831–1916) . За ним последовали другие алгебраисты, которые расчистили территорию и приступили к раскопкам. Важное место среди них занимала Эмми Нётер.

Идеалы обладают еще одной примечательной особенностью — речь идет о цепочке идеалов. Не будем следовать за Нётер и пытаться объяснить абстрактное понятие, а ограничимся тем, что приведем один очень простой пример — идеалы кольца целых чисел .

В этом мире (он представляет собой область целостности, то есть «хорошее» кольцо) правит бал основная теорема арифметики: для всех чисел разложение на простые множители является единственным, и ничто не нарушает гармонию. Идеалами в этом мире будут множества n , состоящие из целых чисел, кратных n. Количество таких идеалов, как и самих чисел, будет бесконечно велико. Сумма и произведение идеалов определяются очень просто:

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

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

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

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

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

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

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

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

* * *

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

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

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

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

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

* * *

Конец истории

Не стоит и говорить, что уже в 1930-е годы Эмми Нётер пользовалась среди математиков невероятным уважением. Пример тому — ее участие в Международном конгрессе 1932 года. На следующий год к власти в Германии пришли нацисты, и с огромной решительностью, которая могла сравниться только с их же глупостью, принялись изгонять из университетов всех преподавателей-евреев. От антисемитизма пострадала и Эмми. Напрасно протестовали ее друзья и знакомые — она и многие ее коллеги (Томас Манн, Альберт Эйнштейн, Стефан Цвейг, Зигмунд Фрейд, Макс Борн и другие) были вынуждены прекратить преподавание в Германии и покинуть страну (как стало ясно позднее, такая возможность выпала не всем), чтобы распространять свои зловредные идеи среди представителей других, неарийских рас. Что именно зловредного увидели нацисты в современной алгебре, мы никогда не узнаем. Вероятнее всего, нацисты сами не знали ответа на этот вопрос.

Брат Эмми, Фриц, переехал в Томск, а сама Эмми, которая некоторое время склонялась то к Оксфорду, то к Москве (она испытывала определенную симпатию к социалистической революции в СССР), усилиями Фонда Рокфеллера оказалась в США.

Об антисемитизме и его распространении написано множество книг. Будет нелишним сказать, что до вступления США во Вторую мировую войну в некоторых университетах, которые считались храмами знания и оплотами либерализма, в частности, в Принстонском университете в Нью-Джерси, набирал обороты антисемитизм. Именно по этой причине еврейская семья миллионеров и филантропов Бамбергеров пожертвовала несколько миллионов долларов Институту перспективных исследований в том же Принстоне — абсолютно нейтральному учреждению, свободному от подобных предрассудков. Это пожертвование в итоге помогло институту стать образцовым исследовательским учреждением. В Принстоне ученые вынашивали идеи, получали зарплату исключительно за научную работу и были освобождены от преподавания. Институт стал убежищем для многих европейских эмигрантов — полностью или наполовину евреев. Среди них были Эйнштейн, Вейль, фон Нейман и Гёдель. Хотя Эмми Нётер читала в институте лекции и проводила семинары, да и ее заслуг в математике было более чем достаточно, она так и не стала полноправным сотрудником Принстона — только потому, что была женщиной. Основным местом работы Нётер стал расположенный недалеко от Нью-Джерси Брин-Мор-колледж в штате Пенсильвания — лучший женский колледж мира. Иногда Эмми забывала, что находится в Америке, и в разгар спора о математике разражалась тирадами на немецком.

Спустя всего два года после приезда в Америку врачи обнаружили у Эмми рак матки. Она прекрасно перенесла операцию, но умерла от эмболии. Интересно, что среди лавины некрологов один, за подписью ван дер Вардена, был без особых проблем опубликован в Германии — должно быть, нацистские цензоры не слишком хорошо разбирались в алгебре.

Именем Эмми Нётер также названы кратер на обратной стороне Луны и астероид под номером 7001.