## [Fallo de la Cancelación](/es/node/64025) Definición 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 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 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 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 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 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 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 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 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.