Teorı́a Arı́metica de Formas cuadráticas

Hugo Castillo
Índice general

1. Formas Cuadráticas 5
1.1. Formas Cuadráticas binarias . . . . . . . . . . . . . . . . . . . . 5
1.2. Restos Cuadráticos y Reciprocidad cuadrática . . . . . . . . . . . 9

2. Clases de Formas 13
2.1. Formas reducidas . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2. El Caracter Cuadrático . . . . . . . . . . . . . . . . . . . . . . . 17
2.3. Representación de números primos . . . . . . . . . . . . . . . . . 19
2.4. Mas allá . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

3. Apéndice 25
3.1. Congruencias . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2. Sistemas de Residuos . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3. Sistemas de Ecuaciones en Congruencias . . . . . . . . . . . . . 30
3.4. Congruencias Polinomiales . . . . . . . . . . . . . . . . . . . . . 32

3
Capı́tulo 1

Formas Cuadráticas

1.1. Formas Cuadráticas binarias

Por forma cuadrática binaria entenderemos un polinomio homogeneo coefi-
cientes enteros de grado 2, es decir un f ∈ Z[X, Y] de la forma

f = aX 2 + bXY + cY 2 .

De ahora en adelante llamaremos Q al conjunto dichos polinomios. En estas

notas estudiaremos la teorı́a de ecuaciones diofánticas del tipo

aX 2 + bXY + cY 2 = N

donde N ∈ Z, la cual fue desarrollada por matemáticos como Gauss, Euler, La-
grande, Legendre, entre otros.

Denotemos Q al conjunto de formas cuadráticas, es decir

Q = {aX 2 + bXY + cY 2 ∈ Z[X, Y] / a, b, c ∈ Z}

Definición 1 Diremos que n ∈ Z es representado por f ∈ Q si existen a, b ∈ Z

coprimos tales que n = f (a, b). Si además a y b son coprimos, diremos que n es
propiamente representado por f .
La representación propia es una condición razonable ya que vamos a estar
interesados en estudiar cuando un número primo es representado por una forma
cuadrática primo.

5
 a b/2


Para f = aX 2 + bXY + cY 2 ∈ Q denotemos M f = ∈ M2 (Q ). Es claro
b/2 c


que f esta totalemente determinada por M f , es mas en M2 Q [X, Y] tenemos la
igualdad !
X
f = X, Y M f


Y

Definición 2 Dadas f, g ∈ Q se dirán linealmente equivalentes, lo que denotare-

p q
 
mos f ∼ g, si existe una matriz invertible ∈ GL2 (Z) tal que
r s

f (X, Y) = g(pX + qY, rX + sY).

Si además ps − qr = 1 diremos que f y g son propiamente equivalentes lo que

denotaremos por f ∼ p g.

Si f, g son equivalentes para resolver la ecuación g(X, Y) = n, bastarı́a resolver

f (X, Y) = n ya que si (u, v) ∈ Z2 es solución de esta entonces (pu+qv, ru+sv) serı́a
solución de nuestro problema original. Para entender mejor este cambio lineal
introduscamos la siguiente operación:
∗
: GL2 (Z) × Q −→ Q

(A, f ) 7−→ A∗ f

p q
 
donde para A = ∈ GL2 (Z) definimos A∗ f = f (pX + qY, rX + sY).
r s

Lema 1 Si f ∈ Q y A ∈ GL2 (Z) entonces M A∗ f = At M f A.

Basta notar que,

pX + qY
 
A∗ f = (pX + qY, rX + sY)M f ,
rX + sY
X
 
= (X, Y)At M f A ,
Y

por tanto M A∗ f = At M f A.

Propocisión 1 La equivalencia lineal es una relación de equivalencia.

Prueba: Para A, B ∈ GL2 (Z), de lo anterior para g = (AB)∗ f tenemos
M g = (AB)t M f AB = Bt At M f AB = Bt M A∗ f B = M B∗ (A∗ f ) ,
por lo tanto (AB)∗ f = B∗ (A∗ f ), es decir la equivalencia lineal es transitiva. La
reflexividad y simetrı́a siguen de que f = I ∗ f y si g = A∗ f entonces (A−1 )∗ g =
(AA−1 )∗ f = f . 

Definición 3 (Discriminante) Dada f = aX 2 + bXY + cY 2 ∈ Q definimos su

discriminante como ∆( f ) = b2 − 4ac.
Sea f = aX 2 + bXY + cY 2 ∈ Q con a , 0 y D = ∆( f ), complentando cuadrados
obtenemos:
b
1
f = a X + Y 2 − DY 2 ,
2a 4a
de aqui es claro que si a > 0 y D < 0 entonces fuera del origen f solo toma
valores positivos y si a > 0 y D > 0 entonces f toma tanto valores positivos y
negativos.

Propocisión 2 El discriminate es invariante por equivalencia lineal, es decir si

f, g ∈ Q y f ∼ g entonces ∆( f ) = ∆(g).
Prueba: La prueba la dejamos como ejercicio para el lector. 

Definición 4 Para f = aX 2 + bXY + cY 2 ∈ Q dirémos que:

1. f es primitiva si a, b, c son coprimos.
2. f es definida positiva si f (u, v) > 0 para todo (u, v) ∈ Z2 \ {(0, 0)}.
Claramente si dos formas son linealmente equivalentes toman los mismos val-
ores, en particular el hecho de ser definida positiva es un invariante por equiva-
lencia lineal. Para ver que el ser primitiva también es invariante requerimos el
siguiente lema:

Lema 2 Sea p un número primo impar y A ∈ Mn (F p ) simétrica. Si para todo

u ∈ (F p )n , ut Au = 0 entonces A = 0.
Prueba: Sean e1 , . . . , en los vectores canónicos de (F p )n y A = (ai j ), como
eti Ae j = ai j en particular tenemos que aii = 0. Por otro lado
0 = (ei + e j )t A(ei + e j ) = eti Ae j + etj Aei = ai j + a ji ,
Por simetrı́a 2ai j = 0 por tanto como p , 2 sigues que ai j = 0. 
Propocisión 3 Si una forma es primitiva, todas las formas linealmente equiva-
lentes a esta son primitivas.
Prueba: Sea f = aX 2 + bXY + cY 2 ∈ Q primitiva g = A∗ f . Para p , 2, M f tiene
sentido en M2 (F p ) y del hecho que f es primitiva sigue que M f , 0 en M2 (F p ).
Por otro lado, como M g = At M f A y A es invertible M2 (F p ) sigue que M g , 0
en M2 (F p ) por tanto los coeficientes de g tienen maximo común divisor coprimo
con p. Para el caso p = 2 bastarı́a analizar las siguientes formas: X 2 + XY + Y 2 ,
a b
 
X 2 + Y 2 , X 2 + XY, X 2 y XY. Por ejemplo para f = X 2 + XY + Y 2 y A =
c d
tenemos que en F2 [X, Y],
A∗ f = f (a, c)X 2 + (ad + bc)XY + f (b, d)Y 2

= f (a, c)X 2 + XY + f (b, d)Y 2 ,

el cual es primitivo. Los demas casos se dejan como ejercicio para el lector. 

Notemos que para f ∈ Q, ∆( f ) ≡ b2 mód 4 por tanto solo puede tomar los
valores 0, 1 mód 4. Esto nos motiva a definir:

Definición 5 Para D ≡ 0, 1 mod 4 definimos

