Une forme diagonale canonique pour une matrice à coefficients entiers (ou sur un PID) obtenue par multiplication à gauche et à droite par des matrices unimodulaires : il existe U,V unimodulaires sur Z tels que U A V = diag(d1,d2,...,dr,0,...), avec chaque di divisant le suivant ; ces diagonales sont les facteurs invariants du module associé.

Principe

Les opérations autorisées sont les opérations élémentaires entières sur lignes et colonnes correspondant à la multiplication à gauche et à droite par des matrices inversibles entières ; ces opérations classifient les modules de type fini sur un domaine principal en transformant les matrices de présentation en forme diagonale avec contraintes de divisibilité.

Démonstration

Pour une matrice entière 2×2 A, appliquer des opérations entières sur colonnes et lignes (ajouter un multiple d'une ligne à une autre, échanger, multiplier par ±1) pour amener A en forme diagonale diag(d1,d2) avec d1|d2 ; ces entrées diagonales déterminent la structure de Z^2 / im(A) comme somme directe de groupes cycliques d'ordres d1 et d2 (à unités près).

Mauvaise application

Considérer la forme normale de Smith comme si elle se calculait par réduction sur le corps réel donne des invariants erronés ; autre erreur : oublier que les entrées diagonales ne sont uniques qu'à multiplication par des unités (±1) et que la diagonalisation similaire peut ne pas exister sur des anneaux non PID.

Conséquence

Fait apparaître les facteurs invariants qui classifient les modules de type fini sur Z (par exemple les groupes abéliens de type fini), permet de résoudre des systèmes d'équations diophantiennes linéaires et de calculer les diviseurs élémentaires et la structure de torsion des conoyaux de matrices entières.

Inversion

Sur un corps, la simplification analogue est la réduction en forme échelonnée ou les formes rationnelle/Jordan ; inverser la forme de Smith revient à restaurer les couplages hors-diagonale en annulant les transformations unimodulaires, réintroduisant ainsi les relations initiales entre générateurs.

Limite

Construite sur Z et plus généralement sur les domaines principaux ; elle n'existe pas en général sur des anneaux commutatifs arbitraires dépourvus de structure PID et ne peut pas être obtenue uniquement par les opérations permises sur les corps car la notion de divisibilité dans Z est essentielle.

Tension sémantique

Se compare à la forme de Hermite, qui n'utilise que des opérations unimodulaires à un seul côté et donne une forme triangulaire ; la forme de Smith fournit une diagonalisation complète avec contraintes de divisibilité et est plus forte pour classifier les modules, tandis que Hermite est souvent plus simple à calculer mais moins informative.

Synthèse

Forme canonique diagonale U A V obtenue avec U,V unimodulaires qui met en évidence les facteurs invariants (chaque diagonale divisant la suivante), fournissant une empreinte algébrique discrète d'une matrice entière qui classe les modules associés et résout des problèmes linéaires entiers.