Una afirmación fundamental de la teoría de cuerpos de clase global que proporciona un isomorfismo canónico (o una aplicación de reciprocidad sobrejectiva) entre el grupo de clases de ideles de un cuerpo global y el grupo de Galois absoluto abeliano, identificando datos aritméticos con caracteres y elementos de Frobenius.

Principio

Las extensiones abelianas de un cuerpo global corresponden a subgrupos abiertos del grupo de clases de ideles: los elementos de Frobenius locales en los primos coinciden con clases idélicas y los caracteres del grupo de clases de ideles parametrizan caracteres galoisianos abelianos, realizando una ley de reciprocidad.

Demostración

Sobre los racionales, la reciprocidad de Artin identifica el cociente de los ideles por Q* con el grupo de Galois de la máxima extensión abeliana; de forma concreta, la descomposición de primos en extensiones abelianas viene gobernada por la imagen de uniformizantes locales bajo la aplicación de reciprocidad (elementos de Frobenius).

Aplicación incorrecta

Aplicar la reciprocidad de Artin a extensiones no abelianas o esperar un análogo directo para grupos de Galois arbitrarios: el teorema trata estrictamente grupos de Galois abelianizados y no debe usarse para inferir correspondencias no abelianas sin estructura adicional.

Consecuencia

Proporciona una descripción completa de las extensiones abelianas de cuerpos globales, sustenta la formulación de conductores y funciones L para caracteres, y suministra la condición de reciprocidad global usada para calcular el comportamiento de descomposición de primos.

Inversión

La reciprocidad local (las aplicaciones locales inversas entre grupos multiplicativos locales y grupos de Galois locales) complementa la reciprocidad global, pero una inversión completamente no abeliana—reemplazar las clases idélicas por objetos no abelianos para recuperar los grupos de Galois completos—queda fuera de la teoría de cuerpos de clase clásica y es objeto de conjeturas profundas.

Límite

Se aplica a cuerpos globales (cuerpos de números y cuerpos de funciones de curvas sobre cuerpos finitos) y a sus extensiones abelianas; excluye las extensiones no abelianas y requiere trabajar con ideles, completaciones y nociones topológicas de apertura para la correspondencia.

Tensión semántica

Se sitúa junto al programa de Langlands y las conjeturas de reciprocidad: la tensión es entre la clasificación abeliana concreta mediante ideles y la reciprocidad no abeliana más amplia que busca parametrizaciones análogas por datos automorfos.

Síntesis

La reciprocidad de Artin es el diccionario clásico y biyectivo de la teoría de cuerpos de clase abeliana: identifica la aritmética de las extensiones abelianas con los caracteres del grupo de clases de ideles, codifica la descomposición y el comportamiento de Frobenius y constituye el núcleo abeliano frente al cual se evalúan las generalizaciones no abelianas.