Q(D) = { f ∈ Q / f es primitiva, definida positiva y ∆( f ) = D}.
Hasta ahora hemos trabajado con equivalencia lineal, mas ahora vamos a de-
tenernos a estudiar que pasa con la equivalencia propia. En este caso nos restringi-
mos a S L2 (Z) × Q −→ Q bajo la operación (A, f ) 7−→ A∗ f . Ya que las formas
propiamente equivalentes son linealmente equivalentes, la equivalencia propia
preserva formas primitivas, formas definidas positivas ası́ como al discriminante,
por tanto preserva Q(D). Otra propiedad interesante de la equivalencia propia es
su relación con la representación propia, la cual vamos a ver a continuación.

Lema 3 Una forma f ∈ Q representa propiamente a un entero m si y solo sı́ f es

propiamente equivalenta a una forma mX 2 + bXY + cY 2 con b, c ∈ Z.
a b
 
Prueba: Si para A = ∈ S L2 (Z) tenemos que A∗ f = mX 2 + bXY + cY 2
c d
evaluando en (1, 0) obtenemos que f (a, c) = m. Por otro lado f (u, v) = m con
u, v ∈ Z coprimos, como existen r, s ∈ Z tales que ru + sv = 1, podemos construir
u −s
 
B= ∈ S L2 (Z) y f ∼ p B∗ f = f (u, v)X 2 + bXY + f (−s, r)Y 2 . 
v r
Propocisión 4 Sea D ≡ 0, 1 mod 4 y m un impar coprimo con D. Entonces m es
propiamente representado por una forma en Q(D) si y solo sı́ es D ≡ a2 mod m
para algún a coprimo con m.
Prueba: Si m es representado propiamente por f ∈ Q(D), del lema anterior
f ∼ p g con g = mX 2 + bXY + cY 2 y por tanto D = b2 − 4mc ≡ b2 mod m.
Por otro lado, si D ≡ b2 mod m como m es impar sigue que D y b tienen la misma
paridad y como D y b2 solo pueden tomar los valores 0, 1 módulo 4 sique que
D ≡ b2 mod 4. Ası́ D ≡ b2 mod 4m y por tanto existe c ∈ Z tal que D = b2 − 4mc.
Consideremos g = mX 2 + bXY + cY 2 . Es claro que ∆(g) = D además si un primo
p divide a m, b y c este debe dividir a m y D lo cual no puede ser por ser corpimos,
por tanto g es primitiva. 

En particular vamos a estar interesados en usar el resultado anterior para saber

cuando un número primo impar p es representado por una determinada forma,
para esto debemos saber cuando el discriminante de dicha forma es un cuadrado
mod p. La siguiente sección va a tratar en detalle dicho problema.

1.2. Restos Cuadráticos y Reciprocidad cuadrática

Definición 6 Sea n ∈ N. Decimos que α ∈ Z coprimo con n, es un resto cuadrático
módulo n si existe a ∈ Z para el cual α ≡ a2 mod n.
El que un número sea o no resto cuadrático depende realmente de clase de con-
gruencia, por lo que a veces nos referiremos por resto cuadrático para referirnos
a esas clases. Cuando hablemos de la cantidad restos cuadráticos módulo n, nos
estaremos refiriendo a cuantas clases de (Z/nZ)× son cuadrados de otras.

Definición 7 Para p primo y α ∈ Z \ pZ definimos el sı́mbolo de Legendre

α 1 Si α es resto cuadrado módulo p
! (
=
p −1 Si α no es cuadrado módulo p
Es fácil notar que si α, β ∈ Z \ pZ entonces
αβ α β αβ2 α
! ! ! ! !
= =
p p p p p
Sea p primo impar. Notemos que

α2 ≡ β2 mod p =⇒ α ≡ ±β mod p
en particular para k ∈ {1, 2, . . . , (p − 1)/2}, k2 toma valores incongruentes entre
sı́, los cuales agotan todos los restos cuadráticos módulo p, esto es hay (p − 1)/2
de ellos. Si α es un cuadrado módulo p, α ≡ a2 mod p con (a, p) = 1 (ya que
p|a =⇒ p|α) del teorema pequeño de Fermat a p−1 ≡ 1 mod p, ası́
p−1
α 2 ≡ 1 mod p.
p−1
Esto es, α es raı́z módulo p de x 2 − 1, y como hay (p − 1)/2 restos cuadráticos
módulo p, son justamente todas sus raı́ces. Por otro lado 1, 2, . . . , p − 1 son todas
p−1 p−1
las raı́ces de x p−1 − 1 = (x 2 + 1)(x 2 − 1), por tanto los (p − 1)/2 restos restantes
p−1
corresponden a las raı́ces de x 2 + 1, es decir si β ∈ Z \ pZ no es resto cuadrático
p−1
módulo p entonces β 2 ≡ −1 mod p. En resumén hemos probado lo siguiente:

α
!
p−1
Propocisión 5 Si α ∈ Z \ pZ entonces ≡ α 2 mod p.
p
p−1
Para estimar α 2 consideremos el siguiente sistema completo de restos módulo
p,
−(p − 1)/2 . . . − 1, 1 . . . (p − 1)/2
ası́ para r ∈ {1, . . . , (p − 1)/2} existe εr ∈ {−1, +1} y mr ∈ {1, 2 . . . (p − 1)/2}

αr ≡ εr mr mod p

mr ≡ m s mod p =⇒ r2 ≡ s2 mod p =⇒ r = ±s mod p =⇒ r = s ya que

r, s ∈ {1, 2 . . . (p − 1)/2}. Ası́ m1 , . . . , m p−1 son incongruentes entre sı́ y por tanto
2
son congruentes a una permutación de 1, . . . , (p − 1)/2, por tanto {(p − 1)/2}! ≡
m1 · · · m p−1 mod p
2

p−1
α 2 {(p − 1)/2}! = (α)(2α) · · · ({p − 1/2}α) ≡ ε1 · · · ε p−1 m1 · · · m p−1 mod p
2 2

p−1
por tanto α 2 ≡ ε1 · · · ε p−1 mod p.
2

Lema 4 Sea α ∈ Z \ pZ. Consideremos los restos al dividir por p de

p−1
α, 2α, . . . ,
α
2
α
!
Si m de ellos son mayores de p/2 entonces = (−1)m .
p
Prueba: Para k ∈ {1, 2 . . . (p − 1)/2} sean qk , rk ∈ Z tales que kα = qk p + rk ası́

si rk < p/2
(
1
εk =
−1 si rk > p/2

α
$ % $ % !
j 2r k
k
j
2kα
k
2rk 2kα
esto es εk = (−1) = (−1)
p p ya que + 2qk = por tanto =
p p p
(p−1)/2
X $ 2αk %
(−1)N donde N = . Ahora si α es impar p + α es par
k=1
p

2α + 2p 4(α + p)/2 (p + α)/2

! ! ! !
2α
= = =
p p p p
!
2α
luego = (−1)N con
p
(p−1)/2 % (p−1)/2
X $ (α + p)k X $ αk % p2 − 1
N= = +
k=1
p k=1
p 8

en particular para α = 1 obtenemos:

!
2 p2 −1
Propocisión 6 Para todo p primo impar, = (−1) 8 .
p
Prueba: Basta tomar α = 1 en la igualdad anterior. 

α p−1α
$ % $ % $ %
2α
Propocisión 7 Sea α ∈ Z \ pZ impar y M = + + ... +
p p 2 p

α
!
= (−1)M
p

2 α
! ! !
2α p2 −1
Prueba: Es inmediato de que = = (−1)M (−1) 8 . 
p p p

Teorema 1 (Ley de Reciprocidad Cuadrática) Si p, q son primos impares en-

tonces ! !
p p−1 q−1 q
= (−1) 2 2
q p
Prueba: Sean P = {1, 2, . . . , (p − 1)/2}, Q = {1, 2, . . . , (q − 1)/2} y R = P × Q.
La recta y = (q/p)x al no pasar por ningún punto de R lo divide en dos partes.
Sean N, M la cantidad de puntos de la parte superior e inferior respectivamente,
q−1
ası́ M + N = |R| = p−1
2 2 , por otro lado
$ % $ % $ % $ % $ % $ %
q 2q p−1q p 2p q−1 p
M= + + ... + yN = + + ... +
p p 2 p q q 2 q
! !
p q p−1 q−1
Del lema anterior = (−1)M+N = (−1) 2 2 . 
q p

Definición 8 (Sı́mbolos de Jacobi) Sea m > 1 impar y m = pα1 1 · · · pαr r su factor-

ización en factores primos. Para n coprimo con m se define el simbolo de Jacobi
!α !α
n n 1 n r
= ···
m p1 pr

Los sı́mbolos de Jacobi si bien no determinan restos cuadráticos, dan la ventaja

de ser muchos mas flexibles que los sı́mbolos de Legenre y a su ves comparten
muchas de sus propiedades y cuadno el termino inferior sea primo coinciden con
los sı́mbolos de Legendre. Veamos algunas propiedades del simbolo de Jacobi:

Propocisión 8 Sean m, m0 > 1 impares y n, n0 corpimos con m y m0 .

n0
!  
n
0
1. Si n ≡ n mod m entonces = .
m m
nn0
!   0!
n n  n   n  n 
2. = y = .
m m m mm0 m m
! !
−1 m−1 2 m2 −1
3. = (−1) 2 y = (−1) 8 .
m m
n n−1 m−1
m
4. Si n, m ≥ 3 son impares = (−1) 2 2 .
m n
Prueba: Las pruebas se deja como ejecicio para el lector. 
Capı́tulo 2

Clases de Formas

2.1. Formas reducidas

En este capı́tulo estudiremos las clases de formas cuadráticas en Q(D) para
D ≡ 0, 1 mod 4.

Definición 9 Una forma cuadrática f = aX 2 + bXY + cY 2 es semireducida si

|b| ≤ a ≤ c.

Propiedad 1 En Q(D) toda clase contiene una forma semireducida.

Prueba: Sean F ∈ Q(D) y f = aX 2 + bXY + cY 2 ∈ F . Si |b| ≤ mı́n{a, c} y

0 −1 ∗
 
a ≤ c no hay nada que probar y en caso c > a, notemos que g = f =
1 0
cX 2 − bXY + aY 2 ∈ F y claramente es semireducida.
Si |b| > 2a, podemos escoger β ∈ Z de modo que b = 2aβ + b0 con |b0 | ≤ a.
1 −β
 
Notemos que B = ∈ S L2 (Z) y para g = B∗ f tenemos
0 1

g = aX 2 + (b − 2aβ)XY + f (−β, 1)Y 2 ,

= aX 2 + b0 XY + c0 Y 2

luego |b0 | ≤ a, y por tanto estamos en el caso inicial. 

Lema 5 Si f = aX 2 + bXY + cY 2 es semireducida y definida positiva entonces:

13
 1. Para u, v ∈ Z, uv , 0 tenemos f (u, v) ≥ (a − |b| + c) mı́n{u2 , v2 }

2. a − |b| + c = mı́n f (u, v) / u, v ∈ Z, uv , 0}.



3. a = mı́n f (u, v) / u, v ∈ Z, (u, v) , (0, 0)}.



