## [Ley de Cancelación](/es/node/61508) Definición Propiedad que permite eliminar un factor común de una ecuación: cancelación izquierda significa a·b = a·c implica b = c, y cancelación derecha significa b·a = c·a implica b = c, cuando el elemento que se cancela a cumple las condiciones necesarias. ## Principio Principio Principio de cuasi-invertibilidad local: la cancelación funciona cuando el factor a eliminar se comporta como una unidad en el lado apropiado (o no hay divisores de cero), permitiendo reducir ecuaciones por un operando común. ## Demostración Demostración En dominios enteros, si a ≠ 0 y a·b = a·c entonces b = c; así en los enteros 3·x = 3·y implica x = y, porque no existen divisores de cero para la multiplicación. ## Aplicación incorrecta Aplicación incorrecta Aplicar la cancelación en presencia de divisores de cero (por ejemplo en Z/6Z: 2·3 = 2·0 pero 3 ≠ 0) o en semigrupos donde el elemento que se cancela carece de la propiedad de cancelación necesaria conduce a conclusiones erróneas. ## Consecuencia Consecuencia La cancelación válida simplifica la resolución de ecuaciones algebraicas y facilita pasar de igualdades locales a igualdades globales; sustenta conceptos como dominio entero y participa en demostraciones de unicidad. ## Inversión Inversión La falla de la cancelación ocurre cuando existe un a no nulo que anula diferencias (divisores de cero) o cuando la operación carece de invertibilidad, lo que exige precaución o métodos alternativos como la factorización o la localización. ## Límite Límite La cancelación es una propiedad de los elementos y la operación en cuestión; puede ser solo izquierda, solo derecha, válida para ciertos elementos o fallar globalmente según la estructura algebraica. ## Tensión semántica Tensión semántica Cancelación vs invertibilidad: la invertibilidad implica cancelación, pero la cancelación puede darse sin invertibilidad completa; distinguirlas aclara qué herramientas algebraicas (división vs factorización) son aplicables. ## Síntesis Síntesis La ley de cancelación permite eliminar factores comunes bajo condiciones apropiadas, convirtiendo igualdades multiplicativas en igualdad de los factores restantes; es más débil que la invertibilidad pero esencial para resolver y simplificar ecuaciones.