Un teorema de teoría algebraica de números que determina la densidad natural de los primos racionales cuya clase de conjugación de Frobenius en el grupo de Galois de una extensión galoisiana finita pertenece a una clase de conjugación prescrita; la densidad es el tamaño de esa clase dividido por el orden del grupo de Galois.

Principio

Al variar los primos, los elementos de Frobenius se distribuyen de forma equidistribuida entre las clases de conjugación del grupo de Galois, con frecuencia proporcional a |C|/|G| respecto de la densidad natural.

Demostración

Para una extensión cuadrática K/Q de grupo de Galois de orden 2, los primos se dividen o permanecen inertes según si Frobenius es la identidad o el elemento no trivial, de modo que cada tipo de descomposición tiene densidad natural 1/2; en extensiones ciclotómicas, la proporción de primos con Frobenius en una clase dada concuerda con la relación prevista.

Aplicación incorrecta

Aplicar el teorema a extensiones no galoisianas, a conjuntos finitos de primos sin pasar al límite de densidad, o afirmar términos de error efectivos sin verificar hipótesis analíticas es incorrecto.

Consecuencia

Se pueden contar primos con un comportamiento de descomposición prescrito, relacionar propiedades estadísticas de los primos con invariantes del grupo y deducir muchos resultados clásicos (incluido el teorema de Dirichlet) como casos particulares.

Inversión

En lugar de usar datos del grupo para predecir la distribución de primos, puede inferirse información sobre el grupo de Galois a partir de las densidades observadas de descomposición de primos; la presencia o ausencia de ciertos tipos sugiere estructura de subgrupos.

Límite

Requiere una extensión galoisiana finita de cuerpos de números y la noción de densidad natural (de Dirichlet) de primos; no proporciona por sí sola estimaciones efectivas y debe adaptarse para extensiones no galoisianas o infinitas.

Tensión semántica

Se confunde a menudo con el teorema de Dirichlet sobre progresiones aritméticas (caso particular) o con otras afirmaciones de equidistribución; la tensión es entre la formulación en términos del grupo y la formulación analítica de la distribución de primos.

Síntesis

Chebotarev vincula la estructura algebraica de un grupo de Galois con la frecuencia asintótica de los tipos de descomposición de primos, estableciendo la regla de proporcionalidad |C|/|G| que traduce datos de conjugación en afirmaciones de densidad analítica.