Une forme diagonale canonique pour les matrices à coefficients entiers (ou, plus généralement, sur un anneau principal) obtenue par multiplication à gauche et à droite par des matrices unimodulaires, dont les coefficients diagonaux d1, d2, ... vérifient la divisibilité d1 | d2 | ... et décrivent la structure du conoyau en tant que module.

Principe

Effectuer des opérations de lignes et de colonnes inversibles sur un PID pour transformer une matrice en une diagonale avec facteurs invariants de divisibilité ; l'unicité est modulo multiplication des éléments diagonaux par des unités et permutation respectant l'ordre de divisibilité.

Démonstration

Pour la matrice entière 2×2 [[2,4],[6,8]], appliquer des opérations unimodulaires de lignes et colonnes pour la réduire en une diagonale diag(2,2), révélant les facteurs invariants 2 et 2 et montrant que le conoyau ≅ Z/2Z × Z/2Z.

Mauvaise application

Considérer la Forme Normale de Smith comme une forme de Jordan sur un corps ou appliquer l'algorithme de la SNF sur un anneau non principal ; cela conduit à des 'invariants' erronés ou à un échec de l'algorithme.

Conséquence

Une utilisation correcte fournit des invariants complets pour les modules de type fini sur un PID : classification des groupes abéliens présentés par la matrice, calcul des diviseurs élémentaires et détermination de la structure de torsion.

Inversion

Au lieu de réduire par opérations unimodulaires à une diagonale, on peut passer à un corps ou à un anneau plus grand pour obtenir la forme de Jordan ou la forme canonique rationnelle ; ces renversements transforment les invariants entiers de divisibilité en structure de valeurs propres.

Limite

S'applique aux matrices à coefficients dans un anneau principal (pas à tout anneau commutatif) ; sur des anneaux non-PID la SNF peut ne pas exister ou nécessiter d'autres invariants ; elle traite la structure de module mais pas les propriétés algébro-géométriques sur les corps.

Tension sémantique

En tension avec la forme de Hermite et la forme de Jordan : la HNF donne une forme triangulaire utile pour les bases de réseaux, la JNF décrit des opérateurs linéaires sur des corps algébriquement clos ; la SNF enregistre spécifiquement la divisibilité intégrale.

Synthèse

La Forme Normale de Smith est la diagonalisation intégrale canonique obtenue par opérations unimodulaires qui extrait des facteurs invariants de divisibilité ; elle convertit les données matricielles en invariants de module pour classifier les groupes abéliens de type fini et calculer la torsion.