Universidad Centrooccidental Lisandro Alvarado

Decanato de Ciencias y Tecnologa

Departamento de Matematica

Constante de Davenport con pesos

y su relacion con
la constante de Erdos-Ginzburg-Ziv con pesos

Tesista: Br. Daniel David Villegas Campos

Tutora: Dra. Isabel Cristina Marquez de Mastromartino

Barquisimeto, Venezuela
Octubre, 2016
 Universidad Centrooccidental Lisandro Alvarado
Decanato de Ciencias y Tecnologa
Departamento de Matematica

Constante de Davenport con pesos

y su relacion con
la constante de Erdos-Ginzburg-Ziv con pesos

Tesista: Br. Daniel David Villegas Campos

Tutora: Dra. Isabel Cristina Marquez de Mastromartino

Trabajo especial de grado

Presentado ante la ilustre

Universidad Centroccidental Lisandro Alvarado
como requisito final para optar al grado de
Licenciado en Ciencias Matematicas.

Barquisimeto, Venezuela
Octubre, 2016
Dedicatoria

Dedicado, a mis padres David Villegas y Mara Auxiliadora Campos, a todos mis hermanos
y hermanas, y a mis grandes amigas Wilmery Catar y Stephany Carmona.

i
Agradecimientos

En primer lugar, le doy las gracias a mi madre Mara Auxiliadora Campos, y a mi padre
David Villegas, por haberme cuidado y formado, por darme una muy buena educacion, y por
los valores que me han inculcado a lo largo de la vida.

A mi tutora, la doctora Isabel Marquez de Mastromartino no solo por brindarme sus cono-
cimientos y por todo el tiempo que me ha dado en la realizacion de este trabajo de grado, sino
tambien por haberme formado en la matematica logica y las estructuras discretas, al darme la
fundamental materia de razonamiento matematico, y la materia de las matematicas discretas.

Al Magister Douglas Jimenez, por haberme entrenado durante varios anos, cuando solo
era un nino para participar en las olimpiadas matematicas; los conocimientos que me dio en
esa epoca, me han servido durante toda mi vida estudiantil y matematica.

A todos los profesores que me han ensenado en esta universidad, en especial a los profe-
sores Nicolas Arias, Victor Caruc, Jurancy Ereu, Jhonny Escalona, Javier Hernandez, Joel
Lamazares, Hugo Lara, Jesus Medina, Dilcia Perez, Ebner Pineda y Fernando Villafane.

Muy especialmente le agradezco al profesor Mario Rodrguez que me dio cinco materias,
en las que me mostro el gran valor de las algebras y de los razonamientos abstractos en los
procesos demostrativos, algo que ha sido muy importante a lo largo de esta carrera, y se que
lo sera en mi futuro profesional.

A mis companeras Celismar Roa, Isabel Torres, Askeniz Pacheco y Helimar Munelo, por
haberme apoyado y ayudado, durante toda esta carrera.

A mi hermana Donella Villegas, por haberme acompanado y apoyado a lo largo de toda

mi vida y por haber contribuido en la realizacion de este trabajo de grado.

A todas aquellas personas que de alguna u otra forma han influido en mi vida para cum-
plir mis metas.

ii
Notaciones

|A| cardinalidad de un conjunto A

G grupo abeliano finito

|G| orden del grupo abeliano G

S = g1 g2 . . . gk secuencia de longitud k en G

|S| longitud de la secuencia S

k secuencia secuencia de longitud k

Zn grupo ciclico {0, 1, . . . , n 1} sobre la adicion modulo n

D(G) constante de Davenport del grupo abeliano finito G

E(G) constante de Erdos-Ginzburg-Ziv del grupo abeliano finito G

DA (G) constante de Davenport del grupo abeliano finito G con pesos en A

EA (G) constante de Erdos-Ginzburg-Ziv del grupo abeliano finito G con pesos en A

DA (n) constante de Davenport del grupo abeliano finito Z con pesos en A

EA (n) constante de Erdos-Ginzburg-Ziv del grupo abeliano finito Z con pesos en A

iii
 iv

p numero primo

A\B diferencia entre el conjunto A y el conjunto B

S1 /S S1 es una subsecuencia de la secuencia S en F(G)

S\S1 subsecuencia propia de la secuencia ordenada S que se obtiene al eliminar de S

los elementos de la subsecuencia propia S1 de S

Zn el conjunto {a : mcd(a, n) = 1}

bxc mayor entero a tal que a x

dxe menor entero b tal que b x

ord(x) orden de un elemento x en un grupo G

mod(p) congruencia modulo p

vg (S) numero de veces que aparece el elemento g de G en la secuencia S

h(S) max{vg (S) : g G}

Resumen

Sea G un grupo abeliano finito de orden n y sea A Z (A 6= ). Denotaremos por

DA (G) el menor entero positivo k tal que para toda secuencia S = x1 , . . . , xk de G, existen
una subsecuencia xj1 , . . . , xjl no vaca de S y a1 , . . . , al (ai A, i = 1, . . . , l) tal que:

a1 xj1 + . . . + al xjl = 0.
Denotaremos por EA (G) el menor entero positivo t tal que para toda secuencia
S = x1 , . . . , xt de G existen ndices j1 , . . . , jn N, con 1 j1 < . . . < jn t, j1 , . . . , jn y
vi A, i = 1, . . . , n, tal que:

v1 xj1 + . . . + vn xjn = 0.
Estas constantes generalizan la constante de Davenport D(G) y la constante de Erdos-
Ginzburg-Ziv E(G) respectivamente.

En este trabajo mostraremos que EA (G) = n + DA (G) 1, cuando G = Zn y A es uno de

los conjuntos de la cadena {1} {1, 1} Zn {1, 2, . . . , n 1}. Ademas, determinaremos
los valores de DA (G) y EA (G) cuando G = Zp (p primo) y A = {1, 2, . . . , r} o A es el conjunto
de los residuos cuadraticos (mod p).

Palabras claves: secuencia, D(G) constante de Davenport, E(G) constante de Erdos-

Ginzburg-Ziv, DA (G) constante de Davenport con pesos en A, EA (G) constante de Erdos-
Ginzburg-Ziv con pesos en A.

v
Indice general

Introduccion y Antecedentes 1

1. Preliminares 6
1.1. Conceptos basicos de algebra . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.1. Grupo. Grupo abeliano. Subgrupo . . . . . . . . . . . . . . . . . . . . 7
1.1.2. Monoide libre abeliano con base B . . . . . . . . . . . . . . . . . . . 8
1.1.3. Anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1.4. Cuerpo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.5. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2. Algunos resultados en Zp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.1. Teorema de Chevalley-Warning . . . . . . . . . . . . . . . . . . . . . 12
1.2.2. Pequeno Teorema de Fermat . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.3. Residuos cuadraticos . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.3.1. Algunas propiedades de los residuos cuadraticos . . . . . . . 15
1.3. Teora aditiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.3.1. Suma de conjuntos en grupos abelianos . . . . . . . . . . . . . . . . . 15
1.3.2. Algunos resultados clasicos de teora aditiva . . . . . . . . . . . . . . 16
1.3.2.1. Lema de Mann . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.3.2.2. Teorema de Kneser . . . . . . . . . . . . . . . . . . . . . . . 18
1.3.2.3. Teorema de Cauchy-Davenport. Teorema de Cauchy-Davenport
generalizado . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4. Secuencias en grupos abelianos finitos . . . . . . . . . . . . . . . . . . . . . . 24
1.4.1. Secuencia. Secuencia libre de cuadrados . . . . . . . . . . . . . . . . . 24
1.4.2. Subsecuencia. Secuencia de suma cero . . . . . . . . . . . . . . . . . . 25
1.4.3. Secuencia con pesos de suma cero . . . . . . . . . . . . . . . . . . . 26

2. Constantes de suma cero 28

2.1. Constante de Davenport . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.1.1. Lema prehistorico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2. Constante de Erdos-Ginzburg-Ziv . . . . . . . . . . . . . . . . . . . . . . . . 31
2.2.1. Teorema de Erdos-Ginzburg-Ziv . . . . . . . . . . . . . . . . . . . . . 32

vi
INDICE GENERAL vii

3. Constantes con pesos de suma cero 39

3.1. Constante de Erdos-Ginzburg-Ziv con pesos . . . . . . . . . . . . . . . . . . 39
3.1.1. Valores de la constante de Erdos-Ginzburg-Ziv con pesos en A de Zn 40
3.2. Constante de Davenport con pesos . . . . . . . . . . . . . . . . . . . . . . . 41
3.2.1. Calculo de la constante de Davenport con pesos en A de Zn . . . . . 44
3.2.2. Calculo de la la constante de Davenport con pesos en A de Zp . . . . 51

Bibliografa 63
Introduccion y Antecedentes

El objeto principal en el estudio de los problemas de suma cero son las secuencias.

Sea G un grupo abeliano finito y sea F(G) el monoide libre con base G. Los elementos S
de F(G) son llamados secuencias sobre G. Escribiremos a S en F(G) de la forma

Y
S= g vg (S) ,
gG

donde vg (S) en N0 , para todo g en G y vg (S) es el numero de veces que aparece g en S.

Denominaremos a vg (S) la multiplicidad de g en S y diremos que S contiene a g si vg (S) > 0.

La operacion binaria sobre F(G) es la concatenacion de los elementos de F(G), es decir,

dadas,

Y Y
S1 = g vg (S1 ) , S2 = g vg (S2 ) F(G),
gG gG

el producto se define por:

Y
S1 S2 = g (vg (S1 )+vg (S2 )) .
gG

El elemento neutro de F(G) es la secuencia vaca, es decir, la secuencia,

Y
g vg (S) donde vg (S) = 0, para todo g G.
gG

Una secuencia S1 es llamada una subsecuencia de S si S1 /S en F(G), equivalente a

decir, que vg (S1 ) vg (S2 ) para todo g G y es llamada subsecuencia propia de S, si es

1
distinta a la secuencia vaca y ademas S1 6= S.

Si una secuencia S en F(G) esta escrita de la forma S = g1 . . . gl asumiremos que l N0

y gi pertenece a G, para todo i = 1, . . . , l.

Para una secuencia, Y

S = g1 . . . gl = g vg (S) F(G),
gG

llamaremos a
X
|S| = l = vg (S), la longitud de S y la denominaremos lsecuencia.
gG
l
X X
Ademas, por (S) = gi = vg (S)g, entederemos la suma de los elementos de S.
i=1 gG

Si existen a1 , . . . , ak elementos de un conjunto no vaco A subconjunto de Z que no contiene

al cero, tales que

a1 g1 + a2 g2 + . . . + ak gk = 0,
diremos que S es una secuencia con pesos en A de suma cero. Particularmente un sub-
conjunto de G puede ser visto como una secuencia de elementos de G, en este caso diremos
que S es libre de cuadrados.

Basicamente los problemas de suma cero consisten en encontrar condiciones suficientes

sobre una secuencia para que esta posea una subsecuencia de suma cero, algunos problemas
exigen que la subsecuencia a hallar tenga una longitud preestablecida y otros problemas han
anadido una secuencia de pesos de modo que la suma ponderada (afectada por los pesos) sea
cero.

La importancia de la teora de suma cero, se debe a que las respuestas a las preguntas
all planteadas se han conseguido en areas clasicas tales como la combinatoria, la teora de
numeros, la geometra y el algebra, ademas de su relacion con la teora de factorizacion.

En el ano 1961, surge por primera vez, la definicion de secuencia de suma cero, la cual se
atribuye a Erdos-Ginzburg-Ziv [10], y ademas estos autores, dan el siguiente resultado: toda
(2n 1)secuencia de un grupo abeliano finito G de orden n, contiene una nsubsecuencia
de suma cero.

La demostracion que daremos del teorema Erdos-Ginzburg-Ziv en este trabajo, es distinta

en relacion a las ya existentes, esta basada en resultados que daremos previamente y en la

2
demostracion presentada en [23].

