El Teorema de Hasse Minkowski

Los Numeros p-adicos y el Teorema de
Hasse-Minkowski
Ramiro Lafuente
Estructuras Algebraicas
Facultad de Ciencias Exactas
Universidad Nacional de La Plata
Mayo de 2008
1
Indice
1. Introducci
on 3
2. Los N
umeros p- adicos 4
2.1. La valuacion, la norma p-adica y la metrica p-adica: Primera definicion . . 4
2.2. Segunda definicion: Zp y Qp . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.3. Polinomios y ecuaciones p-adicas . . . . . . . . . . . . . . . . . . . . . . . 7
2.4. Unidades y cuadrados en Qp . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3. El smbolo de Hilbert 14
3.1. Definicion, propiedades basicas y calculo del smbolo . . . . . . . . . . . . 14
3.2. Propiedades globales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4. Formas cuadr aticas 22

4.1. Modulos cuadraticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
4.2. Propiedades generales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.3. Formas cuadraticas sobre Fq . . . . . . . . . . . . . . . . . . . . . . . . . . 31
4.4. Formas cuadraticas sobre Qp . . . . . . . . . . . . . . . . . . . . . . . . . . 32
4.5. Formas cuadraticas sobre R . . . . . . . . . . . . . . . . . . . . . . . . . . 36
5. Teorema de Hasse-Minkowski 38
5.1. Demostracion del Teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
5.2. Algunos comentarios interesantes . . . . . . . . . . . . . . . . . . . . . . . 41
6. Ap endices 42
6.1. Algunos resultados en Teora de Numeros . . . . . . . . . . . . . . . . . . . 42
6.1.1. Ecuaciones sobre cuerpos finitos . . . . . . . . . . . . . . . . . . . . 42
6.1.2. Ley de reciprocidad cuadratica . . . . . . . . . . . . . . . . . . . . 43
6.2. Sistemas y Lmites proyectivos . . . . . . . . . . . . . . . . . . . . . . . . . 44
2
Los N
umeros p-adicos y el Teorema de Hasse-Minkowski 3
1. Introducci
on
Se podra haber incluido en el ttulo de este trabajo el nombre de formas cuadr aticas,
puesto que nos ocupamos del estudio de estos objetos en gran medida. Sin embargo, esto
ha quedado implcito al mencionar el Teorema de Hasse-Minkowski, el cual es conocido
por dar una muy buena clasificacion de las formas cuadraticas sobre Q. Para llegar a este
resultado, uno de nuestros objetivos, se debera recorrer un largo camino, a traves del cual
seran presentados el cuerpo de los n umeros p-adicos, el smbolo de Hilbert, y numerosos re-
sultados algebraicos (muchos de ellos relacionados directamente con la Teora de N umeros),
entre otras cosas.
Ademas de apuntar al ya mencionado Teorema de Hasse-Minkowski y a clasificar las for-
mas cuadraticas sobre los distintos cuerpos en cuestion, nos interesaremos bastante en los
numeros p-adicos y en algunas de sus propiedades y aplicaciones para resolver problemas.
Es curiosa la gran diversidad de maneras que existen para presentar al cuerpo Qp de los
numeros p-adicos. Algunas de ellas son mas bien desde el punto de vista .analtico(como
la completacion de Q respecto de cierta norma, o ciertas series formales de potencias de
p), otras son puramente algebraicas (el cuerpo de cocientes del lmite proyectivo de los
enteros modulo pn ). Presentaremos dos de ellas en la primer seccion, pero a lo largo del
trabajo seran de mayor utilidad las ideas del tipo algebraico (incluso en algunos resultados
en los que aparecen derivadas!).
En la tercer seccion se estudiara el Smbolo de Hilbert, que sera una herramienta funda-
mental para construir invariantes para las formas cuadraticas tanto en Qp como en Q.
La seccion de formas cuadraticas se ocupara de presentar estos objetos matematicos, y
finalmente llegar a una minuciosa clasificacion de ellas (no sobre las racionales), la cual uti-
lizaremos en la seccion siguiente para probar la relacion global-local que vincula los cuerpos
Qp y R con Q.
Por ultimo, cabe mencionar que gran parte de este trabajo ha sido basado en los primeros
captulos de [2]. Es por eso que en general todas las deficiones y resultados que se prueben
tendran, tarde o temprano, su rol importante en el trabajo. Sin embargo, en contraposi-
cion con la bibliografa mencionada, intentaremos hacer mas hincapie en los detalles de las
pruebas, para llegar a cada resultado de una manera mas accesible.
Los N
2. Los N
umeros p-
adicos
En esta seccion se hara una introduccion a la teora de los n
umeros p-adicos. Hay varias
formas equivalentes de definir este conjunto de n umeros; a continuacion mostraremos dos de
ellas. La primera es mas util para comprender realmente que estamos haciendo al construir
los numeros p-adicos, mientras que la segunda es una presentacion mas algebraica que, si
bien un tanto mas complicada de entender, nos permite manejarlos con mayor simplicidad
y mas formalmente.
2.1. La valuacion, la norma p-

adica y la m
etrica p-
adica: Primera
definici
on
Sea p un numero primo fijo. Sabemos, por el TFA, que para cada a Z existe un u nico
n Z0 tal que a = pn r, con (r, p) = 1. Esto nos permite, siguiendo las ideas en [1], hacer
la siguiente definicion:
Definici
on 2.1. Se define la valuaci
on p-
adica de un n
umero racional como:
vp (x) = max{n Z : pn | x} 0, si x Z \ {0}
vp (q) = vp (a) vp (b), si q = a/b Q.
Por convencion se toma vp (0) = .

Notemos que vp : Q Z, y ademas esta bien definida, pues si a/b = a0 /b0 entonces ab0 = a0 b,
y claramente vp (a) + vp (b0 ) = vp (a0 ) + vp (b) de donde vp (a/b) = vp (a0 /b0 ).
Proposici on 2.2. Sean x, y Q. Entonces valen:

(a) vp (x) = x = 0
(b) vp (xy) = vp (x) + vp (y)
(c) vp (x + y) mn{vp (x), vp (y)}, y si vp (x) =
6 vp (y) se da la igualdad.
Demostracion: Probaremos u nicamente el item (c) que es el no trivial. Para eso, supong-
amos que x, y son no nulos (si alguno de ellos lo fuera, se da la igualdad trivialmente).
Entonces podemos escribir
a c
x = pr , y = ps
b d
con r, s Z, y a, b, c, d Z no divisibles por p. Es claro que vp (x) = r, vp (y) = s.
Supongamos sin perdida de generalidad que s r, y sea t = s r 0. Entonces,
t

r a tc r ad + p bc
x+y =p +p =p
b d bd
de donde se deduce inmediatamente la desigualdad a probar. Si suponemos vp (x) 6= vp (y),

