Divulgaciones Matematicas Vol. 12 No. 2(2004), pp.

171180
Contando con Sumas de Gauss
Counting with Gauss Sums
Jose O. Araujo (jaraujo@exa.unicen.edu.ar)
Laura B. Fernandez (lfernan@exa.unicen.edu.ar)
Fac. de Ciencias Exactas, UNICEN
Tandil, 7000 Buenos Aires, Argentina
Resumen
En este trabajo presentamos una aplicacion de las sumas de Gauss
para la determinacion del n umero de puntos de ciertas cuadricas sobre
un cuerpo nito.
Palabras y frases clave: sumas de Gauss, formas cuadraticas, cua-
drados.
Abstract
In this work we present an aplication of Gauss sums to the deter-
mination of the number of points of certain quadrics over a nite eld.
Key words and phrases: Gauss sums, quadratic forms, squares.
1 Introduccion
Gauss introdujo y estudio las sumas que llevan su nombre, usandolas, entre
otras cosas, para dar una demostracion de la ley de reciprocidad cuadratica
(ver [2] o [4]). Esta ley fue descubierta empricamente por Euler y demostrada
en forma parcial por el mismo Euler.
El material de divulgacion que presentamos a continuacion podra resultar
atractivo a la hora de mostrar algunas aplicaciones de las sumas de Gauss, en
este caso, para calcular el n umero de soluciones de un tipo de ecuaciones de
congruencias modulo un n umero primo impar.
Recibido 2004/10/01. Revisado 2004/11/18. Aceptado 2004/11/19.
MSC (2000): Primary 11A07.
172 Jose O. Araujo, Laura B. Fernandez
2 El problema
Los temas relativos a congruencias y sus propiedades basicas pueden encon-
trarse en [3], [4] o [5].
Como ya dijimos, nos hemos interesado en n umero de soluciones de una ecua-
cion de congruencias, mas precisamente, por el n umero de puntos de una
cuadrica asociada a una forma cuadratica sobre el cuerpo de restos modulo
un n umero primo impar.
Notaremos con p un n umero primo impar, y con Z
p
= Z/pZ el cuerpo de
restos modulo el primo p.
Consideremos q (x
1
, . . . , x
n
) una forma cuadratica sobre Z
p
, es decir una fun-
cion de las variables x
1
, . . . , x
n
que tiene la forma:
q (x
1
, . . . , x
n
) =

n
i,j=1
a
ij
x
i
x
j
(a
ij
Z
p
) [1]
El problema a tratar en estas notas es el siguiente:
Cuantos puntos tiene la cuadrica dada por q (x
1
, . . . , x
n
) = k, (k Z
p
)?
En particular, tendramos el caso de lo que podramos llamar supercies esferi-
cas dadas por las ecuaciones:
x
2
1
+ + x
2
n
= k
El n umero de puntos de las supercies esfericas fue presentado en [1]. El caso
general no es muy diferente si tenemos en cuenta que toda forma cuadratica
puede ser expresada como:
n

i=1
a
i
x
2
i
mediante un cambio lineal de coordenadas.
3 Preliminares
3.1 Los cuadrados
En el cuerpo Z
p
, indicaremos con C el conjunto de elementos no nulos que son
un cuadrado en Z
p
(cuadrados no nulos), y con N el conjunto de elementos
que no son un cuadrado en Z
p
(no cuadrados). Se tiene:
Z
p
= {0} C N
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
Contando con Sumas de Gauss 173
Elegimos como sistema de representante de restos modulo p al conjunto:
_
0, 1, 2, . . . ,
p 1
2
_
Resulta claro que hay
p1
2
cuadrados no nulos, dados por:
(1)
2
, (2)
2
, . . . ,
_

p 1
2
_
2
En consecuencia se tiene:
|C| =
p 1
2
= |N|
Observemos que si a C y b N se verican:
aC = {am : m C} = C y aN = {am : m N} = N
bC = {bm : m C} = N y bN = {bm : m N} = C
Para establecer estas identidades, tendremos en cuenta los siguientes hechos
que se comprueban sin mayor dicultad:
El producto de dos cuadrados es un cuadrado.
El producto de un cuadrado no nulo por un no cuadrado es un no cuadrado.
El producto por un elemento no nulo determina una biyeccion en Z
p
.
Ahora, aC C y la aplicacion dada por m am es inyectiva, resulta aC = C
y consecuentemente aN = N.
Por otra parte, bC N, la aplicacion dada por m bm es inyectiva y
|C| = |N|, resulta bC = N y bN = C.
3.2 Las formas cuadraticas.
No vamos a tratar en detalle lo relativo a diagonalizacion de formas cuadrati-
cas. Enunciaremos y usaremos un resultado que garantiza una diagonalizacion
de una forma cuadratica con coecientes en un cuerpo.
Dada una forma cuadratica q (x
1
, . . . , x
n
) =