Una constante interesante en la teora de suma cero es E(G) la constante de Erdos-

Ginzburg-Ziv, definida como sigue: sea G un grupo abeliano finito de orden n. E(G) es
el menor entero positivo t tal que toda tsecuencia de G contiene una nsubsecuencia de
suma cero.

La existencia de la constante E(G) de Erdos-Ginzburg-Ziv, se debe al teorema de Erdos-

Ginzburg-Ziv [10], dado que:

E(G) 2|G| 1,
donde |G| denota el orden del grupo finito G.

En el ano 1966, Davenport [9] da origen a su celebre constante de Davenport D(G),

definida como sigue: sea G un grupo abeliano finito de orden n. D(G) es el menor entero
positivo r tal que toda rsecuencia de G contiene una subsecuencia de suma cero.

En el ano 1980, Erdos [11] da el primer resultado sobre problemas de suma cero, al que
denomina Lema prehistorico, definido como sigue: sea G un grupo abeliano finito de orden
n. Entonces toda nsecuencia de G contiene una subsecuencia de suma cero.

Este resultado constituye la base fundamental en el desarrollo del area de investigacion de-
nominada problemas de suma cero, la cual esta inmersa en el campo de la teora combinatoria.

La existencia de la constante de Davenport D(G), se debe al lema prehistorico, dado que,

D(G) |G|.
En el ano 1996 Gao [12], establece la siguiente relacion entre D(G) y E(G): sea G un
grupo abeliano finito de orden n, entonces,

E(G) = D(G) + n 1.
En consecuencia encontrar a D(G) y a E(G) se convierte en problemas equivalentes.

En ese mismo ano 1996, aparecen por primera vez las secuencias con pesos de suma cero,
en la siguiente conjetura dada por Caro [7]: sea G un grupo abeliano finito de orden n y sean
k entero positivo, S = x1 , x2 , . . . , xn+k1 una secuencia de G y w1 , . . . , wk enteros positivos,
tales que

w1 + . . . + wk = 0 (mod n).
Entonces, existe S = xj1 , xj2 , . . . , xjk subsecuencia de S tal que,

3
 xj1 w1 + . . . + xjk wk = 0.
Hamidoune [18], demostro la conjetura de Caro, anteriormente citada, con la condicion
adicional mcd(wi , n) = 1, para todo i = 1, . . . , k. Tambien Hamidoune investiga estas secuen-
cias en [17] y Gao en [14].

En el ano 2006 David Grynkiewiecz en [16], demuestra la conjetura de Caro dada en [7],
despues de varios trabajos parciales [4, 14, 17, 18], Grynkiewicz ha llamado a su resultado
Teorema EGZW (Erdos-Ginzburg-Ziv with weight).

Una lista de referencias de problemas de suma cero se encuentran en [7, 13, 15, 26].

En el ano 2006 Adhikari y Chen, en [2] generalizan a D(G) la constante de Davenport y

E(G) la constante de Erdos-Ginzburg-Ziv, denominadas DA (G) constante de Davenport con
pesos en A y EA (G) constante de Erdos-Ginzburg-Ziv con pesos en A respectivamente, como
sigue:

DA (G) es el menor entero positivo k tal que para toda secuencia S = x1 , . . . , xk de G

existen una subsecuencia xj1 , . . . , xjl no vaca de S y a1 , . . . , al (ai A, i = 1, . . . , l) tal
que:

a1 xj1 + . . . + al xjl = 0.
EA (G) es el menor entero positivo t tal que para toda secuencia S = x1 , . . . , xt de G
existen ndices j1 , . . . , jn N, con 1 j1 < . . . < jn t, y v1 , . . . , vn (vi A, i =
1, . . . , n) tal que:

v1 xj1 + . . . + vn xjn = 0.
Si G = Zn , DA (G) y EA (G), se denotan por DA (n) y EA (n) respectivamente.

Este trabajo, ademas del resumen y la introduccion consta de 3 captulos:

En el primer captulo presentamos las herramientas necesarias para el desarrollo de los

captulos II Y III tales como conceptos basicos de algebra, algunos resultados en Zp
y en teora aditiva. Finalizamos este captulo con el concepto de secuencias en grupos
abelianos finitos.

En el segundo captulo presentamos las constantes de suma cero de Davenport y la de

Erdos-Ginzburg-Ziv con algunos resultados de interes.

4
En el tercer y ultimo captulo desarrollamos el articulo Davenport constant with weights
and some related questions [3] cuyos autores son Sukumar Das Adhikari y Purusottam
Rath (2006), que es el objetivo principal de este trabajo.

5
Captulo 1

Preliminares

Uno de los contextos teoricos de los problemas de suma cero es la teora aditiva, la cual
determina la estructura y propiedades de una suma de conjuntos de un grupo, conociendo a
los sumandos (problemas directos) o determina las propiedades de los sumandos a partir de
conocer las propiedades del conjunto suma (problemas inversos).

Entre los resultados de teora aditiva, que daremos en este captulo se encuentran: el Lema
de Mann, el Teorema de Kneser, el Teorema de Cauchy-Davenport y el Teorema de Cauchy-
Davenport generalizado. Todos estos resultados son problemas directos y los mismos seran
utilizados con frecuencia en los captulos II y III. Lo referente a teora aditiva lo podemos
encontrar en [24].

Siendo las secuencias el objeto principal en los problemas de suma cero, en este captulo
encontraremos una amplia definicion de las secuencias, acompanada de ejemplos para una
mejor comprension de las mismas.

El objetivo principal de este captulo es dar las herramientas necesarias para el desarrollo
general de este trabajo, es por ello que lo iniciamos con conceptos basicos del algebra, los
cuales podemos encontrar en [19, 20].

Este captulo consta de cuatro secciones. En la seccion 1.1 presentaremos algunos concep-
tos basicos del algebra. En la seccion 1.2 presentamos algunos resultados en Zp . En la seccion
1.3 presentaremos resultados de teora aditiva y finalmente en la seccion 1.4 presentaremos
las secuencias en grupos abelianos finitos.

6
1.1. Conceptos basicos de algebra
1.1.1. Grupo. Grupo abeliano. Subgrupo
Definicion 1.1.1 Diremos que un conjunto no vaco K, forma un monoide si en K esta de-
finida una operacion binaria, llamada producto y denotada por () tal que:

i. Para todo a, b, c K se cumple que a (b c) = (a b) c (asociatividad).

ii. Existe un e K tal que para todo a K se cumple que a e = a = e a (elemento

identidad).

Ademas,

si para todo a K existe a1 K tal que a a1 = e = a1 a (elemento inverso)

diremos que K es un grupo.

Y,

si para todo a, b K se cumple que a b = b a, (conmutatividad) diremos que K

es un grupo abeliano.

Definicion 1.1.2 Un subconjunto H de un grupo G se dice que es un subgrupo de G si

respecto al producto en G, H forma un grupo.

Un criterio para determinar si un subconjunto finito no vaco de un grupo dado es un sub-

grupo, es el siguiente:

Lema 1.1.1 Si H es un subconjunto finito no vaco de un grupo G, y H es cerrado respecto

al producto en G, entonces H es un subgrupo de G.

Definicion 1.1.3 Sea G un grupo y sea a G.

Definimos el orden de a, como el menor entero positivo m, tal que:

am = e,

7
donde e es el elemento neutro del grupo. Si no existe tal m, se dice que a tiene un orden
infinito.

Denotaremos el orden de a, por ord(a).

Si G = Zp (con p primo) y a Zp , a 6= 0, el ord(a) = p.

Ejemplo 1.1.1 El orden de cada x Z3 , x 6= 0, es 3, en efecto:

01 = 0 0 (mod 3).
13 = 1 + 1 + 1 = 3 0 (mod 3).
23 = 2 + 2 + 2 = 6 0 (mod 3).

As, ord(0) = 1, ord(1) = 3, ord(2) = 3.

1.1.2. Monoide libre abeliano con base B

Definicion 1.1.4 Sean K un monoide y B K. Diremos que K es un monoide (abeliano)
libre con base B si cada a K tiene una representacion unica de la forma:

Y
a= bvb (a) ,
bB

donde vb (a) N0 y vb (a) = 0, para casi todo b B.

Ademas, K (salvo isomorfismo) esta unicamente determinado por B y recprocamente B

esta determinado en forma unica por K. Por esta razon, denotaremos al monoide (abeliano)
libre K con base B, por K = F(B).

1.1.3. Anillo
Definicion 1.1.5 Un conjunto no vaco A se dice que es un anillo si en A estan definidas
dos operaciones binarias llamadas adicion y producto, denotadas por (+), (), respectivamen-
te tales que:

i. A es un grupo abeliano bajo la operacion +.

8
ii. a (b c) = (a b) c para todo a, b, c A (asociatividad).

iii. a (b + c) = a b + a c y (b + c) a = b a + c a para todo a, b, c A (las dos leyes

distributivas).

Si anadimos:

iv. a b = b a para todo a, b A, diremos que A es un anillo conmutativo.

Y,

v. si existe un elemento 1A en A tal que a 1A = 1A a = a, para todo a A, diremos que

A es un anillo con elemento identidad.

Observacion 1.1.1
El elemento identidad aditivo de un anillo es llamado el elemento cero, denotado por
0.

En un anillo A el inverso de un elemento a A bajo el producto se denotara por a1 .

Definicion 1.1.6 Sea A anillo. Un elemento a A, a 6= 0, es un divisor de cero a la iz-

quierda (resp. a la derecha) si existe un b A, b 6= 0, tal que a b = 0 (resp. b a = 0).

Si, para a A, a 6= 0, se cumple que existe un b A, b 6= 0, tal que a b = 0 = b a,

diremos que a es un divisor de cero.

Definicion 1.1.7 Sea A anillo con identidad. Un elemento a A, se dice invertible a la

izquierda (resp. a la derecha) si existe un c A, (resp. b A),, tal que c a = 1A (resp.
a b = 1A ). El elemento c (resp. b) es llamado inversa a la izquierda (resp. a la derecha) de a.

Si, para a A, a 6= 0, es invertible a la izquierda y a la derecha se dice que a es inver-

tible o tiene una unidad.

Definicion 1.1.8 Un anillo conmutativo A con identidad 1A 6= 0 y que no tiene divisores de

cero es llamado un dominio entero.

9
Ejemplo 1.1.2 El conjunto de los enteros Z es un dominio entero.

Definicion 1.1.9 Un anillo A con identidad 1A en el cual todos los elementos distintos de
cero es una unidad, es llamado un anillo con division.

Damos finalmente la definicion del muy importante objeto matematico conocido como
cuerpo o campo.

1.1.4. Cuerpo
Definicion 1.1.10 Un campo o cuerpo es un anillo conmutativo con division.

Observacion 1.1.2
i. Todo dominio entero y todo anillo con division tiene al menos dos elementos, llamados 0
y 1A .

ii. Un anillo A con identidad es un anillo con division si y solo si los elementos distintos de
cero de A forman un grupo bajo la multiplicacion.

iii. Todo cuerpo F es dominio entero, dado que a b = 0 y a 6= 0 implica que b = 1F b =

(a1 a)b = a1 (ab) = a1 0 = 0.

Ejemplo 1.1.3
Z el conjunto de los enteros, positivos, negativos y el 0, con + adicion usual y la
multiplicacion usual de los enteros es un anillo conmutativo con identidad.

A el conjunto de los enteros pares, bajo las operaciones usuales de adicion y multipli-
cacion de los enteros es un anillo, pero no tiene elemento identidad.

Ejemplo 1.1.4
Para cada entero positivo n el conjunto Zn de los enteros modulo n es un anillo.

Si p es un primo entonces Zp es un cuerpo.

10
1.1.5. Polinomios
Definicion 1.1.11 Sea A un campo. Llamaremos anillo de polinomios sobre A en las in-
determinadas o variables x1 , . . . , xn , denotado por A[x1 , . . . , xn ], al conjunto de todos los
m
X
smbolos ai xk1i1 xk2i2 . . . xknin , donde n y m son enteros no negativos, es decir, f es un po-
i=1
linomio, distinto de cero, en A[x1 , . . . , xn ], si y solo si,

