Definición
El supremo de las longitudes n de cadenas de ideales primos (o subobjetos primos) P0 ⊂ P1 ⊂ ... ⊂ Pn en un anillo conmutativo o estructura algebraica análoga; una noción primaria de dimensión algebraica.
Principio
Principio
La dimensión de Krull organiza un espacio por las inclusiones estrictas más largas de subestructuras primarias; la altura de los primos y las longitudes de cadenas miden cuántas capas independientes de especialización algebraica existen.
Demostración
Demostración
En el anillo de polinomios k[x1,...,xn] sobre un cuerpo, la dimensión de Krull es n porque se pueden formar cadenas (0) ⊂ (x1) ⊂ (x1,x2) ⊂ ... de ideales primos de longitud n.
Aplicación incorrecta
Aplicación incorrecta
Tratar la dimensión de Krull como una dimensión topológica o de espacio vectorial sin comprobar su definición conduce a errores; equipararla ciegamente al grado de trascendencia en contextos no noetherianos puede fallar.
Consecuencia
Consecuencia
Identificar correctamente la dimensión de Krull informa la intuición geométrica sobre componentes irreducibles, codimensión y el comportamiento de cadenas de primos; controla muchos teoremas en álgebra conmutativa y geometría algebraica.
Inversión
Inversión
Invertir el concepto mediría longitudes de cadenas mínimas en lugar de máximas o se centraría en rangos de espacios vectoriales; eso produce invariantes distintos que no capturan la profundidad de las cadenas de primos.
Límite
Límite
Definida para anillos conmutativos, esquemas y estructuras relacionadas donde los ideales primos tienen sentido; no se aplica directamente a anillos no conmutativos sin adaptación y puede comportarse de forma patológica en casos no noetherianos.
Tensión semántica
Tensión semántica
Hay tensión entre la dimensión de Krull y otras nociones como la dimensión de Kronecker o dimensiones homológicas; aunque relacionadas, capturan aspectos estructurales distintos — profundidad de cadenas de primos frente a longitudes de resoluciones proyectivas.
Síntesis
Síntesis
La dimensión de Krull es la medida algebraica de las inclusiones jerárquicas de ideales primos y proporciona una noción fundamental de dimensión que enlaza cadenas de anillos con codimensión geométrica y especialización.