es equivalente a tomar t 1 con lo cual se ve claramente que p no divide ni al numerador
ni al denominador de la fraccion que acompa na a pr (pues por hipotesis p no divida a
ninguno de los enteros a, b, c, d.
Esta valuacion p-adica nos permite definir la norma p-adica, de la siguiente manera:
Los N
Definici
on 2.3. Si p es un n
umero primo fijo, se define en Q la norma p-
adica como
kxkp = pvp (x) .
Obviamente, definimos k0kp = 0. Es facil verificar que es efectivamente una norma en

Q. En particular, se ve que k kp : Q R0 . Valen las siguientes propiedades, analogas a
las que valan para la valuacion:
Proposici on 2.4. Si x Q, entonces se verifican:

(a) kxkp = 0 x = 0
(b) kxykp = kxkp kykp
1
(c) kx + ykp max{kxkp , kykp }, y si kxkp 6= kykp se da la igualdad.
La demostracion se deduce inmediatamente de 2.2.

Como bien es sabido, toda norma N en un espacio induce una distancia, mediante la
definicion d(x, y) = N (x y). As, suena logico presentar la siguiente definicion:
Definici
on 2.5. Se define en Q la m adica, como dp (x, y) = vp (x y).
etrica p-
Es usual interpretar a los n

umeros reales R como la completacion de Q de acuerdo a la
metrica estandard d(x, y) = |x y|. Inspirados en esta interpretacion, se define lo siguiente:
Definici on 2.6. El cuerpo de n

umeros p-
adicos Qp es la completaci
on de Q con respecto
a la metrica p-adica.
En Qp se considera la topologa inducida por la metrica p-adica, seg

un la cual resulta un
espacio de Hausdorf localmente compacto. Obviamente, considerado como espacio metrico,
Qp resultara completo.
2.2. Segunda definici

on: Zp y Qp
Como se ha mencionado mas arriba, trabajaremos con una nueva definicion de los
n
umeros p-adicos, viendolos ahora desde el punto de vista algebraico (como son presen-
tados en [2]).
Para cada n 1, denotemos por An al anillo de enteros modulo pn , es decir, An := Z/pn Z.
Claramente a cada elemento a An se le puede asociar uno en An1 tomando resto en la
division por pn1 . De esta forma queda siempre definido un epimorfismo n : An An1 ,
cuyo n ucleo es pn1 An .
Con estos epimorfismos, resulta evidente que la sucesion
. . . An An1 . . . A2 A1
conforma un sistema proyectivo. De esta observacion surge la idea para la segunda definicion
de los n
umeros p-adicos.
Definicion 2.7. Se define el anillo de enteros p-adicos Zp como el lmite proyectivo del
sistema (An , n ) definido previamente. Es decir,
Zp := lim(An , n )

1
Una norma que satisface esta propiedad se dice no-arquimediana
Los N
Por definicion de lmite proyectivo, un elemento de Zp es una sucesion x = (. . . , xn , . . . , x1 )

con xn An , y xn xn1 mod pn1 . La suma y el producto en este anillo se definen co-
ordenada
Q a coordenada, es decir, se interpreta a Zp como un subanillo del anillo producto
n1 An .
Antes de llegar a la definicion de Qp , veamos algunas propiedades de los enteros p-adicos.
Proposici on 2.8. Sea n : Zp An la proyecci on de la n-esima coordenada xn de cada
entero p-
adico x. Entonces, la sucesion de grupos abelianos
pn n
0 Zp Zp An 0
es exacta.
Demostracion: Es claro que n es un epimorfismo. Veamos entonces que la multiplicacion
por pn es inyectiva en Zp . Para eso, basta con ver que multiplicar por p lo es (luego com-
ponemos esta funcion n veces). Sea x = (xn ) Zp tal que px = 0. Mirando coordenada
a coordenada, se tiene que pxn+1 = 0 (en An+1 ) para todo n. Luego, xn+1 = pn yn+1 , para
cierto yn+1 An+1 . Pero por definicion de Zp , xn = n+1 (xn+1 ), luego xn tambien es di-
visible por pn , y por estar en An , xn = 0. Esto vale para todo n, luego x = 0 y entonces
multiplicar por p es una aplicacion inyectiva.
Para completar la demostracion, resta ver que pn Zp es igual al n ucleo de n . Es claro que
n n
dicho n ucleo contiene a p Zp (ya que todo m ultiplo de p tiene en su n-esima coordenada
un 0). Ahora tomemos un elemento x = (xm ) ker(n ). Entonces, xn = 0, y luego por
definicion de Zp tenemos que pn | xm para todo m n. Escribamos xm = pn ymn , con
ymn Amn (se puede suponer esto puesto que pn Am = Amn ). Entonces estos elementos
yi definen en Zp = lim Ai un elemento y (esto se deduce de que x satisface las condiciones

para estar en Zp ), el cual verifica claramente (coordenada a coordenada) x = pn y. Luego
x pn Zp , y en conclusion, la sucesion es exacta.
Notemos que esto nos permite pensar a Zp /pn Zp como An , que a su vez es igual a Z/pn Z.
Proposici on 2.9. Un elemento de An o de Zp es una unidad si y s olo si no es divisible por
p. Adem nica como pn u, con u U(Zp )
as, todo elemento no nulo de Zp se escribe de forma u
y n 0.
Demostracion: Probemos la tesis primero para An . Es claro que si x An es una unidad
entonces no es divisible por p, pues si as fuera, entonces p | xx1 = 1 + mpn p | 1,
absurdo. Recprocamente, supongamos que x An \ pAn no es m ultiplo de p. Entonces la
imagen de x en A1 = Z/pZ es no nula, luego es invertible. Tomemos entonces y tal que
xy = 1 pz, y podemos pensar que y, z An . As,
xy(1 + pz + . . . + pn1 z n1 ) = (1 pz)(1 + pz + . . . + pn1 z n1 ) = 1 pn z n
por lo tanto x es invertible en An .

Para ver el resultado en Zp , basta con observar que si x Zp no es m
ultiplo de p entonces
su imagen xn en cada An tampoco lo es, con lo cual es invertible. Y como la multiplicacion
en Zp se define coordenada a coordenada, esto implica que el mismo x es invertible en Zp
y listo.
Por otro lado, si tenemos un elemento x = (xn ) Zp no nulo, sea n el mayor ndice para
el cual xn = 0. Entonces pn | x, pero pn+1 - x en Zp , lo cual implica que existe u tal que
Los N
x = pn u y ademas p - u. Por el resultado anterior, u U(Zp ), con lo cual queda probada la

existencia de la descomposicion.
La unicidad se deduce del hecho de que el n fue elegido de manera u nica, y la multiplicacion
n
por p es inyectiva (proposicion anterior), o sea que no pueden existir dos u distintos.
De la u
ltima parte de la proposicion se puede definir, como en 2.1, la valuacion p-adica,
pero esta vez directamente para Zp .
Teniendo en cuenta que Zp resulta un anillo (es incluso un dominio de integridad), sabemos
que podemos construir un cuerpo que lo contenga de forma razonable. Es decir, el cuerpo
de cocientes del anillo. Y al igual que de Z obtenemos el cuerpo Q, podemos hacer lo mismo
con Zp para obtener as el conjunto de n umeros en cuestion:
Definicion 2.10. El conjunto de los n

umeros p-
adicos Qp se define como el cuerpo de
cocientes del anillo Zp .
Podemos pensar que Qp = Zp [p1 ]. Y al igual que en Zp , todo elemento de Qp puede

escribirse de forma u nica como pn u, con u U = U(Zp ) y n Z. Esto da lugar a la
generalizacion de la valuacion p-adica para todo Qp , y obviamente se verifica que vp (x) 0
si y solo si x Zp .
Al igual que en la primer definicion de los numeros p-adicos, se puede definir la distancia (o
metrica) p-adica, basandose en la valuacion p-adica ya definida. 2 Esta distancia define la
topologa en Zp y Qp , seg
un la cual el anillo Zp resulta ser un espacio metrico completo, que
contiene como subconjunto denso en el a Z. Ademas, como ya se ha mencionado, el cuerpo
Qp resulta ser localmente compacto con la topologa mencionada, y el anillo Zp resulta ser
un subanillo abierto. Obviamente, Q es denso en Qp .
A pesar de que ya hemos definido a los n umeros p-adicos desde dos puntos de vista
diferentes, a
un hay una forma mas de pensar en ellos. K. Hensel, quien fue el primero en
introducir la idea de n
umero p-adico, trabajo mucho con ellos para resolver problemas de
la teora de n
umeros, y utilizaba en sus trabajos un desarrollo en serie de los n umeros
p-adicos, conocido como desarrollo de Hensel. En [3] se menciona dicho desarrollo, y se
prueba la siguiente proposicion:
Proposici on 2.11. Todo x Qp admite un u

nico desarrollo de Hensel, es decir, se puede
nica como x = nno an pn , con 0 an < p, an0 6= 0 y n0 Z.
P
escribir de forma u
Claramente, n0 es lo que nosotros hemos llamado vp (x). En esta forma de ver a los
n
umeros p-adicos se ve mucho mejor la idea de completacion (pues en realidad los elemen-
tos de Q son precisamente aquellos cuyo desarrollo de Hensel se hace periodico a partir de
un punto; por ejemplo, que se haga cero a partir de n1 ).
2.3. Polinomios y ecuaciones p-

adicas
En esta seccion veremos algunos resultados importantes sobre las races de polinomios
con coeficientes p-adicos. A pesar de que la mayoria de ellos solo seran usados para el caso de
Vale la pena mencionar que algunos autores utilizan la definicion dp (x, y) := evp (xy) , sin embargo
2
ambas definiciones dan lugar a normas totalmente equivalentes

Los N
grado 2 (formas cuadraticas), vale la pena mencionarlos en general ya que la demostracion

es casi identica en ambos casos.
Antes que nada, algo de notacion: Si f Zp [X1 , . . . , Xm ] es un polinomio con coefi-

cientes en Zp , llamaremos fn al polinomio obtenido de f tomando modulo pn (n N). Y si
x = (x1 , . . . , xm ) (Zp )m (resp. en (An )m ) , diremos que x es primitivo si alguno de los
xi es inverible en Zp (resp. en An ). O sea, si alguna de sus coordenadas no es m ultiplo de
p.
Proposici on 2.12. Sean f (i) Zp [X1 , . . . , Xm ] polinomios con coeficientes enteros p-

adi-
cos. Son equivalentes:
(i) Todos los f (i) tienen una raz en com un en (Zp )m .
(i)
(ii) Para cada n > 1, los polinomios fn tienen una raz en com un en (An )m .
Demostracion: Esto es una consecuencia inmediata del Lema 6.9. En efecto, si se toma
(i)
como Dn al conjunto de races en com
un de los fn , se ve que los Dn son finitos y ademas
forman un sistema proyectivo (puesto que ser raiz modulo pn+1 implica serlo modulo pn ).
Pero aparte, D := lim Dn es el conjunto de races del polinomio en Zp , ya que ser raiz

modulo pn para todo n implica que es raiz en Zp . O sea que se puede aplicar el Lema,
que nos dice que si los Dn son no vacos entonces D lo es, y esto es precisamente lo que
queramos probar (el hecho de que D no vaco implica que los Dn lo son sale por reducir la
ecuacion modulo pn ).
Proposici on 2.13. Sean f (i) Zp [X1 , . . . , Xm ] polinomios homogeneos con coeficientes

enteros p-adicos. Son equivalentes:
(a) Los f (i) tienen una raz no trivial en com un en (Qp )m .
(b) Los f (i) tienen una raz primitiva en com un (Zp )m .
(i)
(c) Para cada n > 1, los polinomios fn tienen una raz primitiva en (An )m .
Demostracion: Es claro que (b) (a). Para ver la vuelta, sea x = (x1 , . . . , xm ) (Qp )m
es una raiz no trivial de los f (i) , y llamemos h := inf(vp (x1 ), . . . , vp (xm )), y = ph x.
As definido, resulta que vp (yj ) = vp (xj ) h 0 j, y ademas en un ndice j se da la
igualdad, con lo cual y Zp y es primitivo. Como los polinomios son homogeneos, al eval-
(i)
uarlos en y = ph x el factor ph deg(f ) sale en com un, y lo restante queda 0 por ser x raiz.
(i)
Entonces y es raiz primitiva en com un de los f en Zp .
Para finalizar, vemos que podemos imitar la prueba de la proposicion anterior (utilizando
el mismo Lema) para probar que (b) (c), poniendo Dn como el conjunto de races prim-
itivas en com un de los f (i) en An y observando que forman un sistema proyectivo, cuyo
lmite es el conjunto D de races en com un de los polinomios en Zp .
A continuacion veremos como estan relacionadas las soluciones a ecuaciones polinomi-

ales modulo pn con soluciones en Zp (es evidente como obtener las primeras sabiendo las
segundas, el problema es conseguir soluciones en Zp a partir de soluciones en cada An ).
Lema 2.14. (Metodo de Newton aplicado a n umeros p-adicos) Sea f Zp [X], y sea f 0 su
polonomio derivado. Dados x Zp , n, k Z, tales que 0 2k < n, f (x) 0 mod pn y
Los N
vp (f 0 (x)) = k, entonces existe y Zp tal que
f (y) 0 mod pn+1 , vp (f 0 (y)) = k, y x mod pnk
Demostracion: Propongamos un y de la forma y = x + pnk z como solucion, z Zp .

Tomando el polinomio de Taylor de grado 2 para f centrado en x, y evaluandolo en y,
obtenemos que
f (y) = f (x) + (y x)f 0 (x) + (y x)2 a = f (x) + pnk zf 0 (x) + p2n2k za
con a Zp . Pero por hipotesis, f (x) = pn b, f 0 (x) = pk c con b Zp y c U. Sea c1 el

inverso de c modulo p (pensando que c1 Zp ), y consideremos entonces z = bc1 . Se ve
que b + zc es multiplo de p, entonces pn (b + zc) es m ultiplo de pn+1 . Por lo tanto, tenemos
que
f (y) = pn b + pnk zpk c + p2n2k za = pn (b + zc) + p2n2k a 0 mod pn+1
pues 2n 2k > n por hipotesis.
Finalmente, como el y elegido satisface y x (modpnk ), aplicamos f 0 a ambos lados y
obtenemos f 0 (y) pk c (modpnk ), con c no divisible por p. Pero n k > k, luego la mayor
potencia de p que puede dividir a f 0 (y) es pk (pues sino p dividira a c), y esto es decir que
vp (f 0 (y)) = k.
Teorema 2.15. Sean f Zp [X1 , . . . , Xm ], x = (x1 , . . . , xm ) (Zp )m , n, k, j Z tales que

0 j m y 0 2k < n. Supongamos que

n f
f (x) 0 mod(p ), vp (x) = k
Xj
Entonces, existe una raz y (Zp )m de f tal que y x mod(pnk ) (coordenada a coorde-
nada).
Demostracion: Probemos el Teorema primero para el caso m = 1. Seg un el Lema del

metodo de Newton podemos encontrar un x Zp tal que x x mod(pnk ) y tal
(1) (1)
que f (x(1) ) 0 mod(pn+1 ) y vp (f 0 (x(1) )) = k. De la misma forma, y en general, pode-

mos reemplazar n por n + 1 y volver a aplicar el Lema, consiguiendo as una sucesion
x, x(1) , . . . , x(q) , . . . tal que para todo q x(q+1) x(q) mod(pn+qk ) y f (x(q) ) 0 mod(pn+q ).
Como n + q k tiende a infinito, la norma p-adica de x(q+r) x(q) tiende a 0, con lo cual
la sucesion construida es de Cauchy. Sea y su lmite (recordar que Zp es completo). Por
continuidad, la norma de f (y) es 0 entonces f (y) = 0. Y al tener que todos los terminos de
la sucesion son congruentes con x modulo pnk , lo mismo ocurre con y.
Para probar el caso m > 1 simplemente fijamos en el polinomio todas las variables que
no tengan ndice j, y les damos el valor xi correspondiente. As obtenemos un polinomio
f Zp [Xj ] que esta en las condiciones anteriores, y podemos entonces hallar yj congruente
a xj modulo pnk tal que f(yj ) = 0. Poniendo yi = xi para i 6= j, obtenemos el elemento
y = (yi ) buscado.
Este importante teorema trae como consecuencia numerosos resultados. Los que mas
nos interesan son los siguientes:
Los N
Corolario 2.16. (Lema de Hensel) Sea f Zp [X1 , . . . , Xm ] un polinomio con coeficientes

en Zp , y a = (a1 , . . . , am ) (Zp )m una raz simple de
f (x) 0 mod(p)
f
(i.e., X i
(a) 6= 0 mod (p) para alg
un i, 1 i m). Entonces existe y Zp tal que y a0
mod p y f (y) = 0.
f
(Esto es exactamente el teorema para n = 1, k = 0. En efecto, el hecho de que X i
(a) 6= 0
f

mod (p) implica que vp Xi (a) 6= 0).
P
Corolario 2.17. Sean a Zp , y f (X) = i,j aij Xi Xj , con aij = aji , una forma cuadr atica
con coeficientes en Zp tal que det(aij ) es invertible. Entonces,
(i) Si p 6= 2, toda solucion primitiva de f (X) a mod(p) da lugar a una solucion en Zp .
(ii) Si p = 2, toda solucion de f (X) a mod(8) da lugar a una soluci on en Z2
Demostracion: Sea x una solucion primitiva de f (X) a mod(p). Para probar (i) basta
con demostrar que hay alguna derivada parcial P que no se anula en x, modulo p (por Lema de
f
Hensel). Sea A = (aij ). Vemos que X i
= 2 j aij Xj = 2(AX)i (donde X = (X1 , . . . , Xn )).
Si todas las derivadas parciales fueran cero, entonces el vector AX sera cero modulo p. Y
esto es absurdo puesto que X no es cero modulo p (pues es primitivo), y A es invertible
mod (p). Por lo tanto hay alguna no nula, y se puede aplicar el Lema.
Con el mismo razonamiento que recien, pero teniendo en cuenta el 2 que acompa na a (AX)i
en la formula de la derivada parcial, se ve que en el caso p = 2 el hecho de que A sea in-
vertible implica que las derivadas parciales no son todas nulas mod(4). Pero entonces el
resultado a probar no es otra cosa que aplicar el Teorema con n = 3, k = 1.
2.4. Unidades y cuadrados en Qp

El objetivo de esta seccion es caracterizar de cierta forma los grupos multiplicativos y,
con esta informacion, los diferentes tipos de restos cuadraticos en cada uno de los cuerpos
Qp .
Llamaremos U = Zp al grupo multiplicativo (o de unidades) de los enteros p-adicos. Para

cada n 1, notamos Un = 1 + pn Zp , es decir, el nucleo de la aplicacion n : U (Z/pn Z)
definida en la Proposicion 2.8. En particular, como U1 = ker(1 ) y (Z/pZ) = Im(1 ), U/U1
se puede pensar como (Z/pZ) = Fp (grupo multiplicativo del cuerpo de p elementos),
y luego es cclico y de orden p 1. Ademas, es claro que los Un forman una sucesion
decreciente(seg un inclusion) de subgrupos abiertos de U (pues U/Un = (Z/pn Z) ), y se
tiene que U = lim U/Un .

Consideremos ahora para cada n 1 el morfismo de grupos abelianos : Un Z/pZ, dado
por (1 + pn x) 7 x mod p. Entonces Un /ker() = Im(). Pero ker() = Un+1 , Im() =
Z/pZ, luego Un /Un+1 = Z/pZ. As, se puede ver por induccion que U1 /Un tiene orden pn1 .
Veamos ahora el siguiente Lema de terora de grupos:
Lema 2.18. Sea 0 A E B 0 una sucesi on exacta de grupos abelianos, a, b
los ordenes (finitos) de A, B resp., y tales que mcd(a, b) = 1. Si B 0 := {x E : bx = 0},
entonces E = A B 0 , y ademas B 0 es el u
nico subgrupo de E isomorfo a B.
Los N
Demostracion: Como a y b son coprimos, existen r, s Z tales que ar + bs = 1. Veamos

primero que A B 0 = 0. Sea x A B 0 . Entonces por ser a el orden de A, ax = 0. Y bx = 0
por definicion de B 0 , luego x = (ar + bs)x = r(ax) + s(bx) = 0 y entonces A B 0 = 0.
Ahora bien, tomemos x E y escribamoslo como x = arx + bsx. Sean f el monomorfismo
de A a E y g el epimorfismo de E a B. Entonces g(bsx) = bg(sx) = 0 ya que g(sx) B
y b es el orden de ese grupo. Luego, bsx ker g = Imf = A pues f es mono. Entonces,
bsx A (abuso de notacion; en realidad esta en un subgrupo de E isomorfo a A). Resta
ver que arx B 0 , pero para esto hacemos b(arx) = a(brx), se ve de forma analoga a la
anterior que brx A, y luego abrx = 0 con lo cual arx B 0 . Por lo tanto, E = A B0.
0
El epimorfismo g : E 7 B define un isomorfismo entre B y B , puesto que en los elementos
de A da 0. Si tuvieramos un B 00 E isomorfo a B entonces por una cuestion de orden (de
este subgrupo), bB 00 = 0 luego B 00 B 0 por definicion de B 0 . Y al tener el mismo orden,
resulta que B 0 = B 00 .
Proposicion 2.19. Si V := {x U : xp1 = 1}, entonces este es el u

nico subgrupo de U

isomorfo a Fp , y U = V U1
Demostracion: Consideremos la sucesion de grupos abelianos
1 U1 /Un U/Un Fp 1
n
Es exacta, ya que UU/U
1 /Un
= U/U1 por el segundo Teorema del isomorfismo, y hemos visto
ltimo grupo es isomorfo a Fp . Pero ademas, el orden de U1 /Un es pn1 y el de
que este u

Fp es p 1: son coprimos. Por lo tanto se aplica el Lema anterior, y podemos concluir que
U/Un contiene un u nico subgrupo Vn isomorfo a Fp . Por el mismo Lema, podemos decir
que Vn es exactamente {x U/Un |xp1 = 1}. Pensando el epimorfismo n : An 7 An1
como n : U/Un 7 U/Un1 (se puede porque estos conjuntos son isomorfos) tenemos un
sistema proyectivo cuyo lmite es U . Y como cada morfismo lleva Vn a Vn1 de manera
isomorfa, obtenemos pasando al lmite un u nico subgrupo V de U isomorfo a Fp . El hecho
de que V sea de la forma explicitada en la Proposicion se deduce de como son los Vn , y por
otra parte como U/U1 = Fp , se deduce inmediatamente que U = V U1 . 3
Veamos ahora que ocurre con el grupo U1 :

Lema 2.20. Si x Un \ Un+1 , con n 1 (y n 2 si p = 2), entonces xp Un+1 \ Un+2 .
Demostracion: Por hipotesis, podemos escribir x = 1 + kpn , con k no m
ultiplo de p.
Desarrollando por binomio de Newton, tenemos que
xp = 1 + kpn+1 + . . . + k p pnp
y en todos los terminos que faltan el exponente de p es al menos 2n + 1 n + 2. Mas aun,
np n + 2 (para esto se pide la hipotesis de que si p = 2 entonces n 2). Luego
xp 1 + kpn+1 mod pn+2
y entonces x Un+1 \ Un+2 .
3
Notar que en el Lema se utiliz o la notacion aditiva, mientras que al aplicarlo a la Proposicion se
utilizo la notacion multiplicativa.
Los N
Proposici on 2.21. El grupo U1 es isomorfo a...

(i) Zp , si p 6= 2.
(ii) {1} U2 = {1} Z2 , si p = 2.
Demostracion: (i) Sea U1 \ U2 , por ejemplo = 1 + p. Por el Lema anterior,
i
p Ui+1 \ Ui+2 . Sea n la imagen de en U1 /Un . De lo mencionado anteriormente
n2 n1
(tomando i = n 2 y i = n 1) se deduce que p Un1 \ Un y p Un , luego
n2 n1
(n )p 6= 1 y (n )p = 1 (recordar que los grupos se notan multiplicativamente). Al ser
U1 /Un un grupo de orden pn1 , resulta que el orden de n es exactamente pn1 , con lo cual
es un generador. Esto implica que se puede definir un isomorfismo n, entre Z/pn1 Z y
U1 /Un . Es claro, por la definicion de dichos isomorfimos, que el diagrama
Z/pn Z U1 /Un+1

Z/pn1 Z U1 /Un
conmuta. Pasando al lmite, queda entonces definido un isomorfismo entre Zp =
lim Z/pn1 Z y U1 = lim U1 /Un , con lo cual queda probado el caso p 6= 2.

(ii) Tomando U2 \ U3 obtenemos de la misma forma que antes los isomorfimos n, :
Z/2n2 Z U2 /Un , y por lo tanto se tiene un isomorfismo : Z2 U2 . Por otro lado,
como U1 /U2 = Z/2Z = {1} se ve inmediatamente que U1 = {1} U2 .
Con estos resultados, ya estamos en condiciones de caracterizar el grupo multiplicativo

de Qp de la siguiente manera:
Teorema 2.22. El grupo Qp es isomorfo a Z Zp Z/rZ, donde r = p 1 si p 6= 2, y

r = 2 si p = 2.
Demostracion: Sabemos que todo elemento x Qp se escribe de forma u nica como
x = pn u, con n Z y u U . Luego, Qp = Z U . Pero ademas, U = V U1 por la
Proposicion 2.19, y V
= Z/(p 1)Z si p 6= 2 (V es trivial si p = 2), luego usando la
estructura para U1 probada en la Proposicion anterior se deduce inmediatamente lo que
queremos probar.
Con esta caracterizacion, y utilizando el smbolo de Legendre (ver Apendice 6.1.2) pode-
mos conocer mas profundamente los cuadrados perfectos en Qp , mediante los siguientes
resultados, que eran el objetivo principal de esta seccion.
Teorema 2.23. Si p 6= 2, entonces para que un elemento x = pn u Qp , con n Z y

u U 4 , sea un cuadrado perfecto, es necesario y suficiente que n sea par, y que la imagen
de u en Fp = U/U1 sea un cuadrado perfecto (resto cuadr atico).5
Demostracion: Escribamos u = vu1 , con v V y u1 U1 . Como Qp = Z V U1 ,
entonces x es cuadrado perfecto si y solo si n es par, y v y u1 son cuadrados en sus respec-
tivas ubicaciones. Pero U1 es isomorfo a Zp (este u ltimo con notacion aditiva), y como 2 es
4
Ver comentario posterior a la Definici on 2.10
5
Al decir la imagen de u en Fp nos referimos a su primera componente en la descomposicion U = V U1
de la Proposicion 2.19, ya que V
= Fp .)
Los N
invertible en Zp , todos los elementos son cuadrados, luego u1 siempre es cuadrado perfecto.
Al ser V isomorfo a Fp , queda probado el teorema. 6
Corolario 2.24. Si p 6= 2, el grupo Qp /Qp 2 es isomorfo a Z2 Z2 , y se puede representar

mediante {1, p, u, up}, siendo u U un elemento tal que su imagen u en Fp verifica up =

