Principe selon lequel, dans certaines structures algébriques dotées d'un élément absorbant zéro, un produit vaut zéro seulement si au moins l'un des facteurs vaut zéro ; exprimé classiquement : si a·b = 0 alors a = 0 ou b = 0, lorsque la propriété est satisfaite.

Principe

La multiplication en présence d'un zéro absorbant dans un contexte intègre ou sans diviseurs de zéro empêche des facteurs non nuls de produire zéro ; dans un domaine intégral cela découle de l'absence de diviseurs de zéro et permet de détecter zéro facteur par facteur.

Démonstration

Dans les entiers Z (un domaine intégral), si ab = 0 alors soit a = 0 soit b = 0 ; en revanche dans l'anneau Z/6Z on a 2·3 = 0 modulo 6 alors que ni 2 ni 3 ne sont nuls dans cet anneau, montrant l'échec de la propriété.

Mauvaise application

Supposer la propriété du produit nul dans des anneaux ayant des diviseurs de zéro (anneaux de matrices, anneaux produits, arithmétique modulaire pour modules composés) conduit à des conclusions erronées sur la factorisation ou l'unicité.

Conséquence

Lorsqu'elle est valable, elle permet de résoudre des équations polynomiales ou algébriques par factorisation : un produit nul implique qu'un facteur s'annule, ce qui simplifie la recherche de racines et les arguments d'unicité des facteurs.

Inversion

L'inverse est l'existence de diviseurs de zéro : des a et b non nuls avec a·b = 0 ; cette situation compromet la détection simple de zéros par facteurs et complique la divisibilité, la factorisation et l'analyse de l'unicité de la factorisation.

Limite

Valable dans les domaines intégraux et corps et, plus généralement, dans tout anneau sans diviseurs de zéro ; elle échoue dans les anneaux contenant des diviseurs de zéro, certains semirings et de nombreuses algèbres de matrices sur des anneaux où des produits non nuls peuvent être nuls.

Tension sémantique

Tension entre considérer zéro comme un détecteur strict d'annulation (propriété du produit nul) et accepter des structures où le zéro peut résulter d'interactions entre éléments non nuls (diviseurs de zéro) ; cela affecte les stratégies de factorisation et les notions de primalité.

Synthèse

La propriété du produit nul affirme que dans les domaines sans diviseurs de zéro, un produit nul indique qu'un facteur s'annule ; lorsqu'elle tient, la résolution algébrique et l'analyse des facteurs sont simplifiées, tandis que son échec révèle des interactions plus riches entre éléments non nuls.