m
X
f= ai xk1i1 x2ki2 . . . xknin .
i=1

A la expresion a1 xk11 xk22 . . . xknn A[x1 , . . . , xn ] la denominaremos monomio.

El grado del monomio, distinto de cero, a1 xk11 xk22 . . . xknn A[x1 , . . . , xn ] es el entero
no negativo,

n
X
ki ,
i=1

es decir, la suma de los exponentes de cada variable xi (i = 1, . . . , n).

El grado total del polinomio o grado del polinomio f es el maximo de los grados
de los monomios ai xk1i1 xk2i2 . . . xknin , tal que ai 6= 0 (i = 1, . . . , m). Denotaremos el grado del
polinomio f , por degf.

Un polinomio distinto de cero f , tiene grado cero, si y solo si, f es un polinomio cons-
tante, esto es, f = a0 = a0 x01 x02 . . . x0n .

Diremos que un polinomio es homogeneo de grado k si es una suma de monomios, tal

que cada uno tiene grado k.

Ejemplo 1.1.5 El grado del polinomio f = x5 y 3 + 3x2 y 4 + 15xy en Z[x, y] es 8, dado que,
el grado del monomio x5 y 3 es 5 + 3 = 8, el grado del monomio 3x2 y 4 es 2 + 4 = 6, y el grado
del monomio 15xy es 1 + 1 = 2.

Por lo tanto, max{8, 6, 2} = 8.

11
1.2. Algunos resultados en Zp
1.2.1. Teorema de Chevalley-Warning
El resultado siguiente fue establecido por Claude Chevalley y por Ewald Warning [25].

Teorema 1.2.1 (Chevalley-Warning) Sea F el campo finito Zp (con p primo) y

{fj }rj=1 F [x1 , . . . , xn ] el conjunto formado por polinomios que satisfacen:

r
X
n> dj ,
j=1

donde n es el numero de variables y dj = degfj , para cada j = 1, . . . , r, y V el conjunto de

sus ceros comunes en F n . Entonces,

|V | 0 (mod p).

Corolario 1.2.1 Sea F un campo finito y {fj }rj=1 F [x1 , . . . , xn ] el conjunto formado por
polinomios que satisfacen:

r
X
n> dj ,
j=1

donde n es el numero de variables y dj = degfj , para cada j = 1, . . . , r. Si el sistema de

ecuaciones polinomicas:

fj (x1 , . . . , xn ) = 0, j = 1, . . . , r. (1.1)
tiene la solucion trivial, entonces las ecuaciones polinomicas dadas en (1.1) tienen una so-
lucion no-trivial.

El Corolario 1.2.1, lo utilizaremos en la demostracion del Teorema 3.2.4.

12
1.2.2. Pequeno Teorema de Fermat
Teorema 1.2.2 (Pequeno Teorema de Fermat) Si p es un numero primo, entonces para
cada numero natural a, se cumple que:

ap a (mod p).

Otra manera equivalente de enunciar este teorema es:

Si p es un numero primo, entonces para cada numero natural a, que sea primo relativo
de p, se tiene:

ap1 1 (mod p).

Ejemplo 1.2.1 744 3 (mod 13).

Por Teorema 1.2.2 (pequeno teorema de Fermat en su forma equivalente),

7131 = 712 1 (mod 13). (1.2)

Por (1.2), y dado que 744 = (712 )3 78 , obtenemos

744 = (712 )3 78 1 78 (mod 13) = 78 (mod 13).

Luego,

744 78 (mod 13) = (72 )4 (mod 13) 104 (mod 13) 3 (mod 13).

Observacion 1.2.1 Si p es un numero primo, para cada entero positivo a menor que p, es
evidente que:

mcd(a, p) = 1, (1.3)
pero, si a > p, no necesariamente se cumple la afirmacion dada en (1.3). En efecto, si a es
multiplo de p, mcd(a, p) = p.

13
1.2.3. Residuos cuadraticos
Definicion 1.2.1 Sea p un numero primo impar. Diremos que a 6= 0 es un residuo cuadrati-
co de p si existe un entero x tal que:

x2 a (mod p).

Observacion 1.2.2 Los residuos cuadraticos modulo p, forman un subrupo Q del grupo de
los enteros distintos de cero mod p bajo la multiplicacion.

En efecto, Q es un conjunto finito no-vaco, ya que 12 1 (mod p), luego 1 Q.

Por otro lado sean a, b Q, luego, existen x, y enteros, tales que:

x2 a (mod p), y y 2 b (mod p).

Luego,

(xy)2 = x2 y 2 ab (mod p).

As, para ab 6= 0 existe xy entero tal que (xy)2 ab (mod p). En consecuencia, ab Q ,
por tanto Q es cerrado bajo la multiplicacion.

En consecuencia, por el Lema 1.1.1, Q es un subgrupo de los enteros distintos de cero

mod p bajo la multiplicacion.

Ejemplo 1.2.2 Si p = 7, los residuos cuadraticos son 1, 4 y 2, dado que

12 1 (mod 7).

22 4 (mod 7).

32 2 (mod 7).

42 2 (mod 7).

52 4 (mod 7).

62 1 (mod 7).

14
1.2.3.1. Algunas propiedades de los residuos cuadraticos
Unas de las propiedades de los residuos cuadraticos son:

i. Sea p un primo impar, x es un residuo cuadratico si y solo si

p1
x 2 1 (mod p) (criterio de Euler).

ii. Sea p un primo impar. Si x es un no-residuo cuadratico entonces

p1
x 2 1 (mod p).

iii. El producto de dos residuos cuadraticos es un residuo cuadratico (Observacion 1.2.2).

iv. El producto de dos no-residuos cuadraticos es un residuo cuadratico.

v. El producto de un residuo cuadratico con un no-residuo cuadratico es un no-residuo

cuadratico.

1.3. Teora aditiva

1.3.1. Suma de conjuntos en grupos abelianos
Definicion 1.3.1 Sean G un grupo abeliano finito y A, B subconjuntos no vacos de G.
Definimos la suma de A y B, denotada por A + B, como el conjunto

A + B = {a + b : a A, b B}.

Observacion 1.3.1 Sean G grupo abeliano finito y sean A, B G.

i. Si B = {b}, escribiremos A + b en lugar de A + {b}.

ii. Para b G, inverso aditivo de b G, definimos

A b = {a + (b) : a A}. En consecuencia A B = {a + (b) : a A, b B}.

iii. A + B = B + A.

15
iv. Sea b G. La funcion f : A A + b definida por f (a) = a + b, para todo a A, es
una biyeccion entre A y A + b. Por lo tanto, se tiene que |A| = |A + b|.

Ejemplo 1.3.1 Sean A = {1, 3} y B = {2, 4} subconjuntos de Z5 , entonces:

A + 2 = {1 + 2, 3 + 2} = {3, 0}. Notese que |A| = |A + 2|.

A 2 = A + 3 = {1 + 3, 3 + 3} = {4, 1} (ya que -2= 3).

A + B = {1 + 2, 1 + 4, 3 + 2, 3 + 4} = {3, 0, 2}.

A B = {1 2, 1 4, 3 2, 3 4} = {1 + 3, 1 + 1, 3 + 3, 3 + 1} = {4, 2, 1}.

La definicion de suma de conjuntos se puede generalizar, de manera natural, a un numero

finito de subconjuntos de un grupo G, como sigue:

Definicion 1.3.2 Sean G un grupo abeliano finito y A1 , . . . , Ak subconjuntos no vacos de

G. La suma de A1 , . . . , Ak , denotada por A1 + . . . + Ak , se define como el conjunto,

A1 + . . . + Ak = {a1 + . . . + ak : ai Ai , 1 i k}.

Ejemplo 1.3.2 Sean A = {1, 4}, B = {2, 3} y C = {4} subconjuntos de Z5 , A + B + C =

{1 + 2 + 4, 1 + 3 + 4, 4 + 2 + 4, 4 + 3 + 4} = {2, 3, 0, 1}.

1.3.2. Algunos resultados clasicos de teora aditiva

Definicion 1.3.3 Sea g G, y sean A, B subconjutos de G, denotamos por A,B (g) al nume-
ro de formas de expresar a g como la suma de un elemento de A y un elemento de B, esto
es,

A,B (g) = |{(a, b) : g = a + b, a A, b B}|.

Lema 1.3.1 Sea G un grupo abeliano finito y sean t un entero positivo, y A, B subconjuntos
no vacos de G tal que |A| + |B| |G| + t entonces A,B (g) t, para todo g G.

16
 Demostracion.

Sean A, B G, A 6= , B 6= y g G y consideremos el conjunto g B = {g b : b B}.

Como A G y g B G, entonces A (g B) G.

As, |A (g B)| |G|.

Luego, esto implica que:

|G| |A (g B)| = |A| + |g B| |A (g B)| = |A| + |B| |A (g B)|

(Por Observacion 1.3.1 (iv) |g B| = |B|).

As, |G| |A| + |B| |A (g B)|, luego, |A (g B)| |A| + |B| |G|.

Como por hipotesis, |A| + |B| |G| + t, entonces |A (g B)| |G| + t |G| = t.

En consecuencia, |A (g B)| t, entonces existen al menos t elementos distintos,

a1 , a2 , . . . , at A (g B).

Luego ai A y ai g B, para todo i = 1, . . . , t.

Luego, existe b B tal que, ai = g b, para todo i = 1, . . . , t, lo cual implica que

g = ai + b, para algun b B.

As, dado que los ai , con i = 1, . . . , t son distintos tenemos que:

A,B (g) t, para todo g G.

El resultado siguiente fue establecido por Henry Mann [22], cuando |A| y |B| son sufi-
cientemente grandes.

1.3.2.1. Lema de Mann

Lema 1.3.2 (Mann) Sean G un grupo abeliano finito y A, B subconjuntos no vacos de G.
Si |A| + |B| > |G| entonces G = A + B.

Demostracion.

17
 Dado que A G y B G y G es un grupo, entonces A + B G. (I)

Por hipotesis, |A| + |B| > |G| entonces |A| + |B| |G| + 1, luego por el Lema 1.3.1,
tenemos que A,B (g) 1. As, para cualesquiera g G, existen a A y b B tal que
g = a + b A + B. En consecuencia, G A + B. (II)

Luego, por (I) y (II) se tiene que G = A + B.

Ejemplo 1.3.3 Sean G = Z5 , A = {0, 1, 3} Z5 y B = {0, 2, 4} Z5 .

Por lo que, |A| + |B| = 3 + 3 = 6 > 5. Por otro lado, A + B = {0, 1, 2, 3, 4} = Z5 .

As, A + B = Z5 .

El siguiente resultado se debe a Knesser, el cual se encuentra en [24].

1.3.2.2. Teorema de Kneser

Teorema 1.3.1 (Kneser) Sea G un grupo abeliano tal que G 6= {0} y sean A y B subcon-
juntos no vacos de G. Si |A| + |B| |G|, entonces existe un subgrupo propio H de G tal
que:

|A + B| |A| + |B| |H|.

El teorema dado a continuacion fue demostrado en 1813 por Augustin Louis Cauchy [6]
e independientemente fue demostrado por Harold Davenport en 1935 [8].

Davenport descubre en 1947 que Cauchy ya lo haba demostrado previamente, y de all se

deriva el nombre del teorema.

El Lema 1.3.2 (Mann) y el Teorema 1.3.1 (Kneser) nos permitiran dar una demostracion
del Teorema de Cauchy-Davenport, dado a continuacion:

1.3.2.3. Teorema de Cauchy-Davenport. Teorema de Cauchy-Davenport gene-

ralizado
Teorema 1.3.2 (Cauchy-Davenport) Sean p un numero primo y A, B subconjuntos no
vacos de Zp . Entonces |A + B| min{p, |A| + |B| 1}.