1 (es decir, no es un resto cuadratico mod p).
Demostracion: Esto es obvio, ya que si cocientamos con el cuerpo de cuadrados Qp 2 en-

tonces de los elementos de Qp , que pueden pensarse como pn u, solo nos interesa la paridad
de n y el smbolo de Legendre up (el cual toma valores en {1}). Luego tomando 1 = p0 ,

p = p1 , u y pu tenemos representantes de dicho cociente.
Teorema 2.25. Para que un elemento x = pn u Q2 sea un cuadrado perfecto, es necesario

y suficiente que n sea par y que u 1 mod 8.
Demostracion: La descomposicion del Teorema 2.22 nos dice que x = pn u es cuadrado

perfecto si y solo si n es par, y u es un cuadrado en U . Pero U = {1} U2 , luego esto
ltimo pasara si y solo si u U2 y ademas u es un cuadrado all. Considerando el isomor-
u
fismo definido en la Proposicion 2.21, vemos que este enva al conjunto 2n Z2 en Un+2 . En
particular, para n = 1, el conjunto 2Z2 es isomorfo a U3 . Pero 2Z2 son los cuadrados en Z2 ,
y Z2 es isomorfo a U2 , luego u sera un cuadrado en U2 sii u U3 . Es decir, si y solo si u es
congruente con 1 modulo 8.
Corolario 2.26. El grupo Q2 /Q2 2 es isomorfo a Z2 Z2 Z2 , y se puede representar

mediante {1, 5, 2, 10}.
Demostracion: Este Corolario se deduce inmediatamente del hecho de que U/U3 se puede
caracterizar mediante el conjunto {1, 5}.
Nota: Los Teoremas 2.23 y 2.25 dicen que Qp 2 es un subgrupo abierto de Qp , para todo
p primo.
6
Cabe mencionar que en las estructuras notadas aditivamente tambien consideramos los cuadrados
perfectos: son aquellos elementos x para los cuales existe un y tal que y + y = x.
Los N
3. El smbolo de Hilbert
Para trabajar con formas cuadraticas, y mas precisamente si estamos estudiando cuando
una ecuacion cuadratica tiene solucion, es sumamente u
til introducir la nocion del smbolo
de Hilbert. Ademas este nos permitira, en la proxima seccion, hacer la clasificacion de
formas cuadraticas.
En [4] se presenta al smbolo de Hilbert definido sobre cualquier cuerpo local 7 , lo cual
servira para demostrar la version general del Teorema de Hasse-Minkowski. Sin embargo,
para entender y probar los resultados se requiere un buen manejo de la Teora de Cuerpos,
razon por la cual nos limitamos a hacer las cosas en R y Qp .
En general en esta seccion cuando se hable de cuerpo nos estaremos refiriendo a Qp o a R.
3.1. Definici
on, propiedades b
asicas y c
alculo del smbolo
Definici on 3.1. Sea k un cuerpo. Si a, b k , se define el smbolo de Hilbert entre a y
b con respecto a k como el n umero (a, b) dado por:

1, si la ecuacion z 2 ax2 by 2 = 0 tiene soluci
on no trivial en k 3 ;
(a, b) =
1, en caso contrario.
Al ser invariante bajo multiplicaciones de a y b por cuadrados (i.e., (a, bc2 ) = (a, b)), el
smbolo de Hilbert define una aplicacion entre k /k 2 k /k 2 y {1}.

Proposici on 3.2. Sean a, b k , y kb := k( b). Si N kb es el conjunto de normas de
elementos en kb , entonces (a, b) = 1 sii a N kb .
Demostracion: Si b = c2 para cierto c k , entonces kb = k y la terna (c, 0, 1) es solucion

de z 2 ax2 by 2 = 0. Luego (a, b) = 1, pero ademas a N kb pues N kb = N k = k , y
entonces vale la Proposicion.
Si no ocurriera eso, sea una raiz cuadrada de b. Todo elemento kb se puede escribir
de la forma = z + y, con y, z k. Se tiene que N () = z 2 by 2 . Entonces, si a N kb ,
podremos escribirlo como a = z 2 by 2 con lo cual (z, 1, y) es raiz de la ecuacion y (a, b) = 1.
Recprocamente, si (a, b) = 1, tomemos una raiz (z, x, y) de la ecuacion. Debe ocurrir que
x 6= 0 pues si lo fuera entonces b sera un cuadrado y supusimos que no lo era. Entonces,
z/x, 1, y/x) es tambien solucion de la ecuacion, y deducimos que
z2 y2
a= b N kb .
x2 x2
Proposici on 3.3. El smbolo de Hilbert satisface las siguientes propiedades a, b, c k:

(i) (a, b) = (b, a) y (a, 1) = 1 (luego (a, c2 ) = 1);
(ii) (a, a) = (a, 1 a) = 1;
(iii) Si (a, b) = 1 entonces (ac, b) = (c, b) (m as aun, (ac, b) = (a, b)(c, b));
(iv) (a, b) = (a, ab) = (a, (1 a)b).
7
Los cuerpos locales son aquellos cuerpos que poseen una funcion valor absoluto no trivial, y son
localmente compactos respecto a dicho valor absoluto. Por ejemplo, todas las extensiones Qp o R
Los N
Demostracion: (i) (a, b) = (b, a) es trivial; para ver que (a, 1) = 1 basta notar que (c, 0, c)
es solucion de la ecuacion para cualquier c k .
(ii) Si b = a, (0, 1, 1) es solucion. Y si b = 1 a, (1, 1, 1) lo es.
(iii) Si (a, b) = 1 entonces a N kb por la Proposicion anterior. Como N kb es un subgrupo
de k (multiplicativo), resulta que c N kb sii ac N kb , lo cual traducido en terminos del
smbolo de Hilbert es justamente lo que queramos probar.
(iv) Como (a, a) = 1, usando (iii) obtenemos que (a, b) = (a, ab). Y usando que
(a, 1 a) = 1 y (iii) se llega a que (a, b) = (a, (1 a)b).
A continuacion presentamos un resultado muy importante a los efectos de calcular el

smbolo (a, b). Pero antes, necesitaremos el siguiente Lema:
Lema 3.4. Sea v U . Si la ecuacion z 2 px2 vy 2 = 0 tiene solucion no trivial en Qp ,

entonces tiene una solucion (z, x, y) que verifica z, y U , x Zp .
Demostracion: Por la Proposicion 2.13 sabemos que existe una solucion primitiva de la
ecuacion (z, x, y), en (Zp )3 . Si no cumpliera las condiciones que queremos, entonces y o z es
divisible por p. Pero por ser solucion, sabemos que z 2 vy 2 es m ultiplo de p, y v no, luego
debera ocurrir que ambos (z e y) sean m ultiplos de p. Entonces, p2 | (z 2 vy 2 ) = px2 luego
p | x, absurdo pues la solucion era primitiva. Por lo tanto, (z, x, y) verifica las condiciones
buscadas.
Teorema 3.5. Si k = R, se tiene que

1, si a > 0 o b > 0;
(a, b) =
1, si a, b < 0.
Si k = Qp y escribimos a a y b en la forma p u, p v, con u, v U , entonces se tiene que

u v
(1)(p)( p ) ( p ) , si p 6= 2;
(a, b) = (u)(v)+(v)+(u)
(1) , si p = 2.
u

donde p
denota el smbolo de Legendre de u respecto de p, y las expresiones ve(x), (x),
x1 x2 1 8
representan el resto modulo dos de las expresiones 2
, 8 , respectivamente.
Demostracion: El caso k = R es trivial, se deduce del hecho de que un n umero es un

cuadrado en R si y solo si es positivo.
Supongamos ahora k = Qp , p 6= 2. Es claro que solo nos interesa el resto de , modulo
2. Pero ademas, como el smbolo de Hilbert es simetrico, basta con considerar solo 3 casos:
1) = 0, = 0:
Resulta evidente, por la paridad de los exponentes, que (a, b) = (p u, p v) = (u, v). Y el
8
De hecho, una version mas general de este Teorema vale tambien: Si k es cualquier cuerpo local, tal
que su cuerpo de residuos tiene caracterstica impar, sean a, b k . Escribimos a = m u, b = n v con
m, n Z y u, v O . Entonces se tiene que
(a, b) = (1)mn(q1)/2 (
u)(
v)
donde q es el tama
no del cuerpo de residuos y su caracterstica cuadratica.
Los N
lado derecho de la igualdad a probar es claramente 1; veamos entonces que (u, v) = 1. Como
Corolario del Teorema de Chevalley-Warning en 6.1, se obtiene que toda forma cuadratica
sobre 3 o mas variables tiene una solucion no trivial modulo p. Al ser el discriminante de
esta forma una unidad, por el Corolario 2.17 obtenemos a partir de dicha solucion una en
Qp . Luego (u, v) = 1.
2) = 1, = 0:
Reemplazando con estos valores en la formula a probar, basta ver que (pu, v) = vp . Pero

ya hemos visto que (u, v) = 1, entonces (pu, v) = (p, v) por la propiedad (iii) del smbolo
de Hilbert. Debemos probar entonces que
v
(p, v) =
p
Recordemos, por el Teorema 2.23, que v es un cuadrado sii vp = 1. Si v fuera cuadrado

perfecto, entonces (p, v) = 1 por la propiedad (i) del smbolo, y vp = 1 por lo recien

mencionado; se da la igualdad. En caso contrario, tenemos que vp = 1. Mirando la

ecuacion z 2 px2 vy 2 = 0 vemos que si tuviera solucion no trivial, entonces por el Lema
z 2

anterior tendra una con z, y U . Esto implicara que v y mod p, absurdo pues v
no era cuadrado. Por lo tanto la ecuacion no tiene solucion, y luego (p, v) = 1 = vp .

3) = 1, = 1:
Este caso se reduce a probar la formula (pu, pv) = (1)(p1)/2 up vp . Por la propiedad (iv)

del smbolo, tenemos que (pu, pv) = (pu, pupv) = (pu, p2 uv) = (pu, uv), y uv U .
Usando el caso 2) llegamos a que (pu, pv) = (pu, uv) = uv p
. Finalmente,

uv 1 u v (p1)/2 u v
= = (1)
p p p p p p
como queramos ver.
Ahora sea p = 2. Como en el caso anterior, solo consideraremos tres posibilidades:
1) = 0, = 0:
u1 v1
Traduciendo la formula a probar, hay que ver que (u, v) = (1) 2 2 . Es decir, que
(u, v) = 1 si u o v es congruente a 1 mod 4, y -1 en caso contrario. Supongamos que
u 1 mod 4, entonces u 1 o 5 mod 8. En el primer caso, por el Teorema 2.25 ten-
emos que u es un cuadrado, luego (u, v) = 1. Si u 5 mod 8, como v es coprimo con 2
resulta que 4v 4 mod 8. Entonces u + 4v 1 mod 8, luego u + 4v es un cuadrado.
Supongamos que w2 = u + 4v, w U ; se ve en este caso que (w, 1, 2) es solucion de la
ecuacion z 2 ux2 vy 2 = 0, con lo cual (u, v) = 1. Finalmente, si u v 1 mod 4,
supongamos que (u, v) = 1. Entonces existe una solucion primitiva (z, x, y) de la ecuacion
z 2 ux2 vy 2 = 0. Reduciendo modulo 4, x2 + y 2 + z 2 0 mod 4, y como los u nicos
2 2 2
cuadrados modulo 4 son 0 y 1, esto implica que x , y y z son 0 mod 4. Pero entonces
los 3 elementos de la terna (z, x, y) son m
ultiplos de 2, contradiciendo el hecho de que era
primitiva. Absurdo; por lo tanto (u, v) = 1.
2) = 1, = 0:
2
u1 v1
+ v 81
Dados los valores de y , hay que probar que (2u, v) = (1) 2 2 . Primero probe-
v 2 1
mos que (2, v) = (1) 8 , es decir, que (2, v) = 1 sii v 1 mod 8:
Si (2, v) = 1 entonces por el Lema anterior existen x, y, z Z2 tales que z 2 2x2 vy 2 = 0
y y, z no multiplos de 2. Esto implica que y 2 z 2 1 mod 8, y entonces 1 2x2 v 0
Los N
mod 8. Pero los u nicos cuadrados modulo 8 son 0, 1 y 4; deducimos de esto que v 1
mod 8. Recprocamente, si v 1 mod 8, es un cuadrado y luego (2, v) = 1; y si v 1
mod 8, la ecuacion z 2 2x2 vy 2 = 0 tiene a (1, 1, 1) como solucion modulo 8. Por el
Corolario 2.17 tenemos que esta solucion da lugar a una en Z2 , entonces (2, v) = 1.
Probemos ahora que (2u, v) = (2, v)(u, v), suficiente para lo que necesitamos puesto que
u1 v1
por el caso 1), (u, v) = (1) 2 2 . Si (2, v) = 1 o (u, v) = 1, esto vale por la Propiedad
(iii) del smbolo. En caso contrario, supongamos que (2, v) = (u, v) = 1. De los resultados
anteriores, y del caso 1), esto equivale a decir que v 3 mod 8 y u 3 o 1 mod 8.
Luego la ecuacion z 2 2ux2 vy 2 = 0 se lee modulo 8 como
z 2 + 2x2 3y 2 0 o z 2 6x2 + 5y 2 0
Ambas tienen como solucion a (1, 1, 1); como antes, esta da lugar a una solucion en Z2 , por
lo tanto (2u, v) = 1 = (1)(1) como queramos ver.
3) = 1, = 1:
Debemos ver que
2 2
u1 v1
+ v 81 + u 81
(2u, 2v) = (1) 2 2
Por la Propiedad (iv) del smbolo de Hilbert, sabemos que (2u, 2v) = (2u, 4uv) =
(2u, uv). Pero ademas, por el caso anterior sabemos que como uv U ,
u1 uv1 (uv)2 1
+
(2u, 2v) = (2u, uv) = (1) 2 2 8
Resta observar que, si hacemos las cuentas,

(u 1) (v 1) v 2 1 u2 1 (u 1) (uv 1) (uv)2 1
2
u 1
+ + + = (1+2vv 2 )
2 2 8 8 2 2 8 8
lo cual resulta evidentemente 0 mod 2 (ya que como v 1 mod 2, entonces (1 + 2v
v 2 ) 0 mod 2 ). Y esto implica la formula que se deba probar, pues la resta en la ecuacion
de arriba es entre los dos exponentes en cuestion (el que queramos probar, y el que tenamos
como valido).
Observar que la generalizacion de la propiedad (iii) en la Proposicion 3.3 implica que el

smbolo de Hilbert es bilineal. Pero de hecho vale lo siguiente:
Teorema 3.6. El smbolo de Hilbert es una forma bilineal simetrica no degenerada sobre
el F2 -espacio vectorial k /k 2
Nota: Fq representa un cuerpo de q elementos.
Demostracion: El hecho de que sea bilineal se deduce inmediatamente de la expresion
probada en el Teorema anterior, y del hecho de que las aplicaciones , : U Z/2Z dadas
2
por (u) = u1
2
, (u) = u 81 (que son las que aparecen en los exponentes) son morfismos.
La no degeneracion se prueba tomando un sistema de representantes para el grupo Qp /Qp 2
seg
un los Corolarios 2.24 y 2.26, y encontrando para cada uno de los elementos no neutros
un otro elemento b tal que (a, b) = 1. Esto se puede hacer facilmente dado que los
a alg
grupos en cuestion tienen 4 u 8 elementos (dependiendo de si p 6= 2 o p = 2), es por eso
que consideramos innecesario presentar los detalles aqu. .
Este teorema tiene como consecuencia inmediata lo siguiente:

Los N
/ k 2 entonces N kb es un subgrupo de ndice 2 de k .

Corolario 3.7. Si b
Demostracion: Simplemente definimos el morfismo b : k {1} mediante b (a) =

(a, b), y resulta evidente que N kb = ker b . El hecho de que el smbolo sea no degenerado im-
plica que b sea suryectiva. Luego por el Primer Teorema del Isomorfismo, k /N kb = {1},
y esto implica lo que queramos probar.
Si escribimos (a, b) = (1)[a,b] , entonces [a, b] es una forma bilineal simetrica sobre k /k 2 ,
con valores en Z/2Z, y podemos conocer (mediante el Teorema 3.5) su matriz en cierta base
para k /k 2 :
Si k = R, la matriz es (1).
Si k = Qp , p 6= 2, y consideramos la base {p, u} (tal que u no sea resto cuadratico

mod p) entonces la matriz es

0 1
, si p 1 (mod 4);

1 0

1 1
, si p 3 (mod 4).

1 0

Si k = Q2 , fijando la base {2, 1, 5} la matriz resulta ser

0 0 1
0 1 0
1 0 0
3.2. Propiedades globales

