Enunciado central de la teoría de cuerpos de clase global que construye una aplicación de reciprocidad canónica desde el grupo de clases de ideles de un cuerpo global hacia el grupo de Galois abeliano de su máxima extensión abeliana, relacionando así caracteres continuos de ideles con extensiones abelianas y generalizando la reciprocidad cuadrática.

Principio

Las extensiones abelianas de un cuerpo global corresponden a subgrupos abiertos de índice finito en el grupo de clases de ideles; la aplicación de reciprocidad identifica elementos de Frobenius con clases de ideles e induce los isomorfismos predichos por la teoría de cuerpos de clase.

Demostración

En cuerpos de números, las extensiones ciclotómicas y cuadráticas aparecen como imágenes de caracteres explícitos sobre las clases de ideles; la reciprocidad cuadrática clásica surge como la restricción de la reciprocidad de Artin a caracteres cuadráticos y grupos de clases de Ray.

Aplicación incorrecta

Esperar una descripción recíproca directa y explícita para extensiones no abelianas o tratar la aplicación de reciprocidad como computable de forma elemental en todos los casos; omitir la necesidad de pasar al cociente abeliano y considerar conductores y ramificación conduce al mal uso.

Consecuencia

Proporciona la clasificación completa de las extensiones abelianas finitas de cuerpos globales, da conductores y leyes de reciprocidad que gobiernan la descomposición de primos y unifica muchos fenómenos de reciprocidad en teoría de números.

Inversión

Quitar la hipótesis abeliana destruye la correspondencia biyectiva; las generalizaciones no abelianas requieren marcos sustancialmente distintos (y en gran parte conjeturales) como el programa de Langlands.

Límite

Se aplica a cuerpos globales (cuerpos de número y cuerpos de funciones de curvas sobre cuerpos finitos) y a sus extensiones abelianas; debe formularse teniendo en cuenta ramificación, conductores y cierres topológicos y no se aplica a extensiones galoisianas no abelianas sin estructura adicional.

Tensión semántica

A menudo se confunde con la reciprocidad local (la aplicación local de Artin) o con leyes recíprocas elementales; su rasgo distintivo es la formulación global por clases de ideles que enlaza caracteres con extensiones abelianas, no solo cálculos de símbolos locales.

Síntesis

La reciprocidad de Artin sintetiza lo local y lo global al producir una aplicación canónica de ideles al grupo de Galois abeliano: los caracteres del grupo de clases de ideles parametrizan extensiones abelianas, recuperando leyes clásicas como casos particulares y subrayando el papel central de la topología idélica y la ramificación.