Condición de cadena ascendente

En matemáticas , la condición de cadena ascendente ( ACC ) y la condición de cadena descendente ( DCC ) son propiedades de finitud satisfechas por algunas estructuras algebraicas , más importantemente ideales en ciertos anillos conmutativos . ^{[1] [2] [3]} Estas condiciones jugaron un papel importante en el desarrollo de la teoría de la estructura de los anillos conmutativos en las obras de David Hilbert , Emmy Noether y Emil Artin . Las condiciones en sí mismas pueden enunciarse en forma abstracta, de modo que tengan sentido para cualquier conjunto parcialmente ordenado . Este punto de vista es útil en la teoría abstracta de la dimensión algebraica debido a Gabriel y Rentschler.

Se dice que un conjunto parcialmente ordenado (poset) P satisface la condición de cadena ascendente (ACC) si no existe una secuencia infinita estrictamente ascendente

${\displaystyle a_{1}<a_{2}<a_{3}<\cdots }$

de elementos de P existe. ^[4] Equivalentemente, ^[a] cada secuencia débilmente ascendente

${\displaystyle a_{1}\leq a_{2}\leq a_{3}\leq \cdots ,}$

de elementos de P finalmente se estabiliza, lo que significa que existe un entero positivo n tal que

${\displaystyle a_{n}=a_{n+1}=a_{n+2}=\cdots .}$

De manera similar, se dice que P satisface la condición de cadena descendente (DCC) si no hay una cadena descendente infinita de elementos de P. [ ^4] De manera equivalente, cada secuencia débilmente descendente

${\displaystyle a_{1}\geq a_{2}\geq a_{3}\geq \cdots }$

de elementos de P finalmente se estabiliza.

• Suponiendo el axioma de elección dependiente , la condición de cadena descendente en el conjunto poset P (posiblemente infinito) es equivalente a que P esté bien fundado : cada subconjunto no vacío de P tiene un elemento mínimo (también llamado condición mínima o condición mínima ). Un conjunto totalmente ordenado que está bien fundado es un conjunto bien ordenado .
• De manera similar, la condición de cadena ascendente es equivalente a que P sea inversamente bien fundada (de nuevo, asumiendo una elección dependiente): cada subconjunto no vacío de P tiene un elemento maximal (la condición maximal o condición máxima ).
• Todo conjunto finito satisface tanto las condiciones de cadena ascendente como descendente y, por lo tanto, es a la vez bien fundado y recíprocamente bien fundado.

Considere el anillo

${\displaystyle \mathbb {Z} =\{\puntos ,-3,-2,-1,0,1,2,3,\puntos \}}$

de números enteros. Cada ideal de consiste en todos los múltiplos de algún número . Por ejemplo, el ideal ${\displaystyle \mathbb {Z}}$${\estilo de visualización n}$

${\displaystyle I=\{\puntos ,-18,-12,-6,0,6,12,18,\puntos \}}$

consta de todos los múltiplos de . Sea ${\estilo de visualización 6}$

${\displaystyle J=\{\puntos ,-6,-4,-2,0,2,4,6,\puntos \}}$

sea ​​el ideal que consiste en todos los múltiplos de . El ideal está contenido dentro del ideal , ya que cada múltiplo de es también un múltiplo de . A su vez, el ideal está contenido en el ideal , ya que cada múltiplo de es un múltiplo de . Sin embargo, en este punto no hay un ideal mayor; hemos "alcanzado el tope" en . ${\estilo de visualización 2}$${\displaystyle I}$${\estilo de visualización J}$${\estilo de visualización 6}$${\estilo de visualización 2}$${\estilo de visualización J}$${\displaystyle \mathbb {Z}}$${\estilo de visualización 2}$${\estilo de visualización 1}$${\displaystyle \mathbb {Z}}$

En general, si son ideales de tal que está contenido en , está contenido en , y así sucesivamente, entonces hay alguno para el cual todos los . Es decir, después de cierto punto todos los ideales son iguales entre sí. Por lo tanto, los ideales de satisfacen la condición de cadena ascendente, donde los ideales están ordenados por inclusión de conjuntos. Por lo tanto es un anillo noetheriano . ${\displaystyle I_{1},I_{2},I_{3},\puntos}$${\displaystyle \mathbb {Z}}$${\estilo de visualización I_{1}}$${\estilo de visualización I_{2}}$${\estilo de visualización I_{2}}$${\estilo de visualización I_{3}}$${\estilo de visualización n}$${\displaystyle I_{n}=I_{n+1}=I_{n+2}=\cdots }$${\displaystyle \mathbb {Z}}$${\displaystyle \mathbb {Z}}$

• Artiniano
• Condición de cadena ascendente para ideales principales
• Dimensión de Krull
• Condición máxima de congruencias
• Noetheriano

• "¿Es la equivalencia de la condición de cadena ascendente y la condición máxima equivalente al axioma de elección dependiente?".