Decomposição Primária

A decomposição primária expressa um ideal em um anel Noetheriano como uma intersecção finita de ideais primários, generalizando a fatoração de inteiros em potências de primos e revelando os primos associados.

Definition

Uma decomposição primária de um ideal é a sua expressão como uma intersecção finita de ideais primários, onde um ideal é primário se um produto que lhe pertence força um fator a pertencer-lhe ou uma potência do outro fator a pertencer-lhe; os radicais desses componentes são os primos associados.

Scope

Este tópico abrange ideais primários e seus radicais, o teorema de Lasker-Noether sobre a existência de decomposições primárias em anéis Noetherianos, decomposições irredutíveis, a unicidade dos primos associados e dos componentes primários isolados, e a interpretação geométrica através de componentes irredutíveis e primos imersos.

Core questions

• O que é um ideal primário e como ele generaliza uma potência de primo?
• Quando um ideal admite uma decomposição primária?
• Quais partes de uma decomposição primária são unicamente determinadas?
• Como os primos associados e imersos aparecem geometricamente?

Key theories

Teorema de Lasker-Noether

Em um anel Noetheriano, todo ideal é uma intersecção finita de ideais primários, de modo que a decomposição primária sempre existe, generalizando a fatoração única de elementos para ideais.

Unicidade dos primos associados

Embora os próprios componentes primários nem sempre sejam únicos, o conjunto de primos associados (os radicais dos componentes) é unicamente determinado pelo ideal, assim como os componentes para os primos associados minimais.

Interpretação geométrica

Os primos associados minimais correspondem aos componentes irredutíveis do conjunto algébrico definido pelo ideal, enquanto os primos imersos registram estruturas extras de menor dimensão, como multiplicidades ao longo de subvariedades.

Clinical relevance

A decomposição primária é o análogo teórico-ideal da fatoração e é fundamental para a geometria algébrica: ela decompõe um conjunto algébrico em componentes irredutíveis e detecta estruturas imersas e múltiplas, além de organizar os primos associados de um módulo usado em toda a álgebra comutativa.

History

Emanuel Lasker provou a decomposição primária para anéis de polinômios em 1905, e Emmy Noether a estabeleceu abstratamente para todos os anéis Noetherianos em 1921, no artigo que introduziu a condição da cadeia ascendente; o resultado é nomeado teorema de Lasker-Noether em homenagem a eles.

Key figures

• Emanuel Lasker
• Emmy Noether
• Wolfgang Krull

Seminal works

• atiyah1969
• eisenbud1995
• matsumura1989

Frequently asked questions

Como a decomposição primária se assemelha à fatoração de inteiros?

Escrever um inteiro como um produto de potências de primos corresponde, para o ideal que ele gera, a uma intersecção de ideais primários cujos radicais são os primos. A decomposição primária estende isso dos inteiros para ideais em qualquer anel Noetheriano, onde a fatoração literal pode falhar.

Uma decomposição primária é única?

Não inteiramente. O conjunto de primos associados e os componentes pertencentes aos primos minimais são únicos, mas os componentes para primos imersos podem ser escolhidos de diferentes maneiras. Assim, os dados primos são canônicos, enquanto os componentes específicos não o são.