Théorème de Densité de Chebotarev

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.

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|.