Situación en una categoría aditiva donde un objeto admite dos descomposiciones como suma directa finita de objetos indecomponibles que no son isomorfos par a par, violando la cláusula de unicidad del teorema de Krull–Schmidt.

Principio

La unicidad de Krull–Schmidt se cumple bajo condiciones de finitud y sobre el anillo de endomorfismos (por ejemplo, objetos de longitud finita o categorías con anillos de endomorfismos semiperfectos); la falla se produce cuando estas hipótesis no están presentes y aparece la no unicidad de los sumandos indecomponibles.

Demostración

Escenario ilustrativo: en ciertas categorías aditivas sin la finitud adecuada — por ejemplo, categorías de módulos sobre anillos cuyos anillos de endomorfismos no son semiperfectos, o algunas categorías de módulos de longitud infinita — se puede construir un objeto con dos descomposiciones finitas no equivalentes en indecomponibles, mostrando sumandos no únicos explícitos y multiplicidades incompatibles.

Aplicación incorrecta

Afirmar la falla de Krull–Schmidt en entornos que satisfacen las hipótesis estándar (módulos de longitud finita, anillos artinianos semiperfectos) es un error; a la inversa, suponer que Krull–Schmidt se aplica sin comprobar finitud o semiperfectitud conduce a descomposiciones incorrectas.

Consecuencia

Cuando Krull–Schmidt falla, los argumentos estructurales que dependen de sumandos indecomponibles únicos se desmoronan: la clasificación por sumandos, el conteo de multiplicidades o la comparación de objetos vía isomorfismo de sumandos ya no son fiables, obligando a recurrir a invariantes alternativos o técnicas categóricas más finas.

Inversión

La inversión es la propiedad de Krull–Schmidt: todo objeto se descompone en suma directa finita de indecomponibles con unicidad salvo permutación e isomorfismo de sumandos; esta propiedad restablece un control rígido sobre las descomposiciones.

Límite

Ámbito y exclusiones: el fenómeno concierne a categorías aditivas con sumas directas; excluye categorías donde las descomposiciones son infinitas por diseño (contextos de sumas directas puramente infinitas) salvo que se restrinja explícitamente a descomposiciones finitas, y se trata de fallo de unicidad, no de mera inexistencia de descomposiciones.

Tensión semántica

Existe tensión semántica entre 'existencia de descomposición' y 'unicidad de descomposición': algunos contextos garantizan existencia pero no unicidad, otros garantizan unicidad solo bajo hipótesis locales sobre endomorfismos, y confundir estos aspectos conduce a errores.

Síntesis

El fallo de Krull–Schmidt marca la ruptura de la unicidad de las descomposiciones finitas en sumas directas en categorías aditivas que carecen de las hipótesis usuales de finitud o de anillos de endomorfismos apropiados, obligando al uso de descriptores estructurales alternativos y a una verificación cuidadosa de las hipótesis antes de aplicar argumentos basados en descomposiciones.