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.