n
i,j=1
a
ij
x
i
x
j
sobre Z
p
, existe
una matriz simetrica B = [b
ij
] Z
nn
p
tal que:
q (x
1
, . . . , x
n
) =
_
x
1
. . . x
n

B
_

_
x
1
.
.
.
x
n
_

_
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
174 Jose O. Araujo, Laura B. Fernandez
Es claro que:
b
ij
=
a
ij
+ a
ji
2
La forma cuadratica q (x
1
, . . . , x
n
) se dice no singular si B es inversible.
El teorema de diagonalizacion al que nos referimos anteriormente se basa en
el siguiente resultado que presentamos sin demostracion.
Lema 3.1. Sea K un cuerpo y B K
nn
una matriz simetrica. Existe una
matriz inversible U K
nn
tal que UB
t
U es una matriz diagonal.
En el enunciado del lema
t
U indica la matriz traspuesta de U. La demostracion
del lema no diere de la que suele darse en un curso de algebra lineal para
matrices simetricas reales.
Teorema 3.2. Una forma cuadratica no singular con coecientes en Z
p
puede
ser representada por una expresion de la forma:
x
2
1
+ + x
2
m
+ e
_
x
2
m+1
+ + x
2
n
_
donde m es un entero entre 0 y n, e N.
Demostracion Consideremos la expresion de la forma cuadratica como:
q (z
1
, . . . , z
n
) =
_
z
1
. . . z
n

B
_

_
z
1
.
.
.
z
n
_

_
En virtud del lema, existe una matriz inversible U tal que D = UB
t
U es una
matriz diagonal. En las coordenadas y
1
, . . . , y
n
dado por:
_
y
1
. . . y
n

=
_
z
1
. . . z
n

U
1
la expresion de q es:
_
y
1
. . . y
n

D
_

_
y
1
.
.
.
y
n
_

