Une forme diagonale canonique obtenue pour une matrice sur un domaine principal d’idéaux (PID) par opérations inversibles de lignes et de colonnes, produisant des coefficients diagonaux d1,…,dr (éventuellement avec des zéros en queue) vérifiant d1 | d2 | … | dr ; ces coefficients diagonaux sont uniques à multiplication par des unités près et codent les facteurs invariants du module correspondant.

Principe

Utiliser des transformations unimodulaires de lignes et de colonnes sur un PID pour effacer successivement les coefficients hors-diagonale et extraire des diviseurs invariants ; la chaîne de divisibilité et l’unicité découlent des invariants idéal-théoriques et de la procédure de réduction de Smith.

Démonstration

Exemple entier : pour A = [[2,4],[6,8]] on peut transformer A par opérations entières de lignes et colonnes en diag(2,4). Les diagonales 2 et 4 satisfont 2 | 4 et leur produit égale |det(A)|, fournissant les facteurs invariants de Z^2 / im(A).

Mauvaise application

Confondre la forme normale de Smith avec la diagonalisation sur un corps (forme de Jordan) ou tenter de calculer la SNF sur des anneaux non PID ; de même utiliser uniquement des opérations de lignes (forme de Hermite) lorsque des opérations de colonnes sont nécessaires pour la SNF.

Conséquence

La SNF donne la classification complète des modules de type fini sur un PID, calcule les facteurs invariants et diviseurs élémentaires, résout des systèmes diophantiens linéaires et détermine la structure des groupes abéliens donnés par une présentation.

Inversion

Au lieu de réduire par opérations unimodulaires, caractériser le module par la structure d’idéal de sa matrice de présentation ou calculer les facteurs invariants par invariants algébriques globaux (diviseurs déterminantiels) sans effectuer une réduction explicite.

Limite

S’applique aux matrices sur des domaines principaux d’idéaux (par ex. Z ou k[x]) ; elle n’est pas en général définie ou unique sur des anneaux non PID, et la SNF diffère de la classification par similarité sur corps (forme de Jordan) et des formes de réduction par lignes seules.

Tension sémantique

Souvent confondue avec les formes de Jordan ou canonique rationnelle (invariants par similarité sur corps) et avec la forme normale de Hermite (réduction par lignes seulement) ; la tension vient du fait que la SNF utilise opérations unimodulaires à gauche et à droite et encode des invariants de type module plutôt que d’opérateur linéaire.

Synthèse

La forme normale de Smith est la diagonalisation canonique d’une matrice sur un PID obtenue par opérations unimodulaires de lignes et de colonnes ; ses diviseurs diagonaux ordonnés capturent la décomposition en facteurs invariants du module présenté et sont uniques à unités près.