Como hemos notado anteriormente, el cuerpo de los n umeros racionales Q se puede con-
siderar como un subcuerpo de todos los Qp y de R. Entonces, dados a, b Q , denotaremos
(a, b)p al smbolo de Hilbert respecto de Qp de sus imagenes all (y analogamente con (a, b)
para R). Por comodidad de notacion, definimos tambien V como el conjunto de n umeros
primos junto con el smbolo , llamando naturalmente Q = R; as notamos a todas las
extensiones de Q aqu consideradas como Qv , para alg un v V .
El que sigue es un resultado fundamental del smbolo de Hilbert que, junto con otro
teorema a continuacion conforman lo que hemos llamado Propiedades Globales del smbolo
de Hilbert (la palabra globales surge de considerar todos los smbolos de Hilbert de los
distintos cuerpos en cuestion y relacionarlos).
Teorema 3.8 (Hilbert). Si a, b Q , entonces (a, b)v = 1 v V salvo finitos, y ademas

Y
(a, b)v = 1
vV
Los N
Nota: Esta es la llamada f ormula del producto para el smbolo de Hilbert.

Demostraci on: 9 Por la bilinealidad del smbolo de Hilbert (bilinealidad multiplicativa),
basta con probar el Teorema para el caso en el que a, b son -1 o un n umero primo. Entonces,
por simetra, basta con considerar solo 3 casos, y en cada uno de ellos podremos calcular
los smbolos de Hilbert mediante el Teorema 3.5 (sera util tener presentes las formulas que
dicho Teorema da para el calculo del smbolo de Hilbert):
1)a = 1, b = 1: Es claro que (1, 1) = 1. Para los demas v, vemos que la
escritura de a, b en la forma v u, respectivamente, esta dada por = 0, u = 1. Luego
(1, 1)v = 1 si v 6= 2. Y como (1) = 1, resulta que (1, 1)2 = 1; se verifica
inmediatamente el enunciado del Teorema.
2) a = 1, b = l, con l primo: Si l = 2, es claro que (1, 2)v = 1 cuando v 6= 2 (pues
la descomposicion de l en la forma v u se da con = 0). Y si v = 2, = 1 y u = 1, pero
como (1) = 0 y (u) = 0 resulta tambien que (1, 22 = 1.
Para l 6= 2, si tuvieramos que v 6= 2, l entonces = 0 y u = l, luego (1, l)v = 1. O sea que
son todos 1, salvo tal vez para v = 2 o v = l. Pero en esos casos uno ve que = 0, u = l si
v = 2, en cuyo caso (1, l)2 = (1)(l) ; o bien = 1, u = 1 cuando v = l, se tiene entonces
que (1, l)l = (1)(l) . Se verifica luego que (1, l)2 = (1, l)l , por lo tanto el producto
sobre todos los v da efectivamente 1.
3) a = l, b = l0 , con l, l0 primos: Si l = l0 entonces por la Propiedad (iv) del smbolo de
Hilbert se ve que (l, l)v = (l, l2 ) = (l, 1), y queda reducido al caso anterior. Supongamos
entonces que l 6= l0 . En general escribiremos l = v u, l = v u0 para v 6= (es claro
que (l, l0 ) = 1), la descomposicion usual. Si alguno de ellos fuera 2, por ejemplo l0 = 2,
entonces puede pasar que:
(i) v 6= 2, l: En este caso = = 0 y luego (l, 2)v = 1 para todos esos v;
(ii) v = 2: Esto implica = 0, = 1, u0 = 1, y tenemos (u0 ) = 0 con lo cual (l, 2)2 =
(1)(l)
(iii) v = l: Aqu se tiene = 1, = 0, u0 = 2, entonces (l, 2)l = 2l = (1)(l) (para

justificar la u ltima igualdad, ver Apendice sobre Teora de n umeros, mas especificamente
las propiedades del smbolo de Legendre)
Se ve entonces que (l, 2)2 = (l, 2)l , y el producto da 1.
Finalmente, cuando l 6= l0 y ninguno de ellos es 2, se tiene para v 6= 2, l, l0 que = = 0,
0
luego (l, l0 )v = 1. Para v = 2, tambien vale que = = 0, luego (l, l0 )2 = (1)(l)(l ) . Y
0
en los otroscasos, resulta evidente que = 0, = 1 o viceversa, de donde (l, l0 )l = ll ,
(l, l0 )l0 = ll0 . Utilizando la ley de reciprocidad cuadratica de Gauss, tenemos que
l0 l 0
(l, l0 )l (l, l0 )l0 = 0
= (1)(l)(l )
l l
Por lo tanto al multiplicar con (l, l0 )2 da 1.
A continuacion plantearemos una especie de ecuacion, cuyos u nicos datos son ciertos
smbolos de Hilbert, y hallaremos (bajo ciertas hipotesis que son obligadas) condiciones
necesarias y suficientes para su solucion. (Notar que el resultado siguiente esta muy rela-
9
El u
nico caso realmente interesante de la demostracion es cuando a y b son primos impares distintos,
demostrado al final. Es por esto que escencialmente este Teorema es equivalente a la ley de reciprocidad
cuadratica. Y es importante mencionar ademas que es posible generalizar el Teorema para el conjunto de
cuerpos de numeros algebr
aicos, de ah su importancia.
Los N
cionado con hallar una solucion en Q para cierta forma cuadratica, dado que existen solu-
ciones en cada Qv ):
Teorema 3.9. Sea (ai )iI una familia finita de elementos en Q , y sea (i,v )iI,vV una
familia de n umeros en {1}. Entonces existir a un x Q tal que (ai , x)v = i,v i I, v
V si y solo si se satisfacen las siguientes tres condiciones:
(i) Los i,v son todos iguales a 1,Q salvo finitos.
(ii) Para todo i I se tiene que vV i,v = 1
(iii) Para todo v V existe un xv Qv tal que (ai , xv )v = i,v para todo i I.
Para la demostracion necesitaremos dos lemas, a saber:
Lema 3.10. (Teorema

Q de aproximacion) Sea S un subconjunto finito de V . Entonces la
imagen de Q en vS Qv es densa en dicho producto.
Lema 3.11 (Dirichlet). Si a, m N son coprimos, entonces existen infinitos primos p

tales que p a (mod m).
Demostracion: (del Teorema) Es claro que las condiciones son necesarias: las primeras
dos por la formula del producto del smbolo de Hilbert, la tercera tomando por ejemplo
xv = x. Probemos entonces la vuelta: sean (i,v ) que satisfacen las hipotesis del Teorema,
y supongamos que los ai son todos enteros (se puede, pues podemos multiplicarlos por su
denominador al cuadrado, lo cual deja invariante los smbolos de Hilbert). Definamos S
como el conjunto de los factores primos de los ai junto con 2 y , y T := {v V : i
I con i,v = 1}.
Caso 1) S T =
Sean Y
a= l
lT \{}
Y
m=8 l
lS\{2,}
Al ser S y T finitos, estos enteros estan bien definidos. Como S T = se tiene que a y m
son coprimos. Luego por Dirichlet, existe p primo tal que p a mod m, tal que p / S T.
Veamos que x = ap verifica las condiciones requeridas (o sea, que (ai , x)v = i,v para todos
i I, v V ):
Si v S v / T i,v = 1; debemos ver que (ai , x) = 1. Para v = , esto es verdad
pues x > 0; si v = l es un n umero primo, x ap a2 mod m, luego por definicion de m
tenemos que: cuando l = 2 x a2 mod 8; y cuando l 6= 2 x a2 mod l. Notar que x y
a son unidades l-adicas (ver definicion de x, a y m). Pero ademas, si escribimos x = ln u
resulta n = 0 y la imagen de u = x en Fl es justamente a2 mod l, un resto cuadratico,
luego por el Teorema 2.23 x es un cuadrado en Ql . Por lo tanto, (ai , x)v = 1 = i,v en este
caso.
Cuando v / S (llamemos v = l), se tiene que ai es una unidad l-adica para cada i I.
Luego aplicando el Teorema 3.5 se obtiene que
ai vl (b)
(ai , b)l =
l
Los N
para cualquier b Ql .
Si l / T y l 6= p entonces tambien resulta que x es una unidad l-adica, luego vl (x) = 0 y
entonces utilizando la formula anterior llegamos a que (ai , x)l = 1, que es igual a i,v ya
que l / T.
Si l T entonces l | a luego vl (x) = vl (a) + vl (p) = 1 + 0 = 1. Utilizando la hipotesis
(iii) tenemos que xl Ql tal que (ai , xl )l = i,l i I. Al ser que l T , existira alg
un
i,l = 1, con lo cual vl (xl ) 1 mod 2 (debido a la formula presentada para el calculo de
(ai , b)l ). Pero entonces,

ai
(ai , x)l = = (ai , xl )l = i,l para todo i I
l
como queramos.
Para l = p, utilizando la formula del producto (y la hipotesis (ii)) para despejar los terminos
con v = p, obtenemos que:
Y Y
(ai , x)p = (ai , x)v = i,v = i,p
v6=p v6=p
Luego queda probado el Teorema en el caso S T = .

Caso 2) S T 6=
2 2
Q
Sabemos que Q v es un subgrupo abierto de Qv . Luego por ser S finito, vS Qv es
abierto en vS Qv . Ahora bien, tenemos xv Qv que verifican la hipotesis (iii), luego
Q
por el Teorema de Q Aproximacion presentado antes de la demostracion, como la imagen de
Q es densa en vS Qv , existira un x0 Q tal que x0 /xv Qv 2 v S. En particular
tenemos que (ai , x0 )v = (ai , xv )v = i,v para tovo v S. Sean i,v = i,v (ai , x0 )v . Entonces la
familia de numeros (i,v ) verifica claramente las tres hipotesis (i), (ii), (iii). Pero mas aun,
si v S entonces i,v = i,v (ai , x0 )v = i,b 2 = 1. Esto nos dice que si definimos S y T para
esta nueva familia, entonces S queda igual ya que son los mismos ai , y T resulta disjunto
con S (pues para estar en T deba ocurrir que para alg un i, i,v = 1). Luego por el caso
anterior, existira y Q tal que (ai , y)v = i,v para todo i I y v V . Definimos entonces
x = yx0 , y luego
(ai , x)v = (ai , y)v (ai , x0 )v = i,v (ai , x0 )v = i,v
por lo tanto x verifica las condiciones requeridas.
Los N
4. Formas cuadr
aticas
El objetivo de esta seccion es estudiar y caracterizar las formas cuadraticas sobre los
cuerpos Qv y Q. Para eso, estudiaremos las propiedades de los m odulos cuadraticos en gen-
eral, y luego las traduciremos al lenguaje corriente de formas cuadraticas. Al terminar con
las propiedades basicas y los importantes teoremas de representacion de un n
umero a traves
de una forma cuadratica, nos dedicaremos a estudiar mas especficamente las propiedades
de estas sobre Qp y sobre R.
4.1. M
odulos cuadr
aticos
Definici on 4.1. Sea V un A-modulo, con A un anillo conmutativo. Una funci on Q : V
A es una forma cuadr atica sobre V si se satisfacen las siguientes condiciones:
(i) Q(ax) = a2 Q(x) a A, x V ;
on B(x, y) = Q(x + y) Q(x) Q(y) es una forma bilineal.
(ii) La funci
Un par (V, Q) con dichas propiedades se llama m odulo cuadr atico.
En esta seccion nos limitaremos al caso de que A sea un cuerpo k de caracterstica

distinta de 2. Entonces el A-modulo V resulta ser un k-espacio vectorial, que supondremos
que sera de dimension finita.
Vale la pena observar que la definicion surge de la relacion entre la norma y el producto
interno en un espacio vectorial: estan mutuamente determinados, justamente por la formula
(ii) de la definicion (en realidad multiplicando por 1/2 el lado derecho). Y aprovechando
esto, definiremos el producto escalar asociado a Q mediante
x.y := (Q(x + y) Q(x) Q(y))/2
(tiene sentido dividir por 2 pues excluimos a los cuerpos de caracterstica 2). Observar
que con esta definicion resulta ser efectivamente un producto escalar, ya que al ser + con-
mutativa, la forma bilineal de la definicion es simetrica. Y ademas, se tiene que Q(x) = x.x.
Definicion 4.2. Si (V, Q) y (V 0 , Q0 ) son dos modulos cuadr on f : V