Prueba: Antetodo notemos que para u, v ∈ Z con uv , 0 y m = mı́n{u2 , v2 } ≥ 1

tenemos que au2 ≥ am, cv2 ≥ cm y buv ≥ −|b|m luego

f (u, v) ≥ (a − |b| + c) mı́n{u2 , v2 } ≥ a − |b| + c,

por otro lado f (1, ±1) = a−|b|+c por tanto a−|b|+c es el mı́nimo buscado. Como
c ≥ |b| es claro que a − |b| + c ≥ a y f (1, 0) = a luego a ≥ mı́n f (u, v) / u, v ∈

Z, uv , 0 y tal mı́nimo debe alcanzarse cuando u = 0 o v = 0 correspondiendo a

f (u, v) = cv2 y f (u, v) = au2 . De que a ≤ c es claro que dicho mı́nimo debe ser a.


Definición 10 Sea f = aX 2 + bXY + cY 2 ∈ Q(D). Diremos que f es reducida si

es semireducida y además satisface una de las siguientes condiciones:

1. |b| < a < c.

2. |b| = a y b ≥ 0.

3. a = c y b ≥ 0.

Por ejemplo en Q(−56) las formas 3X 2 − 2XY + 5Y 2 , 3X 2 + 2XY + 5Y 2 son ambas

reducidas sinembargo en Q(−36), 2X 2 + 2XY + 5Y 2 es reducida pero 2X 2 − 2XY +
5Y 2 no lo es.

Propocisión 9 Sean f, g ∈ Q(D) reducidas. Si f ∼ p g entonces f = g.

Prueba: Sean f = aX 2 +bXY +cY 2 y g = a0 X 2 +b0 XY +c0 Y 2 en Q(D) reducidas.

Si f ∼ p g sabemos que f y g toman los mismos valores, en particular los mismos
valores no nulos, luego

a= mı́n f (u, v) = mı́n g(u, v) = a0

(u,v),(0,0) (u,v),(0,0)

de la misma forma,

a − |b| + c = mı́n f (u, v) = mı́n g(u, v) = a0 − |b0 | + c0

uv,0 uv,0
es decir a = a0 y c − c0 = |b| − |b0 |. Por otro lado de que ∆( f ) = ∆(g),

(|b| − |b0 |)(|b| + |b0 |) = 4a(c − c0 ).

Si c , c0 tendriamos que |b| + |b0 | = 4a, pero a ≥ |b|, |b0 | luego 2a ≥ |b| + |b0 |,
por tanto c = c0 y |b| = |b0 |. Para determinar los signos de b y b0 estudiemos los
distintos casos:

1. Si |b| < a < c. En este caso a < a − |b| + c, luego si f (u, v) = a entonces
p r
 
uv = 0 es más (u, v) = (±1, 0). Sea A = ∈ S L2 (Z) tal que g = A∗ f .
q s
Como a = f (p, q), sigue que (p, q) = (±1, 0) y como ps − rq = 1 sigue que
(r, s) = (0, ±1), por tanto A = ±I y f = g.

2. Si a = |b| o a = c y b ≥ 0. En ambos casos como g es reducida y a0 = |b0 | o

a0 = c0 debe ocurrir que b0 ≥ 0, por tanto b = b0 y f = g.

Definición 11 Sea D < 0 tal que D ≡ 0, 1 mod 4. Definimos el conjunto de clases

C(D) como Q(D)/ ∼ p .

Teorema 2 Las formas reducidas de discriminate D son representantes de clases

de C(D).

Prueba: Sabemos que las formas reducidas distintas no son equivalentes entre
sı́, luego basta probar que cada clase F ∈ C(D) contiene una forma reducida. Sea
f = aX 2 + bXY + cY 2 ∈ F semireducida, consideremos los casos:

1. Si |b| < a < c es reducida y no hay nada que probar.

1 1
 
2. Si |b| = a. Si b < 0, es decir f = aX 2 − aXY + cY 2 , tomemos A =
0 1
luego A∗ f = aX 2 + aXY + cY 2 la cual es reducida.

