|
Нётер заново интерпретировала этот аргумент как утверждение о том, что любая цепочка возрастающих идеалов должна прекратиться после конечного числа шагов. То есть каждый идеал в кольце многочленов является конечно порожденным. Она опубликовала эту идею в 1921 г. в масштабной статье «Теория идеалов в кольцах». Эта статья дала толчок развитию общей теории коммутативных колец. Нётер стала настоящим экспертом по извлечению важных теорем из условия обрыва цепей, а кольцо, удовлетворяющее этому «условию обрыва возрастающей цепи», называют Нётеровым. Такой концептуальный подход к инвариантам был совершенно не похож на бесконечные расчеты в ее диссертации, которые она теперь пренебрежительно называла Formelgestrüpp – формульными джунглями.
Сегодня каждый студент-математик осваивает абстрактный аксиоматический подход к алгебре в процессе обучения. Важнейшим здесь является понятие группы, лишенное уже каких бы то ни было ассоциаций с перестановками или решениями алгебраических уравнений. В самом деле, абстрактная группа вовсе не обязана даже состоять из преобразований. Она определяется как произвольная система элементов, которые можно перемножать, получая при этом другой элемент этой же системы, в соответствии с коротким списком простых условий: это ассоциативный закон, существование в группе «единичного элемента», при умножении которого на любой другой элемент получается тот же элемент, и существование для каждого элемента системы «обратного» элемента, который при перемножении с данным дает единичный элемент. То есть существует элемент, который ничего не делает, каждому элементу соответствует другой элемент, который обращает вспять все, что делает первый, и если вы перемножаете три элемента подряд, то не имеет значения, какую пару вы перемножаете первой. Чуть более сложные структуры вводят в действие полный спектр арифметических операций. Я уже упоминал кольцо. Существует также поле, в котором помимо всего прочего возможно деление. Строгое развитие такого абстрактного взгляда представляет сложности, и к нему приложили руку многие видные математики. Часто неясно, кто и что сделал первым. К тому моменту, когда разобрались со строгими определениями, большинство математиков уже довольно четко понимали, что происходит. Но, если разобраться, всем этим подходом мы обязаны Нётер, которая всегда подчеркивала необходимость аксиоматического подхода ко всем математическим структурам. В 1924 г. в ее круг вошел голландский математик Бартель Ван дер Варден, который стал главным распространителем ее подхода, кратко изложенного в его книге «Современная алгебра» 1931 г. К 1932 г., когда Нётер выступила на пленарном заседании Международного конгресса математиков, ее алгебраические достижения были признаны во всем мире. Она была спокойна, скромна и великодушна. Позже в некрологе Ван дер Варден так подвел итог ее деятельности: Максиму, которой Эмми Нётер всегда руководствовалась в своей работе, можно было бы сформулировать так: любые отношения между числами, функциями и операциями становятся прозрачными, широко применимыми и полностью продуктивными только после того, как их изолируют от конкретных объектов и сформулируют как корректные общие понятия.
* * * Нётер думала не только об алгебре. Она привнесла свое видение и в топологию. Для ранних топологов топологический инвариант представлял собой комбинаторный объект, такой как множество независимых циклов – замкнутых петель с определенными свойствами. Пуанкаре, введя понятие «гомотопия», начал процесс добавления туда дополнительной структуры. Когда Нётер выяснила, чем занимаются топологи, она сразу же обратила внимание на то, что они упустили из виду фундаментальную абстрактную алгебраическую структуру. Циклы – это не просто такие штуки, которые можно пересчитать: если подойти к вопросу аккуратно, их можно превратить в группу. |
