Примарное разложение

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

Definition

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

Scope

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

Core questions

• Что такое примарный идеал и как он обобщает степень простого числа?
• Когда идеал допускает примарное разложение?
• Какие части примарного разложения однозначно определены?
• Как ассоциированные и вложенные простые идеалы проявляются геометрически?

Key theories

Теорема Ласкера-Нётер

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

Единственность ассоциированных простых идеалов

Хотя сами примарные компоненты не всегда уникальны, множество ассоциированных простых идеалов (радикалов компонент) однозначно определяется идеалом, как и компоненты для минимальных ассоциированных простых идеалов.

Геометрическая интерпретация

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

Clinical relevance

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

History

Эмануэль Ласкер доказал примарное разложение для полиномиальных колец в 1905 году, а Эмми Нётер абстрактно установила его для всех нётеровых колец в 1921 году в работе, которая ввела условие обрыва возрастающих цепей; результат назван теоремой Ласкера-Нётер в их честь.

Key figures

• Emanuel Lasker
• Emmy Noether
• Wolfgang Krull

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Как примарное разложение похоже на факторизацию целых чисел?

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

Является ли примарное разложение уникальным?

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