Una forma diagonal canónica que se obtiene para una matriz sobre un dominio de ideales principales (PID) mediante operaciones invertibles de filas y columnas, produciendo entradas diagonales d1,…,dr (posiblemente seguidas de ceros) que satisfacen d1 | d2 | … | dr; las entradas diagonales son únicas hasta multiplicación por unidades y codifican los factores invariantes del módulo correspondiente.

Principio

Emplear transformaciones unimodulares de filas y columnas sobre un PID para limpiar sucesivamente las entradas fuera de la diagonal y extraer divisores invariantes; la cadena de divisibilidad y la unicidad siguen de invariantes ideal-teóricos y del procedimiento de reducción de Smith.

Demostración

Ejemplo entero: para A = [[2,4],[6,8]] se puede transformar A mediante operaciones enteras de filas y columnas en diag(2,4). Las diagonales 2 y 4 verifican 2 | 4 y su producto es |det(A)|, dando así los factores invariantes de Z^2 / im(A).

Aplicación incorrecta

Confundir la forma normal de Smith con diagonalización sobre un cuerpo (forma de Jordan) o intentar calcular la SNF sobre anillos que no son PID; también aplicar solo operaciones de filas (forma de Hermite) cuando la SNF requiere operaciones de columnas.

Consecuencia

La SNF da la clasificación completa de módulos finitamente generados sobre un PID, calcula factores invariantes y divisores elementales, resuelve sistemas diofánticos lineales y determina la estructura de grupos abelianos dados por una presentación.

Inversión

En lugar de reducir por operaciones unimodulares, caracterizar el módulo mediante la estructura de ideales de la matriz de presentación o calcular factores invariantes por invariantes algebraicos globales (divisores determinánticos) sin realizar una reducción explícita.

Límite

Se aplica a matrices sobre dominios de ideales principales (por ejemplo Z o k[x]); no está en general definida ni es única sobre anillos no PID, y la SNF difiere de la clasificación por similitud sobre cuerpos (forma de Jordan) y de las formas de reducción por filas únicamente.

Tensión semántica

A menudo se confunde con la forma de Jordan o la forma racional canónica (invariantes por similitud sobre cuerpos) y con la forma normal de Hermite (reducción por filas únicamente); la tensión surge porque la SNF emplea operaciones unimodulares a izquierda y derecha y codifica invariantes de tipo módulo en lugar de invariantes de operador lineal.

Síntesis

La forma normal de Smith es la diagonalización canónica de una matriz sobre un PID obtenida mediante operaciones unimodulares de filas y columnas; sus divisores diagonales ordenados capturan la descomposición en factores invariantes del módulo presentado y son únicos salvo unidades.