0 −1
 
3. Si a = c. Si b < 0, es decir f = aX 2 − |b|XY + aY 2 , tomemos B =
1 0
luego B∗ f = aX 2 + |b|XY + aY 2 la cual es reducida.

Por tanto siempre podemos encontrar una forma reducida en F como se queria
demostrar. 

Teorema 3 Sea D < 0 y D ≡ 0, 1 mod 4. El conjunto de clases C(D) es finito.

Prueba: Basta probar que hay una cantidad de formas reducidas para un dis-
criminante D fijado, para esto tomemos f = aX 2 + bXY + cY 2 ∈ Q(D) reducida,
luego |b| ≤ a ≤ c y
−D = 4ac − b2 ≥ 4a2 − b2 ≥ 3a2 ,
r
−D
por tanto 0 < a ≤ , de ahi solo puede tomar finitos valores. Como |b| ≤ a
3
para cada valor de a hay finitos posibles valores para b y para asu vez para c ya que
D = b2 −4ac, por tanto hay finitas posibles formas reducidas de discriminante D.

Este resultado a su vez nos da un algoritmo para determinar conjuntos clases,

por ejemplo
q para D = −4, si f es reducida y aX 2 + bXY + cY 2 , tenemos que
a < 43 < 2 por tanto a = 1 y b ≤ 1. Como b2 − 4c = −4, b debe ser par y por
tanto nulo por lo cual c = 1. Ası́ la única forma reducifa de discriminante 4 es
X 2 + Y 2 y C(−4) = {[X 2 + Y 2 ]}. Combinando este resultado con el ultimo lema del
capı́tulo anterior obetenemos,

Propocisión 10 Si p es primo impar, p es suma de dos cuadrados si y solo sı́ p ≡

1 mod 4.

Prueba: Sabemos que para p! impar, p es representando por una forma de dis-
−1
criminante −4 si y solo sı́ = 1 y esto ocurre cuando p ≡ 1 mod 4. Por otro
p
lado en dicho caso, la forma que representa a p debe ser equivalente a X 2 + Y 2 , ya
que hay una única clase en C(−4), por tanto p debe ser suma de cuadrados. 

Para D = −20 haciendo el mismo

q analisis para una aX + bXY + cY ∈ Q(D)
2 2

reducida obtenemos que 0 < a ≤ 20

3 , luego a puede ser 1 o 2. En ambos casos
b es par por tanto para a = 1, b = 0 y c = 1 es decir f = X 2 + 5Y 2 . Por otro
lado para a = 2, b = 2b0 donde b0 puede ser 0 o 1 y mirando el discriminante
b20 − 2c = 5 por tanto |b| = 2, mas como f es reducida, b = 2 y c = 3 es decir
f = 2X 2 + 2XY + 3Y 2 . Hemos probado que C(−20) tiene dos elementos, es mas

C(−20) = {[X 2 + 5Y 2 ], [2X 2 + 2XY + 3Y 2 ]}

Denuevo sabemos que un primo distinto! a 2 y 5 va aser representado por una

−5
forma de discriminante -20 cuando = 1 lo cual ocurre cuando p ≡ 1, 3, 7
p
o 9 mod 20, pero no sabemos a cual. Euler conjeturó que p es representado por
X 2 + 5Y 2 cuando p ≡ 1 o 7 mod 20, los siguientes resultados nos van a permitir
responder de manera afirmativa dicha conjetura.

2.2. El Caracter Cuadrático

En esta sección introduciremos al caracter cuadrático χD : (Z/DZ)× −→ {±1},
el cual es un homomorfismo de grupos (multiplicativos) y está caracterizado por
sus valores en las clases de los primos impares coprimos con D. Su importancia
radica en que en su núcleo estan justamente las clases de aquellos números primos
que son representados por formas cuadráticas primitivas y definidas positivas de
discriminante D.

Teorema 4 Para cada D ≡ 0, 1 mod 4 no nulo existe un único homomorfismo

χD : (Z/DZ)× −→ {±1} tal que para todo p primo tal que p - 2D,
!
D
χD (p) = .
p
D
Prueba: Basta definir para n impar coprimo con D, χD (n) como , mas hay
n
que ver que esta bien definido, ası́ automaticamente seria un homomorfismo por
la multiplicatividad de los simbolos de Jacobi. Para esto debemos
 D  probar
 D  que para
n, m impares y coprimos con D, si n ≡ m mod D entonces = . Consider-
n m
emos los siguientes casos:
n m
Caso I: Si D ≡ 1 mod 4 y D > 0. Es claro que = , por otro lado
D D
D−1
D2  es par y por tanto de la reciprocidad cuadrática para r impar coprimo con D,
r r
D−1 r−1
= (−1) 2 2 = . En nuestro caso
r D D
D  n  m D
= = = .
n D D m
Antes de continuar veamos que pasa si D ≡ 3 mod 4. En este caso D−1 es impar
D n−m
 D 2
por tanto con el mismo argumento llegamos a que = (−1) 2 .
m n

! 4 y D > 0. En
Caso II: Si D! ≡ 0 mod
a
este caso! D = 2a d, con d impar y a !≥ 2,
D 2 d  D d D d
luego = ası́ si a es par = , analogamente = . Si
m m m m m n n
 ! !
d d
d ≡ 1 mod 4, reducimos el problema al caso anterior por tando = y si
! ! m n
d n−m d n−m
d ≡ 3 mod 4, = (−1) 2 pero como 4|D, 4|(n − m) es decir es par
! m ! n 2
d d
luego = . En ambos casos
m n
D ! !  
d d D
= = = .
m m n n
! ! !
D 2 d m2 −1 d D
Si a es impar tenemos que = = (−1) 8 analogamente =
! m m m m n
n2 −1 d D m2 −n2
D
(−1) 8 , luego = (−1) 8 . Por otro lado a ≥ 3 o equivalentemente
n m n
D D
n ≡ m mod 8 y de ahı́ que = .
m n
Caso D < 0. En general para a impar y coprimo con D tenemos
 D  III: Si a−1 −D
que = (−1) 2 . Si D ≡ 0 mod 4, −D también lo es, del caso anteri-
a
 −D   −D  a
or = , por otro lado
n m
D n−1
 −D  n−1
 −D  n−m
D
= (−1) 2 = (−1) 2 = (−1) 2
n n m m
D D
como 4|(n − m), sigue que = .
n m
Ahora si D ≡ 1 mod 4 entonces
−D n−m
 −D  −D ≡ 3 mod  D  −D > 0, de lo visto anteri-
 D4y como
ormente = (−1) 2 , por tanto = .
m n n m
D D
En todos los casos para n ≡ m mod D, = luego χD esta bien definido y
n m
es un homomorfismo de grupos. 

Corolário 1 Dado D ≡ 0, 1 mod 4. Aquellos primos impares representados por

formas cuadráticas de discriminante D son justamente aquellos cuyas clases
mod D estan en ker χ.

Prueba: Sigue inmediatamente de la caracterización de dichos primos. 

2.3. Representación de números primos
En esta seccı́on daremos estudiaremos condiciones para que un número primo
sea representado por una forma, si bien no tenemos las herramientas para dar una
caracterización total del problemas por lo menos seremos capaces de responderer
la conjetura de Euler.

Definición 12 Para D < 0, D ≡ 0, 1 mod 4, definimos las formas principales de

discriminante D, fD ∈ Q(D) como:
−D 2
1. Si D ≡ 0 mod 4, fD = X 2 + Y .
4
1−D 2
2. Si D ≡ 1 mod 4, fD = X 2 + XY + Y .
4
En ambos casos definamos

