La classe de conjugaison dans le groupe de Galois associée à un premier non ramifié, représentée par un automorphisme agissant sur le corps résiduel par l'application x ↦ x^q, et qui décrit la façon dont ce premier permute les premiers dans les extensions.

Principe

Pour un premier non ramifié dans une extension, le groupe de décomposition se projette sur le groupe de Galois des corps résiduels ; l'élément de Frobenius est un relèvement de l'automorphisme puissance‑q et est bien défini à conjugaison près dans le groupe de Galois global.

Démonstration

Dans une extension finie de corps finis F_q^n/F_q, l'automorphisme de Frobenius x ↦ x^q engendre Gal(F_q^n/F_q) ; pour les corps de nombres, un premier non ramifié p détermine une classe de conjugaison Frobenius_p dans Gal(K̄/K) dont l'action sur le quotient par l'inertie coïncide avec x ↦ x^{N(p)}.

Mauvaise application

Supposer l'existence d'un unique élément canonique de Frobenius au premier en présence de ramification, ou confondre le Frobenius arithmétique avec le Frobenius géométrique (convention d'inverse), ou traiter la classe comme un élément ordonné plutôt que comme une classe de conjugaison.

Conséquence

Les classes de Frobenius déterminent les facteurs locaux d'Euler des fonctions L, fondent les énoncés de densité de Chebotarev reliant la distribution des premiers aux classes de conjugaison, et fournissent des traces calculables dans les représentations de Galois.

Inversion

Remplacer l'étude du Frobenius par celle de l'inertie : alors que Frobenius mesure l'action sur le corps résiduel aux premiers non ramifiés, l'inertie mesure la ramification et l'impossibilité d'assigner un élément de Frobenius unique.

Limite

Défini pour les premiers non ramifiés dans l'extension (ou considéré modulo l'inertie au sein des groupes de décomposition) ; aux premiers ramifiés il faut travailler avec les sous‑groupes de décomposition et d'inertie et on ne peut pas attribuer une classe de Frobenius de la même manière.

Tension sémantique

Tension entre le Frobenius arithmétique (x ↦ x^{N(p)}) et le Frobenius géométrique (son inverse selon certaines normalisations géométriques), et entre la notion abstraite de Frobenius en théorie des nombres et l'endomorphisme de Frobenius agissant sur des schémas ou leur cohomologie.

Synthèse

Un élément de Frobenius est la classe de conjugaison dans le groupe de Galois qui encode l'action puissance‑q sur le corps résiduel en un premier non ramifié ; c'est le symbole local dont les traces dans les représentations et la répartition parmi les premiers relient les actions résiduelles locales aux invariants arithmétiques globaux.