La clase de conjugación en el grupo de Galois asociada a un primo no ramificado, representada por un automorfismo cuya acción sobre el cuerpo residual es la aplicación potencia q (x ↦ x^q), y que describe cómo ese primo permuta primos en extensiones.

Principio

En un primo no ramificado la grupo de descomposición se proyecta sobre el grupo de Galois de los cuerpos residuales; el elemento de Frobenius es cualquier elevación de la automorfía potencia‑q y está bien definido a conjugación cerca en el grupo de Galois global.

Demostración

En una extensión finita de cuerpos finitos F_q^n/F_q, la automorfía de Frobenius x ↦ x^q genera Gal(F_q^n/F_q); para cuerpos de números, un primo p no ramificado determina una clase de conjugación Frobenius_p en Gal(K̄/K) cuya acción en el cociente por la inercia coincide con x ↦ x^{N(p)}.

Aplicación incorrecta

Asumir la existencia de un único elemento de Frobenius canónico en presencia de ramificación, o confundir Frobenius aritmético con Frobenius geométrico (convención inversa), o tratar la clase como un elemento ordenado en lugar de una clase de conjugación.

Consecuencia

Las clases de Frobenius determinan factores locales de Euler en funciones L, sustentan los enunciados de densidad de Chebotarev que relacionan la distribución de primos con clases de conjugación, y proporcionan trazas computables en representaciones de Galois.

Inversión

Sustituir el enfoque en Frobenius por el estudio de la inercia: mientras Frobenius mide la acción sobre el cuerpo residual en primos no ramificados, la inercia mide la ramificación y la imposibilidad de asignar un Frobenius único.

Límite

Definido para primos no ramificados en la extensión (o considerado módulo inercia dentro de los grupos de descomposición); en primos ramificados hay que trabajar con subgrupos de descomposición e inercia y no puede asignarse una clase de Frobenius de la misma manera.

Tensión semántica

Tensión entre Frobenius aritmético (x ↦ x^{N(p)}) y Frobenius geométrico (su inverso según ciertas normalizaciones geométricas), y entre la noción abstracta de Frobenius en teoría de números y el endomorfismo de Frobenius que actúa en esquemas o cohomología.

Síntesis

Un elemento de Frobenius es la clase de conjugación en el grupo de Galois que captura la acción potencia‑q sobre el cuerpo residual en un primo no ramificado; como símbolo local, sus trazas en representaciones y su distribución entre primos unen las acciones residuales locales con invariantes aritméticos globales.