“Resúmenes en temas

de matemáticas .”
Pon˜e ˇ Número‘ México

VOL.. . . No.0 DICIEMBRE 24, 2020 DISTRIBUCIÓN GRATUITA

 
TEOREMA DE ( 𝑝 − 1)! = 1 · 2 · · ·
𝑝−1
· A continuación bosquejaremos la
2 prueba del teorema de Dirichlet en
NAVIDAD DE FERMAT 
𝑝+1

progresiones aritméticas. (Advertencia:
· · · ( 𝑝 − 2) · ( 𝑝 − 1)
By LUIS ALEXANDHER 2 Incluye matemáticas mas densas).
los ultimos ( 𝑝 − 1)/2 factores son de la
siguiente manera Teorema 3. (Teorema de Dirichlet
ℰl 25 de diciembre de 1640 Fermat sobre primos en progresiones aritmé-
anunció su teorema en una carta a Mer- ( 𝑝 − 1) ≡ −1 (mód 𝑝), ( 𝑝 − 2) ≡ −2 ticas) Sean 𝑎, 𝑛 ≥ 1 enteros positivos
senne , razón por la cual se le conoce 𝑝+1 𝑝−1
(mód 𝑝),..., ≡− (mód 𝑝) con (𝑎, 𝑛) = 1. Entonces la densidad
también como Teorema de navidad de 2 2 natural (de Dirichlet) de primos 𝑝 tal que
Fermat. Dicho teorema es un caso par- El factorial queda 𝑝 ≡ 𝑎 (mód 𝑛) en el conjunto de todos
ticular del ahora ya famoso teorema de 1
los primos en Z es 𝜑 (𝑛)
Dirichlet sobre progresiones aritméticas.  (𝑝 − 1)!
 ≡ 
𝑝−1 𝑝−1
1 · 2··· ·− · · · − 2 · −1 Demostración :
2 2
(mód 𝑝)
Al plato fuerte El teorema de Willson nos dice que Sea 𝜁 𝑛 ∈ Q̄ una enésima raíz pri-
( 𝑝 −1)! ≡ −1 (mód 𝑝), así que podemos mitiva de la unidad, 𝑘 = Q, y 𝐿 =
escribir Q(𝜁 𝑛 ), es claro que 𝐿/𝐾 es Galois con
2 Gal(𝐿/𝑘)  (Z/𝑛Z) × este isomorfismo
2
Teorema 1. La ecuación 𝑎 + 1 ≡ 0

( 𝑝−1)/2 𝑝−1 se da explícitamente identificando un ele-
(mód 𝑝) tiene solución para algunos 𝑎, y −1 ≡ (−1) 1 · 2 · · ·
2 mento 𝑎 ∈ (Z/𝑛Z) × con el único auto-
𝑝 se puede representar como una suma (mód 𝑝) morfismo de 𝐿/𝐾 que mapea 𝜁 𝑛𝑘 a 𝜁 𝑛𝑎𝑘
de dos cuadrados   2 para toda 𝑘. Ahora, para un número pri-
𝑝−1
1 · 2··· ≡ (−1) ( 𝑝+1)/2 mo 𝑝 ∈ Z, Nm( 𝑝Z) = 𝑝. Si 𝔅 es primo
Teorema 2. (Teorema de navidad de 2 de O𝐿 sobre 𝑝 tal que 𝜎 ∈ Gal(𝐿/𝐾)
Fermat) Un número primo 𝑝 > 2 es la (mód 𝑝)
tatisface 𝜎(𝛼) = 𝛼Nm( 𝑝Z) (mód 𝔅), de-
suma de dos cuadrados si y solo si 𝑝 ≡ 1 bemos tener 𝜎(𝜁 𝑛𝑘 ) = 𝜁 𝑛𝑝𝑘 (mód 𝔅) pa-
Sabemos que si 𝑝 ≡ 1 (mód 4) en-
(mód 4) ra toda 𝑘. Siempre y cuando 𝑝 - 𝑛, el
tonces 𝑝 = 4𝑘 + 1 para algún 𝑘 ∈ Z.
𝑝+1 4𝑘 + 1 + 1 ideal i𝑝Z no se ramifica en 𝐿, entonces
Demostración : Entonces = = 2𝑘 + 1, h
𝐿/𝐾
2 2 𝑝Z = 𝑝¯ ∈ Gal(𝐿/𝐾), donde 𝑝¯ es la
es decir, es impar. Por lo tanto, tenemos h i
(⇒) Suponga que 𝑝 = 𝑥 2 + 𝑦 2 para que (−1) ( 𝑝+1)/2 = (−1) 2𝑘+1 = −1 y clase de 𝑝 modulo 𝑛. Así que 𝐿/𝐾 𝑝Z = 𝑎
𝑥, 𝑦 enteros no negativos. Note primero   si y solo si 𝑝 ≡ 𝑎 (mód 𝑛). Luego la den-
𝑝−1
que cualquier entero impar es congruente 1 · 2··· + 1 ≡ 0 (mód 𝑝)
con 1 (mód 4) ó 3 (mód 4). Además, 2 sidad natural
h i ideales primos 𝑝Z de Q,
de
𝐿/𝐾 1 1
tal que 𝑝Z = 𝑎 es #Gal(𝐿/𝐾 ) = 𝜑 (𝑛) .
cualquier cuadrado es congruente con 0 𝑝−1
(mód 4) ó 1 (mód 4). Así podemos con- Basta nombrar 𝑎 = 1 · 2 · · · y En otras palabras, la densidad natural (de
2
2
siderar Z4 = {0, 1, 2, 3} y (Z4 ) = {0, 1} tenemos Dirichlet) de primos 𝑝 tal que 𝑝 ≡ 𝑎
1
(pruébelo usted mismo si no me cree). (mód 𝑛) es 𝜑 (𝑛) 
𝑎 2 + 1 ≡ 0 (mód 𝑝)
Ahora considere 𝑝 = 𝑥 2 + 𝑦 2 (mód 4),
ya que 𝑥 2 , 𝑦 2 ∈ {0, 1} (mód 4), nosotros aplicando el teorema 1 concluimos que
sabemos que 𝑝 ≡ 𝑥 2 + 𝑦 2 ∈ {0, 1, 2} 𝑝 es la suma de dos cuadrados 
(mód 4). Pero 𝑝 es primo mayor que
2, luego 𝑝 es impar, por lo que 𝑝 ≡ 1
(mód 4). (Ésta prueba sirve para cual-
quier impar, no solo para primos impares). Dirichlet el Referencias
(⇐) Suponga que 𝑝 ≡ 1 (mód 4). poderoso [1] J.Brillhart ’Note on representing a
Primero vamos a examinar los factores en primes as a sum of two squares’, Math.
( 𝑝 − 1)!. Comp. 26(1972), 1011-1013