aticos, una funci
0
V es un morfismo de modulos cuadr aticos (o morfismo m etrico, para simplificar) si
Q0 f = Q.
Observar que esta condicion implica que f (x).f (y) = x.y x, y V .
Si fijamos una base (ei )1in para V , llamamos matriz de Q respecto de esta base a
) k nxn dada por aij = ei .ej . Es claro que A es simetrica, y ademas si
la matriz A = (aijP
escribimos a x = ni=1 xi ei en la base fijada, entonces se tiene que
X
Q(x) = aij xi xj
i,j
y ahora vemos que la definicion dada al principio coincide con la idea intuitiva de forma
cuadratica que uno tena.
Los N
En este contexto surge el primer invariante de las formas cuadraticas, al cual llamaremos
discriminante de Q y estara dado por
^ k /k 2
d(Q) := det(A)
donde la tilde denota la imagen de det(A) en el conjunto de clases de restos cuadraticos

(para la definicion estamos suponiendo que det(A) 6= 0; si esto ocurriera, decimos que
disc(Q) = 0) . La buena definicion surge de lo siguiente: si cambiaramos la base mediante
la matriz cambio de base (invertible) X Glk (n), entonces la matriz de Q en esta nueva
base no sera otra cosa que A0 = XAX t . Pero entonces det(A0 ) = det(A) det(X)2 , y justa-
mente det(X)2 k 2 (es no nulo por ser X es invertible).
Diremos que dos elementos x, y V son ortogonales (respecto a Q) si x.y = 0. Si

H V , definimos su complemento ortogonal H 0 := {y V : h.y = 0 h H},
que claramente es un subespacio vectorial de V . Diremos que dos subespacios V1 , V2 son
ortogonales si V1 V20 (i.e., si dados v1 V1 , v2 V2 v1 .v2 = 0). El complemento
ortogonal de todo el espacio V , V 0 , es llamado radical de V , y se denota rad(V ). Definimos
entonces el rango de Q como
rank(Q) := dim V dim(rad(V ))
Diremos que Q es no-degenerada si V 0 = 0, lo cual equivale a decir que d(Q) 6= 0 (esto se

vera despues).
Definicion 4.3. Sean U1 , . . . , Um subespacios de V . Diremos que V es la suma directa

ortogonal de ellos si son todos ortogonales entre s, y adem as V es suma directa de ellos.
Se nota como:
V = U1 . . . U
m
P
En primer lugar, si escribimos x = xi , donde xi son sus componentes en Ui , entonces
se tiene que
Q(x) = Q1 (x1 ) + . . . + Qm (xm )
donde Qi denotan las restricciones de Q a cada Ui . Pero recprocamente, si tenemos una
familia de modulos cuadraticos (Ui , Qi ), podemos construir la forma cuadratica que resulta
suma directa de las Qi mediante la formula de arriba, obteniendo as el modulo cuadratico
( Ui , Q).
L
Por otro lado, es claro que si U V es sumplementario de rad(V ), entonces V =

U rad(V ).
Proposici on 4.4. Sea (V, Q) un modulo cuadratico no degenerado. Entonces,

(i) Todos los morfismos metricos que partan de V son inyectivos.
(ii) Para todo subespacio U de V se tiene que
U 00 = U, dim U + dim U 0 = dim V, rad(U ) = rad(U 0 ) = U U 0 .
Adem olo si U 0 lo es, y si esto pasa se

as, el modulo cuadratico U es no-degenerado si y s
tiene que V = U U .0
(iii) Si V es suma directa ortogonal de dos subespacios, entonces son no-degenerados.

Los N
Demostracion:
(i) Sea f : V V 0 un morfismo metrico, con (V 0 , Q0 ) un modulo cuadratico. Para ver
que f es inyectiva, supongamos que f (x) = 0. Entonces dado y V , x.y = f (x).f (y) = 0
por ser f morfismo. Esto es decir que x rad(V ) (es ortogonal a todos), pero como V era
no degenerado, x = 0. Luego f es inyectiva.
(ii) Sea U un subespacio de V . Definamos el morfismo qU : V U (donde U es el dual
de U ) que aplica y U al funcional lineal en U g(x) = x.y. Es claro que el n ucleo de qU es
0
U . En particular, al ser V no degenerado, qV : V V es un isomorfismo (su n ucleo seria
rad(V ) = 0).
Vemos que podemos obtener qU componiendo qV con la proyeccion canonica de V a U .
Luego qU : V U resulta ser suryectiva. Entonces, considerando la inclusion de U 0 en V
obtenemos la siguiente sucesion exacta
0 U0 V U 0
de donde dim V = dim U 0 + dim U = dim U 0 + dim U . Aplicando este proceso para el
subespacio U 0 , se llegara a la formula dim V = dim U 00 + dim U 0 , la cual junto con la
anterior implica que dim U = dim U 00 . Pero por definicion de U 0 , tenemos que U U 00
(los elementos de U son ortogonales a los de U 0 , luego estan en U 00 ), por lo tanto U = U 00 .
Veamos ahora que rad(U ) = U U 0 (lo cual, junto con el hecho anterior, nos dira tambien
que rad(U 0 ) = U U 0 ): x rad(U ) si y solo si x U y x es ortogonal a todos los elementos
de U . Es decir, si y solo si x U y x U 0 , y listo.
Un modulo cuadratico es no degenerado si y solo si su rad es nulo. Puesto que rad(U ) =
rad(U 0 ), la no degeneracion de U implica la de U 0 y viceversa. En el caso en que lo sean,
tenemos que dim U + dim U 0 = dim V , y U U 0 = rad(U ) = 0 luego V = U U 0 . Por
definicion de U 0 , la suma directa es tambien ortogonal.
(iii) Si V = U1 U 2 entonces U2 U10 por ser la suma ortogonal. Pero dim U2 =
dim V dim U1 = dim U10 luego U2 = U10 . Ahora bien, vemos que si x rad(U1 ) entonces
es ortogonal a todos los de U1 . Pero por estar en U1 , es ortogonal a todos los de U10 . Luego
es ortogonal a todo elemento de U1 U10 = V , entonces x = 0 ya que V era no degenerado.
Definici
on 4.5. Dado un modulo cuadr atico (V, Q), diremos que un elemento x es isotropi-
co si Q(x) = 0. Un subespacio U es isotr opico si todos sus elementos lo son. Finalmente,
diremos que el modulo cuadratico es isotr
opico si existe alg
un elemento isotr
opico no nulo
xV.
Es claro que U es isotropico si y solo si U U 0 , lo cual equivale a decir que la restriccion

de Q a U es la forma cuadratica nula.
Definicion 4.6. Un modulo cuadratico que tiene una base formada por dos elementos
isotr
opicos x, y no ortogonales es llamado un plano hiperb
olico.
Se puede suponer sin perdida de generalidad que x.y = 1, en cuyo caso la matriz del
plano hiperbolico en la base x, y resulta ser

0 1
1 0
Los N
con d(Q) = 1. Observar que es el ejemplo mas peque no posible (no trivial) de un
modulo cuadratico isotropico. El siguiente inesperado resultado muestra que todo modulo
cuadratico isotropico debe contener un plano hiperbolico como subespacio:
Proposicion 4.7. Sea x V un elemento isotr

opico no nulo, donde (Q, V ) es no-degenerado.
Entonces existe un subespacio U de V que contiene a x y es un plano hiperb olico.
Demostracion: Al ser V no degenerado, existe z V tal que x.z 6= 0. Podemos suponer,

mediante el producto por un escalar, que x.z = 1. Sea y = 2z (z.z)x. Entonces, y es
isotropico, pues
y.y = 4(z.z) + (z.z)2 (x.x) 4(z.z)(z.x) = 4(z.z) + 0 4(z.z) = 0
y ademas, haciendo las cuentas, x.y = 2. Luego el subespacio kx + ky es un plano hiperboli-

co.
Corolario 4.8. Si (V, Q) es isotropico, entonces Q(V ) = k.
Demostracion: Por la Proposicion anterior, basta con demostrarlo para V un plano

hiperbolico. Supongamos que una base para V es x, y, con x, y isotropicos y x.y = 1. En-
tonces dado a k, resulta que a = Q(x + a2 y); por lo tanto Q(V ) = k.
Teorema 4.9. Todo modulo cuadratico (V, Q) admite una base de elementos ortogonales
dos a dos (i.e., base ortogonal).
Demostracion: Probemos el resultado por induccion en n = dim V . El caso n = 1

es trivial. Ahora supongamos que dim V = n. Si V fuera isotropico (i.e., todos sus ele-
mentos isotropicos), entonces cualquier base sera ortogonal ya que Q sera identicamente
cero. Entonces supongamos que V no es isotropico, luego existira un e1 V tal que
e1 .e1 6= 0. El complemento ortogonal H de {e1 } tendra entonces dimension n 1, puesto
que e1 / H por hipotesis. Al ser el subespacio ke1 no degenerado, resulta (Proposicion
anterior) que V = ke1 H. Luego aplicando la hipotesis inductiva, tomamos una base or-
togonal (e2 , . . . , en ) para H, y la base (e1 , e2 , . . . , en ) de V resulta ser ortogonal.
Este teorema ayuda mucho a comprender que es lo que realmente pasa con las formas
cuadraticas, puesto que la matriz de Q en una base ortogonal no es otra cosa que una
matriz diagonal:
a1 0 . . . 0
0 a2 . . . 0

.. .. . .
. . . 0
0 0 . . . an
xi ei , entonces Q(x) = a1 x21 + . . . + an x2n . Podemos reinterpretar la
P
Si escribimos x =
definicion de modulo cuadratico no-degenerado: lo que se esta diciendo realmente es que
ai 6= 0 i = 1, . . . , n (es decir, que la forma cuadratica sea efectivamente en n variables).
Q Y
ahora resulta evidente que (V, Q) es no degenerada sii d(Q) 6= 0, pues d(Q) = ai .
Los N
Definici on 4.10. Dos bases ortogonales de un mismo m odulo cuadratico (V, Q) se di-
cen contiguas si tienen alg un elemento en com un (i.e., si las bases son (e1 , . . . , en ) y
(e01 , . . . , e0n ), deben existir i, j tal que ei = e0j ).
Teorema 4.11. Sea (V, Q) un modulo cuadr atico no degenerado de dimension n 3, y

0 0
sean e = (e1 , . . . , en ) y e = (e1 , . . . , en ) dos bases ortogonales de V . Entonces existe una
on finita de bases ortogonales e(0) , e(1) , . . . , e(m) tales que e(0) = e, e(m) = e y e(j) es
sucesi
contigua a e(j+1) para todo j = 0, . . . , m 1.
Demostracion: Dividiremos la prueba en tres casos:

1) (e1 .e1 )(e01 , e01 ) (e1 .e01 )2 6= 0
Claramente, si llamamos P al plano ke1 + ke01 , la condicion supuesta nos dice que e1 y e01
no pertenecen a rad(P ). Pero ademas, tambien nos dice que e1 no es un m ultiplo de e01 y
0
viceversa. O sea que {e1 , e1 } es base para P , y como ningun de ellos esta en rad(P ), debe
ser que rad(P ) = 0. Por lo tanto P es no degenerado. Luego, deben existir complementos
ortogonales para e1 y e01 de dimension 1, es decir, 2 , 02 tales que
2 = ke01 k
P = ke1 k 02 .
Llamemos H al complemento ortogonal de P . Como P es no degenerado, V = H P por

00 00
la Proposicion 4.4. Sea (e3 , . . . , en ) una base ortogonal para H. Entonces, podemos hacer
contiguas a e y e mediante la cadena
e (e1 , 2 , e003 , . . . , e00n ) (e01 , 02 , e003 , . . . , e00n ) e
y vale el Teorema.
2) (e1 .e1 )(e02 , e02 ) (e1 .e02 )2 6= 0
La prueba de este caso es exactamente la misma que en el 1), cambiando e01 por e02 .
3) (e1 .e1 )(e0i , e0i ) (e1 .e0i )2 = 0 para i = 1, 2
Probemos primero que la condicion supuesta implica que existe un x k tal que el elemento
ex := e01 + xe02 es no isotropico, y genera junto con e1 un plano no degenerado:
La condicion de no isotropico se cumplira si y solo si ex .ex = e01 .e01 + x2 (e02 .e02 ) 6= 0, i.e.,
sii x2 6= (e01 .e01 )/(e02 .e02 ). Y para que el plano que genera con e1 sea no degenerado debe
pasar, como antes, que (e1 .e1 )(ex , ex ) (e1 .ex )2 6= 0. Desarrollando con la formula para
ex , y utilizando la condicion supuesta, llegamos a el plano generado sera no degenerado sii
2x(e1 .e01 )(e1 .e02 ). Pero la hipotesis supuesta implica que (e1 .e0i ) 6= 0 para i = 1, 2. O sea
que basta con que x 6= 0.
As, solo tenemos que lograr que x 6= 0 y x2 6= (e01 .e01 )/(e02 .e02 ). Esto excluye a lo sumo 3
valores de k para elegir, luego si k tiene mas de 4 elementos, ya esta. En el caso de k = F3 ,
como (e1 .e0i ) 6= 0 no queda otra que (e1 .e0i )2 = 1. Entonces la hipotesis 3) se reescribe como
(e1 .e1 )(e0i , e0i ) = 1, i = 1, 2. Pero entonces la expresion (e01 .e01 )/(e02 .e02 ) es -1, y por lo tanto
basta tomar x = 1 para verificar las propiedades requeridas para ex .
Ahora podemos entonces tomar ex = e01 + xe02 no isotropico, y tal que ke1 + kex es no
degenerado. Como ex es no isotropico, existira un e002 tal que (ex , e002 ) es una base ortogonal
para ke01 ke 02 . Sea
e = (ex , e002 , e03 , . . . , e0n )
base ortogonal de V . Al ser ke1 + kex un plano no degenerado, podemos deducir de los
casos 1) y 2) que e y e se relacionan mediante una cadena de bases contiguas. Como e
Los N
es contigua a e, el Teorema esta probado.
Sean (V, Q), (V 0 , Q0 ) dos modulos cuadraticos no degenerados, y sea U un subespacio

de V . Supongamos que s : U V 0 es un morfismo metrico inyectivo. En el trabajo por
clasificar las formas cuadraticas surge la pregunta natural cuando sera posible extender
s a una isometra (isomorfismo metrico) entre V y V 0 ? La respuesta la da precisamente el
Teorema de Witt que se presenta a continuacion:
Teorema 4.12. Si (V, Q) y (V 0 , Q0 ) son isomorfos (como modulos cuadr

aticos) y no de-
generados, entonces todo morfismo metrico inyectivo s : U V , de cualquier subespacio
U de V , puede ser extendido a una isometra de V en V 0 .
Demostracion: Supondremos en gral que V = V 0 (ya que son isomorfos). Veamos los dos
casos:
Caso (i): U degenerado
Sea x 6= 0 un elemento de rad(U ), y tomemos l U tal que l(x) = 1. Al ser V no
degenerado, existe y V tal que l(u) = u.y (pues qV : V V es isomorfismo). Podemos
suponer que y.y = 0, haciendo un corrimiento de y a yx con = 12 y.y; sigue valiendo que
l(u) = u.y debido a que x rad(U ). Entonces tenemos un nuevo subespacio U1 = U ky
(notar que y / U pues si y U entonces l(x) = x.y = 0 ya que x rad(U ), pero l(x) era
1).
Al ser s morfismo metrico inyectivo, resulta que s(U ) es tambien degenerado. Luego apli-
camos la misma construccion para U 0 = s(U ), x0 = s(x) y l0 = l s1 , y obtenemos y 0
y U10 = U 0 ky 0 . Extendamos entonces s mediante la asignacion s0 (y) = y 0 , y queda asi
determinado un morfismo metrico inyectivo s0 : U1 V que coincide con s en U . Pero lo
bueno es que dim U1 = dim U + 1.
Si U1 fuera degenerado, repetimos este proceso. Si fuera no degenerado, pasamos al caso
(ii).
Caso (ii): U no degenerado
Probemos el Teorema por induccion en dim U . Si dim U = 1, U = kx con x V no
isotropico (para que U sea no degenerado). Llamemos y = s(x); por ser s morfismo metrico
se tiene que y.y = x.x. Vemos que alguno de los elementos x+y, xy debe ser no isotropico,
pues si ambos lo fueran entonces
0 = Q(x + y) + Q(x y) = 2(x.x) + 2(y.y) = 4(x.x)
luego x sera isotropico. Supongamos sin perdida de generalidad entonces que z = x + y

es no isotropico. Llamemos H al complemento ortogonal de z; se tiene que V = kz H.
Ademas observar que (x + y).(x y) = 0, luego x y H. Definamos el automorfismo
como la simetra respecto de H, es decir, la identidad en H y multiplicar por -1 en la coor-
denada de kz. Como x y H, x + y kz, entonces (x y) = x y y (x + y) = x y.
Luego (x) = y, y por lo tanto el automorfismo extiende a s a todo V .
Si dim U > 1, descomponemos a U en U1 U 2 , con Ui 6= 0. Por hipotesis inductiva, la re-
striccion s1 de s a U1 se puede extender a un automorfismo 1 de V . Si reemplazamos por
11 s vemos que se puede suponer que s es la identidad en U1 . Ahora usamos la hipotesis
para la restriccion s2 de s a U2 : claramente, al ser s la identidad en U1 , s2 : U2 V1 ,
donde V1 es el complemento ortogonal de U1 . Luego existira un automorfismo 2 de V1 que
extiende a s2 . Definimos entonces como la identidad en U1 , y 2 en V1 . Es claro que
Los N
extiende a s a todo V y mantiene la condicion de ser morfismo metrico.
Corolario 4.13. Dos subespacios isomorfos de un m

odulo cuadr
atico no degenerado tienen
complementos ortogonales isomorfos.
Demostracion: Simplemente extendemos el isomorfismo metrico entre dichos subespacios
a un automorfismo del espacio completo, y lo restringimos a los complementos ortogonales.
4.2. Propiedades generales

En esta seccion interpretaremos los resultados presentados para modulos cuadraticos,
desde el punto de vista de formas cuadraticas (seg un la nocion estandard, i.e. polinomio
homogeneo dePgrado 2 en n variables).
Sea f (X) = ni=1 aii Xi2 + 2 i<j aij Xi Xj una forma cuadratica en n variables sobre k.
P
Suponemos que aij = aji , de esta forma, la matriz de f A = (aij ) resulta simetrica. En-
tonces, segun los terminos de la seccion anterior, (k n , f ) resulta un modulo cuadratico;
sera llamado de hecho el modulo cuadratico asociado a f (o a su matriz A).
Definicion 4.14. Diremos que dos formas cuadr aticas f y f 0 son equivalentes si los
correspondientes modulos cuadraticos son isomorfos. Lo notaremos como
f f0
Si f (X1 , . . . , Xn ) y g(X1 , . . . , Xm ) son dos formas cuadraticas, definimos la suma (tam-

bien conocida como suma ortogonal) de f y g mediante la forma cuadratica
f u g := (X1 , . . . , Xn ) + g(X1 , . . . , Xm )
en n + m variables (ver la definicion 4.3 para entender de donde surge la idea: en reali-
dad se realiza la suma directa de los modulos cuadraticos, definiendo la forma cuadratica
all canonicamente). De manera natural, definiremos
:= f u (g)
f g
En general, se omitira el puntito por comodidad de notacion (siempre y cuando no haya

problemas).
Definici
on 4.15. Diremos que una forma cuadr atica f representa a un determinado
n
elemento a k si existe x (k ) tal que f (x) = a.
Observar que f representa a 0 si y solo si su modulo cuadratico correspondiente es
isotropico.
Reescribimos ahora la Definicion 4.6:
Definici
on 4.16. Una forma cuadratica f (X1 , X2 ) se dice hiperb
olica si se tiene
f X12 X22
Los N
En ese caso, tambien se tendra que f X1 X2 .
Y si interpretamos en este contexto la Proposicion 4.7 y su Corolario obtenemos los

siguientes resultados, que traducen todos los problemas realtivos a n
umeros representables
por cierta forma cuadratica, a entender c
uales son las formas cuadraticas isotropicas (i.e.,
que representan a 0):
Proposici on 4.17. Si f es no-degenerada y representa a 0, entonces se tiene que f f2 +g,

con f2 hiperbolica. Y ademas, f representa a todos los elementos de k.
Demostracion: Es simplemente pasar a este lenguaje la Proposicion 4.7, junto con su

Corolario 4.8.
Corolario 4.18. Si g es una forma cuadr atica en n 1 variables, y a k , entonces son

equivalentes:
(i) g representa a a;
(ii) g h + aZ 2 , donde h es una forma cuadr atica en n 2 variables;
(iii) La forma cuadratica f = g aZ 2 representa a 0.
Demostracion:
(i) (ii): La vuelta es trivial, pues g(0, . . . , 0, 1) = a. Para ver su recproca, si suponemos
que g representa a a entonces el modulo cuadratico V correspondiente a g tendra un elemen-
to x tal que x.x = a (ya que x.x = g(x) en dicho modulo cuadratico). Sea H el complemento
ortogonal de x; tenemos que V = H kx. O lo que es equivalente, g h + aZ 2 , donde h es
la g restringida a H (es claro, dado que x.x = a, que g restringida a kx es aZ 2 ).
(ii) (iii): Por la hipotesis (ii) tenemos que f h+aY 2 aZ 2 , luego f (0, . . . , 0, 1, 1) = 0
entonces f representa a 0.
(iii) (i): Supongamos que f g aZ 2 y f (x1 , . . . , xn1 , z) = 0, con (x1 , . . . , xn1 , z) 6=
0. Entonces: o bien z = 0, en cuyo caso g(x1 , . . . , xn1 ) = 0 con (x1 , . . . , xn1 ) 6= 0, o sea
que g representa a 0 y luego a a (por la Proposicion 4.17); o bien z 6= 0, que implica
g(x1 /z, . . . , xn1 /z) = a por lo tanto g representa a a (observar que no es necesario pedir
que alg un xj sea no nulo, pues si todos fueran 0 entonces a = 0, absurdo).