18
 Demostracion.

Dado que Zp es un grupo abeliano finito y p es primo, entonces Zp 6= {0}. Ademas por
hipotesis A y B son subconjuntos no vacos de Zp . Luego estamos en las hipotesis del Lema
1.3.2 y del Teorema 1.3.1.

Respecto a la suma de las cardinalidades de A y B se presentan dos casos:

Caso I. |A| + |B| > |Zp |.

Por el Lema 1.3.2, A + B = Zp .

As, |A + B| = p.

Luego, |A + B| = p min{p, |A| + |B| 1}.

En consecuencia,

|A + B| min{p, |A| + |B| 1}.

Caso II. |A| + |B| |Zp |.

Por Teorema 1.3.1, existe un subgrupo propio H de Zp que cumple lo siguiente:

|A + B| |A| + |B| |H|.

Como p es primo, entonces el unico subgrupo propio de Zp es H = {0}.

Luego,

|A + B| |A| + |B| |{0}|

= |A| + |B| 1.

As,

19
 |A + B| |A| + |B| 1.

Como |A| + |B| 1 min{p, |A| + |B| 1}. Entonces,

|A + B| min{p, |A| + |B| 1}.

Por lo tanto en cualquiera de los dos casos, se cumple el teorema.

El teorema de Cauchy-Davenport, admite la siguiente generalizacion:

Teorema 1.3.3 (Cauchy-Davenport generalizado) Sean h 2 y p un numero primo,

y sean A1 , A2 , . . . , Ah subconjuntos no vacos de Zp . Entonces,

( h
)
X
|A1 + A2 + . . . + Ah | min p, |Ai | h + 1 .
i=1

Demostracion.

Haremos la demostracion por induccion sobre h.

Para h = 2 por Teorema 1.3.2, se cumple:

|A1 + A2 | min {p, |A1 | + |A2 | 1}

( 2 )
X
= min p, |Ai | 2 + 1 .
i=1

( 2
)
X
Luego, |A1 +A2 | min p, |Ai | 2 + 1 . En consecuencia el teorema se cumple para
i=1
h = 2.

Ahora, supongamos que el teorema se cumple para h = k 1 y probemos que el teorema

se cumple para h = k.

20
 Sean A1 , A2 , . . . , Ak1 , Ak subconjuntos no vacos de Zp y hacemos B = A1 + A2 + . . . +
Ak1 .

Luego, por hipotesis inductiva se cumple:

( k1
)
X
|B| = |A1 + A2 + . . . + Ak1 | min p, |Ai | (k 1) + 1
i=1
( k1
)
X
= min p, |Ai | k + 2 .
i=1

( k1
)
X
Luego, |B| min p, |Ai | k + 2 . (I)
i=1

Por otra parte,

|A1 + A2 + . . . + Ak | = |(A1 + A2 + . . . + Ak1 ) + Ak |

= |B + Ak |
min {p, |B| + |Ak | 1} . (Cauchy Davenport)

As, |A1 + A2 + . . . + Ak | min {p, |B| + |Ak | 1} . (II)

En consecuencia, se presentan dos casos:

Caso 1. min {p, |B| + |Ak | 1} = p.

Luego,

|A1 + A2 + . . . + Ak | min {p, |B| + |Ak | 1}

=p
( k )
X
min p, |Ai | k + 1 .
i=1

21
 ( k
)
X
As, |A1 + A2 + . . . + Ak | min p, |Ai | k + 1 .
i=1

Caso 2. min {p, |B| + |Ak | 1} = |B| + |Ak | 1.

Luego,

|A1 + A2 + . . . + Ak | min {p, |B| + |Ak | 1}

= |B| + |Ak | 1
( k1 )
X
min p, |Ai | k + 2 + |Ak | 1. Por (I)
i=1

( k1
)
X
En consecuencia, |A1 + A2 + . . . + Ak | min p, |Ai | k + 2 + |Ak | 1.
i=1

En consecuencia, se presentan dos casos:

( k1
)
X
Caso 2.1 min p, |Ai | k + 2 = p.
i=1

Luego,

( k1
)
X
|A1 + A2 + . . . + Ak | min p, |Ai | k + 2 + |Ak | 1
i=1
= p + |Ak | 1
p+11 ya que |Ak | 1
=p
( k )
X
min p, |Ai | k + 1 .
i=1

( k
)
X
Lo cual implica que, |A1 + A2 + . . . + Ak | min p, |Ai | k + 1 .
i=1

22
 ( k1
) k1
X X
Caso 2.2 min p, |Ai | k + 2 = |Ai | k + 2.
i=1 i=1

Luego,

( k1
)
X
|A1 + A2 + . . . + Ak | min p, |Ai | k + 2 + |Ak | 1
i=1
k1
X
= |Ai | k + 2 + |Ak | 1
i=1
Xk
= |Ai | k + 1
i=1
( k
)
X
min p, |Ai | k + 1 .
i=1

As, se tiene que:

( k
)
X
|A1 + A2 + . . . + Ak | min p, |Ai | k + 1 .
i=1

Por lo tanto, en cualquiera de los casos se cumple el teorema.

Ejemplo 1.3.4 Sean A = {0, 3}, B = {1, 2} y C = {4} subconjuntos de Z5 entonces

A + B + C = {0 + 1 + 4, 0 + 2 + 4, 3 + 1 + 4, 3 + 2 + 4} = {0, 1, 3, 4},

luego,

|A + B + C| = 4 y

min{5, |A| + |B| + |C| 3 + 1} = min{5, 2 + 2 + 1 2} = min{5, 3} = 3.

Lo cual implica que:

min{5, |A| + |B| + |C| 3 + 1} = 3; luego, 4 > 3.

23
 As, se cumple que:

|A + B + C| > min{5, |A| + |B| + |C| 3 + 1}.

1.4. Secuencias en grupos abelianos finitos

1.4.1. Secuencia. Secuencia libre de cuadrados
Definicion 1.4.1 Sea G un grupo abeliano finito y sea k, un entero positivo. A la coleccion
S = a1 , a2 , . . . , ak de elementos de G, donde la repeticion de sus elementos es permitida y la
posicion en que estan colocados estos elementos, no es considerada la llamaremos secuencia
de G. Tambien puede denotarse por S = a1 a2 . . . ak .

En caso de ser necesario, ordenaremos los elementos de la secuencia.

Una secuencia es libre de cuadrados, si no posee elementos repetidos.

Como consecuencia de la Definicion 1.1.4, podemos definir las secuencias de la forma si-
guiente:

Definicion 1.4.2 Sea G un grupo abeliano finito y sea F(G) el monoide libre con base
G. Los elementos S de F(G) son llamados secuencias sobre G. Escribiremos a S F(G)
de la forma

Y
S= g vg (S) ,
gG

donde vg (S) N0 , para todo g G y vg (S) es el numero de veces que aparece g en S. Deno-
minaremos a vg (S) multiplicidad de g en S y diremos que S contiene a g si vg (S) > 0.

La operacion binaria sobre F(G) es la concatenacion de los elementos de F(G), es decir,

dadas,

Y Y
S1 = g vg (S1 ) , S2 = g vg (S2 ) F(G),
gG gG

24
el producto se define por:

Y
S1 S2 = g (vg (S1 )+vg (S2 )) .
gG

El elemento neutro de F(G) es la secuencia vaca, es decir, la secuencia,

Y
g vg (S) donde vg (S) = 0, para todo g G.
gG

1.4.2. Subsecuencia. Secuencia de suma cero

Definicion 1.4.3 Una secuencia S1 es llamada una subsecuencia de S si S1 /S en F(G),
equivalente a decir, que vg (S1 ) vg (S) para todo g G y es llamada subsecuencia propia
de S, si es distinta a la secuencia vaca y ademas S1 6= S.

Si S es una secuencia ordenada, diremos que S1 y S2 , subsecuencias propias de S, son

disjuntas si no tienen elementos comunes.

Sea S una secuencia ordenada y S1 una subsecuencia propia de S, definimos S2 = S \ S1 ,

como una subsecuencia de S que consiste en eliminar de la secuencia S, los elementos de la
subsecuencia S1 de S. En consecuencia S2 y S1 son subsecuencias disjuntas de S.

Si una secuencia S F(G) esta escrita de la forma S = g1 . . . gl , asumiremos que l N0

y gi pertenece a G, para todo i = 1, . . . , l.

Para una secuencia, Y

S = g1 . . . gl = g vg (S) F(G),
gG

llamaremos:

X
|S| = l = vg (S), la longitud de S. Una secuencia de longitud l la denominaremos
gG
lsecuencia.

25
 l
X X
(S) = gi = vg (S)g, a la suma de S.
i=1 gG

Ejemplo 1.4.1 Una secuencia en Z5 es S = 02311200, en otras palabras S = 03 12 22 31 40 o

simplemente S = 03 12 22 31 .

Luego, |S| = v0 (S) + v1 (S) + v2 (S) + v3 (S) = 3 + 2 + 2 + 1 = 8.

Esto es, la longitud de S es igual a 8.

Una subsecuencia de S es S.

Otra subsecuencia de S es S1 = 02 12 22 , ademas S1 es una subsecuencia propia de S.

Ahora si consideramos S = 02311200 como una secuencia ordenada tendramos que:

a1 = 0, a2 = 2, a3 = 3, a4 = 1, a5 = 1, a6 = 2, a7 = 0, a8 = 0.

Por lo tanto S1 = a1 a4 y S2 = a2 a7 son subsecuencias disjuntas de S, sin importar que

a1 = a7 = 0, ya que como elementos (ordenados) son distintos.

Definicion 1.4.4 Una secuencia S es de suma cero si (S) = 0.

Ejemplo 1.4.2 Una secuencia de suma cero en Z3 es S = 03 15 22 ,

dado que, (S) = v0 (S) 0 + v1 (S) 1 + v2 (S) 2 = 3 0 + 5 1 + 2 2 = 0 + 5 + 4 = 9 = 0.

1.4.3. Secuencia con pesos de suma cero

Definicion 1.4.5 Sea G un grupo abeliano finito y sean S = x1 x2 . . . xn , una nsecuencia
y A un subconjunto no vaco de Zn \ {0}. S es una secuencia con pesos en A de suma
cero, si existen a1 , . . . , an elementos de A, tales que:
n
X
ai xi = 0.
i=1

Ejemplo 1.4.3 Sea A= {2, 3, 4, 5}. Una secuencia con pesos en A de suma cero de Z7 es
S = 124.

En efecto, tomando a1 = 2, a2 = 5, a3 = 4, elementos de A, se tiene:

26
2 1 + 5 2 + 4 4 = 2 + 10 + 16 = 28 = 0.

27
Captulo 2

Constantes de suma cero

Basicamente los problemas de suma cero consisten en encontrar condiciones suficientes

sobre una secuencia para que esta posea una subsecuencia de suma cero, algunos problemas
exigen que la subsecuencia a hallar tenga una longitud preestablecida y otros problemas han
anadido una secuencia de pesos de modo que la suma ponderada (afectada por los pesos) sea
cero (este punto lo presentaremos en el captulo III).

En el ano 1961, surge por primera vez, la definicion de secuencia de suma cero, la cual se
atribuye a Erdos-Ginzburg-Ziv [10], y ademas estos autores, dan el siguiente resultado: toda
(2n 1)secuencia de un grupo abeliano finito G de orden n, contiene una nsubsecuencia
de suma cero.

Existen varias demostraciones de este resultado, sin embargo, en este trabajo daremos
una demostracion que consideramos distinta a las mencionadas, basada en resultados que
daremos previamente y en la demostracion presentada en [23].

El resultado de Erdos-Ginzburg-Ziv [10], permite dar la existencia de E(G) la constante

de Erdos-Ginzburg-Ziv: sea G un grupo abeliano finito de orden n. E(G) es el menor entero
positivo t tal que toda tsecuencia de G contiene una nsubsecuencia de suma cero dado
que,

