##  [Forme Normale de Smith](/fr/node/61529) 

 Définition

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

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

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

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

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

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

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

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

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.