Théorème décrivant la densité asymptotique des idéaux premiers d'un corps de nombres dont la classe de conjugaison de Frobenius appartient à une classe de conjugaison C donnée du groupe de Galois d'une extension galoisienne finie : la densité naturelle vaut |C|/|G|.

Principe

Les éléments de Frobenius attachés aux premiers non ramifiés se distribuent équitablement parmi les classes de conjugaison du groupe de Galois ; les conditions algébriques de décomposition apparaissent statistiquement avec des fréquences proportionnelles aux tailles des classes.

Démonstration

Pour une extension K/Q galoisienne de groupe G, l'ensemble des premiers rationnels p dont le Frobenius dans Gal(K/Q) est dans C a densité |C|/|G|. Pour une extension quadratique cela récupère l'idée que, approximativement, la moitié des premiers se décomposent selon la classe non triviale.

Mauvaise application

Considérer le théorème comme fournissant des décomptes finis exacts plutôt que des densités asymptotiques, ignorer les premiers ramifiés ou ne pas distinguer la densité naturelle d'autres notions de densité induit des erreurs d'interprétation.

Conséquence

Donne un contrôle statistique puissant sur le comportement de décomposition des premiers dans les extensions, sous-tend de nombreux résultats sur la distribution des premiers avec contraintes arithmétiques et relie les données galoisiennes aux asymptotiques analytiques de comptage de nombres premiers.

Inversion

Si l'on inverse la perspective et qu'on étudie des premiers isolés plutôt que des familles statistiques, Chebotarev n'assure rien d'exact pour un premier individuel ; l'équidistribution est de nature asymptotique et collective.

Limite

Nécessite une extension galoisienne finie (ou de passer à la clôture galoisienne) et formule la densité pour les premiers non ramifiés ; il n'apporte pas en soi de termes d'erreur effectifs sans hypothèses analytiques supplémentaires comme la GRH et demande de la prudence pour les premiers ramifiés ou sauvagement ramifiés.

Tension sémantique

Est parfois confondu avec le théorème de Dirichlet sur les progressions arithmétiques (cas abélien spécial) ou avec des énoncés liés à la GRH concernant les termes d'erreur ; Chebotarev est un théorème de densité galoisien dont l'effectivité dépend des entrées analytiques.

Synthèse

Chebotarev relie la structure algébrique d'un groupe de Galois à la distribution arithmétique des premiers : la taille des classes de conjugaison prédit la densité naturelle des premiers avec un comportement de Frobenius donné, fournissant une loi statistique unificatrice pour la décomposition des premiers.