HD = m ∈ (Z/DZ)× / m = f (u, v) para u, v ∈ Z



Lema 6 Si D < 0 y D ≡ 0, 1 mod 4 entonces HD es un subgrupo de ker χD .

Prueba: Estudiemos el caso D = −4n, luego fD = X 2 + nY 2 . Veamos que

HD ⊆ ker χD para esto tomemos h ∈ HD , y sea m coprimo con D y representado
por X 2 + nY 2 tal que h = m. Tomemos a, b tales que m = a2 + nb2 luego si
c = (a, b) entonces a = ca0 , b = cb0 con a0 , b0 coprimos. Si m0 = a20 + nb20
entonces m = c2 m0 y χD (h) = χD c 2 χD m0 = 1 ya que m0 es representado



propiamente por X + nY , por tanto HD ⊆ ker χD . Ahora, como (Z/DZ)× es un
2 2

grupo finito para probar que HD es un subgrupo de ker χD basta probar que que
es cerrado multiplicativo. Para esto tomemos α, β ∈ HD , luego existen α = u
y β = v donde u, v son representados por X 2 + nY 2 , es √decir u = p2 + nq
√ y
2

v = r + ns con p, q, r, s ∈ Z. Consideremos
2 2
√ z = p + q −n y w = r + s −n,
luego zw = pr − qsn + (pr + qs) −n y

uv = zzww = zw(zw) = (pr − qsn)2 + n(pr + qs)2 .

por tanto αβ = uv ∈ HD . El caso D ≡ 1 mód 4 se deja como ejercicio al lector.

Sea D < 0 y D ≡ 0, 1 mod 4. Para f ∈ Q(D) definamos

H( f ) = {m ∈ (Z/DZ)× / m = f (u, v)}.

Como dos formas equivalentes toman los mismos valores, es claro que si f ∼ p g
entonces H( f ) = H(g), por tanto para F ∈ C(D) podemos definir H(F ) = H( f )
si f ∈ F .

Lema 7 Si f ∈ Q es primitiva y N ∈ Z es no nulo entonces existen u, v ∈ Z

coprimos tales que f (u, v) es coprimo con N.

Prueba: Sea f = aX 2 + bXY + cY 2 . Como f (1, 0) = a, f (1, 1) = a + b + c

y f (0, 1) = c sigue que f (1, 0), f (1, 1) y f (0, 1) son coprimos luego para cada p
primo uno de estos 3 valores debe ser coprimo con p. En general si N = pn11 · · · pnr r
de lo anterior para cada divisor primo de N existen ui , vi ∈ Z coprimos tales que
f (ui , vi ) . 0 mod pi . Consideremos el sistema de congruencias
(
u ≡ ui mod pi
v ≡ vi mod pi

luego f (u, v) es coprimo con cada pi ya que f (u, v) ≡ f (ui , vi ) . 0 mod pi por
tanto f (u, v) es coprimo con N. En caso de que u, v no fuesen coprimos podemos
tomar u0 , v0 congruentes a u, v mod N respectivamente y siendo coprimos. 

La utilidad del lema anterior radica en el siguiente hecho

Lema 8 Dado f ∈ Q primitiva y definida positiva entonces existe g ∼ p f con

primer coeficiente coprimo con ∆( f ).

Prueba: Dado f ∈ Q primitiva y definida positiva, podemos escoger u, v cop-

rimos tales que f (u, v) sea coprimo con ∆( f ) y por tanto podemos tomar g ∼ p f
con coeficiente principal f (u, v) el cual es coprimo con ∆( f ). 

Teorema 5 Si D < 0 y D ≡ 0, 1 mod 4 entonces ker χD /HD = H(F ) / F ∈ C(D)



Prueba: Estudiemos el caso D = −4n, ası́ fD = X 2 + nY 2 y HD = H( fD ).

Del lema anterior escogamos f ∈ Q(D) con primer coeficiente corpimo con D,
además como 4|∆( f ) el coeficiente intermedio de f debe ser par, es decir f =
aX 2 + 2bXY + cY 2 con (a, D) = 1, luego

a f = (aX + bY)2 + (ac − b2 )Y 2 = (aX + bY)2 + nY 2 .

Tomemos h ∈ H( f ), luego h = m donde m es representado por f . De la igualdad

anterior, am ∈ HD luego m ∈ a−1 HD y por tanto H( f ) ⊆ a−1 HD . Ahora, sean
h0 ∈ a−1 HD y m0 tal que h0 = m0 . Como am0 ∈ HD existen p, q ∈ Z tales que
am0 ≡ p2 + nq2 mod D. Si m0 ≡ f (u, v) mod D, como antes

am0 ≡ a f (u, v) ≡ (au + bv)2 + nv2 mod D

para que esto suceda requerimos resolver el siguiente sistema de congruencias,

au + bv ≡ p mod n
(
v ≡ q mod m

el cual es claramente resoluble desde que a es inversible mod D. Dichas solu-

ciones verifican la congruencia am0 ≡ a f (u, v) mod D por tanto h0 ∈ H( f ), luego
a−1 HD ⊆ H( f ) y por tanto H( f ) = a−1 HD como se queria demostrar. El caso
cuando D ≡ 1 mod 4 se deja como ejercicio al lector. 

Regresemos a la conjetura de Euler. En este caso

C(−20) = {[X 2 + 5Y 2 ], [2X 2 + 2XY + 3Y 2 ]}

y aquellos primos representados por estas formas son los 1, 3, 7, 9 mod 20, si p
es representado por X 2 + 5Y 2 sigue que p es un resto cuadrático mod 5 luego
p ≡ 1, 9 mod 20. Por otro lado si p no es representado por 2X 2 + 2XY + 3Y 2
sigue que 2p es representado por (2X + Y)2 + 5Y 2 es decir por X 2 + 5Y 2 , es
decir 2p ≡ ±1 mod 5 por tando p ≡ ±3 mod 5 por tanto p ≡ 3, 7 mod 20 es decir
H−20 = 1, 9 con lo cual repondemos la conjetura de Euler! Inclusive podemos

decir un poco mas, por ejemplo H−20 es un subgrupo de ker χ−20 = 1, 3, 7, 9 y

por tanto la otra clase de ker χ−20 /H−20 debe ser H(2X 2 + 2XY + 3Y 2 ) = 3, 7 la

cual es fácil ver que coincide con 3H−20 como predice el resultado anterior (En
−1
este caso 2 = 3).

2.4. Mas allá

La teorı́a que hemos desarrollado en su mayorı́a esta contenida en el libro de
Gauss ”Disquisiciones Arı́tmeticas”[Gau86] en el cual profundiza mucho mas es-
tas ideas, entre otras cosas induce una estrucctura de grupo del conjunto de clases.
Con esta estructura las forma principales juegan el papel de identidad y la apli-
cación H : C(D) −→ ker χD /HD se torna un homomorfismo sobreyectivo. Lasti-
mosamente este homomorfismo no es inyectivo motivo por el cual nuestra teorı́a
no caracteriza cuando un primo es representado por una forma ya que puede darse
que H(F ) = H(G) para clases distintas. Esto lleva a la llamada teorı́a del género
la cual estudia justamente que familias de clases pueden describir a los mismos
primos. Historicamente hablando estos grupos definidos por Gauss estan entre los
primeros grupos abstractos estudiados y en su estudio estuvo involucrado el de-
sarrollo de distintas areas de las matematicas modernas, entre otras la teoria alge-
braica de números, la cual estudia los llamados anillos de enteros de extensiones
finitas de Q. En este contexto los grupos de clases de formas estan intimamente
ligados con la teorı́a de factorización en estos anillos. E si uno puede hacer cor-
responder las clases de formas a ideales de ciertos anillos aritmeticos y asu vez
estos ideales corresponden a retı́culos en C, los cuales pueden estudiarse analiti-
camente via sus funciones θ o las superficies de Riemann que genéran, las cuales
son conocidas como curvas elipticas y tienen una profunda teorı́a aritmética. Un
buen punto de partida para adentrarse en estos temas es el libro de Cox [Cox89],
”Primes of the form X 2 + nY 2 ”, el cual tube como punto de partida para buena
parte de estas notas.

2.5. Ejercicios
0 −1 α 0
   
1. Sea K un cuerpo. Para α, β ∈ K × definamos W = , Uα =
1 0 0 α −1

1 β
 
y Tβ = . Pruebe que S l2 (K) tiene como generadores W, Uα , T β y T γt .
0 1

p q

2. Para f ∈ Q2 (K) = {aX 2 + bXY + cY 2 ∈ K[X, Y]} y A = ∈ S L2 (K)
r s
pruebe que A∗ f = f (pX + rY, qX + sY) define una ación de S L2 (K) en
Q2 (K).

3. Para f = aX 2 + bXY + cY 2 ∈ K[X, Y] definamos ∆( f ) = b2 − 4ac. Pruebe

que ∆(A∗ f ) = ∆( f ) (Sug. aproveche los generadores de S L2 (K))

4. Para f = ax2 + bxy + cy2 definimos f op = ax2 − bxy + cy2 . Pruebe que si
f ∼ p g entonces f op ∼ p gop .

5. Sea p primo impar. Si p es representado por f, g ∈ Q(D) pruebe que f ∼ p g.

6. Encuentre una forma reducida equivalente a 126X 2 + 74XY + 13Y 2 .

7. Para p primo impar y a cuadrado modulo p pruebe que para todo n ∈ N, a

es cuadrado módulo pn .
 a
8. Para m = pn11 · · · pnr r impar a es un cuadrado modulo m si y solo sı́ = 1.
pi
9. Para n ∈ N , definamos h(n) = |C(−4n)|. Pruebe que h(n) ≥ 2 si:
a) Si n = ac con a, c coprimos.
b) Si n = 2r , r ≥ 4. (Sug. pruebe que 4X 2 + 4XY + (2r−2 + 1)Y 2 es
reducida).
c) Si n = pr impar, n + 1 = ac y a, c coprimos (Considere aX 2 + 2XY +
cY 2 ).
d) Si n = pr impar y n + 1 = 2 s (Considere 8X 2 + 6XY + (2 s−3 + 1)Y 2 ).