E(G) 2|G| 1,
En el ano 1966, Davenport [9] da origen a su celebre constante de Davenport D(G): sea
G un grupo abeliano finito de orden n. D(G) es el menor entero positivo r tal que toda
rsecuencia de G contiene una subsecuencia de suma cero.

En el ano 1980, Erdos [11] da el primer resultado sobre problemas de suma cero, al que
denomina Lema prehistorico: sea G un grupo abeliano finito de orden n. Entonces toda
nsecuencia de G contiene una subsecuencia de suma cero. La existencia de la constante de
Davenport D(G), se debe al lema prehistorico, dado que,

28
 D(G) |G|.
Este resultado constituye la base fundamental en el desarrollo del area de investigacion
denominada problemas de suma cero, la cual esta inmersa, en el campo de la teora combi-
natoria.

Un resultado de gran relevancia, dado en este captulo, es el siguiente: si G es un grupo

abeliano finito de orden n, entonces,

E(G) = n + D(G) 1.
Este resultado se debe a Gao [12] y relaciona a D(G) la constante de Davenport y a E(G)
la constante de Erdos-Ginzburg-Ziv.

Estos resultados son dados con la finalidad de presentar los fundamentos teoricos para el
desarrollo del captulo III.

Este captulo consta de dos secciones. En la seccion 2.1 presentamos la constante de

Davenport y el Lema prehistorico. En la seccion 2.2 presentamos la constante de Erdos-
Ginzburg-Ziv y el Teorema de Erdos-Ginzburg-Ziv.

2.1. Constante de Davenport

Definicion 2.1.1 Sea G un grupo abeliano finito de orden n. La constante de Davenport
D(G) es el menor entero positivo r tal que toda rsecuencia de G contiene una subsecuencia
de suma cero.

El siguiente lema, denominado lema prehistorico por Paul Erdos en el ano 1980 [11],
muestra que D(G) |G| y de esta manera da la existencia de D(G).

2.1.1. Lema prehistorico

Lema 2.1.1 Sea G un grupo abeliano finito de orden n y sea S = a1 . . . an una nsecuencia
de G, entonces existe una subsecuencia no vaca de S de suma cero.

Demostracion.
Sea S = a1 . . . an una nsecuencia de G. Consideremos la secuencia S = b1 . . . bn definida
por:

29
 b1 = a1
b2 = a1 + a2
.. ..
. = .
b i = a1 + a2 + . . . + ai
De acuerdo a la construccion de la secuencia S, se pueden presentan dos casos:

Caso 1. bi 6= bj para todo i, j {1, 2, . . . , n}. Si ocurre este caso entonces existe un
0
k {1, 2, . . . , n} tal que bk = 0, luego, a1 + a2 + . . . + ak = 0, por lo que S = a1 . . . ak
es una ksubsecuencia de S de suma cero.

El otro caso es el opuesto a este, es decir que:

Caso 2. Existen i, j {1, 2, . . . , n} con i 6= j tal que bi = bj . Si se produce este caso, sin
perdida de generalidad tomemos i < j, entonces se tiene que a1 + a2 + . . . + ai =
a1 + a2 + . . . + ai + ai+1 + . . . + aj .

En consecuencia, ai+1 + ai+2 + . . . + aj = 0. As, T = ai+1 , ai+2 , . . . , aj es una subse-

cuencia de S de suma cero.

En conclusion, en cualquiera de los casos se cumple el lema.

Observacion 2.1.1
Con respecto a D(G), dos resultados son evidentes:

Si G es el grupo trivial nulo, se tiene:

D(G) = |G| = 1. (2.1)

Si G no es el grupo trivial nulo, y sea S = a, una 1secuencia, donde a 6= e, siendo e

el elemento neutro de G, es claro que S no contiene subsecuencias de suma cero. Por
lo tanto, D(G) > 1, esto es,

D(G) 2. (2.2)

El siguiente lema es una consecuencia del lema prehistorico.

30
Lema 2.1.2 D(Zn ) = n, para todo n.

Demostracion.
Tenemos que |Zn | = n y sea S una nsecuencia, por el lema prehistorico, S contiene
una subsecuencia S de suma cero, luego por la minimalidad de la constante de Davenport,
tenemos que D(Zn ) n, y como la secuencia 1n1 no contiene subsecuencias de suma cero,
entonces D(Zn ) n.

Luego, n D(Zn ) n, por consiguiente

D(Zn ) = n.

2.2. Constante de Erdos-Ginzburg-Ziv

Definicion 2.2.1 Sea G un grupo abeliano finito de orden n. La constante de Erdos-
Ginzburg-Ziv denotada por E(G), es el menor entero positivo t tal que toda tsecuencia
de G contiene una nsubsecuencia de suma cero.

Observacion 2.2.1 El siguiente resultado es evidente:

Si G es el grupo trivial nulo, se cumple:

E(G) = |G| = 1. (2.3)

El lema siguiente, debido a Bialostocski [5] sera de gran utilidad en la demostracion del Teo-
rema de Erdos-Ginzburg-Ziv, dado a continuacion:

Lema 2.2.1 (Bialostocski) Sea n un entero positivo y S una secuencia. S se puede particio-
nar en n conjuntos, si y solo si |S| n y h(S) n.

El teorema siguiente introduce por primera vez el concepto de secuencia de suma cero,
dado en 1961 por Erdos-Ginzburg-Ziv [10], este teorema muestra que E(G) 2n 1, dando
en consecuencia la existencia de E(G).

31
2.2.1. Teorema de Erdos-Ginzburg-Ziv
Teorema 2.2.1 (Erdos-Ginzburg-Ziv) Toda (2n 1)secuencia de un grupo abeliano fi-
nito G de orden n, contiene una n-secuencia de suma cero.

Demostracion.
Sea S una (2n 1)secuencia cualesquiera. Se presentan dos casos:

