Teorema que describe la densidad asintótica de ideales primos en un cuerpo de números cuyo elemento de Frobenius pertenece a una clase de conjugación C especificada del grupo de Galois de una extensión galoisiana finita: la densidad (natural) es |C|/|G|.

Principio

Los elementos de Frobenius asociados a primos no ramificados se distribuyen equitativamente entre las clases de conjugación del grupo de Galois; las condiciones algebraicas de descomposición se manifiestan estadísticamente con frecuencias proporcionales al tamaño de las clases.

Demostración

Para una extensión K/Q con grupo G, el conjunto de primos racionales p cuyo Frobenius en Gal(K/Q) está en C tiene densidad |C|/|G|. En una extensión cuadrática esto recupera la idea de que aproximadamente la mitad de los primos se descomponen según la clase no trivial.

Aplicación incorrecta

Tratar el teorema como un recuento finito exacto en lugar de densidades asintóticas, ignorar los primos ramificados o no distinguir la densidad natural de otras nociones de densidad lleva a errores de uso.

Consecuencia

Proporciona control estadístico poderoso sobre el comportamiento de descomposición de primos en extensiones, sustenta muchos resultados sobre la distribución de primos con restricciones aritméticas y conecta datos galoisianos con asintóticos analíticos de recuento de primos.

Inversión

Si se invierte la perspectiva y se estudian primos individuales en lugar de familias estadísticas, Chebotarev no da garantías exactas sobre la clase de Frobenius de un primo aislado; la equidistribución es inherentemente asintótica y colectiva.

Límite

Requiere una extensión galoisiana finita (o pasar al cierre galoisiano) y formula densidad para primos no ramificados; por sí solo no da términos de error efectivos sin hipótesis analíticas adicionales como la GRH y hay que tratar con cuidado los primos ramificados o salvajemente ramificados.

Tensión semántica

A veces se confunde con el teorema de Dirichlet sobre primos en progresiones aritméticas (caso abeliano) o con enunciados relativos a la GRH sobre términos de error; Chebotarev es un teorema de densidad galoisiano cuya efectividad depende de entrada analítica.

Síntesis

Chebotarev une la estructura algebraica de un grupo de Galois con la distribución aritmética de primos: el tamaño de las clases de conjugación predice la densidad natural de primos con determinado comportamiento de Frobenius, ofreciendo una ley estadística unificadora para la descomposición de primos en extensiones.