Propriété permettant de supprimer un facteur commun dans une équation : l'annulation à gauche signifie a·b = a·c implique b = c, et à droite b·a = c·a implique b = c, lorsque l'élément a satisfait les conditions requises.

Principe

Principe de quasi-inversibilité locale : l'annulation fonctionne lorsque le facteur à supprimer se comporte comme une unité du côté approprié (ou qu'il n'y a pas de diviseurs de zéro), permettant de réduire les équations par un opérande commun.

Démonstration

Dans un domaine intègre, si a ≠ 0 et a·b = a·c alors b = c ; ainsi dans les entiers 3·x = 3·y implique x = y, parce qu'il n'existe pas de diviseurs de zéro pour la multiplication.

Mauvaise application

Appliquer l'annulation en présence de diviseurs de zéro (par ex. dans Z/6Z : 2·3 = 2·0 mais 3 ≠ 0) ou dans des semi-groupes où l'élément annulant n'a pas la propriété d'annulation unilatérale nécessaire mène à des conclusions erronées.

Conséquence

Une annulation valide simplifie la résolution d'équations algébriques et permet de passer d'égalités locales à des égalités globales ; elle sous-tend des notions comme domaine intègre et intervient dans des preuves d'unicité.

Inversion

Défaillance de l'annulation se produit quand un a non nul annule des différences (diviseurs de zéro) ou quand l'opération manque d'inversibilité, exigeant prudence ou approches alternatives comme la factorisation ou la localisation.

Limite

L'annulation est une propriété des éléments et de l'opération considérés ; elle peut être seulement gauche, seulement droite, valable pour certains éléments ou échouer globalement selon la structure algébrique.

Tension sémantique

Annulation vs inversibilité : l'inversibilité entraîne l'annulation, mais l'annulation peut tenir sans inversibilité complète ; distinguer ces notions clarifie quels outils algébriques (division vs factorisation) sont applicables.

Synthèse

La loi d'annulation permet de supprimer des facteurs communs sous conditions appropriées, transformant des égalités multiplicatives en égalité des facteurs restants ; elle est plus faible que l'inversibilité mais essentielle pour résoudre et simplifier des équations.