Caso i. h(S) n. En este caso la secuencia S posee un elemento a que aparece en la se-
cuencia al menos n veces, a partir de esto, construimos a T = an una nsubsecuencia
. . + a} = na = 0.
de S. Luego, |a + .{z
nveces

Por lo tanto, la secuencia T es una nsubsecuencia de S de suma cero.

Caso ii. h(S) < n. Se presentan dos casos:

Caso ii.1. n es un numero primo. Como |S| = 2n 1 y n 1, se cumple que

|S| = 2n 1 = n + (n 1) 1 + (n 1) = n, luego, |S| n. As, por Lema 2.2.1,
particionamos a S en n conjuntos A1 , . . . , An .

Por Teorema 1.3.3 (Cauchy-Davenport Generalizado), tenemos,

( n
)
X
|A1 +A2 +. . .+An | min n, |Ai | n + 1 = min {n, (2n 1) n + 1} = n.
i=1

En consecuencia, |A1 + A2 + . . . + An | = n.

Luego, A1 + A2 + . . . + An = G.

Luego, existen a1 , . . . , an elementos de A1 , A2 , . . . , An respectivamente, tales que,

a1 + a2 + . . . + an = 0.
Por lo tanto, a1 . . . an es una nsubsecuencia de S de suma cero.

32
Caso ii.2. n no es un numero primo. En este caso, haremos la prueba por induc-
cion sobre n.

Si n = 1, no hay nada que probar (ya que en este caso tendramos el grupo trivial
nulo).

Supongamos que n > 1 y que el teorema se cumple para todos los enteros positivos
menores que n (hipotesis inductiva).

Dado que n no es primo, se tiene:

n = uv, donde 1 < u v < n.

Luego, por hipotesis inductiva u y v, satisfacen la tesis del teorema.

Por otra parte, dado que u > 1, se cumple que u 2, en consecuencia:

2n 1 = 2uv 1
2(2)v 1
= 4v 1
2v 1.
Consideremos ahora a S como una secuencia ordenada. Hacemos S1 = S, dado
que |S1 | = 2n 1 2v 1, tenemos que, S1 contiene a una subsecuencia W1 de
longitud 2v 1, luego, por la hipotesis inductiva sobre v existe

T1 = a1i1 . . . a1iv ,
vsubsecuencia de W1 , en consecuencia subsecuencia de S1 , tal que:

a1i1 + . . . + a1iv 0 (mod v).

Sea S2 = S1 \T1 , luego, |S2 | = |S1 ||T2 | = 2n1v = 2uv 1v = (2u1)v 1.

Aplicando el mismo procedimiento, tenemos:

(2u 1)v 1 (2(2) 1)v 1

3v 1
2v 1.

33
As, S2 contiene una subsecuencia W2 de longitud 2v 1, luego, por hipotesis
inductiva sobre v, existe una vsubsecuencia T2 = a2i1 . . . a2iv , de W2 , en conse-
cuencia, subsecuencia de S2 , disjunta de T1 , tal que:

a2i1 + . . . + a2iv 0 (mod v).

Sea S3 = S2 \ T2 , luego, |S3 | = |S2 | |T2 | = (2u 1)v 1 v = (2u 1 1)v 1 =
(2u 2)v 1.

Aplicando el mismo procedimiento, tenemos:

(2u 2)v 1 (2(2) 2)v 1

2v 1.
As, S3 contiene una subsecuencia W3 de longitud 2v 1, aplicando la hipotesis
inductiva sobre v, existe una vsubsecuencia T3 = a3i1 . . . a3iv de W3 y en conse-
cuencia, subsecuencia de S3 , disjunta de T1 , y T2 tal que:

a3i1 + . . . + a3iv 0 (mod v).

Este proceso continua mientras exista x tal que:

(2u x)v 1 2v 1.
Esto es,

2u x 2.
As,

x 2u 2.
Por lo tanto, tomando en cuenta la primera iteracion x = 0, concluimos que:

0 x 2u 2.
Luego, en total hay 2u 2 + 1 = 2u 1 iteraciones, por lo tanto, existen 2u 1
subsecuencias disjuntas Tj = aji1 . . . ajiv , con j = 1, . . . , 2u 1, de S de longitud

34
 v tales que:

aji1 + . . . + ajiv 0 (mod v).

Luego, se tiene:

aji1 + . . . + ajiv = bj v,
donde bj Z, j = 1, . . . , 2u 1.

Entonces, la secuencia b1 . . . b2u1 , por hipotesis inductiva sobre u, contiene una

usubsecuencia,

W = b j 1 . . . bj u ,
tal que:

bj1 + . . . + bju 0 (mod u).

Luego, se tiene:

bj1 + . . . + bju = cu,

para algun c Z. As, se tiene lo siguiente:

u X
X v u
X u
X
ajris = bj r v = v bjr = vcu = cuv = cn 0 (mod n).
r=1 s=1 r=1 r=1

Luego, la secuencia T formada por la concatenacion de u secuencias Tjr = ajri1 . . . ajriv ,

r = 1, . . . , u, de longitud v, asociadas a los bj de la secuencia W, tiene longitud
uv = n y es de suma cero.

En conclusion, en cualquiera de los casos se cumple el teorema.

El siguiente lema, se debe a Gao [12] y lo utilizaremos, para la demostracion del Teorema
2.2.2.

35
Lema 2.2.2 (Gao) Sean G un grupo abeliano finito de orden n, k un entero positivo y S una
(n + k)secuencia de G. Si para cada b G, y cada (k + 1)subsecuencia T de S + b, se tiene
que T , contiene una subsecuencia de suma cero. Entonces S contiene una nsubsecuencia
de suma cero.

Una relacion entre las constantes D(G) y E(G), se encuentra en el teorema dado a con-
tinuacion que fue probado por Gao [12]:

Teorema 2.2.2 Si G es un grupo abeliano finito de orden n, entonces

E(G) = n + D(G) 1.
Demostracion.
Si G es el grupo trivial nulo. |G| = n = 1, por (2.1), D(G) = 1 y por (2.3), E(G) = 1, en
consecuencia se tiene:

E(G) = 1
=1+11
= n + D(G) 1.

Por lo tanto, para n = 1, se cumple el teorema.

Si G no es el grupo trivial nulo, |G| = n 2.

Sea k = D(G) 1, por Definicion 2.1.1, D(G) es un entero y por Observacion 2.1.1,
D(G) 2, luego, D(G) 1 1, en consecuencia k, es un entero positivo.

Sea S una (n + k)secuencia de G, cualesquiera y sea b un elemento de G cualesquie-

ra. Consideremos la secuencia S + b. Por Observacion 1.3.1 iv, |S + b| = |S| = n + k =
n + D(G) 1 2 + D(G) 1 = D(G) + 1 > D(G).

Por lo tanto, S + b contiene al menos una subsecuencia T de longitud k + 1 = D(G).

Luego, por Definicion 2.1.1, existe una subsecuencia U de T de suma cero y como T es una
subsecuencia de S + b, tenemos que U es una subsecuencia de S + b de suma cero.

As, estamos en las hipotesis del Lema 2.2.2, por lo tanto, S contiene una n-subsecuencia
de suma cero.

En consecuencia, dado que |S| = n + D(G) 1, por Definicion 2.2.1,

36
 E(G) n + D(G) 1. (2.4)
Por otro lado, por Definicion 2.1.1, podemos construir una secuencia S1 = x1 . . . xD(G)1
de G no vaca de longitud D(G) 1, tal que para cualquier subsecuencia xj1 . . . xjq de S1 se
cumple:

q
X
xji 6= 0.
i=1

Por el Lema 2.1.1 (lema prehistorico), D(G) n, esto implica que, D(G) 1 n 1.
As, |S1 | n 1.

Sea S2 = 0n1 otra secuencia de G.

Consideremos a S = S1 S2 , una secuencia de G formada por la concatenacion de las se-

cuencias S1 y S2 . As, |S| = (D(G) 1) + (n 1) = n + D(G) 2.

S no contiene nsubsecuencias de suma cero. En efecto, supongamos lo contrario. Existe

V = y1 . . . yn una nsubsecuencia de S, tal que:

n
X
yi = 0. (2.5)
i=1

Dado que, |S1 | n1 y |S2 | = n1, ni S1 ni S2 contienen subsecuencias de suma cero de

longitud n. Por lo tanto, como |V | = n, se cumple que, V = V1 V2 es decir, la concatenacion
de dos subsecuencias V1 y V2 de S1 y S2 respectivamente.

Sin perdida de generalidad, supongamos que V1 = y1 . . . yr y V2 = yr+1 . . . yn .

Como V2 es una subsecuencia de S2 , se cumple:

n
X n
X
yi = 0 = 0. (2.6)
i=r+1 i=r+1

As,

37
 n
X r
X n
X
0= yi = yi + yi por (2.5)
i=1 i=1 i=r+1
Xr
= yi + 0 por (2.6)
i=1
Xr
= yi .
i=1

Luego,

r
X
yi = 0.
i=1

Es decir, la secuencia V1 = y1 . . . yr es una subsecuencia de S1 , de suma cero.

Contradiccion, dado que S1 no contiene subsecuencias de suma cero. Luego, S no contiene

subsecuencias de suma cero y como |S| = n + D(G) 2, se cumple que, E(G) > n + D(G) 2,
por lo tanto,

E(G) n + D(G) 1. (2.7)

As, por (2.4) y (2.7), se cumple:

E(G) = n + D(G) 1.

38
Captulo 3

Constantes con pesos de suma cero

En el ano 2006 Adhikari y Chen, en [2] generalizan a D(G) la constante de Davenport y la

denominan DA (G) constante de Davenport con pesos en A: DA (G) es el menor entero positivo
k tal que para toda secuencia S = x1 , . . . , xk de G existen una subsecuencia xj1 , . . . , xjl no
vaco de S y a1 , . . . , al (ai en A, i = 1, . . . , l) tal que:

a1 xj1 + . . . + al xjl = 0,
y a E(G) la constante de Erdos-Ginzburg-Ziv, la que denominan EA (G) constante de Erdos-
Ginzburg-Ziv con pesos en A: EA (G) es el menor entero positivo t tal que para toda secuencia
S = x1 , . . . , xt de G existen ndices j1 , . . . , jn N, con 1 j1 < . . . < jn t, y v1 , . . . , vn (vi
en A, i = 1, . . . , n) tal que:

v1 xj1 + . . . + vn xjn = 0.
Cuando G = Zn , DA (G) y EA (G), se denotan por DA (n) y EA (n) respectivamente.

En este captulo desarrollaremos el articulo Davenport constant with weights and

some related questions[3], cuyos autores son Sukumar Das Adhikari y Purusottam Rath
presentado en el ano 2006, el cual es el objetivo principal de este trabajo. Consta de dos sec-
ciones. En la seccion 3.1 encontramos EA (G) la constante con pesos de Erdos-Ginzburg-Ziv
y valores de la constante de Erdos-Ginzburg-Ziv con pesos en A de Zn . En la seccion 3.2
encontramos DA (G) la constante de Davenport con pesos en A y el calculo de esta constante
en Zn . Ademas, el calculo de la constante de Davenport con pesos en A de Zp .

3.1. Constante de Erdos-Ginzburg-Ziv con pesos

Definicion 3.1.1 Sea G un grupo abeliano finito de orden n y sea A un subconjunto no vaco
de Zn \ {0}. La constante de Erdos-Ginzburg-Ziv de G con pesos en A, denotada
por EA (G), es el menor entero positivo t tal que para toda tsecuencia S = x1 . . . xt en G,

39
existen nndices j1 , . . . , jn en N, (1 j1 < . . . < jn t) y v1 , . . . , vn elementos de A tal que:

n
X
vi xji = 0.
i=1

En lugar de escribir EA (Zn ) escribiremos EA (n), para cualquier A.

3.1.1. Valores de la constante de Erdos-Ginzburg-Ziv con pesos en

A de Zn
En esta seccion encontramos resultados de la constante de Erdos-Ginzburg-Ziv de Zn con
pesos en determinados conjuntos A, dados por distintos autores, los cuales por la relacion que
existe entre ambos constantes nos permiten obtener valores para la constante de Davenport
con pesos en A.

Los dos resultados siguientes se deben a Adhikari, Chen, Friedlander, Konyagin y Pappa-
lardi [2]:

Lema 3.1.1 Si A = {1, 1} entonces,

EA (n) = n + blog2 nc.

Lema 3.1.2 Si A = {1, 2, . . . , n 1} entonces,

EA (n) = n + 1.

A continuacion daremos un resultado debido a Luca [21]:

Lema 3.1.3 Si A = Zn entonces,

EA (n) = n + (n).
Entederemos por Zn al conjunto formado por los enteros co-primos con n, es decir,

Zn = {a : mcd(a, n) = 1},

40
y por (n), al numero de factores que forman a n entero positivo, esto es, si n = p1 p2 . . . ps ,
donde pi es un factor primo de n, (los pi son no necesariamente distintos), entonces (n) = s.

3.2. Constante de Davenport con pesos

Definicion 3.2.1 Sea G un grupo abeliano finito de orden n y sea A un subconjunto no
vaco de Zn \ {0}. La constante de Davenport de G con pesos en A, denotada por
DA (G), es el menor entero positivo k tal que para cualquier ksecuencia S = x1 . . . xk de G,
existe una lsubsecuencia no-vaca xj1 . . . xjl de S y a1 , . . . , al elementos de A, tal que:

l
X
ai xji = 0.
i=1

En lugar de escribir DA (Zn ) escribiremos DA (n), para cualquier A.

Observacion 3.2.1 Es evidente que DA (n) 2.

En efecto, si A Zn \ {0} es un conjunto cualesquiera y S = 1 es una 1secuencia de

Zn , para cualquier elemento a en A, se tiene que, a 1 6= 0, por lo tanto, DA (n) > 1. Luego,

DA (n) 2.
Para cualquier A Zn \ {0}.

A continuacion, daremos una relacion entre la constante de Erdos-Ginzburg-Ziv con pesos

EA (G) y la constante de Davenport con pesos DA (G) [1].

Lema 3.2.1 Para cualquier A Zn \ {0}, se cumple que:

EA (n) DA (n) + n 1.
Demostracion.
Sea A cualquier subconjunto de Zn \ {0}.

Por Definicion 3.2.1, podemos construir una secuencia S1 = x1 . . . xDA (n)1 de Zn no vaca
de longitud DA (n) 1, tal que para cualquier subsecuencia xj1 . . . xjq de S1 , se cumple:

41
 q
X
ai xji 6= 0,
i=1
con a1 , . . . , aq elementos de A.

Sea S2 = 0n1 una secuencia de Zn , de longitud n 1.

Consideremos a S = S1 S2 una secuencia de Zn formada por la concatenacion de las se-

cuencias S1 y S2 de Zn . En consecuencia, |S| = (DA (n) 1) + (n 1) = DA (n) + n 2

Luego,

|S| = DA (n) + n 2
2+n2 por Observacion 3.2.1
= n.

As,

|S| n.
Afirmamos que, S no contiene subsecuencias T = y1 . . . yn de longitud n, tal que,

n
X
bi yi = 0, (3.1)
i=1
con b1 , . . . , bn elementos de A.

En efecto, supongamos lo contrario. Es decir, existe una nsubsecuencia T de S con pesos

en A de suma cero.

Dado que,

|S1 | = DA (n) 1
21 por Observacion 3.2.1
= 1.

42
 Tenemos:

|S1 | 1.
Por otra parte,

|S2 | = n 1,
Como, |T | = n, necesariamente T = T1 T2 es decir, T es la concatenacion de dos subse-
cuencias T1 y T2 de S1 y S2 respectivamente.

Sin perdida de generalidad, supongamos que T1 = y1 . . . yr y T2 = yr+1 . . . yn .

Como T2 es una subsecuencia de S2 , se cumple:

n
X
bi yi = 0, (3.2)
i=r+1

para cualesquiera br+1 . . . bn elementos de A.

As,

n
X r
X n
X
0= bi yi = bi y i + bi y i por (3.1)
i=1 i=1 i=r+1
Xr
= bi y i + 0 por (3.2)
i=1
r
X
= bi y i .
i=1

Es decir, la secuencia T1 = y1 . . . yr es una subsecuencia de S1 , que satisface:

r
X
bi yi = 0,
i=1
donde b1 . . . br son elementos de A.

Contradiccion, ya que S1 , no contiene subsecuencias con pesos en A de suma cero. Luego,

S no contiene subsecuencias con pesos en A de suma cero y dado que |S| = DA (n) + n 2,

43
tenemos que: EA (n) > DA (n) + n 2, para cualquier A Zn \ {0}, por lo tanto,

EA (n) DA (n) + n 1,
para cualquier A Zn \ {0}.

3.2.1. Calculo de la constante de Davenport con pesos en A de Zn

Lema 3.2.2 Si A = {1, 1} entonces,

DA (n) = blog2 nc + 1.
Demostracion.
Tenemos que:

DA (n) EA (n) n + 1 por Lema 3.2.1

= n + blog2 nc n + 1 por Lema 3.1.1
= blog2 nc + 1.

As, queda demostrado que:

DA (n) blog2 nc + 1. (3.3)

Por otro lado, sea S = 1, 2, . . . , 2r , una (r + 1)secuencia en Zn donde r es un entero no
negativo tal que:

2r+1 n < 2r+2 . (3.4)

As, tenemos:

2r+1 n < 2r+2

log2 2r+1 log2 n < log2 2r+2
r + 1 log2 n < r + 2.
De aqu, como |S| = r + 1 = blog2 nc, se cumple, |S| = blog2 nc.

44
 Afirmamos que S no contiene subsecuencias con pesos en A de suma cero.
0
En efecto, supongamos lo contrario, es decir que existe una subsecuencia S de S. con pe-
0
sos en A de suma cero. Dado que S es una secuencia libre de cuadrados, los elementos de S
0
forman un conjunto finito, y por definicion de S, tenemos que S es un conjunto estrictamente
0 0
creciente, por lo tanto, S posee un elemento maximo, el cual es unico. As, 2w = maxS , con
w {0, 1, . . . , r}.

Por otro lado, se tiene que para cada n entero no-negativo, se cumple que:

n
X
2i = 2n+1 1. (3.5)
i=0

Sea c una suma cualesquiera de S con pesos en A. Por definicion de maximo tenemos que:

r
X r
X
i
1 2 c 2i . (3.6)
i=0 i=0

Por (3.4), (3.5) y (3.6), tenemos:

n (2r+1 ) < (2r+1 1) c 2r+1 1 < 2r+1 n.

Por lo tanto,

n < c < n.
En consecuencia, cualquier suma con pesos en A de S, esta acotada estrictamente entre
n y n.
0
Por lo tanto, como S es una subsecuencia de S con pesos en A cuya suma es d de suma
cero, tenemos que d = 0 (elemento neutro de Z). Queda descartado que todos los elementos
0
de S esten multiplicados por 1 o por 1, porque en tal caso d es estrictamente mayor que 0
0
o estrictamente menor que 0 respectivamente. As, los pesos de S son 1 y 1.
0
Supongamos que S1 y S2 constituyen una particion de S , donde los elementos de S1 son
multiplicados por el peso 1 y los elementos de S2 son multiplicados por el peso 1.

Sean,

S1 = {s11 , . . . , s1t }, luego, |S1 | = t.

45
 S2 = {s21 , . . . , s2q }, luego, |S2 | = q.
0
As, |S | = t + q.

En consecuencia, se tiene que:

q
t
!
X X
0=1 s1 j + 1 s2i . (3.7)
j=1 i=1

Multiplicando por 1, a (3.7), se tiene:

t q
X X
0 = 1 s1j + 1 s2i .
j=1 i=1

En consecuencia, si invertimos los pesos de S1 y S2 , la suma de los elementos de S1 y de

0
S2 con los pesos es igual a 0, por esta razon, podemos tomar cualquier elemento de S , sin
perdida de generalidad, en S1 o en S2 . Por lo tanto tomamos a 2w en S1 .

Como 2w S1 , la suma de los elementos de S2 , esta acotada superiormente, por la su-

matoria de los elementos 2i con i {0, 1, . . . , w 1}, ya que es la suma maxima posible que
existe con los elementos de S2 , esto es,

q
X
b= s2 i
i=1
w1
X
2i ya que 2w S1
i=0
w
=2 1 por (3.5)
< 2w .

Luego,

b < 2w . (3.8)
Por otro lado, sea

46
 t
X
a= s1j
j=1
w
2 . esto se cumple para cualquier elemento en S1 , en particular para 2w

As,

a 2w . (3.9)
Por (3.7), (3.8) y (3.9), tenemos que:

q
t
!
X X
0=1 s1j + 1 s2i = a + (b) > 2w + (2w ) = 0.
j=1 i=1

Luego,

0 > 0.
Contradiccion. As hemos probado que S no contiene subsecuencias con pesos en A de
suma cero.

En consecuencia se tiene:

DA (n) > |S| = blog2 nc.

As,

DA (n) blog2 nc + 1. (3.10)

En consecuencia, por (3.3) y (3.10), cuando A = {1, 1},

DA (n) = blog2 nc + 1.

47
Lema 3.2.3 Si A = {1, 2, . . . , n 1} entonces,

DA (n) = 2.
Demostracion.
Por Observacion 3.2.1,

DA (n) 2. (3.11)
Por otra parte,

DA (n) EA (n) n + 1 por Lema 3.2.1

=n+1n+1 por Lema 3.1.2
= 2.

Luego,

DA (n) 2. (3.12)
Por (3.11) y (3.12), cuando A = {1, 2, . . . , n 1}, tenemos:

DA (n) = 2.

Lema 3.2.4 Si A = Zn entonces,

DA (n) = 1 + (n).

Demostracion.
Tenemos que:

DA (n) EA (n) n + 1 por Lema 3.2.1

= (n + (n)) n + 1 por Lema 3.1.3
= (n) + 1.

48
 As, queda demostrado que:

DA (n) (n) + 1. (3.13)

Por otro lado, escribiremos n como el producto de sus factores primos, n = p1 . . . ps ,
luego, (n) = s. Consideremos la ssecuencia S = p0 , p1 , p1 p2 , . . . , p1 p2 . . . ps1 , donde
p0 = 1. Notese que S es una secuencia ordenada en funcion del producto de sus factores, con
|S| = (n).

Afirmamos que S, no contiene subsecuencias con pesos en A de suma cero.

En efecto, supongamos lo contrario, es decir que existe una msubsecuencia T de S con

pesos en A de suma cero.

Sin perdida de generalidad, escribimos a T como una subsecuencia ordenada en funcion

del ordenacion dada en la secuencia S, as,

T = p0 p1 . . . pr , . . . , p0 p1 . . . pr pr+1 . . . pr+u ,
con r {0, 1, . . . , s} y u {0, . . . , s r}

Por lo que existen a1 , . . . , am elementos de A, tales que:

a1 p0 p1 . . . pr + . . . + am p0 p1 . . . pr pr+1 . . . pr+u = 0. (3.14)

Multiplicando ambos lados de la igualdad dada en (3.14) por pr+2 . . . ps , obtenemos que
todos los elementos del lado izquierdo de (3.14), exceptuando el primer elemento, son multi-
plos de p1 . . . pr pr+1 pr+2 . . . ps = n, y ya que p0 = 1, se tiene que (3.14) queda como sigue:

a1 p1 . . . pr pr+2 . . . ps + 0 + 0 . . . + 0 = 0.
Esto es,

a1 p1 . . . pr pr+2 . . . ps = 0. (3.15)
Por definicion de congruencia modulo n aplicada a (3.15), se tiene que existe un k entero,
que cumple lo siguiente:

a1 p1 . . . pr pr+2 . . . ps = kn
a1 p1 . . . pr pr+2 . . . ps = kp1 . . . pr pr+1 pr+2 . . . ps
a1 = kpr+1 .

49
 Contradiccion, ya que a1 es primo relativo de n, por lo tanto se tiene,

DA (n) > (n).

Luego,

DA (n) 1 + (n). (3.16)

Por (3.13) y (3.16), cuando A = {1, 2, . . . , n 1}, tenemos:

DA (n) = 1 + (n).

Teorema 3.2.1 Si A es uno de los conjuntos de la cadena {1} {1, 1} Zn {1, 2, . . . , n

1}, entonces

EA (n) = DA (n) + n 1.
Demostracion.

Cuando A = {1}, por el Teorema 2.2.2, se cumple:

EA (n) = E(Zn ) = D(Zn ) + n 1 = DA (n) + n 1.

Cuando A = {1, 1}, por los Lemas 3.1.1 y 3.2.2, se tiene:

EA (n) = n + blog2 nc = n + DA (n) 1 = DA (n) + n 1.

Cuando A = {1, 2, . . . , n 1}, por los Lemas 3.1.2 y 3.2.3, se cumple:

EA (n) = n + 1 = n + 2 1 = n + DA (n) 1 = DA (n) + n 1.

Cuando A = Zn , por los Lemas 3.1.3 y 3.2.4, se obtiene:

EA (n) = n + (n) = n + DA (n) 1 = DA (n) + n 1.

50
 Queda entonces demostrado el teorema, para cada uno de los conjuntos de la cadena dada.

3.2.2. Calculo de la la constante de Davenport con pesos en A de

Zp
Teorema 3.2.2 Sea A = {1, 2, . . . , r} , donde r es un entero positivo tal que 1 < r < p,
entonces,
lpm
DA (p) = .
r
Demostracion.
Sea S = s1 . . . sk , una ksecuencia de Zp , donde k = d pr e.
0 0
Consideremos la secuencia S = sr1 . . . srk , esto es, vsj (S ) = r, para todo j, 1 j k.

En consecuencia,
k k lpm
0 0
X X
|S | = vsj (S ) = r = rk = r .
j=1 j=1
r

Por otro lado, por definicion,

p lpm
.
r r
De aqu,

lpm 0
pr = |S |.
r
As,

0
|S | p.
0
Por lo tanto, por el Lema 2.1.1, se tiene que la secuencia S , posee una subsecuencia T
de suma cero,

m
T = sm q
11 . . . s1q ,
1

donde mi = vs1i (T ), para todo i, 1 i q y 1 mi r.

51
 Luego, como T es una secuencia de suma cero, tenemos:

X
mi s1i = 0.
1iq
0
En consecuencia, tenemos que T = s11 .. . s1q , es una qsubsecuencia de S con pesos en
{m1 , . . . , mq } A de suma cero y |S| = pr .

Luego,

lpm
DA (p)
. (3.17)
r
Por otro lado, consideremos la secuencia W = 1m , donde m = v1 (W ) = d pr e 1. luego,
|W | = d pr e 1.
0
Sea W = 1t una tsubsecuencia no-vacia de W , donde

lpm
0<tm= 1,
r
luego,

lpm
0<t< .
r
p
Como t es un entero positivo, y por definicion r
es el menor entero positivo, mayor que
p
, tenemos que:
r

p
0<t< .
r
Por lo tanto,

0 < tr < p.
0
Sea A = {a1 , . . . , at } A, luego, 1 ai r, con 1 i t.

De aqu, se tiene que:

t
X t
X t
X
0< 1 ai r.
i=1 i=1 i=1

52
 Por lo tanto,

t
X
0<t ai tr < p.
i=1

As,

t
X
0< ai < p.
i=1

En consecuencia,

t
X
ai 6= 0,
i=1
p
para cualquier t con 0 < t < .
r
Luego, W no contiene subsecuencias con pesos en A de suma cero.

Entonces,

lpm
DA (p) > 1.
r

Lo cual implica que:

lpm
DA (p) . (3.18)
r
Por (3.17) y (3.18), se tiene que:
lpm
DA (p) = .
r

Teorema 3.2.3 Sea A = {1, 2, . . . , r} , donde r es un entero positivo tal que 1 < r < p,
entonces,

EA (p) = p 1 + DA (p).

53
 Demostracion.
Sea S = s1 . . . sN una N secuencia cualesquiera de Zp , donde N = p 1 + d pr e.

Como 1 < r < p, tenemos:

p
> 1.
r
En consecuencia, por definicion,

p lpm
1< < .
r r
Luego,

lpm
> 1,
r
por lo tanto,

lpm
2.
r
As,

lpm
|S| = N = p 1 + p 1 + 2 = p + 1.
r
Entonces,

|S| p + 1.
Por lo tanto, la secuencia S posee al menos p + 1 elementos.

Se pueden presentar dos casos:

Caso I. La secuencia S tiene al menos p elementos distintos de cero.

0
Sea S = si1 si2 . . . sip , una p-subsecuencia de S, cuyos elementos son todos distintos de
cero.

54
Consideremos los conjuntos Ak = {sik , 2sik }, subconjuntos de Zp , con k = 1, . . . , p. De
aqu, |Ak | = 2, para todo k, con k = 1, . . . , p.

Dado que Zp , es un grupo, tenemos que:

A1 + A2 + . . . + Ap Zp . (3.19)
Por otro lado, por Teorema 1.3.3 (Cauchy-Davenport generalizado),

p
( )
X
|A1 + A2 + . . . + Ap | min p, |Ak | p + 1
k=1
p
( )
X
= min p, 2p+1
k=1
= min {p, 2p p + 1}
= min {p, p + 1}
= p.

Por lo tanto,

|A1 + A2 + . . . + Ap | p.

As,

Zp A1 + A2 + . . . + Ap . (3.20)
Por (3.19) y (3.20),

A1 + A2 + . . . + Ap = Zp .
Luego, 0 A1 + A2 + . . . + Ap , entonces por la Definicion 1.3.2 (suma generalizada de
conjuntos) existe ak Ak para cada k {1, . . . , p}, tal que,

55
 p
X
ak = 0, (3.21)
k=1

donde, ak = sik o ak = 2sik .

Por lo tanto,

p
X
bk sik = 0, donde bk {1, 2} A.
k=1
0
As, S = si1 si2 . . . sip es una p-subsecuencia de S con pesos en {1, 2} A de suma cero.

Caso II. La secuencia S tiene a lo sumo p 1 elementos distintos de cero.

Supongamos, sin perdida de generalidad, que los t primeros elementos de la secuencia

S son iguales a cero, esto es, s1 = s2 = . . . = st = 0.

Luego, S se puede expresar como la concatenacion de dos subsecuencias, una la tsubsecuencia

T = s1 s2 . . . st = 0t , y otra la subsecuencia H = st+1 st+2 . . . sN formada por los elemen-
tos de S, que son distintos de cero, por lo tanto |H| p 1.

Como T es una subsecuencia de S cuyos elementos son todos cero, se tiene que T es una
subsecuencia de S con pesos en B de suma cero, para todo subconjunto B no vaco de A.

As, |S| = N = t + |H|, en consecuencia,

lpm
p1+ = t + |H| t + p 1.
r
Luego,

lpm
|T | = t .
r
Consideremos ahora a I = {r1 , . . . , rl } {t+1, t+2, . . . , N }, como el maximo conjunto
0
tal que existe una subsecuencia H = sr1 . . . srl de H, con pesos en A de suma cero tal
0
que l = |I| = |H |.

56
Luego, l + t p.

Supongamos lo contrario, es decir,

l + t < p.

Sea C = {t + 1, t + 2, . . . , N }{r1 , . . . , rl }, luego,

|C| = N t 1 + 1 l
= N (l + t)
lpm
=p1+ (l + t)
l pr m
>p1+ p
lpm r
= 1.
r

Luego,

lpm
|C| .
r
0
 p consecuencia, existe una subsecuencia F de H, disjunta con H , tal que |F | = |C|
En
r
.

0 0
As, por Teorema 3.2.2, existe F subsecuencia de F disjunta con H , en consecuencia
0
subsecuencia de H, con pesos en A de suma cero, tal que |F | = m > 0.

0
Luego, podemos construir una subsecuencia W de H, concatenando las secuencias H
0
y F , tal que |W | = |I| + m > |I|. Por lo tanto, W , es una secuencia con pesos en A de
suma cero, lo cual contradice la maximalidad de I.

En consecuencia, lo supuesto, l + t < p es falso, luego, l + t p.

Si I = , significa que H no contiene subsecuencias con pesos en A de suma cero.

En tal caso, t p, por lo tanto basta tomar p elementos de la subsecuencia T de S y

57
 cualquier subconjunto de A, y se cumple el teorema.

Si I 6= , entonces construimos una subsecuencia V de S, concatenando la lsubsecuencia

0
H de H con una (p l)subsecuencia de T , (lo cual se puede hacer, ya que t p l),
s1 s2 . . . spl = 0p1 , luego V = s1 s2 . . . spl sr1 . . . srl , en consecuencia |V | = l +pl = p.

As, V es una psubsecuencia de S con pesos en A de suma cero, lo cual es lo deseado.

De los Casos (I) Y (II), se tiene que:

lpm
EA (p) p 1 +
r
= p 1 + DA (p). por Teorema 3.2.2

As, se cumple que:

EA (p) p 1 + DA (p), (3.22)

con A = {1, 2, . . . , r}.

Ademas, por el Lema 3.2.1, se tiene que:

EA (p) p 1 + DA (p). (3.23)

Para cualquier A Zp \ {0}, en particular se cumple para el conjunto {1, 2, . . . , r}.

Por (3.22) y (3.23), tenemos que:

EA (p) = p 1 + DA (p).

Teorema 3.2.4 Sea A el conjunto de residuos cuadraticos (mod p), entonces se cumple:

i) DA (p) = 3.

