El fenómeno en una categoría aditiva (p. ej., módulos) donde A ⊕ C ≅ B ⊕ C no implica A ≅ B; es decir, falla la cancelación por suma directa y el isomorfismo tras añadir el mismo sumando no obliga al isomorfismo de los sumandos originales.

Principio

La cancelación se basa en la capacidad de detectar sumandos de forma única en una descomposición en suma directa; cuando la cancelación falla, la estabilización por un mismo sumando puede ocultar información sobre los sumandos, de modo que la isomorfía estable es estrictamente más débil que la isomorfía auténtica.

Demostración

Escenario concreto: sobre ciertos anillos existen módulos proyectivos finitamente generados P y Q con P ⊕ R^n ≅ Q ⊕ R^n para algún n, pero P ≄ Q. En contraste, la cancelación vale para espacios vectoriales de dimensión finita sobre un cuerpo porque la dimensión es un invariante completo.

Aplicación incorrecta

Usar la cancelación como herramienta general sin verificar hipótesis (como semilocalidad, condiciones de rango estable o restricciones sobre clases proyectivas), o concluir unicidad de sumandos a partir de una isomorfía estabilizada.

Consecuencia

Reconocer la falla de la cancelación conduce a distinguir clases de equivalencia estables de clases de isomorfía genuinas, motiva invariantes de K-teoría y teoría de obstrucciones, y afecta teoremas de descomposición y resultados de clasificación.

Inversión

La cancelación se cumple en categorías donde la descomposición en suma directa está rígidamente controlada (p. ej., espacios vectoriales finito-dimensión, algunos anillos semiperfectos), de modo que A ⊕ C ≅ B ⊕ C implica A ≅ B bajo esas hipótesis.

Límite

El fenómeno pertenece a categorías aditivas con sumas directas; excluye construcciones multiplicativas y debe considerarse respecto a clases específicas de objetos y anillos: la cancelación puede valer para proyectivos y fallar para módulos arbitrarios, o viceversa.

Tensión semántica

Hay tensión entre 'isomorfía estable' (isomorfía tras añadir un sumando) e 'isomorfía estricta'; resolver esta ambigüedad exige invariantes más finos que el mero conteo de factores en una descomposición.

Síntesis

La falla de la cancelación es una obstrucción precisa que indica que la estabilización puede enmascarar diferencias no triviales entre sumandos; comprenderla exige invariantes más precisos (rango estable, K‑teoría, estructura de anillos de endomorfismos) y hipótesis más estrictas para la unicidad de descomposición.