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