58
ii) EA (p) = p + 2.

Demostracion.

Sea S = s1 . . . sp+2 una (p + 2)secuencia cualesquiera en Zp .

Consideremos el sistema de ecuaciones con p + 2 variables sobre el campo finito Zp si-

guiente:

p+2

X
si x2i = 0.

(a)





i=1

(I)



p+2
X
xip1 = 0.

(b)


i=1

Consideremos los polinomios homogeneos:

p+2 p+2
X X
f1 (x1 , . . . , xp+2 ) = si x2i y f2 (x1 , . . . , xp+2 ) = xp1
i ,
i=1 i=1

de grado 2 y p 1, respectivamente.

Por otro lado, se cumple que, degf1 + degf2 = 2 + (p 1) = p + 1 < p + 2, donde

p + 2 es el numero de variables, y ademas es claro que el sistema de ecuaciones (I) tie-
ne la solucion trivial. Por lo tanto, el sistema de ecuaciones (I), cumple las hipotesis del
Corolario 1.2.1 (Chevalley-Warning). As, el sistema de ecuaciones (I) posee una solucion
no-trivial y1 , . . . , yp+2 , donde cada yi Zp , para todo i {1, . . . , p + 2}. Por lo tanto, existe
i, 1 i p + 2, tal que, yi 6= 0.

