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

+ Ь√-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. Количество таких идеалов, как и самих чисел, будет бесконечно велико. Сумма и произведение идеалов определяются очень просто:

Идеалы, которые представляют собой множества чисел, и обычные числа ведут себя одинаково, одинаково раскладываются на множители, и с точки зрения арифметики эквивалентны. Они эквивалентны даже в таком непростом аспекте, как делимость. В самом деле, «