Corolario 4.19. Sean g, h dos formas no-degeneradas de rango n 1, y sea f = g h.
Entonces son equivalentes:
(i) f representa a 0;
(ii) Existe a k que es representado por g y por h;
(iii) Existe a k tal que g aZ 2 y h aZ 2 representan 0.
Demostracion: Es claro que (ii) (iii), por el Corolario anterior. Ademas, se ve que (ii)
implica (i) pues si g(x) = h(y) = a con x, y no nulos (en sus correspondientes espacios, por
ej x k r , y k s ), entonces f (x, y) = 0 y (x, y) 6= 0. Para terminar, probemos la recproca:
supongamos que f representa a 0. Entonces existe (x, y) 6= 0 tal que f (x, y) = 0, o sea
que g(x) = h(y) = a. Si a 6= 0, queda probado (ii). Si a = 0, el hecho de que (x, y) 6= 0
implica que x 6= 0 o y 6= 0: supongamos sin perdida de generalidad que x 6= 0. Esto nos
dice que g representa a 0. Pero entonces por la Proposicion 4.17, g representa a todos
los elementos de k . En particular, representara a todos los elementos de k representados
Los N
por h (existe alguno de tales elementos pues h es no degenerada), con lo cual se tiene (ii).
Ahora vemos que el Teorema 4.9 de diagonalizacion de la matriz de f nos lleva a la

forma mas caracterstica de presentar una forma cuadratica:
Teorema 4.20. Si f es una forma cuadratica en n variables, entonces existen ai k tales

que
f a1 X12 + . . . + an Xn
Demostracion: Recordemos, en la definicion de modulo cuadratico, que si definamos

una
P base de V para la cual la matriz de la forma resultaba A = (aij ), entonces f (x) =
i,j aij xi xj donde los xi son las coordenadas de x en la base en cuesti
on.
n
As, si tomamos f forma cuadratica en n variables, esto equivalePan que V = k , y fijando la
base dada por el Teorema 4.9 obtenemos la expresion f (x) = i=1 aii xi , como queramos
probar.
As presentada, sabemos que el rango de f es exactamente la cantidad de coeficientes ai
no nulos.
Para concluir con la traduccion de los resultados del captulo anterior, presentamos los
equivalentes del Teorema de Witt y su Corolario:
Teorema 4.21. Sean f = g + h y f 0 = g 0 + h0 dos formas cuadr

aticas no-degeneradas.
Entonces si f f 0 y g g 0 , se tiene que h h0 .
Demostracion: Lo u nico que debemos notar es que si V = U H es isomorfo a V 0 =

U 0 H
0 y U isomorfo a U 0 , entonces H resulta isomorfo a H 0 , y esto vale por el Corolario
4.13. En nuestro contexto, como por hipotesis f restringida a H es h (y lo analogo para f 0 ,
H 0 , h0 ), entonces h h0 .
Corolario 4.22. Si f es una forma cuadr

atica se tiene que
f g0 + g1 + . . . + gm + h
donde g0 0, las gi son formas hiperbolicas para 1 i m, y h es no isotr

opica. Adem
as,
esta descomposicion es u
nica (salvo equivalencias).
Demostracion: Por el Teorema 4.20, separando los ai nulos de los no nulos, obtenemos
inmediatamente una descomposicion en la forma f g0 + g, con g0 0 (la parte con los
ai = 0), y g no degenerada. Ahora descomponemos g seg un la Proposicion 4.17, que nos
permite extraer de manera iterativa nuevas formas hiperbolicas: en cada paso, mientras
sea posible (es decir, mientras la parte restante siga representando a 0), obtenemos g
g1 + . . . + gr + hr con gi hiperbolicas. As hasta llegar al punto en que hr no representa a
0, en cuyo caso se obtiene la forma explcicitada en el enunciado del Corolario.
Para ver la unicidad, basta notar primero que la descomposicion f g0 + g es u nica
salvo equivalencias, pues esta determinada por la forma diagonal de la matriz de f y por
su rango. Y segundo, ver que la parte de g1 + . . . + gm + h es u nica tambien, presentamos
dos posibles expresiones y cancelamos todos las partes hiperbolicas mediante el Teorema
4.21.
Los N
4.3. Formas cuadr

aticas sobre Fq
Aqu clasificaremos las formas cuadraticas sobre un cuerpo finito, y estudiaremos cuales
elementos son representadas por ellas. A continuacion, p denotara un n umero primo impar,
y q una potencia de p. Como ya mencionamos antes, Fq es un cuerpo con q elementos.
Proposici on 4.23. Si f es una forma cuadr atica sobre Fq de rango n, entonces:

-Si n 2, f representa a todos los elementos de Fq .
-Si n 3, f tambien representa a 0.
Demostracion: Debido a la implicacion (iii) (i) del Corolario 4.18, es suficiente probar
la segunda afirmacion para n = 3 (tomando como valido esto, si el rango de g es 2 entonces
el de f = g aZ 2 es 3, luego representara a 0, y esto implicara que g representa a a Fq ).
Probar que toda forma en 3 variables representa a 0 es equivalente a ver que para todos
a, b, c Fq la ecuacion
ax2 + by 2 = c
tiene solucion (esto se ve porque se toma el vector no trivial que anula a f , y se divide por
una coordenada no nula, despejando su coeficiente correspondiente). Para ver que dicha
ecuacion tiene solucion, supongamos que a, b, c Fq (si alguno es 0 la ecuacion es trivial).
Sean A, B Fq los conjuntons de n umeros de la forma rx = ax2 , sy = c by 2 respectiva-
mente, con x, y Fq . Claramente si rx = rx0 entonces x2 = (x0 )2 luego o bien x = 0, o bien
x = x0 . Esto nos dice que rx consiste del 0, y q1 2
elementos mas: es decir, un total de
q+1 q+1
2
. Analogamente, se ve que B consiste tambien de 2 elementos. Pero en Fq hay solo q,
luego A B 6= . Esto implica simplemente que la ecuacion en cuestion tiene solucion.
Sabemos que el grupo Fq /Fq 2 tiene exactamente dos elementos. Sea entonces a Fq ,
que no sea un cuadrado. Se tiene el siguiente resultado:
Proposici
on 4.24. Toda forma cuadratica no-degenerada de rango n sobre Fq es equiva-
lente a
X12 + . . . + Xn1
2
+ Xn2
oa
X12 + . . . + Xn1
2
+ aXn2
dependiendo de que clase le corresponde a su discriminante en Fq /Fq 2 .
Demostracion: Usemos induccion en n. El resultado es claro si n = 1, por el hecho de

que Fq /Fq 2 tiene exactamente dos elementos. Ahora tomemos n 2. Por la Proposicion
anterior, f representa a 1. Luego se podra escribir, por 4.18, como f = X12 + g, con g en
n 1 variables. Se aplica entonces la hipotesis inductiva a g, y listo.
Corolario 4.25. Dos formas cuadraticas no degeneradas sobre Fq son equivalentes si y

s
olo si tienen el mismo rango y el mismo discriminante.
Demostracion: La ida es trivial; para la vuelta, si dos formas cuadraticas tuvieran el

mismo rango y discriminante, entonces la Proposicion anterior dice que son equivalente a
una misma forma, luego por transitividad seran equivalentes entre s.
Los N
4.4. Formas cuadr

aticas sobre Qp
En esta seccion estudiaremos especificamente las formas cuadraticas definidas sobre el
cuerpo Qp de los n umeros p-adicos, obteniendo una muy buena clasificacion de ellas seg un 3
invariantes (los dos utilizados para clasificar las formas cuadraticas sobre Fq , y uno nuevo).
En este captulo p denotara un n
umero primo, k el cuerpo Qp , todos los modulos cuadraticos
seran considerados sobre el cuerpo k, de rango n, y supondremos que son no degenerados.
Las mismas suposiciones se tendran en cuenta para las formas cuadraticas en cuestion.
Recordemos que habamos definido el discriminante d(Q) de un modulo cuadratico

(V, Q). Si fijamos una base ortogonal e = {e1 , . . . , en } para V y llamamos Ai = ei .ei ,
entonces resulta que
d(Q) = a1 . . . an
considerado como un elemento del cociente k /k 2 (las formas son no degeneradas, entonces
la expresion utilizada es no nula). Ya hemos visto que d(Q) es un invariante del modulo
cuadratico (V, Q) (i.e., no depende de la base e utilizada para definirlo).
En el mismo contexto, definamos la funcion por:

Y
(e) = (ai , aj )
i<j
donde (a, b) denota el smbolo de Hilbert. As definida, resulta evidente que (e) {1, 1}.
Mas a
un, es otro invariante de (V, Q), como lo muestra el siguiente Teorema:
Teorema 4.26. El n
umero (e) no depende de la base ortogonal e elegida para su defini-
ci
on.
Demostracion: Para n = 1, es claro que (e) = 1 siempre. Si n = 2, tenemos que

(e) = (a1 , a2 ). O sea que (e) = 1 si y solo si Z 2 a1 X 2 a2 Y 2 representa a 0. Por
el Corolario 4.18, esto equivale a que a1 X 2 + a2 Y 2 represente a 1, es decir, que exista un
v V tal que Q(v) = 1. Y claramente esto es independiente de e. Ahora usemos induccion
para n 3. Por el Teorema 4.11, basta con probar que (e) = (e) si e y e son contiguas.
Supongamos, por simetra del smbolo, que e1 = e01 . Entonces a01 = a1 (donde a0i = e0i .e0i ).
Luego, como el smbolo es linealen cada coordenada, podemos escribir
Y Y Y
(e) = (a1 , a2 . . . an ) (ai , aj ) = (a1 , a21 a2 . . . an ) (ai , aj ) = (a1 , d(Q)a1 ) (ai , aj )
2i<j 2i<j 2i<j
Analogamente, Y
(e) = (a1 , d(Q)a1 ) (a0i , a0j )
2i<j
Y aplicando la hipotesis inductiva a la forma restringida al complemento ortogonal de e1 ,

tenemos que Y Y
(ai , aj ) = (a0i , a0j )
2i<j 2i<j
de donde se tiene la igualdad buscada, y listo.

Los N
En el lenguaje de formas cuadraticas, lo que hemos dicho se traduce directamente a que

si f a1 X12 + . . . + an Xn2 es una forma cuadratica en n variables, entonces
d(f ) = a1 . . . an k /k 2
Y
(f ) = (ai , aj ) {1, 1}
i<j
son invariantes de la clase de equivalencia (via isomorfismos metricos) de f .
A continuacion veremos dos resultados que dan condiciones para caracterizar comple-
tamente el hecho de que una forma cuadratica f represente un elemento determinado de
k /k 2 .
Para probarlo necesitaremos el siguiente Lema, que habla sobre las soluciones de algunas
ecuaciones con el smbolo de Hilbert.
Recordar antes que hemos hallado, en la Seccion 2.4, la cantidad de elementos de los
cuerpos k /k 2 (donde k = Qp ). Estos son un total de 2r , con r = 3 si p = 2 y r = 2 si p
es impar.
Lema 4.27. (a) Si a k /k 2 y = 1, definamos Ha como el conjunto de elementos

x k /k 2 tales que (x, a) = . Si a = 1, Ha1 tiene 2r elementos (y luego Ha1 = ). Si
a 6= 1, Ha tiene 2r1 elementos.
0
(b) Sean a, a0 en k /k 2 , y , 0 = 1. Supongamos que Ha y Ha0 son no vacos. Entonces,
son disjuntos si y solo si a = a0 y = 0 .
Demostracion: (a) Cuando a = 1, es claro que (x, a) = 1 para todo x k /k 2 , se sigue

lo que queramos probar. Si a 6= 1, como el smbolo de Hilbert es una forma bilineal no
degenerada entonces tenemos un funcional lineal a : k /k 2 {1}, dado por b 7 (a, b).
Su n ucleo es un hiperplano de k /k 2 , o sea que tiene 2r1 elementos. Pero dicho n
uclo es
1 1
justamente Ha . Y finalmente, Ha es el complemento de el mencionado subespacio, con lo
cual tendra 2r 2r1 = 2r1 elementos.
0
(b) En el caso en que Ha y Ha0 sean no vacos y disjuntos, tenemos dos casos:
El primero, a = 1. Por el tem anterior, el hecho de que sean no vacos implica que = 1.
Pero entonces Ha tiene 2r elementos, y luego el otro es vaco. Entonces queda descartada
esta opcion.
El segundo caso es a 6= 1. Por el mismo motivo que antes, supongamos tambien a 6= 1
(sino se llega a un absurdo como antes, razonando analogamente). Entonces nuevamente
utilizando el tem anterior, sabemos que los dos conjuntos tienen 2r1 elementos. El hecho de
que sean disjuntos implica entonces que son complementarios. Como ya sabemos que Ha1 y
Ha1 son complementarios, deducimos entonces que Ha1 y Ha10 son iguales o complementarios.
Pero complementarios no son, pues ambos contienen al 1. Por lo tanto, Ha1 = Ha10 , y luego
lo mismo pasa con 1. As, por definicion de estos conjuntos,
(x, a) = (x, a0 )x k /k 2 .
Al ser el smbolo de Hilbert no degenerado, esto implica que a = a0 . Es claro ahora que para
que los conjuntos inicialmente considerados sean complementarios, debe ser que = 0 .
La recproca se deduce inmediatamente de (a).
Los N
Teorema 4.28. Una forma cuadratica f en Qp de rango n y discriminante d representa a

0 si y s
olo si:
i) n = 2, d = 1
ii) n = 3, = (1, d)
iii) n = 4, y d 6= 1, o d = 1 y = (1, 1)
iv) n 5
Haciendo un cambio en la forma cuadratica podemos generalizar este resultado para

cualquier a k /k 2 . Llamando fa = f aZ 2 (resta entre formas cuadraticas), sabemos
por 4.17 que fa representa a 0 sii f representa a a. Pero ademas, se pueden obtener los
invariantes de fa en funcion de los de f , mediante las formulas
d(fa ) = ad, (fa ) = (a, d)(f )
Luego, se tiene el siguiente corolario:
Corolario 4.29. Dado a k /k 2 , se tiene que f representa a a si y s

olo si:
i) n = 1, a = d
ii) n = 2, = (a, d)
iii) n = 3, y a 6= d, o a = d y = (1, d)
iv) n 4
Demostracion: (del Teorema) Escribimos f a1 X12 + . . . + an Xn2 .