Concluya que h(n) = 1 entonces n ≤ 8, es mas h(n) = 1 ⇐⇒ n =

1, 2, 3, 4, 7.
10. Pruebe que C(−28) = {[X 2 + 7Y 2 ]}. Determine las clases modulo 28 donde
estan los primos p , 2, 7 que son representados por X 2 + 7Y 2 .
11. Determine las formas reducidas de discriminante −24. Determine que pri-
mos son de la forma X 2 + 6Y 2 dando explicitamente las clases modulo 24.
12. Determine el kernel del caracter cuadrático modulo 24, el subgrupo H−24 y
la correspondencia C(−24) −→ ker χD /H−24 .
13. Sea D > 0 un no cuadrado. Para f ∈ Q(D) pruebe que:
a) f ∼ p aX 2 + bXY + cY 2 con |b| ≤ |a| ≤ |c|.
√
b) |a| ≤ D/2. Concluya que C(D) es finito.
Capı́tulo 3

Apéndice

3.1. Congruencias
Definición 13 Sea n ∈ N. Diremos que a, b ∈ Z son congruentes módulo n, lo
que denotaremos a mod b mod n, si n|b − a.

De la definición sigue que para a, b, c, d ∈ Z y n, m ∈ N entonces

1. a mod a mod n y si b mod c mod n =⇒ c mod b mod n.

2. Si a mod b mod n y b mod c mod n entonces a mod c mod n.

3. Si (m, n) = 1 y a mod b mod n, a mod b mod n entonces a mod b mod mn

4. Si a mod b mod n y 0 ≤ a, b < n entonces a = b.

Notemos que decir a mod b mod n es lo mismo que decir que existe k ∈ Z tal que
a = kn + b. Ahora fijemos n ∈ N y para cada m ∈ Z denotemos qm , rm ∈ Z si
m = qm n + rm con 0 ≤ rm < n, sigue que

Propocisión 11 Para todo m, a, b ∈ Z

1. m mod rm mod n

2. a mod b mod n ⇐⇒ ra = rb

25
Prueba: La primera es inmediata y la segunda sigue de 0 ≤ ra , rb < n luego
ra = rb ⇐⇒ ra ≡ rb mod n ⇐⇒ a ≡ b mod n. 

Esto es, las congruencias módulo n quedan determinadas por los restos al dividir
por n, los cuales solo pueden ser 0, 1, . . . , n − 1.

Definición 14 Dado n ∈ N y m ∈ Z definimos la clase de congruencia de m

módulo n como

m + nZ = {a ∈ Z / a mod m mod n} = {m + kn / k ∈ Z}

Si no hay confusión se suele denotar a la clase de m como [m] o m.

Notemos que para todo m ∈ Z tenemos que rm = mı́n[m] ∩ Z+ y por tanto

[a] = [b] ⇐⇒ ra = rb ⇐⇒ a ≡ b mod n

En particular como [m] = [rm ]

{[m] / m ∈ Z} = {[rm ] / m ∈ Z} = {[0], [1], . . . , [n − 1]}

Al conjunto de clases de congruencia módulo n vamos a llamar Zn .

Propocisión 12 Sean a, b, c, d ∈ Z y n, m ∈ N entonces

1. Si a ≡ b mod n y c mod d mod n entonces

ac ≡ bd mod n y a + c ≡ b + d mod n

2. Si a ≡ b mod n entonces para p(x) ∈ Z[x], p(a) ≡ p(b) mod n.

3. Si ac ≡ bc mod n y d = (c, n) entonces a ≡ b mod n/d.

Definición 15 Dado n ∈ N diremos que a ∈ Z es inversible módulo n si existe

b ∈ Z tal que ab ≡ 1 mod n

Si ab ≡ 1 mod n ⇐⇒ ab + kn = 1 para algún k ∈ Z ⇐⇒ (a, n) = 1, luego

Propocisión 13 a es inversible módulo n si y solo sı́ (a, n) = 1

Corolário 2 Si a, b son inversibles módulo n entonces ab también lo es.

Ahora como (a, n) = (ra , n) sigue que a es inversible módulo n si y solo sı́ ra lo
es, es decir si un entero es inversible módulo n todos los elementos de su clase su
clase lo son, de ahı́ vamos a decir que una clase de congruencia es inversible si
tiene un elemento inversible módulo n (y por tanto todos).

Definición 16 Definimos Z∗n como el conjunto de clases inversibles, además defin-

imos la función de Euler ϕ : N −→ N como ϕ(n) = |Z∗n |.

Propocisión 14 a ∈ Zn es inversible ⇐⇒ existe b ∈ Zn tal que ab = 1.

Prueba: ab = 1 ⇐⇒ αβ ≡ 1 mod n para α ∈ a y β ∈ b ⇐⇒ (α, n) = 1 esto es si

α es inversible módulo n y por tanto a ∈ Z∗n 

3.2. Sistemas de Residuos

