## [Propiedad del Producto Cero](/es/node/63455) Definición El principio de que, en ciertas estructuras algebraicas con un elemento absorbente cero, un producto es cero solo si al menos uno de los factores es cero; se expresa habitualmente como: si a·b = 0 entonces a = 0 o b = 0, cuando la propiedad se cumple. ## Principio Principio La multiplicación frente a un cero absorbente en un contexto íntegro impide que factores no nulos produzcan cero; en dominios enteros esto se debe a la ausencia de divisores de cero y asegura la detección de ceros por factores. ## Demostración Demostración En los enteros Z (un dominio íntegro), si ab = 0 entonces a = 0 o b = 0; en contraste, en el anillo Z/6Z se tiene 2·3 = 0 módulo 6 aunque ni 2 ni 3 sean cero en ese anillo, mostrando el fallo de la propiedad. ## Aplicación incorrecta Aplicación incorrecta Asumir la propiedad del producto cero en anillos con divisores de cero (anillos de matrices, anillos producto, aritmética modular con módulo compuesto) conduce a conclusiones incorrectas sobre factorización o unicidad cuando factores no nulos multiplican a cero. ## Consecuencia Consecuencia Cuando es válida, permite resolver ecuaciones polinómicas o algebraicas por factorización: un producto nulo implica que algún factor se anula, lo que simplifica la búsqueda de raíces y los argumentos de unicidad de factores. ## Inversión Inversión La inversión es la existencia de divisores de cero: a y b no nulos con a·b = 0; esa inversión socava la detección simple de ceros por factores y complica la divisibilidad, la factorización y el análisis de unicidad de factorización. ## Límite Límite Vale en dominios íntegros y campos y, en general, en cualquier anillo sin divisores de cero; falla en anillos con divisores de cero, ciertos semirregistros y muchas álgebras de matrices sobre anillos donde productos no nulos pueden ser cero. ## Tensión semántica Tensión semántica Tensión entre considerar cero como un detector fuerte de aniquilación (propiedad del producto cero) y aceptar estructuras donde cero puede producirse por interacción de elementos no nulos (divisores de cero); esto afecta estrategias de factorización y nociones de primalidad. ## Síntesis Síntesis La Propiedad del Producto Cero establece que en dominios sin divisores de cero, un producto nulo indica un factor nulo; donde se cumple, la resolución algebraica y el análisis de factores se simplifican, mientras que su fracaso señala interacciones más complejas entre elementos no nulos.