Una forma diagonal canónica para una matriz entera (o más generalmente sobre un PID) lograda por multiplicación a izquierda y derecha por matrices unimodulares: existen U,V unimodulares sobre Z tales que U A V = diag(d1,d2,...,dr,0,...), donde cada di divide al siguiente; las entradas diagonales son los factores invariantes del módulo asociado.

Principio

Las operaciones permitidas son operaciones elementales enteras sobre filas y columnas correspondientes a multiplicar por la izquierda y por la derecha con matrices enteras invertibles; estas operaciones clasifican módulos finitamente generados sobre un dominio principal transformando matrices de presentación a forma diagonal con restricciones de divisibilidad.

Demostración

Para una matriz entera 2×2 A, aplicar operaciones enteras en filas y columnas (sumar múltiplos, intercambiar, multiplicar por ±1) para llevar A a diag(d1,d2) con d1|d2; las entradas diagonales determinan la estructura de Z^2 / im(A) como suma directa de grupos cíclicos de órdenes d1 y d2 (salvo unidades).

Aplicación incorrecta

Tratar la forma normal de Smith como si se obtuviera mediante reducción sobre el cuerpo real produce invariantes erróneos; otro error es ignorar que las entradas diagonales solo son únicas hasta multiplicación por unidades (±1) y que una diagonalización similar puede no existir sobre anillos no PID.

Consecuencia

Revela factores invariantes que clasifican módulos finitamente generados sobre Z (por ejemplo grupos abelianos finitamente generados), permite resolver sistemas de ecuaciones diofánticas lineales y calcular divisores elementales y la estructura de torsión de conoyectos de matrices enteras.

Inversión

Sobre un cuerpo, la simplificación análoga es la reducción a forma escalonada o las formas racional/Jordan; invertir la forma de Smith equivaldría a restaurar los acoplamientos no diagonales deshaciendo transformaciones unimodulares, lo que reintroduce las relaciones originales entre generadores.

Límite

Se construye sobre Z y más generalmente sobre dominios principales; no existe en general sobre anillos conmutativos arbitrarios sin estructura PID y no puede obtenerse solo con operaciones permitidas sobre cuerpos porque la divisibilidad en Z es esencial.

Tensión semántica

Se compara con la forma normal de Hermite, que usa solo operaciones unimodulares a un lado y produce una forma triangular; la forma de Smith da diagonalización completa con condiciones de divisibilidad y es más fuerte para clasificar módulos, mientras que Hermite suele ser más fácil de calcular pero menos informativa.

Síntesis

Una forma canónica diagonal U A V obtenida con U,V unimodulares que revela factores invariantes (cada diagonal divide a la siguiente), proporcionando una huella algebraica discreta de una matriz entera que clasifica módulos asociados y resuelve problemas lineales enteros.