Phénomène dans une catégorie additive (par ex. des modules) où A ⊕ C ≅ B ⊕ C n'implique pas A ≅ B ; autrement dit, la propriété d'annulation par somme directe échoue et l'isomorphisme après addition d'un même facteur n'entraîne pas l'isomorphisme des facteurs initiaux.

Principe

L'annulation repose sur la capacité à détecter de façon unique les facteurs dans une décomposition en somme directe ; lorsque l'annulation échoue, l'information sur les facteurs peut être perdue sous stabilisation par un même facteur, de sorte que l'isomorphisme stable est strictement plus faible que l'isomorphisme.

Démonstration

Scénario concret : sur certains anneaux il existe des modules projectifs de type fini P et Q tels que P ⊕ R^n ≅ Q ⊕ R^n pour un certain n, mais P ≄ Q. En revanche, l'annulation vaut pour les espaces vectoriels de dimension finie sur un corps car la dimension est un invariant complet.

Mauvaise application

Employer l'annulation comme outil général sans vérifier les hypothèses (par ex. semi-localité, conditions de rang stable, ou restrictions sur les classes de projectifs), ou déduire l'unicité des facteurs d'un isomorphisme stabilisé.

Conséquence

Reconnaître la défaillance de l'annulation conduit à distinguer classes d'équivalence stables des classes d'isomorphisme véritables, motive l'usage d'invariants de K-théorie et de théories d'obstruction, et impacte les théorèmes de décomposition et de classification.

Inversion

L'annulation est valable dans les catégories où la décomposition en somme directe est rigidement contrôlée (par ex. espaces vectoriels de dimension finie, certains anneaux semiperfects), de sorte que A ⊕ C ≅ B ⊕ C implique A ≅ B sous ces hypothèses.

Limite

Ce phénomène concerne les catégories additives munies de sommes directes ; il exclut les constructions multiplicatives et doit être considéré relativement à des classes d'objets et d'anneaux spécifiques : l'annulation peut valoir pour les projectifs et échouer pour les modules arbitraires, ou l'inverse.

Tension sémantique

La tension porte sur la distinction entre « isomorphisme stable » (isomorphisme après ajout d'un facteur) et « isomorphisme strict » ; trancher cette ambiguïté exige des invariants plus fins que le simple décompte de facteurs.

Synthèse

La défaillance de l'annulation est une obstruction précise indiquant que la stabilisation peut masquer des différences non triviales entre facteurs ; la comprendre impose l'emploi d'invariants plus fins (rang stable, K-théorie, structure des anneaux d'endomorphismes) et des hypothèses plus strictes pour l'unicité de décomposition.