Descomposición Primaria
La descomposición primaria expresa un ideal en un anillo noetheriano como una intersección finita de ideales primarios, generalizando la factorización de enteros en potencias de primos y revelando los primos asociados.
Definition
Una descomposición primaria de un ideal es su expresión como una intersección finita de ideales primarios, donde un ideal es primario si un producto que pertenece a él fuerza que uno de los factores esté en él o una potencia del otro factor esté en él; los radicales de estos componentes son los primos asociados.
Scope
Este tema cubre los ideales primarios y sus radicales, el teorema de Lasker-Noether sobre la existencia de descomposiciones primarias en anillos noetherianos, las descomposiciones irredundantes, la unicidad de los primos asociados y de los componentes primarios aislados, y la interpretación geométrica a través de componentes irreducibles y primos embebidos.
Core questions
- ¿Qué es un ideal primario y cómo generaliza una potencia prima?
- ¿Cuándo admite un ideal una descomposición primaria?
- ¿Qué partes de una descomposición primaria están determinadas de forma única?
- ¿Cómo aparecen geométricamente los primos asociados y embebidos?
Key theories
- Teorema de Lasker-Noether
- En un anillo noetheriano, todo ideal es una intersección finita de ideales primarios, por lo que la descomposición primaria siempre existe, generalizando la factorización única de elementos a ideales.
- Unicidad de los primos asociados
- Aunque los componentes primarios en sí mismos no siempre son únicos, el conjunto de primos asociados (los radicales de los componentes) está determinado de forma única por el ideal, al igual que los componentes para los primos asociados mínimos.
- Interpretación geométrica
- Los primos asociados mínimos corresponden a los componentes irreducibles del conjunto algebraico definido por el ideal, mientras que los primos embebidos registran una estructura extra de menor dimensión, como las multiplicidades a lo largo de las subvariedades.
Clinical relevance
La descomposición primaria es el análogo teórico-ideal de la factorización y es fundamental para la geometría algebraica: descompone un conjunto algebraico en componentes irreducibles y detecta estructuras embebidas y múltiples, y organiza los primos asociados de un módulo utilizados en toda el álgebra conmutativa.
History
Emanuel Lasker demostró la descomposición primaria para anillos de polinomios en 1905, y Emmy Noether la estableció de forma abstracta para todos los anillos noetherianos en 1921, en el artículo que introdujo la condición de cadena ascendente; el resultado lleva el nombre de teorema de Lasker-Noether en honor a ellos.
Key figures
- Emanuel Lasker
- Emmy Noether
- Wolfgang Krull
Related topics
Seminal works
- atiyah1969
- eisenbud1995
- matsumura1989
Frequently asked questions
- ¿En qué se parece la descomposición primaria a la factorización de enteros?
- Escribir un entero como un producto de potencias primas corresponde, para el ideal que genera, a una intersección de ideales primarios cuyos radicales son los primos. La descomposición primaria extiende esto de los enteros a los ideales en cualquier anillo noetheriano, donde la factorización literal puede fallar.
- ¿Es única una descomposición primaria?
- No del todo. El conjunto de primos asociados y los componentes que pertenecen a los primos mínimos son únicos, pero los componentes para los primos embebidos se pueden elegir de diferentes maneras. Así, los datos primos son canónicos, mientras que los componentes específicos no lo son.