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

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

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

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

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

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

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 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

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.