Sabemos que para n ∈ N hay n clases de congruencia mod n, si tomamos
de cada clase un representante conseguimos n enteros incongruentes entre sı́ y
además todo entero es congruente a alguno de ellos.

Definición 17 Decimos que a1 , . . . , ar ∈ Z es un sistema completo de restos

módulo n (para abreviar mod n), si

/ a j mod n para i , j.
1. ai ≡

2. Para todo m ∈ Z, m ≡ ai mod n para algún i.

Propocisión 15 Todo sistema completo de restos mod n está formado por n en-
teros. Asimismo n enteros forman un sistema completo de restos mod n si son
incongruentes entre sı́ o si todo entero es congruente a alguno de ellos.

Corolário 3 Si a1 , . . . , an es un sistema completo de restos mod n y α, β ∈ Z con

(β, n) = 1 entonces α + βa1 , . . . , α + βan también es un sistema completo de restos
mod n.

Ahora, que a1 , . . . , an sea un sistema completo de restos mod n es equivalente a

que la proyección canońica

π : {a1 , . . . , an } −→ Zn
ai 7 →
− ai
sea una biyección, por tanto si a01 , . . . , a0n es otro sistema completo de restos mod n
tenemos otra biyección π0 : {a01 , . . . , a0n } −→ Zn de ahı́

π−1 π0 : {a01 , . . . , a0n } −→ {a1 , . . . , an }

también es una biyección, bajo la cual a0i ≡ π−1 π0 (a0i ) mod n, mas aún como

{π−1 π0 (a01 ), . . . , π−1 π0 (a0n )} = {a1 , . . . , an }

existe una perutación σ ∈ S n tal que aσ(i) = π−1 π0 (a0i ) ≡ a0i mod n.

Propocisión 16 Si a1 , . . . , an y a01 , . . . , a0n son sistemas de restos módulo n existe

σ ∈ S n tal que aσ(i) ≡ a0i mod n.

Ahora tomemos de cada una de las clases inversibles módulo n un entero con-
seguimos ϕ(n) enteros incongruentes entre sı́ y además todo entero inversible
módulo n es congruente a alguno de ellos.

Definición 18 Decimos que a1 , . . . , aϕ(n) es un sistema reducido de restos módulo

n, si

1. ai . a j mod n para i , j.

2. Para todo m ∈ Z inversible módulo n, m ≡ ai mod n para algún i.

Por ejemplo si p primo, 1, 2, . . . , p − 1 es un sistema reducido de restos.

Propocisión 17 Todo sistema reducido de restos mod n esta formado por ϕ(n)
enteros, asimismo ϕ(n) enteros inversibles módulo n forman un sistema reducido
de restos mod n si son incongruentes entre sı́ o si todo entero inversible módulo n
es congruente a alguno de ellos.

Propocisión 18 Si a1 , . . . , aϕ(n) es un sistema reducido de restos mod n y α ∈ Z

con (α, n) = 1 entonces αa1 , . . . , αaϕ(n) también es un sistema reducido de restos
mod n.

Que a1 , . . . , aϕ(n) sea un sistema reducido de restos mod n es equivalente a que

la proyección
π : {a1 , . . . , aϕ(n) } −→ Z∗n
ai 7−→ ai
es una biyección, por tanto si a01 , . . . , a0ϕ(n) es otro sistema reducido de restos mod n
tenemos otra biyección π0 : {a01 , . . . , a0ϕ(n) } −→ Z∗n de ahı́

π−1 π0 : {a01 , . . . , a0ϕ(n) } −→ {a1 , . . . , aϕ(n) }

es una permutación, por tanto obetenemos el siguiente resultado:

Propocisión 19 Si a1 , . . . , aϕ(n) y a01 , . . . , a0ϕ(n) son sistemas sistema reducido de

restos mod n existe σ ∈ S ϕ(n) tal que aσ(i) ≡ a0i mod n.

Teorema 6 (Euler) Si (a, n) = 1 entonces aϕ(n) ≡ 1 mod n.

Prueba: Sea a1 , . . . , aϕ(n) un sistema reducido de restos módulo n, luego aa1 , . . . , aaϕ(n)
también lo es, por tanto existe σ ∈ S ϕ(n) , aai mod aσ(i) mod n
aϕ(n) a1 . . . aϕ(n) = aa1 · · · aaϕ(n) ≡ aσ(1) · · · aσ(ϕ(n)) mod n
como a1 . . . aϕ(n) = aσ(1) · · · aσ(ϕ(n)) es inversible módulo n, aϕ(n) mod 1 mod n. 

Corolário 4 (Fermat) Si p es primo y p - a entones a p−1 ≡ 1 mod p

Prueba: Sigue de que (a, p) = 1 y ϕ(p) = p − 1. 

En adelante vamos a buscar como calcular ϕ(n) para n ∈ N, la clave es el siguiente

resultado:

Propocisión 20 Todo sistema completo de restos mod n contiene ϕ(n) enteros in-
versibles mod n los cuales forman un sistema reducido de restos mod n.
Prueba: Como un sistema completo de restos mod n es un sistema de represen-
tas de las clases de congruencia mod n, debe contener ϕ(n) representantes de las
clases inversibles, los cuales forman un sistema reducido de restos mod n. 

Teorema 7 Dados m, n ∈ N coprimos entonces ϕ(mn) = ϕ(m)ϕ(n).

Prueba: Consideremos el siguiente sistema completo de restos mod mn:
0 1 ... n−1
n n+1 ... n + (n − 1)
.. .. .. ..
. . . .
αn αn + 1 ... αn + (n − 1)
.. .. .. ..
. . . .
(m − 1)n (m − 1)n . . . (m − 1)n + (n − 1)
para que la fila αn, αn + 1, . . . , αn + (n − 1) tenga enteros coprimos con mn,
(α, m) = 1 por tanto va a haber ϕ(m) de estas filas. Cada una de ellas es un sistema
completo de restos mod n por tanto tiene ϕ(n) enteros coprimos con n, es decir en
este sistema completo de restos mod mn hay ϕ(m)ϕ(n) enteros coprimos con m y
n y por tanto coprimos con mn. De ahı́ ϕ(mn) = ϕ(m)ϕ(n). 

Por inducción obtenemos:

Corolário 5 Si n1 , . . . , nk son coprimos dos a dos entonces

ϕ(n1 · · · nk ) = ϕ(n1 ) · · · ϕ(nk )

Corolário 6 Dado n > 1 con descomposición n = pα1 1 · · · pαk k entonces

ϕ(n) = pα1 1 −1 (p1 − 1) · · · pαk k −1 (pk − 1)

Prueba: Como n = pα1 1 · · · pαk k sigue que ϕ(n) = ϕ(pα1 1 ) · · · ϕ(pαk k ). 

Del resultado anterior sigue que si p1 , · · · , pk son los divisores primos de n

! !
1 1
ϕ(n) = n 1 − ··· 1 −
p1 pk

3.3. Sistemas de Ecuaciones en Congruencias

