## [Forma Normal de Smith](/es/node/61529) 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.