_ = d
1
y
2
1
+ + d
n
y
2
n
donde los d
i
son los elementos en la diagonal principal de D. Como B es no
singular, d
i
= 0 para i = 1, . . . , n. Reordenando la expresion, si fuera necesa-
rio, podemos suponer que para alg un ndice m se cumple que d
1
, . . . , d
m
C
y d
m+1
, . . . , d
n
N. Fijado e N, se tiene:
d
i
= k
2
i
si i m
d
i
= ek
2
i
si m < i
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
Contando con Sumas de Gauss 175
En el sistema de coordenadas dado por x
i
= k
i
y
i
se tiene la expresion buscada.
3.3 El n umero de puntos
Fijado e N y m n, en lo que sigue estudiaremos el n umero de puntos en
la hipersupercie de ecuacion:
x
2
1
+ + x
2
m
+ e
_
x
2
m+1
+ + x
2
n
_
= k (k Z
p
)
Notemos con c
m,k
el n umero de tales puntos. Resulta claro que:
c
m,k
= c
m,1
si k C
c
m,k
= c
m,e
si k N
pues basta multiplicar los puntos en una de las hipersupercies por un escalar
apropiado para obtener los puntos en la otra hipersupercie.
Los p
n
puntos en Z
n
p
pueden ser agrupados seg un el valor la forma cuadratica,
de donde:
p
n
= c
m,0
+
p 1
2
c
m,1
+
p 1
2
c
m,e
Notar que c
m,1
= c
nm,e
, c
m,e
= c
nm,1
y c
m,0
= c
nm,0
.
3.4 El caso n = 2
Para simplicar la notacion, usaremos x, y en lugar de x
1
, x
2
. En este caso
tenemos las ecuaciones:
e
_
x
2
+ y
2
_
= k si m = 0
x
2
+ ey
2
= k si m = 1
x
2
+ y
2
= k si m = 2
Proposicion 3.3. Si n = 2 y k = 0, entonces c
m,k
= c
m,1
.
Demostracion Bastara ver que, en este caso, c
m,1
= c
m,e
. Dado que
c
0,1
= c
2,e
y c
0,e
= c
2,1
, podemos probar la armacion para m 1.
Mostremos primero que c
m,1
y c
m,e
no son cero, lo cual es claro si m = 1.
Si m = 2, resulta evidente que c
2,1
= 0. Si c
2,e
fuera igual a cero, la suma
de dos cuadrados tendra que ser nuevamente un cuadrado, entonces seran
cuadrados: 1, 2 = 1 + 1, 3 = 2 + 1, . . . es decir Z
p
C, lo cual es un absurdo.
Indiquemos con x
2
+ y
2
= k a una de las ecuaciones, siendo = e si m = 1
y = 1 si m = 2.
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
176 Jose O. Araujo, Laura B. Fernandez
Fijemos (x, y) Z
2
p
tal que:
x
2
+ y
2
= e
La transformacion lineal de Z
2
p
dada por:
(u, v) = (xu yv, yu + xv)
es biyectiva, pues su determinate es x
2
+ y
2
= e. Ademas de la identidad:
(xu yv)
2
+ (yu + xv)
2
=
_
u
2
+ v
2
_ _
y
2
+ x
2
_
=
_
u
2
+ v
2
_
e
se sigue que transforma las soluciones de la ecuacion u
2
+ v
2
= 1 en
soluciones de la ecuacion u
2
+v
2
= e y a su vez soluciones de esta ultima en
soluciones de la ecuacion u
2
+v
2
= e
2
. En conclusion c
m,1
c
m,e
c
m,e
2 =
c
m,1
, y as queda demostrada la proposicion.
Corolario 3.4. Si n = 2, entonces:
Si p = 4h + 1 c
0,0
= c
2,0
= 2p 1 c
0,1
= c
2,1
= p 1
c
1,0
= 1 c
1,e
= c
1,1
= p + 1
Si p = 4h 1 c
0,0
= c
2,0
= 1 c
0,1
= c
2,1
= p + 1
c
1,0
= 2p 1 c
1,e
= c
1,1
= p 1
Para tratar el caso general, usaremos la siguiente suma de Gauss:
=
p1

x=0

x
2
donde es una raz p-esima primitiva de la unidad.
Podemos escribir:
= 1 + 2

kC

k
y tenemos ademas la identidad:
0 = 1 +

kC

k
+

kN

k
Por otra parte:

2
=

(x,y)Z
p

x
2
+y
2
= c
2,0
+ c
2,1

kC

k
+ c
2,e

kN

k
= c
2,0
c
2,1
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
Contando con Sumas de Gauss 177
luego, de las identidades del corolario, se sigue que:

2
= (1)
p1
2
p
identidad que fue probada por Gauss.
Consideremos ahora la suma de Gauss:
=
p1

x=0

ex
2
Se tiene:
= 1 + 2

kN

k
es decir, = , ademas:

kC

k
=
1
2
y

kN

k
=
+1
2
Por otra parte:

nm
=
_

(x
1
,...,x
m
)Z
m
p

x
2
1
++x
2
m
__

(x
m+1
,...,x
n
)Z
nm
p

e(x
2
m+1
++x
2
n
)
_
es decir

nm
=

(x
1
, ,x
n
)Z
n
p

x
2
1
++x
2
m
+e(x
2
m+1
++x
2
n
)
= c
m,0
+ c
m,1

kC

k
+ c
m,e

kN

k
= c
m,0
+ c
m,1
1
2
c
m,e
+ 1
2
Luego:
2 (1)
mn

n
= 2c
m,0
+ (c
m,1
c
m,e
) (c
m,1
+ c
m,e
)
Teniendo en cuenta la paridad de n, resulta:

n
=
_
(1)
p1
2
k
p
k
si n = 2k
(1)
p1
2
k
p
k
si n = 2k + 1
de donde, si n = 2k:
2 (1)
p1
2
k+m
p
k
= 2c
m,0
c
m,1
c
m,e
y c
m,1
= c
m,e
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
178 Jose O. Araujo, Laura B. Fernandez
y si n = 2k + 1:
2 (1)
p1
2
k+m1
p
k
= c
m,1
c
m,e
y 2c
m,0
= c
m,1
+ c
m,e
De las identidades establecidas y recordando que:
p
n
= c
m,0
+
p 1
2
c
m,1
+
p 1
2
c
m,e
se tienen los sistemas lineales:
_
_
2 p 1 p 1
2 1 1
0 1 1
_
_
_
_
c
m,0
c
m,1
c
m,e
_
_
=
_
_
2p
2k
2 (1)
p1
2
k+m
p
k
0
_
_
si n = 2k
y si n = 2k + 1,
_
_
2 p 1 p 1
2 1 1
0 1 1
_
_
_
_
c
m,0
c
m,1
c
m,e
_
_
=
_
_
2p
2k+1
0
2 (1)
p1
2
k+m1
p
k
_
_
La resolucion de estos sistemas da lugar a la siguiente conclusion.
Teorema 3.5. Si n es un n umero par:
c
m,0
= p
n1
+ (1)
p1
4
n+m
p
n2
2
(p 1)
c
m,e
= c
m,1
= p
n1
(1)
p1
4
n+m
p
n2
2
Si n es un n umero impar:
c
m,0
= p
n1
c
m,1
= p
n1
(1)
(p1)(n1)
4
+m
p
n1
2
c
m,e
= p
n1
+ (1)
(p1)(n1)
4
+m
p
n1
2
Finalizamos esta nota con algunas preguntas para el lector
1. Que ocurre cuando p = 2?
2. Donde pueden fracasar los argumentos previos cuando p = 2?
El grupo ortogonal O
q
asociado con la forma cuadratica q esta dado por
los endomorsmos de Z
n
p
(p = 2) que conservan la forma, es decir:
O
q
=
_
End
_
Z
n
p
_
: q ( (x)) = q (x) , x Z
n
p
_
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
Contando con Sumas de Gauss 179
En particular, si b (x, y) denota la forma bilineal simetrica asociada con q, y
r Z
n
p
es tal que q (r) = 0 la transformacion dada por:

r
(x) = x 2
b (x, r)
q (r)
r
es un elemento de O
q
llamada reexion con raz r.
Algunas propiedades de las reexiones, que se establecen sin mayor dicultad,
son las siguientes:
i) Si Z
p
, = 0, entonces
r
=
r
.
ii)
2
r
= id
Z
n
p
.
iii) Existe una base de Z
n
p
tal que la matriz asociada a
r
es la matriz dia-
gonal:
_

_
1 0 0
0 1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0
0 0 1
_

_
En particular det (
r
) = 1 y tr (
r
) = n 1.
iv) O
q
se verica
r

1
=
(r)
.
A partir i) la raz de una reexion puede ser tomada de modo que q (r) = 1
o q (r) = e.
Podemos destacar dos subgrupos O
1
q
y O
e
q
de O
q
, el primero es el que generan
las reexiones
r
con q (r) = 1, el segundo es el generado por las reexiones

r
con q (r) = e. Por iv) ambos son subgrupos normales de O
q
.
En relacion con el grupo ortogonal dejamos las siguientes preguntas:
3. Es transitiva la accion de O
q
sobre las cuadricas q (x) = k?
4. Cual es el orden O
q
?
5. Cual es el n umero de reexiones en O
q
?
6. Que puede decirse de los subgrupos O
1
q
O
e
q
y O
1
q
O
e
q
?
7. Que puede decir de ordenes de los subgrupos O
1
q
y O
e
q
.
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180
180 Jose O. Araujo, Laura B. Fernandez
Referencias
[1] Aguado, J. L., Araujo, J. O. La ecuaci on x
2
1
+ x
2
n
k mod p. Revista
de Educacion Matematica, UMA, Vol. 17 No. 2 (2002), 317.
[2] Ivorra Castillo, C. Teora de N umeros, 2004.
URL: www.uv.es/

ivorra/Libros/Numeros.pdf
[3] Le Veque, W. J. Teoria Elemental de los N umeros, Herreros Hnos., Mexi-
co, 1968.
[4] Narkiewicz, W. Number Theory, World Scientic Publishing Co., Singa-
pore, 1983.
[5] Vinogradov, I. Fundamentos de la Teora de los N umeros, Ed. Mir, 1977.
Divulgaciones Matematicas Vol. 12 No. 2 (2004), pp. 171180