Sean a, b ∈ Z y m, n ∈ N, consideremos el sistema
(
x ≡ a mod n
(1)
x ≡ b mod m

Vemos bajo que condiciones tiene solución. De ser x0 ∈ Z solución

x0 = a + αn = b + βm

luego b − a = αn − βm ⇐⇒ (n, m)|b − a. Por tanto si (m, n) = 1 el sistema anterior

siempre tiene solución sin importar cuales sean a y b.

Propocisión 21 El sistema (1) tiene solución si y solo sı́ (m, n)|b − a

Notemos que cuando (m, n) = 1, podemos tomar x1 , x2 ∈ Z de modo que
( (
x1 ≡ a mod n x2 ≡ 0 mod n
x1 ≡ 0 mod m x2 ≡ b mod m

para esto tomemos m0 , n0 ∈ Z tales que nn0 mod 1 mod m y mm0 mod 1 mod n luego
x1 = amm0 y x2 = bnn0 satisfacen las condiciones requeridas y por tanto x0 =
x1 + x2 es solución de (1). Por otro lado es fácil ver que las soluciones de (1) son
únicas módulo mn, esto es si x0 , x00 satisfacen (1) entonces

x0 − x00 ≡ 0 mod n y x0 − x00 ≡ 0 mod n

soluciones de (1).
En lenguaje de clases el resultado anterior nos dice que

Zmn −→ Zm × Zn
[a]mn 7−→ ([a]m , [a]n )

es sobreyectiva y como Zmn y Zm × Zn tienen mn elementos, es una biyección.

Sean a1 , . . . , ak ∈ Z y n1 , . . . , nk ∈ N consideremos el sistema


 x ≡ a1 mod n1
..



(2) 



 .
 x ≡ ak mod nk


Consideramos (ni , n j ) = 1 para i , j, podemos tomar x1 , . . . , xk ∈ Z de modo que

xi ≡ ai mod ni y xi ≡ 0 mod n j para i , j. Sean N = n1 · · · nk y Ni = N/ni luego
(ni , Ni ) = 1, por tanto existen Ni0 ∈ Z tales que Ni Ni0 ≡ 1 mod ni finalmente los
xi = ai Ni Ni0 satisfacen las condiciones requeridas y por tanto x0 = x1 + . . . + xn es
solución de (2). es mas la clase módulo N de una solución es el conjunto de las
soluciones.

Teorema 8 (Teorema de los Restos Chinos) Dados n1 , . . . , nk ∈ N tales que (ni , n j ) =

1 para i , j entonces para a1 , . . . , ak ∈ Z el sistema


 x ≡ a1 mod n1
..







 .
 x ≡ ak mod nk


tiene solución única módulo N = n1 · · · nk .

El resultado anterior nos dice que para n1 , . . . , nk ∈ N coprimos dos a dos la
aplicación
Zn1 ···nk −→ Zn1 × · · · × Znk
[a]n1 ···nk 7−→ ([a]n1 , . . . , [a]nk )
es una sobreyectiva y por tanto una biyección. Como lleva k-uplas de clases in-
versibles en k uplas de clases inversibles, su restricción
Z∗n1 ···nk −→ Z∗n1 × · · · × Z∗nk
[a]n1 ···nk 7−→ ([a]n1 , . . . , [a]nk )
también es una biyección, en particular ϕ(n1 · · · nk ) = ϕ(n1 ) · · · ϕ(nk ).

3.4. Congruencias Polinomiales

Vimos que si a mod b mod n entonces f (a) mod f (b) mod n para todo f ∈ Z[x], en
esta sección vamos a estudiar dichas congruencias.

Definición 19 Decimos que a ∈ Z es una raı́z módulo n de f ∈ Z[x] si

f (a) ≡ 0 mod n
Claramente si a es una raı́z de f ∈ Z[x] todos los elementos de su clase también
lo son, de ahı́ vamos a decir que su clase a es una raı́z de f en Zn .

Teorema 9 (Lagrange) Sea p primo, si f = am xm + . . . + a1 x + a0 ∈ Z[x] con

(a0 , p) = 1 no puede tener mas m raı́ces incongruentes módulo p.
Prueba: Procederemos por inducción sobre el grado de f .
Si f = a1 x + a0 con (a1 , p) = 1, de tener f dos raı́ces, como a1 es inversible
a1 α + a0 ≡ a1 β + a0 mod p =⇒ α ≡ β mod p
de ahı́ no puede tener dos raı́ces incongruentes. Si el resultado vale para m < k
con coeficiente principal coprimo con p, tomemos f = ak xk + . . . + a0 ∈ Z[x] con
(ak , p) = 1. Si tuviera α0 , . . . , αk raı́ces incongruentes entre sı́
f − f (α0 ) = ak (xk − αk0 ) + . . . + a1 (x − α0 ) = (x − α0 )g
donde g =k xk−1 + . . . ∈ Z[x], como su coeficiente principal es coprimo con n y
tiene grado k − 1 < k sigue que no puede tener mas de k − 1 raı́ces incongruentes
entre sı́, sin embargo para α1 , . . . , αk
(αi − α0 )g(αi ) = f (αi ) − f (α0 ) ≡ 0 mod n =⇒ g(αi ) ≡ 0 mod p
es decir g tendrı́a k raı́ces p incongruentes entre sı́, lo que es una contradicción,
por tanto f no puede tener mas de k raı́ces incongruentes módulo p. 

Corolário 7 Si f = am xm + . . . + a1 x + a0 ∈ Z[x] tiene mas de m raı́ces incongru-

entes módulo p entonces p divide a todos sus coeficientes.
Prueba: alguno de sus coeficientes fuese coprimo con p, tomemos k ≤ m el
mayor ı́ndice para el cual (ak , p) = 1 y consideremos

g = ak xk + ak−1 xk−1 + . . . + a0

ası́ g las mimas raı́ces módulo p que f las cuales son a lo mas k ≤ m, por tanto f
a lo más puede tener m raı́ces módulo p incongruentes entre sı́. 
Consideremos el polinomio f = (x − 1)(x − 2) · · · (x − (p − 1)) claramente sus
raı́ces módulo p son 1, 2, . . . , p − 1 por otro lado

f = x p−1 − A p−1 x p−2 + A p−2 x p−3 + . . . − A1 x + A0

del teorema de Fermat x p−1 − 1 tiene a 1, 2, . . . p − 1 como raı́ces módulo p incon-

gruentes entre sı́ luego

g = f − x p−1 + 1 = −A p−1 x p−2 + A p−2 x p−3 + . . . − A1 x + A0 + 1

tiene grado p − 2 y p − 1 raı́ces incongruentes módulo p, por lo tanto para i ≥ 1

los Ai ≡ 0 mod p y A0 ≡ −1 mod p, como A0 = (p − 1)! obtenemos el teorema de
Wilson.
Bibliografı́a

[Apo76] Tom Apostol. Introduction to Analytic Number Theory. Undergraduate

Text in Mathematics. Springer-Verlag, 1976.
[Cox89] David Cox. Primes of the form X 2 + nY 2 . John Wiley and sons, 1989.

[dS05] José Olivera de Santos. introducao à Teoria dos Números. Matemática

Universitaria. IMPA, 2005.
[Eul44] Leonard Euler. Opera Omnia, volume I-V of Prima. Teubner, 1911-
1944.
[Gau86] Carl Gauss. Disquisitiones Arithmeticae. Springer-Verlag, 1986.
[IR90] Ireland and Rosen. A Classical Introduction to Modern Number Theory,
volume 84 of Graduate Text in Mathematics. Springer, 1990.
[Lag69] Joseph-Louis Lagrange. Oeuvres, volume 3. Gauthier-Villars, 1869.
[Mor02] Carlos Moreira. Introducción a la Teorı́a de números con énfasis en las
aproximaciones diofánticas, volume 24 of Monografı́as Matemáticas.
Publicaciones Imca, 2002.
[Ser73] J.P. Serre. A Course in Arithmetic, volume 7 of Graduate Text in Math-
ematics. Springer, 1973.
[Wei84] André Weil. Number Theory: An Approach Through History. Birkhaus-
er, 1984.

35