Sea I = {i : yi 6= 0}, en consecuencia, I 6= . Luego por (a):

X
yi2 si = 0. (3.24)
iI

Como yi Zp , para todo i I, ord(yi ) = p, y como p > 2 esto implica por la definicion
de orden, que para todo i I, yi2 6= 0.

Sean ai los elementos de Zp , tales que, yi2 = ai , en consecuencia sustituyendo en (3.24),

tenemos:

59
 X
ai si = 0, (3.25)
iI

Por definicion de residuo cuadratico, ai es un residuo cuadratico de p, para todo i I es

decir, ai A, para todo i I.

Por otro lado, para cada yi en Zp , con i I, se tiene:

0 < yi < p.
As, por Observacion 1.2.1, mcd(yi , p) = 1. Luego por Teorema 1.2.2, yip1 = 1 en Zp ,
para todo i I. Por lo tanto, por (b), en Zp se tiene:

X X
|I| = 1|I| = 1= yip1 = 0.
iI iI

En consecuencia,

|I| 0 (mod p)
Por otra parte, como la solucion del sistema es no-trivial, se tiene que |I| > 0, y como
hay p + 2 variables, se cumple que |I| p + 2 < p + p = 2p, dado que p > 2, en consecuencia,
0 < |I| < 2p, como |I| 0 (mod p), se tiene que, |I| es multiplo de p, luego |I| = p.

Luego por (3.25) se tiene:

p
X
aij sij = 0.
j=1

Con sij S y aij A, luego tenemos, que la secuencia S1 = si1 , . . . sip es una psubsecuencia
de S con pesos en {ai1 , . . . , aip } A de suma cero, en consecuencia:

EA (p) p + 2. (3.26)
Por Lema 3.2.1, se tiene que EA (p) DA (p) + p 1, para cualquier A Zp \ {0} y por
(3.26), se cumple que,

60
 DA (p) EA (p) p + 1
(p + 2) p + 1
= 3.

As, se cumple:

DA (p) 3. (3.27)
Ahora, probaremos por reduccion al absurdo, que DA (p) 3. Supongamos lo contrario,
es decir que, DA (p) 2. Como por Observacion 3.2.1, DA (p) 2, se cumple que DA (p) = 2.

Consideremos la 2secuencia v1 , v2 , donde v1 es un residuo cuadratico de p y v2 es un

no-residuo cuadratico de p. Como DA (p) = 2, existen {a1 , a2 } A, es decir a1 y a2 son
residuos cuadraticos de p, tales que a1 v1 + a2 (v2 ) = 0, luego, a1 v1 = a2 v2 , contradiccion,
ya que por las propiedades de los residuos cuadraticos (iii) y (v), se tiene que: a1 v1 es un
residuo cuadratico y a2 v2 es un no-residuo cuadratico, respectivamente.

Por consiguiente, se cumple:

DA (p) 3. (3.28)
Por (3.27) y (3.28), se tiene que:

DA (p) = 3. (3.29)
Quedando probada as la parte (i) del teorema.

Usando de nuevo, el Lema 3.2.1, se cumple: EA (p) DA (p) + p 1, para cualquier

A Zp \ {0} y por (3.29), se obtiene:

EA (p) DA (p) + p 1
=3+p1
= p + 2.

En consecuencia:

61
 EA (p) p + 2. (3.30)
As, por (3.26) y (3.30), tenemos:

EA (p) = p + 2.
Luego, probamos la parte (ii) del teorema.

62
Bibliografa

[1] S. D. Adhikari. Aspects of combinatorics and combinatorial number theory. Narosa. New
Delhi. 2002.

[2] S. D. Adhikari, Y. G. Chen, J. B. Friedlander, S. V. Konyagin and F. Pappalardi.

Contributions zero-sum problems. Discrete Math. 306. 1-10. (2006).

[3] S. D. Adhikari, P. Rath. Davenport constant with weights and some related questions.
Integers: Electronic Journal of Combinatorial Number Theory 6. A30. (2006).

[4] N. Alon, A. Bialostocki and Y. Caro. The extremal cases in the Erdos-Ginzburg-Ziv
Theorem. unpublished (1991).

[5] A. Bialostocki, P. Dierker, D. J. Grynkiewicz, and M. Lotspeich. On Some Developments

of the Erdos-Ginzburg-Ziv Theorem II. Acta Arith 110. no. 2. 173-184. (2003).

[6] A. L. Cauchy. Recherches sur les Nombres. J. Ecole Polytech. 9. 99-116. (1813).

[7] Y. Caro. Zero-sum problems - A survey. Discrete Math. 152. 93-113. (1996).

[8] H. Davenport. On the addition of residue classes. J. London Math. Soc. 10. 30-32. (1935).

[9] H. Davenport. Proceedings of the Midwestern Conference on Group Theory and Number
Theory. Ohio State University. April 1966.

[10] P. Erdos, A. Ginzburg and A. Ziv. Theorem in the addive number theory. Bull. Res.
Council Israel 10F. 4143. (1961).

[11] P. Erdos, R. Graham. Old and new problems results in combinatorial number theory.
Monographie 28 de LEnseignement Mathematique. Geneve. (1980).

[12] W. D. Gao. A combinatorial problem on finite abelian groups. J. Number Theory 58.
100-103. (1996).

[13] W. D. Gao and A. Geroldinger, Zero-sum problems in finite abelian groups: A survey.
Expositiones Mathematicae 24. no. 4. 337-369. (2006).

[14] W. D. Gao, W. Jin. Weighted sums in finite cyclic groups. Discrete Math. 283 (1-3).
243-247. (2004).

63
[15] A. Geroldinger and F. Halter-Koch. Non-Unique Factorizations. Chapman Hall. CRC.
(2006).

[16] D. J. Grynkiewiez. A weighted version Erdos-Ginzburg-Ziv theorem. Combinatorica 26

(4). 445-453. (2006).

[17] Y. O. Hamidoune. On weighted sequences sums. Combin. Probad. Comput. 4. 363-367.

(1995).

[18] Y. O. Hamidoune. On weighted sums in abelian groups. Discrete Math. 162. 127-132.
(1996).

[19] I. N. Herstein. Topics in Algebra. Blaisdell Publishing Company. 1964.

[20] T. W. Hungerford. Algebra. Springer-Verlag. 1989.

[21] F. Luca. A generalization of a classical zero-sum problem. Discrete Math 307. 1672-1678.
(2007).

[22] H. B. Mann. Addition theorems. Interscience tracts in pure and applied mathematics
18. Wiley & Sons. (1965).

[23] L. E. Marchan. Sumas de secuencias con pesos en grupos abelianos finitos. Trabajo de
ascenso (categora de Agregado. UCLA). (2011).

[24] M. Nathanson. Additive Number Theory. Springer- Verlag. New York Berln Heidelberg.
1996.

[25] J. P. Serre. A course in Arithmetic. Springer. 1973.

[26] R. Thangadurai. Interplay between four conjectures on certain zero-sum problems. Expo.
Math. 20. no. 3. 215-228. (2002).

64