(i) Tenemos que a1 X12 + a2 X22 = 0 Y 2 = (X1 /X2 )2 = a1 /a2 , si y solo si a1 /a2 (que
es igual a a1 a2 en k /k 2 ) es un cuadrado. Esto es, d = 1 (ya que en este caso k /k 2
tiene solo dos elementos).
(ii) f representa a 0 sii a3 f a3 a1 X12 a3 a2 X22 X32 representa a 0. Esto es equiv-
alente, por definicion del smbolo de Hilbert, que (a3 a1 , a3 a2 ) = 1. Desarrollando del
lado izquierdo (por linealidad), obtenemos
(1, 1)(1, a1 )(1, a2 )(a3 , a3 )(a1 , a2 )(a1 , a3 )(a2 , a3 ) = 1
lo cual, utilizando la propiedad (a3 , a3 = (1, a3 ) se puede escribir como
(1, a1 a2 a3 )(a1 , a2 )(a1 , a3 )(a2 , a3 ) = 1
es decir, (1, d) = 1. O sea, (1, d) = .

(iii) Por el Corolario 4.19, como f (a1 X12 +a2 X22 )(a3 X32 a4 X42 ), f representa a 0 sii
existe un x k /k 2 representado por las formas g = a1 X12 + a2 X22 y h = a3 X32 a4 X42 .
Pero por el tem (ii) del Corolario al Teorema (notar que ya hemos probado en el caso
anterior la parte correspondiente para poder usarlo), esto equivale a decir que
(x, a1 a2 ) = (a1 , a2 ) y (x, a3 a4 ) = (a3 , a4 )
Sean A, B los conjuntos de solucion de cada una de las ecuaciones de arriba. Tenemos que
f representa a 0 sii A B 6= . Es claro que ambos son no vacos (pues por ejemplo a1 A,
a3 B por formulas conocidas del smbolo). Luego aplicando el Lema previo, tenemos
Los N
que AB = si y solo si se cumplen las siguientes dos condiciones: a1 a2 = a3 a4 (cancelamos

los ), y (a1 , a2 ) = (a3 , a4 ). Lo primero implica claramente que el discriminante es un
cuadrado, i.e., d = 1. Entonces,
= (a1 , a2 )(a1 , a3 )(a1 , a4 )(a2 , a3 )(a2 , a4 )(a3 , a4 )
= (a1 , a2 )(a1 , a3 a4 )(a2 , a3 a4 )(a3 , a4 )

= (a1 , a2 )(a1 a2 , a3 a4 )(a3 , a4 )
= (a1 , a2 )(a3 a4 , a3 a4 )(a3 , a4 )
Sabemos, por una propiedad del smbolo, que (x, x) = (1, x); entonces reemplazando, y
utilizando la segunda condicion,
= (a1 , a2 )(a3 , a4 )(1, a3 a4 )
= (a3 , a4 )(a3 , a4 )(1, a3 )(1, a4 )

= (1, a4 )(a3 , a4 )(a3 , a4 )(a3 , 1)(1, a4 )
= (1, a24 )(a3 , a4 )2 = (1, 1)
En conclusion, tenemos que f no representa a 0 sii A B = , sii d = 1 y = (1, 1).
Negando todo, obtenemos lo que se quera probar.
(iv) Supongamos que n = 5. Por el Lema, y utilizando la parte (ii) del Corolario (toman-
do el a del Lema como d), vemos que existen 2r1 a k /k 2 tales que (a, d) = (para
formas de rango 2; en nuestro caso el rango es 5). Esto implica, por el Corolario, que
hay por lo menos 2r1 elementos de k /k 2 que son representados por f . Tomemos un
a k /k 2 que sea representado por f , y que sea distinto de d. Por resultados ya men-
cionados, f aX 2 +g, donde g es una forma cuadratica en 4 variables. Pero el discriminante
de g es justamente d/a 6= 1 en k /k 2 , luego por el caso anterior, g representa a 0. Poniendo
X = 0, vemos que f representa a 0, y listo.
Ahora llegamos a la hora de clasificar completamente (salvo isomorfismos) las formas

cuadraticas sobre Qp , mediante los invariantes previamente definidos.
Teorema 4.30. Dos formas cuadraticas sobre k son equivalentes si y s

olo si tienen el
mismo rango, el mismo discriminante y el mismo .
Demostracion: Es claro que si dos formas son equivalentes, tienen los mismos invariantes
(por la propia definicion de los mismos, que no dependan de ninguna base prefijada). Para
probar la vuelta (que es lo interesante) usaremos induccion en n, el rango de f (y de g). Los
primeros casos son triviales. Por el Corolario 4.29, vemos que f y g representaran los mismos
elementos de k /k 2 . La suposicion de que son no degeneradas, permite entonces tomar
a k /k 2 que sea representado por ambas formas. Entonces, tenemos que f aZ 2 + f 0 ,
g aZ 2 + g 0 . Pero justamente
d(f 0 ) = ad(f ) = ad(g) = d(g 0 )
(f 0 ) = (f )(a, d(f 0 )) = (g)(a, d(g 0 )) = (g 0 )

Los N
Y f 0 , g 0 son de rango n 1, con lo cual por hipotesis inductiva, f 0 g 0 . Luego, f g como

queramos.
Observar que, tomando en cuenta este Teorema y el Teorema anterior, 4.28, se ve que
la u
nica forma cuadratica en 4 variables que no representa a 0 es aquella que cumple
d(f ) = 1, (f ) = (1, 1) (es u
nica por lo que acabamos de probar). Tomando a, b tales
que (a, b) = 1, esta forma se puede expresar como f Z 2 aX 2 bY 2 + abT 2 .
Para hallar exactamente el n umero total de clases de formas cuadraticas (para cada
rango n) debemos mencionar el siguiente resultado:
Proposici on 4.31. Dado n 1, d k /k 2 y {1}, existir

a una forma cuadratica
f de rango n tal que d(f ) = d y (f ) = si y s o n = 2, d 6= 1;
olo si n = 1, = 1;
o n = 2, = 1; o n 3.
Demostracion: El caso n = 1 es trivial. Para n = 2, escribamos f aX 2 + bY 2 . Si

d(f ) = 1, entonces tenemos que (f ) = (a, b) = (a, ab) = (a, 1) = 1, luego cuando
d = 1 no queda otra que tener = 1. Para este caso, tomamos f = X 2 Y 2 , que verifica
lo requerido.
Cuando d 6= 1, para cualquier podremos encontrar a k /k 2 tal que (a, d) = (ver
Lemma previo al Teorema 4.28). Entonces, la forma f = aX 2 + adY 2 tiene las propiedades
requeridas.
Cuando n = 3, se toma un a k /k 2 tal que a 6= d en dicho contexto. Entonces
ad 6= 1, luego por el caso anterior existe una forma g en 2 variables tal que d(g) = ad,
(g) = (a, d). Tomamos luego f = aZ 2 + g, y tiene las propiedades requeridas.
Si n 4, tomamos la forma g de rango 3 que verifique los invariantes requeridos, y defini-
mos f = g(X1 , X2 , X3 ) + X4 + . . . + Xn , que funciona.
Como consecuencia inmediata, encontramos la cantidad de formas cuadraticas (clases)

sobre Qp de rango n, que iran de acuerdo con el siguiente cuadro:
n=1 n=2 n3
p=2 8 15 16
p 6= 2 4 7 8
(podemos hacer ese cuadro pues ya sabemos cuantos valores puede tomar d(f ) y (f ))
4.5. Formas cuadr

aticas sobre R
En general el trabajo que hemos hecho para las formas cuadraticas sobre Qp se aplica
en gran parte a R si n 3 (n es el rango de la forma cuadratica en cuestion).
Es claro que si k = R entonces k /k 2 no es otra cosa que {1}. Luego toda forma
cuadratica no degenerada sobre R se puede pensar como
f X12 + . . . + Xr2 Y12 . . . Ys2

Los N
donde r + s = n. Los n umeros (r, s) determinan totalmente la forma cuadratica, y los

llamaremos signatura de f .
Para este caso se pueden conocer, en funcion de s, las invariantes d y , puesto que
(1, 1) = 1. En efecto,

s(s1)/2 1, si s 0, 1 mod 4
(f ) = (1) =
1, si s 2, 3 mod 4

s 1, si s 0 mod 2
d(f ) = (1) =
1, si s 1 mod 2
Los N
5. Teorema de Hasse-Minkowski
5.1. Demostraci
on del Teorema
Basandonos en los resultados previos estudiaremos ahora las formas cuadraticas sobre
Q, para llegar as al resultado principal de nuestro trabajo.
Como antes, V denotara el conjunto de n umeros primos junto con el smbolo , y
denotaremos Q = R. Sea f a1 X1 + . . . + an Xn2 una forma cuadratica en Q de rango n.
2
Consideramos los siguiente invariantes, llamados invariantes locales de f :

a) El discriminante de f , d(f ) = a1 . . . an Q /Q 2
b) Para cada v V , consideramos a f como una forma cuadratica fv en Qv , lo cual nos
permite definir el invariante v (f ) para cada v V de la siguiente manera:
Y
v (f ) = (ai , aj )v
i<j
Seg
un la formula vista en 3.8, se tiene que
Y
v (f ) = 1
vV
c) La signatura (r, s) de la forma cuadratica pensada en R.

Estamos en condicion de presentar el Teorema que nos dice que es equivalente la exis-
tencia de soluciones en Q a la existencia de soluciones en cada Qv :
Teorema 5.1 (Hasse-Minkowski). Sea f una forma cuadr atica sobre Q. Entonces f
representa a 0 si y solo si para todo v V la forma cuadr
atica fv representa a 0.
Demostracion: Es obvio que si f representa a 0, su imagen en Qv tambien, para todo v.

Para probar la vuelta, escribamos a f en la forma usual:
f a1 X12 + . . . + an Xn2 , ai Q
Y supongamos sin perdida de generalidad que a1 = 1 (reemplazando f por a1 f ). Dividermos

la prueba en casos: n = 2, 3, 4 y 5:
i) n = 2
Tenemos f = X12 aX22 . El hecho de que f represente a 0 nos dice que a > 0. Escribamos
Y
a= pvp (a)
p
y como fp representa a 0 para todo p, se tiene que si (x1 , x2 ) es una solucion no trivial de
fp = 0 entonces a = (x1 /x2 )2 , y entonces es un cuadrado en cada Qp . Esto implica que
vp (a) es par, para todo p. Pero entonces a es un cuadrado en Q, con lo cual f representa a
0.
ii) n = 3 (Legendre)
Se tiene f = X12 aX22 bX32 , y podemos suponer que a y b son enteros libres de cuadrados
(si no fueran enteros, multiplicamos por los denominadores al cuadrado, obteniendo una
forma equivalente; luego para que sean libres de cuadrados, hacemos que las variables
Los N
absorbantodos los factores cuadrados de a y de b). Esto se traduce en que vp (a), vp (b)
{0, 1} para todo p primo. Supongamos sin perdida de generalidad que |a| |b|. Probemos
el resultado por induccion en m := |a| + |b|:
Para m = 2, f = X12 X22 X32 . Pero no pueden ser todos signos positivos por el hecho de
que f representa a 0. Entonces, es claro que f representa a 0.
Supongamos ahora que m > 2. Esto implica que |b| 2 (pues es el mas grande de los dos).
Escribamos a b como
b = p1 . . . pk
donde los pi son primos distintos (por la suposicion hecha de que b es libre de cuadrados).
Sea p cualquiera de los pi , veamos que a es un cuadrado modulo p (i.e., resto cuadratico
mod p): si a es m ultiplo de p, esto es trivial. En caso contrario, a es una unidad en Qp .
Por hipotesis, sabemos que existe (x, y, z) (Qp )3 tal que z 2 ax2 by 2 = 0. Podemos
suponer, por la Proposicion 2.13, que (x, y, z) es primitiva (i.e., que x, y, z Zp y hay
alguno no m ultiplo de p). Se tiene que z 2 ax2 0 mod p ya que p | b. Si p dividiera a x,
entonces tambien a z. Pero como vp (b) = 1, p dividira tambien a y, absurdo. Luego x no
es m
ultiplo de p, entonces multiplicando por su inverso mod p en la ecuacion de antes, se
ve que a (zx1 )2 mod p entonces es cuadrado modulo p. Q
Esto vale para cualquier pi que divide a b, luego como Z/bZ = Z/pi Z, tenemos que a es
un cuadrado modul b. Es decir, existen t, b0 tales que
t2 = a + bb0
Se puede suponer que |t| |b|/2. Observar que bb0 = t2 a luego bb0 es la norma de
un elemento de k( a). Entonces por la Proposicion 3.2, (a, bb0 ) = 1. Luego (a, b) = 1 sii
(a, b0 ) = 1, por linealidad. As, recordando la definicion del smbolo de Hilbert, tenemos
que nuestra forma f representa a 0 en k (= Q o a Qp ) sii lo hace la forma
f 0 := X12 aX22 bX32
Por hipotesis, f representa a 0 en cada Qp , entonces f 0 tambien. Pero observar que

2
t a t2 |a| |t|2

0 |b|
|b | = + + 1 + 1 < |b|
b b |b| |b| 4
pues |b| 2. Si escribimos b0 = ub00 , con b00 libre de cuadrados, entonces es claro que
|b00 | < |b|. Por hipotesis inductiva, la forma cuadratica f 00 = X12 aX22 b00 X32 representa
a 0. Luego f 0 tambien, y en consecuencia nuestra f .
iii) n = 4
Por comodidad, escribamos f = aX12 + bX22 (cX32 + dX42 ). Sea v V . Como fv
representa a 0, por el Corolario 4.19 se tiene que existe un xv Qv representado por las
formas aX12 + bX22 y cX32 + dX42 . Esto equivale, utilizando ahora la parte (ii) del Corolario
4.29 (que sigue valiendo, trivialmente, para Q = R), a decir que
(xv , ab)v = (a, b)v , y (xv , cd)v = (c, d)v

Q Q
Y esto vale para todo v V . Como vV (a, b)v = vV (c, d)v = 1, podemos aplicar el
Teorema 3.9 y obtenemos as un x Q que verifica
(x, ab)v = (a, b)v , y (x, cd)v = (c, d)v

Los N
para todo v V . Esto implica que la forma cuadratica aX12 + bX22 xZ 2 representa a
0 en cada Qv , y entonces representa a 0 en Q por el caso anterior. O sea que x Q es
representado por aX12 + bX22 . Analogamente, x es representado por cX32 + dX42 . Aplicando
ahora otra implicacion del Corolario 4.19, deducimos que f representa a 0 en Q.
iv) n 5
Probaremos el resultado por induccion en n. Pensemos a f como f = h g, donde
h = a1 X12 + a2 X22 y g = (a3 X32 + . . . + an Xn2 ). Sea S el subconjunto de V dado por
los elementos , 2, y los primos p tales que vp (ai ) 6= 0 para alg un i 3 (i.e., primos
que dividen a alguno de los coeficientes de g). Claramente, S es finito. Sea v S. Como
fv representa a 0, existira un av Qv representado (en Qv ) por h y g). Esto es, existen
xvi Qv , i = 1, . . . , n tales que
h(xv1 , xv2 ) = g(xv3 , . . . , xvn ) = av
Como los cuadrados de Qv forman un abierto, si utilizamos el Teorema de Aproximacion

presentado antes de la prueba de 3.9 para el conjunto S definido previamente, deducimos
que existen x1 , x2 Q tales que si a = h(x1 , x2 ), entonces a/av Qv 2 para todo v S.
Consideremos ahora la forma f1 = aZ 2 g, de rango n 1. Dado v S, sabemos que g
representa a av en Qv , luego tambien a a (ya que para k /k 2 son lo mismo). Esto implica
que f1 representa a 0 en cada Qv , v S. Si v / S, resulta que los coeficientes de g son
todos unidades v-adicas (por definicion de S). Entonces tambien dv (g) sera una unidad.
Pero ademas, observemos que la forma cuadratica g es en 3 o mas variables, entonces por
el Corolario 6.3 al Teorema de Chevalley-Warning, la ecuacion g a mod v tiene solucion
no trivial. Pero entonces, al ser el discriminante de g una unidad v-adica, podemos aplicar
el Corolario 2.17 y obtener as la existencia de una solucion en Qv de g = a. Es decir, g
representa a a en Qv . Luego, f1 representa a 0 en Qv , ahora para los v / S.
En cualquiera de los dos casos, vemos que la forma f1 representa a 0 en Qv , para todo
v. Luego por hipotesis inductiva, como f1 es de rango n 1, tambien representa a 0 en
Q. Esto implica que g representa a a en Q. Pero como h tambien representaba a a en Q
(por construccion de a), tenemos que f representa a 0 en Q, y queda probado el Teorema.
Facilmente se extiende el teorema a cualquier a Q :
Corolario 5.2. Sea a Q . f representa a a en Q si y s

olo si lo hace en cada Qv .
Demostracion: Se deduce inmediatamente del Teorema, aplicado a la forma cuadratica

aZ 2 f
Y ademas, recordando que todas las formas cuadraticas de rango n 5 representa a 0

en cada Qp , obtenemos el siguiente resultado:
Corolario 5.3. Una forma cuadratica f en Q de rango n 5 representa a 0 si y s

olo si
representa a 0 en R
Demostracion: Sabemos que, por el Teorema 4.28, una forma de rango 5 siempre
representa a 0 en Qp ; el Corolario resulta de reescribir el enunciado del Teorema de Hasse-
Minkowski con esta informacion.
Los N
Es decir, que si f es una forma cuadratica no degenerada en mas de 4 variables, entonces

la ecuacion f = 0 tiene solucion no trivial en Q si y solo si la tiene en R.
5.2. Algunos comentarios interesantes

Vale la pena mencionar que la version del Teorema presentada en este trabajo no es lo
mas general que se ha podido probar hasta el momento.
La prueba del Teorema que hemos mostrado a lo largo de estas paginas fue desarrollada
por Hermann Minkowski a finales del siglo XIX. Posteriormente, Helmut Hasse probo la
version mas general del mismo, cuya formulacion se hace en un cuerpo global F (en el
lugar de Q), y los cuerpos de n umeros p-adicos son reemplazados por las completaciones
de F respecto a valuaciones no triviales (de la misma manera que la primera definicion de
Qp mostrada aqu). Dichas valuaciones son clasificadas modulo la relacion de equivalencia
generar la misma topologa sobre F (ya que toda valuacion da lugar a una metrica, la cual
genera una topologa en el cuerpo en cuestion). Se denomina a las clases de equivalencia
los primos de K (en analoga con el caso de F = Q). Uno de tales primos se dice infinito
si las valuaciones correspondientes a esa clase de equivalencia son arquimedianas (i.e., si
no cumple la propiedad (c) de la Proposicion 2.4 ). En el caso en que las valuaciones
correspondientes a un primo sean no-arquimedianas, se dice que es un primo finito.
Esta nocion de valuaciones primas (las finitas, segun la definicion previa) generaliza en
cierta manera la nocion de ideal primo. Esto es por la siguiente razon: supongamos que F
es un cuerpo n umerico (o de n
umeros algebraicos, es decir, una extension finita de Q). Si
es un ideal primo del anillo de enteros de F , junto con la definicion de norma N () de
un ideal, se puede definir una valuacion en F asociada a , de la siguiente manera. Para
cada x F no nulo, sea r el unico numero entero tal que x r pero x / r+1 . Entonces
definimos
1/N ()r , si x 6= 0;
|x| :=
0, si x = 0.
As, | | es una valuacion no-arquimediana en F . Y mas aun, se puede ver que toda val-
uacion no-arquimediana en F es equivalente a | | para alg un ideal primo del anillo de
enteros de F . He aqu una biyeccion entre primos finitos de F y sus ideales primos.
De manera analoga en el caso de las valuaciones arquimedianas, se puede ver que son todas
equivalentes a las surgidas de hacer un embeddingde F en R o C (en el caso de que F
sea un cuerpo de n umeros algebraicos). Es por eso que se denomina a los primos infinitos
de K reales o complejos, dependiendo de a donde llegue el embedding.
Llegado un momento las analogas son cada vez menos visibles, es por eso que se requiere
de fuertes resultados en Teora de Cuerpos Globales para demostrar la version general de
Hasse del Teorema. Sin embargo, el espritu y las ideas principales de la demostracion no
se alejan demasiado de los puntos seguidos para probar el Teorema en Q.
Los N
6. Ap
endices
6.1. Algunos resultados en Teora de N
umeros
En esta seccion adicional veremos algunos resultados basicos de la Teora de N
umeros,
que han sido utilizados en partes fundamentales del desarrollo previo.
6.1.1. Ecuaciones sobre cuerpos finitos

