## [Representación de Galois](/es/node/63053) Definición Un homomorfismo continuo del grupo de Galois absoluto de un cuerpo hacia un grupo de matrices sobre un anillo o cuerpo de coeficientes topológico (por ejemplo Gal(K̄/K) → GL_n(E)), que linealiza la acción de Galois y expresa información aritmética en términos de álgebra lineal. ## Principio Principio Traducir la acción profinita, a menudo no lineal, del grupo de Galois absoluto en acciones lineales continuas sobre módulos o espacios vectoriales de rango finito para estudiar fenómenos aritméticos mediante invariantes de álgebra lineal y teoría de representaciones. ## Demostración Demostración El módulo de Tate ℓ‑ádico de una curva elíptica sobre un cuerpo de números proporciona una representación ℓ‑ádica continua de dimensión 2 del grupo de Galois absoluto; el carácter ciclotómico χ_ℓ : Gal(Q̄/Q) → Z_ℓ^× es una representación de Galois de dimensión uno que codifica la acción sobre raíces de la unidad de potencia ℓ. ## Aplicación incorrecta Aplicación incorrecta Tratar como representación de Galois cualquier aplicación del grupo de Galois abstracto a GL_n sin exigir continuidad respecto de la topología profinita, o ignorar la naturaleza topológica del cuerpo de coeficientes (por ejemplo, usar matrices sobre cuerpos finitos cuando se requiere topología ℓ‑ádica). ## Consecuencia Consecuencia Bien utilizada, produce invariantes lineales como trazas de elementos de Frobenius, factores L locales y globales, y permite comparaciones con objetos automorfos; organiza los datos aritméticos en sistemas compatibles que controlan deformaciones y ramificación. ## Inversión Inversión En lugar de linealizar la acción de Galois, considerar directamente la extensión de cuerpos o el grupo profinito; esta inversión pone el énfasis en las extensiones explícitas y la estructura de subgrupos en lugar de los invariantes modulares. ## Límite Límite Se aplica a homomorfismos continuos desde grupos de Galois absolutos profinitos hacia grupos de matrices sobre anillos o cuerpos de coeficientes topológicos (ℓ‑ádico, p‑ádico, finito) y excluye mapas no continuos, asignaciones matriciales puramente formales o construcciones que ignoren la topología o la ramificación. ## Tensión semántica Tensión semántica En tensión con la noción de representación automorfa: ambas agrupan datos aritméticos pero operan en lados diferentes de las correspondencias conjeturales; también se distingue de representaciones de grupos abstractos por el papel central de la continuidad y los cuerpos de coeficientes aritméticos. ## Síntesis Síntesis Una representación de Galois es el avatar lineal y continuo del grupo de Galois absoluto actuando sobre un módulo o espacio vectorial topológico de rango finito; captura aspectos locales y globales de la aritmética mediante trazas, ramificación y compatibilidades entre primos, enlazando la teoría de cuerpos con el álgebra lineal.