El teorema que afirma que para cualquier progresión aritmética a, a+d, a+2d, ... con enteros a y d tales que gcd(a,d)=1, hay infinitos números primos en esa progresión.

Principio

La coprimalidad entre el primer término y el módulo garantiza la existencia de caracteres multiplicativos no triviales módulo d y que las series L asociadas no se anulan en s=1 por las razones analíticas requeridas, generando contribuciones no nulas que implican infinitos primos en cada clase residual coprima con d.

Demostración

Ejemplo concreto: hay infinitos primos congruentes con 1 modulo 4 y infinitos congruentes con 3 modulo 4; el teorema de Dirichlet lo asegura aplicando caracteres módulo 4 y estudiando las series L correspondientes para mostrar la divergencia de las sumas parciales de recíprocos de primos en la progresión.

Aplicación incorrecta

Asumir que el teorema da cuentas efectivas de primos en intervalos pequeños o uniformidad sin términos de error; Dirichlet garantiza la infinitud pero por sí solo no proporciona asintóticas precisas ni distribución en intervalos cortos sin resultados más profundos (por ejemplo, el teorema de los números primos en progresiones aritméticas).

Consecuencia

Establece que los primos se distribuyen entre las clases residuales coprimas, sustenta gran parte de la teoría analítica y algebraica de números (incluyendo la teoría de campos de clase y generalizaciones sobre la distribución de primos) y proporciona un punto de partida para refinamientos efectivos y de densidad.

Inversión

Si gcd(a,d)>1 la progresión contiene a lo sumo un primo trivial igual al divisor común y por lo demás ninguno; así la conclusión del teorema falla sin la hipótesis de coprimalidad y la situación invertida es trivial o vacía de primos.

Límite

Se aplica a progresiones aritméticas de enteros con módulo d≥1 y requiere gcd(a,d)=1; trata primos en Z ordinarios y no aborda directamente primos en cuerpos de números, primos de formas especiales sin coprimalidad, ni cotas de error efectivas sin teoremas suplementarios.

Tensión semántica

El teorema de Dirichlet garantiza infinitud pero debe distinguirse de resultados de densidad como el teorema de los primos en progresiones o de afirmaciones más fuertes sobre distribución; hay confusión cuando la infinitud se confunde con uniformidad cuantitativa.

Síntesis

El teorema de Dirichlet muestra que las clases residuales coprimas contienen infinitos primos: mediante las propiedades analíticas de las series L asociadas a caracteres módulo d, toda progresión aritmética cuyo primer término sea coprimo con el módulo contiene infinitos primos, estableciendo una regularidad fundamental en la distribución de los primos.