Teorema 6.1 (Chevalley - Warning). Sea p un primo, y K = Z/pZ el cuerpo de los
enteros modulos p. Sean f K[X1 , . . . , Xn ] polinomios tales que la suma de sus grados
es menor que n. Si V (K)n es el conjunto de races en com un de dichos polinomios,
entonces la cantidad de elementos de V es m ultiplo de p.
Para probar el Teorema utilizaremos el siguiente Lema que facilita las cosas:
Lema 6.2. En el contexto del Teorema, sea u un entero positivo. Entonces S(X u ) :=
u
P
xK x es igual a -1 si u es no nulo y divisible por q 1, y es igual a 0 en cualquier otro
caso.
Demostracion: Para u = 0, S(X u ) = 1 + . . . + 1 = q,1 = 0 pues K es de caracterstica
p, y p divide a q.
Si u 6= 0 y es divisible por q 1, tenemos que xu = 1 para x 6= 0 (por Fermat), y xu = 0
si x = 0. Luego, S(X u ) = (q 1),1 = 1.
Finalmente, para u 6= 0 no divisible por q 1, como K = K \ {0} es cclico y de orden
q 1 (ejercicio 6 de la cursada de Estructuras Algebraicas 2007), tenemos que existe un
y K generador de dicho grupo. Luego, valen dos cosas: K = {yx, x K }; y ademas
y u 6= 1 por la hipotesis sobre u. Con lo cual,
X X
S(X u ) = xu = y u xu = y u S(X u )
xK xK
luego (1 y u )S(X u ) = 0 y como y u 6= 1, S(X u ) = 0.
Demostracion: (del Teorema) Sea P = (1 fq1 , y tomemos x K n . Si x V , es

Q
claro que P (x) = 1. Por otro lado, si x / V entonces existe tal que f (x) 6= 0, y luego para
q1
dicho se tiene que f (x) = 1. Entonces, P (x) = 0. En conclusion, P = VP , la funcion
caracterstica de V . Si generalizamos la funcion S del Lema mediante S(f ) = xK n f (x)
para cualquier polinomio f , entonces es claro que la cantidad de elementos de V es igual a
S(P ) mod p. Bastara entonces con probar que S(P ) = 0.
Como la suma de los grados de los f es menor que n, entonces el grado de P es menor
que n(q 1). Con lo cual, P el polinomio P es combinacion lineal de monomios de la forma
u u1 un
X = X1 . . . Xn , con ui < n(q 1). Al ser S lineal, hemos reducido todo a probar que
S(X u ) = 0 para cada uno de dichos monomios. Pero al tener que
P
ui < n(q 1), existe i
tal que ui < q 1, es decir, hay alg un ui para el cual S(X ui ) = 0. Supongamos sin perdida
de generalidad que i = n. Entonces,
X X X un1 un
X X u1 un1
S(X u ) = xu1 1 . . . xunn = y1u1 . . . yn1 xn = xunn y1 . . . yn1 =0
xK n xn K yK n1 xn K yK n1
Y listo.
Los N
Corolario 6.3. Toda forma cuadratica en 3 o m

as variables sobre K tiene una raiz no
trivial.
Demostracion: Una forma cuadratica es un polinomio de grado 2 3, luego la cantidad
de races es m
ultiplo de p. Pero al tener una raz trivial (el vector nulo), entonces tiene al
menos otras p 1 races (y p 1 > 0).
6.1.2. Ley de reciprocidad cuadr

atica
Introducimos primero el Smbolo de Legendre:
on 6.4. Sea p un primo impar, y x Fp (pensar en (Z/pZ) ). El smbolo de
Definici
Legendre de x respecto de p se define como

x
:= x(p1)/2
p
Claramente, el smbolo de Legendre toma valores en {1} (pues al elevarlo al cuadrado
da 1, y estamos en un cuerpo). Pero lo mas importante es que da 1 si y solo si x es un resto
cuadratico modulo p (i.e., existe y Fp tal que y 2 = x en Fp ). Ademas, sabemos que es
multiplicativo. Es decir,
x y xy
=
p p p
Es sabido como calcular rapidamente el smbolo de Legendre para cualquier primo impar
p en el caso de x = 1, 1, 2. Para esto, se introducen las siguientes funciones (utilizadas en
la Seccion 3): si n Z es impar, se definen (n), (n) mediante

n1 0, sin 1 mod 4
(n) := mod 2 =
2 1, sin 1 mod 4
n2 1

0, sin 1 mod 8
(n) := mod 2 =
8 1, sin 5 mod 8
Se tiene entonces el siguiente resultado:
Teorema 6.5. Para todo primo impar p valen las siguientes f
ormulas:
1
(i) p = 1
(ii) 1

p
= (1)(p)
(iii) p2 = (1)(p)
Pero mas aun, si x es un numero primo se tiene el siguiente resultado, fundamental a la
hora de calcular cualquier smbolo de Legendre 10 :
Teorema 6.6 (Gauss). Si l, p son dos primos impares distintos, entonces

l p
= (1)(l)(p)
p l
10
En realidad, para que ayude a calcular cualquier smbolo deberamos introducir el smbolo de Jacobi,
el cual es una generalizacion del de Legendre para cuando la base no es un n umero primo
Los N
Este es uno de los resultados mas famosos y popularesde Teora de N umeros. Fue
conjeturado originalmente por Euler y Legendre, pero probado por primera vez por Gauss
a la edad de 19 a
nos. Su fascinacion por este Teorema hizo que, a lo largo de toda su vida,
Gauss diera ocho demostraciones diferentes del mismo. Actualmente, existen mas de 200
demostraciones diferenes publicadas. 11
6.2. Sistemas y Lmites proyectivos

Los sistemas y lmites proyectivos permiten juntar la informacion de muchos grupos, y
morfismos entre ellos, mediante un nuevo objeto que definiremos a continuacion. Esta es
la herramienta algebraica utilizada en una de las definiciones presentadas de los enteros
p-adicos.
Definici on 6.7. Dado (I, ) un conjunto ordenado y dirigido 12 , sea A = (Ai )iI una
familia de grupos, y supongamos que tenemos definidos una familia de morfismos F dados
por fij : Aj Ai para todo i j que satisfacen las siguientes propiedades:
1. fii = idAi
2. fik = fij fjk para todos i j k
Entonces, decimos que el par (A, F) es un sistema proyectivo.
En general, a lo largo de este trabajo solo han sido utilizado sistemas proyectivos en los
cuales el conjunto de ndices tiene un orden total (mucho mas que dirigido). En el caso en
que el conjunto de ndices sea N denotaremos al sistema proyectivo (A) = (An )nN mediante
. . . An An1 . . . A1
donde las flechas representan los morfismos que, dados la condicion 2. de la definicion y el
hecho de que el orden es total, estan completamente determinados por los elementos fn,n+1 .
on 6.8. Dado (A, F) un sistema proyectivo, con A = (Ai )iI ,Qdefinimos el lmite
Definici
proyectivo del sistema como el subgrupo lim Ai del producto directo iI Ai dado por

Y
lim Ai := {(ai ) Ai | ai = fij (aj ) para todo i j}

iI
Llamemos A = lim Ai . Quedan definidas canonicamente las proyecciones i : A Ai ,

que son las proyecciones usuales del producto directo restringidas a A.
Vale la pena mencionar que esta construccion puede ser llevada a cabo en anillos, modu-
los, algebras, etc, adecuando los morfismos a la categora correspondiente. Es mas, en
cualquier categora podemos definir, dado un sistema proyectivo (Xi , fij ) deinifido como
antes pero ahora con los objetos y morfismos en una categora C, su lmite proyectivo es
el objeto X en la misma categora, junto con morfismos i : X Xi (proyecciones) que
satisfacen i = fij j . El lmite (X, i ) debe verificar la siguiente propiedad universal:
dado cualquier otro par (Y, i ) con estas propiedades, existe un u nico morfismo u : Y X
tal que el diagrama
11
Ver http://en.wikipedia.org/wiki/Quadratic reciprocity
12
No todos los autores exigen esta condicion
Los N
conmuta para todo i, j. (Notar que no necesariamente existe el lmite proyectivo en

cualquier categora)
Para concluir, veamos el siguiente resultado de lmites proyectivos, que ha sido utilizado
en la seccion de ecuaciones y polinomios p-adicos:
Lema 6.9. Sea . . . Dn Dn1 . . . D1 un sistema proyectivo, con D = lim Dn su

lmite proyectivo. Entonces si los Dn son finitos y no vacos, D es distinto de vaco.
Demostracion: Si los morfismos son todos suryectivos, entonces se puede construir de

manera natural un elemento de D a partir de cualquier elemento de D1 (vamos tomando
preimagenes por los morfismos, y en cada paso obtenemos algo no vaco ya que son todos
epimorfismos). Vamos a reducir el caso general al recien mencionado:
Sea Dn,p = fn,n+p (Dn+p ), la imagen de Dn+p en Dn . Fijando n, vemos que como

Dn,p+1 = fn,(n+p+1) (Dn+p+1 ) = fn,(n+p) f(n+p),(n+p+1) (Dn+p+1 ) fn,(n+p) (Dn+p ) = Dn,p
entonces (Dn,p )p es una familia decreciente de conjuntos finitos no vacos. Luego, a partir de
un P suficientemente grande, Dn,p = Dn,P para todo p P . Sea En := Dn,P . Es inmediato,
nuevamente utilizando la definicion de los morfismos del sistema proyectivo, que el morfismo
f(n1),n : Dn Dn1 se restringe como tal y da un morfismo suryectivo En En1 (pues
f(n1),n (Dn,p ) = Dn1,p para cualquier p). Ahora bien, como los En son no vacos, tenemos
por el caso mencionado en el comienzo que lim En 6= . Luego, como En Dn para todo

n, se tiene que lim Dn 6= .

Los N
Referencias
[1] A. J. Baker, An Introduction to p-adic numbers and p-adic Analysis, 2006.
[2] J.-P. Serre, A Course in Arithmetic, Springer-Verlag, 1996.
[3] Y. Amice, Les Nombres p-adiques, Press Univ. de France, 1975.
[4] A. Gamzon, The Hasse-Minkowski Theorem (Thesis), Univ. of Connecticut, 2006.

El Teorema de Hasse Minkowski

Hochgeladen von

Dokumentinformationen

Originalbeschreibung:

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

El Teorema de Hasse Minkowski

Hochgeladen von

Copyright:

Verfügbare Formate

Los Numeros p-adicos y el Teorema de

4. Formas cuadr aticas 22

2.1. La valuacion, la norma p-

vp (x) = max{n Z : pn | x} 0, si x Z \ {0}

vp (q) = vp (a) vp (b), si q = a/b Q.

Por convencion se toma vp (0) = .

Proposici on 2.2. Sean x, y Q. Entonces valen:

de donde se deduce inmediatamente la desigualdad a probar. Si suponemos vp (x) 6= vp (y),

Obviamente, definimos k0kp = 0. Es facil verificar que es efectivamente una norma en

Proposici on 2.4. Si x Q, entonces se verifican:

La demostracion se deduce inmediatamente de 2.2.

Es usual interpretar a los n

Definici on 2.6. El cuerpo de n

En Qp se considera la topologa inducida por la metrica p-adica, seg

2.2. Segunda definici

Por definicion de lmite proyectivo, un elemento de Zp es una sucesion x = (. . . , xn , . . . , x1 )

xy(1 + pz + . . . + pn1 z n1 ) = (1 pz)(1 + pz + . . . + pn1 z n1 ) = 1 pn z n

por lo tanto x es invertible en An .

x = pn u y ademas p - u. Por el resultado anterior, u U(Zp ), con lo cual queda probada la

Definicion 2.10. El conjunto de los n

Podemos pensar que Qp = Zp [p1 ]. Y al igual que en Zp , todo elemento de Qp puede

Proposici on 2.11. Todo x Qp admite un u

2.3. Polinomios y ecuaciones p-

ambas definiciones dan lugar a normas totalmente equivalentes

grado 2 (formas cuadraticas), vale la pena mencionarlos en general ya que la demostracion

Antes que nada, algo de notacion: Si f Zp [X1 , . . . , Xm ] es un polinomio con coefi-

Proposici on 2.12. Sean f (i) Zp [X1 , . . . , Xm ] polinomios con coeficientes enteros p-

Proposici on 2.13. Sean f (i) Zp [X1 , . . . , Xm ] polinomios homogeneos con coeficientes

A continuacion veremos como estan relacionadas las soluciones a ecuaciones polinomi-

vp (f 0 (x)) = k, entonces existe y Zp tal que

f (y) 0 mod pn+1 , vp (f 0 (y)) = k, y x mod pnk

Demostracion: Propongamos un y de la forma y = x + pnk z como solucion, z Zp .

f (y) = f (x) + (y x)f 0 (x) + (y x)2 a = f (x) + pnk zf 0 (x) + p2n2k za

con a Zp . Pero por hipotesis, f (x) = pn b, f 0 (x) = pk c con b Zp y c U. Sea c1 el

Teorema 2.15. Sean f Zp [X1 , . . . , Xm ], x = (x1 , . . . , xm ) (Zp )m , n, k, j Z tales que

Demostracion: Probemos el Teorema primero para el caso m = 1. Seg un el Lema del

que f (x(1) ) 0 mod(pn+1 ) y vp (f 0 (x(1) )) = k. De la misma forma, y en general, pode-

Corolario 2.16. (Lema de Hensel) Sea f Zp [X1 , . . . , Xm ] un polinomio con coeficientes

2.4. Unidades y cuadrados en Qp

Llamaremos U = Zp al grupo multiplicativo (o de unidades) de los enteros p-adicos. Para

Demostracion: Como a y b son coprimos, existen r, s Z tales que ar + bs = 1. Veamos

Proposicion 2.19. Si V := {x U : xp1 = 1}, entonces este es el u

Veamos ahora que ocurre con el grupo U1 :

Proposici on 2.21. El grupo U1 es isomorfo a...

Con estos resultados, ya estamos en condiciones de caracterizar el grupo multiplicativo

Teorema 2.22. El grupo Qp es isomorfo a Z Zp Z/rZ, donde r = p 1 si p 6= 2, y

Teorema 2.23. Si p 6= 2, entonces para que un elemento x = pn u Qp , con n Z y

Corolario 2.24. Si p 6= 2, el grupo Qp /Qp 2 es isomorfo a Z2 Z2 , y se puede representar

1 (es decir, no es un resto cuadratico mod p).

Demostracion: Esto es obvio, ya que si cocientamos con el cuerpo de cuadrados Qp 2 en-

p = p1 , u y pu tenemos representantes de dicho cociente.

Teorema 2.25. Para que un elemento x = pn u Q2 sea un cuadrado perfecto, es necesario

Demostracion: La descomposicion del Teorema 2.22 nos dice que x = pn u es cuadrado

Corolario 2.26. El grupo Q2 /Q2 2 es isomorfo a Z2 Z2 Z2 , y se puede representar

Demostracion: Si b = c2 para cierto c k , entonces kb = k y la terna (c, 0, 1) es solucion

Proposici on 3.3. El smbolo de Hilbert satisface las siguientes propiedades a, b, c k:

A continuacion presentamos un resultado muy importante a los efectos de calcular el

Lema 3.4. Sea v U . Si la ecuacion z 2 px2 vy 2 = 0 tiene solucion no trivial en Qp ,

Teorema 3.5. Si k = R, se tiene que

Si k = Qp y escribimos a a y b en la forma p u, p v, con u, v U , entonces se tiene que

Demostracion: El caso k = R es trivial, se deduce del hecho de que un n umero es un

mencionado; se da la igualdad. En caso contrario, tenemos que vp = 1. Mirando la

Resta observar que, si hacemos las cuentas,