Afirmación central de la teoría del cuerpo de clases que fija la aplicación de Artin desde el grupo de clases de ideles de un cuerpo global sobre el grupo de Galois abeliano de su extensión abeliana maximal, identificando extensiones abelianas con subgrupos abiertos de los ideles y codificando elementos de Frobenius como imágenes de ideles.

Principio

Existe un homomorfismo de reciprocidad canónico (la aplicación de Artin) cuyo núcleo corresponde a normas desde la extensión abeliana máxima; esta aplicación es functorial en extensiones abelianas finitas y respeta la descomposición e inercia en los primos.

Demostración

Para Q, el enunciado se especializa en Kronecker–Weber: toda extensión abeliana finita de Q está contenida en un cuerpo ciclotómico y la aplicación de Artin identifica clases de residuos módulo n con automorfismos de Frobenius para primos que no dividen n.

Aplicación incorrecta

Utilizar la reciprocidad de Artin para describir extensiones no abelianas o esperar una correspondencia sin pasar al cociente apropiado del grupo de ideles; confundir las versiones locales y globales sin ajustar hipótesis.

Consecuencia

Clasificación completa de las extensiones abelianas finitas de cuerpos globales mediante subgrupos de ideles, determinación de conductores y leyes de reciprocidad, y un marco para interpretar funciones L abelianas a través de caracteres del grupo de clases de ideles.

Inversión

La perspectiva inversa —reconstruir el grupo de ideles a partir de un grupo de Galois abeliano dado— falla en general sin datos aritméticos adicionales; las generalizaciones no abelianas requieren otras estructuras (por ejemplo, el programa de Langlands) en lugar de un mapa de reciprocidad directo.

Límite

Se aplica a extensiones abelianas de cuerpos globales (y con adaptaciones a locales); no describe en general grupos de Galois no abelianos y no se aplica directamente a anillos arbitrarios o cuerpos no globales.

Tensión semántica

Existe tensión entre las declaraciones de reciprocidad locales en cada lugar (teoría local de cuerpos de clases) y la ley global de Artin: la misma idea de Frobenius aparece de modos distintos, por lo que hay que distinguir la formulación global por ideles de las formulaciones locales.

Síntesis

La reciprocidad de Artin reúne las acciones locales de Frobenius en un único homomorfismo global de ideles hacia el grupo de Galois abeliano, estableciendo un puente que clasifica las extensiones abelianas de cuerpos globales por subgrupos aritméticos de los ideles.