Un théorème de la théorie algébrique des nombres qui identifie la densité naturelle des nombres premiers rationnels dont la classe de conjugaison de Frobenius dans le groupe de Galois d'une extension galoisienne finie appartient à une classe de conjugaison donnée ; la densité vaut la taille de cette classe divisée par l'ordre du groupe de Galois.

Principe

En faisant varier les nombres premiers, les éléments de Frobenius se répartissent de façon équidistribuée entre les classes de conjugaison du groupe de Galois, avec une fréquence proportionnelle à |C|/|G| pour la densité naturelle.

Démonstration

Pour une extension quadratique K/Q de groupe de Galois d'ordre 2, les premiers se scindent ou restent inertes selon que l'élément de Frobenius est l'identité ou l'élément non trivial, de sorte que chaque type de scission a densité naturelle 1/2 ; de même, dans une extension cyclotomique, la proportion de premiers dont Frobenius appartient à une classe donnée coïncide avec le rapport prévu.

Mauvaise application

Appliquer le théorème à des extensions non galoisiennes, à des ensembles finis de premiers sans passer à la limite de densité, ou prétendre à des termes d'erreur effectifs sans vérifier les hypothèses analytiques est incorrect.

Conséquence

On peut compter les nombres premiers selon leur comportement de scission, relier des propriétés statistiques des premiers à des invariants du groupe et déduire de nombreux résultats classiques (y compris le théorème de Dirichlet) comme cas particuliers.

Inversion

Plutôt que d'utiliser les données du groupe pour prédire la distribution des premiers, on peut déduire des informations sur le groupe de Galois à partir des densités observées de scission des premiers ; l'abondance ou la rareté de certains types de scission renseigne sur la structure des sous-groupes.

Limite

Nécessite une extension galoisienne finie de corps de nombres et la notion de densité naturelle (de Dirichlet) des premiers ; il ne fournit pas en soi d'estimations effectives uniformes et doit être adapté pour des extensions non galoisiennes ou infinies.

Tension sémantique

Souvent confondu avec le théorème de Dirichlet sur les progressions arithmétiques (cas particulier) ou avec des énoncés d'équidistribution dans des familles analytiques ; la tension porte sur la formulation galoisienne versus la formulation purement analytique de la distribution des premiers.

Synthèse

Chebotarev relie la structure algébrique d'un groupe de Galois à la fréquence asymptotique des types de scission des nombres premiers, fournissant une loi de proportionnalité précise (|C|/|G|) qui convertit des données de conjugaison en assertions de densité analytique.