Definición
Una forma diagonal canónica para matrices sobre los enteros (o, más generalmente, sobre un dominio de ideales principales) obtenida mediante multiplicaciones por la izquierda y por la derecha por matrices unimodulares, cuyos elementos diagonales d1, d2, ... satisfacen d1 | d2 | ... y codifican la estructura del cokernel como módulo.
Principio
Principio
Aplicar operaciones de filas y columnas invertibles sobre un PID para transformar una matriz a una diagonal con factores invariantes de divisibilidad; la unicidad se mantiene salvo multiplicación de entradas por unidades y permutaciones que respeten el orden de divisibilidad.
Demostración
Demostración
Para la matriz entera 2×2 [[2,4],[6,8]], aplicar operaciones unimodulares de filas y columnas para reducirla a la diagonal diag(2,2), revelando los factores invariantes 2 y 2 y mostrando que el cokernel ≅ Z/2Z × Z/2Z.
Aplicación incorrecta
Aplicación incorrecta
Tratar la Forma Normal de Smith como si fuera la forma de Jordan sobre un cuerpo o aplicar el algoritmo SNF en un anillo no PID; ello puede producir invariantes incorrectos o fallos en el procedimiento.
Consecuencia
Consecuencia
Su uso correcto proporciona invariantes completos para módulos de tipo finito sobre un PID: clasificación de grupos abelianos presentados por la matriz, cálculo de divisores elementales y determinación de la estructura de torsión.
Inversión
Inversión
En lugar de reducir por operaciones unimodulares a una diagonal, puede optarse por trabajar sobre un cuerpo mayor para obtener formas de Jordan o racionales; esos reversos cambian invariantes de divisibilidad entera por estructura de autovalores.
Límite
Límite
Se aplica a matrices con entradas en un dominio de ideales principales (no a cualquier anillo conmutativo); sobre anillos no PID la SNF puede no existir o requerir invariantes distintos; trata estructura de módulo y no propiedades algebraico‑geométricas sobre cuerpos.
Tensión semántica
Tensión semántica
En tensión con la forma de Hermite y la forma de Jordan: la HNF ofrece una forma triangular útil para bases de redes, la JNF describe operadores sobre cuerpos algebraicamente cerrados; la SNF registra específicamente divisibilidad integral.
Síntesis
Síntesis
La Forma Normal de Smith es la diagonalización integral canónica obtenida mediante operaciones unimodulares que extrae factores invariantes de divisibilidad; traduce datos matriciales en invariantes de módulo para clasificar grupos abelianos finitamente generados y calcular la torsión.