Tesis PDF

UNIVERSIDAD CENTROCCIDENTAL
LISANDRO ALVARADO
De anato de Cien ias y Te nología

Li en iatura en Cien ias Matemáti as
La Constante de Harborth para Grupos

Diédri os
Trabajo Espe ial de Grado presentado por
Br. Liseth Andreina Mendoza Cama ho
omo requisito final
para obtener el título de Li en iado
en Cien ias Matemáti as
Área de Cono imiento: Álgebra Abstra ta.
Tutor: Dr. Dennys Ramos
Barquisimeto, Venezuela. Noviembre de 2020

Universidad Centro idental
Lisandro Alvarado
De anato de Cien ias y Te nología
Li en iatura en Cien ias Matemáti as
ACTA
TRABAJO ESPECIAL DE GRADO
Los sus ritos miembros del Jurado designado por el Jefe del Departamento de Ma-
temáti as del De anato de Cien ias y Te nología de la Universidad Centro idental
Lisandro Alvarado, para examinar y di tar el veredi to sobre el Trabajo Espe ial de
Grado titulado:
La Constante de Harborth para Grupos Diédri os
presentado por la iudadana Br. Liseth Andreina Mendoza Cama ho titular

de la Cédula de Identidad No. 18071777, on el propósito de umplir on el requisito
a adémi o nal para el otorgamiento del título de Li en iado en Cien ias Matemáti as.
Luego de realizada la Defensa y en los términos que imponen los Lineamientos para
el Trabajo Espe ial de Grado de la Li en iatura en Cien ias Matemáti as, se pro edió
a dis utirlo on el interesado habiéndose emitido el veredi to que a ontinua ión se
expresa:
1
Con una ali a ión de puntos.

En fe de lo expuesto rmamos la presente A ta en la Ciudad de Barquisimeto a los
días del mes de de .
TUTOR FIRMA
PRINCIPAL FIRMA
PRINCIPAL FIRMA
OBSERVACIONES:
1 Aprobado ó Reprobado
Mi trabajo espe ial de grado está dedi ado al mejor Maestro que
pueda existir, el mejor de todos los tiempos, mi Señor
Jesu risto, a mi amada madre, on la nobleza que la ara teriza,
a mi amorosa hermana Neila, mujer generosa, llena de virtudes,
a mi elo uente y talentoso Carlitos José on su algarabía, a mi
extraordinaria Paulina Sophia on su orazón llenito de amor y
bondad, a mi imponente Carlos Felipe, siempre tan a ertado,
sabio y de idido. A mis maestros y amigos, a todos los que me
motivaron, me inspiraron, me a ompañaron en el amino, me
apoyaron de un modo u otro y a los que nun a dudaron de mis
apa idades y de que lo lograría. A todos ustedes, les agradez o
desde el fondo de mi orazón y les dedi o el presente trabajo.
AGRADECIMIENTOS
¾Cómo ha e una persona para de ir mu has gra ias uando hay tantos a quien
agrade er? No se omo ha erlo, pero lo que sí prometo es intentarlo, aquí voy.
En primer lugar le quiero dar gra ias al Dios Eterno por haberme permitido realizar
on éxito mi TEG, gra ias por tu bella promesa de que Todo tiene su tiempo y todo
lo que se quiere debajo del sol tiene su hora Es lesiatés 3:1 Toda la gloria sea para
Dios. Gra ias Abba por darme vida, salud, gra ia, favor, provisiones, la visión y la fe
ne esaria para para seguir adelante, on la erteza de un futuro lleno olores y esperanza
(Jeremías 29:11). Gra iasmi Dul e Jesús, ono erte me ha he ho una mejor persona,
a ada instante le agregas valor a mi vida y me re uerdas que Si reo, TODO es
posible Mateo 9:23. Gra ias Espíritu Santo por ser mi amigo el, mi ompañero de
guerra, mi onsuelo en los momentos adversos, mi fuente de inspira ión en mis estudios,
mi fuerza, mi paz en la tormenta y mi ompañía en todo lugar, Eres más que su iente.
A mi amorosa hermana Neila, su apoyo emo ional, espiritual, nan iero e in ondi-
ional hizo posible éste gran logro, no se que sería de mi sin ti, mujer virtuosa eres la
mejor hermana que existe en el globo terráqueo y yo tengo el privilegio de ser tu úni a
hermanita, gra ias por tu pa ien ia, por tu lealtad y por siempre reer en mi; siento en
mi espíritu que fuiste la úni a persona que nun a dudó en que lo lograría; gra ias por
re ordarme onstantemente que Todo lo puedo en Cristo que me fortale e Filipenses
4:13. Gra ias porque has sido un buen ejemplo de perseveran ia y trabajo, mi oa h, mi
líder espiritual, mi mentora, mi pañito de lágrimas, mi ompañera de guerra, mi mejor
amiga y hasta mi papá, gra ias por las provisiones, gra ias por todo mi gordita bella,
gra ias por tanto.
A mis padres, han sido poderosos modelos de edu a ión y valores bien forjados, me
enseñaron que hay poder en el servi io al prójimo, gra ias a mi madre por enseñarme
el amor, la amabilidad, la generosidad, la dis re ión, la nobleza, gra ias le doy a Dios
i
ii Agrade imientos
por tu hermoso orazón mamita linda.
A mi estimado tutor, Prof. Dennys Ramos por atender mi soli itud de tutoría,
gra ias por su pa ien ia, por su nobleza, por sus ono imientos, por sus aportes, por la
seguridad y la paz que siempre me trasmitía, gra ias a mi otutor y gran maestro Prof.
Mario Rodríguez, guao prof. mu has gra ias por ser una fuente motiva ional a tiva,
gra ias por estar pendiente de mi, gra ias por alentarme e infundirme ánimo y energía
para proseguir en la lu ha y no desmayar, aún uando yo pensaba que me quedaba sin
baterías, gra ias por sus ono imientos, por su pa ien ia, por sus enseñanzas, gra ias
porque siempre está presto para ayudar a los demás y eso demuestra que tiene un
enorme orazón. Los bendigo a ambos en gran manera y le pido a Dios que los bendiga
de una manera espe ial, gra ias gra ias gra ias.
A los profesores del departamento de matemáti as, en espe ial al Prof. Javier Her-
nández por que ha he ho una ex elente labor omo dire tor de programa de la li en ia-
tura en ien ias matemáti as, sin dejar a un lado su humildad y alidad humana, está
pendiente de todas las ovejitas que se quedan en el amino on una patita lesionada,
gra ias por estar pendiente de mi, por mantenerme informada y siempre tener una pa-
labra de aliento y esperanza, mil gra ias. A los profesores Ebner Pineda, Zita Pereira,
Eibar Hernández, Luz Elimar Mar hán, Rommel Rodríguez, Vi tor Caru í, Juran y
Ereú, Henry Rojas, Clavel Quintana, Alexander Mendoza, Jhonny Es alona y Yadira
Álvarez, entre otros. También a memoria de los grandes maestros: Ni olás Arias y Jorge
Saenz, gra ias por sus legados.
A toda mi familia y a mis amigos, en espe ial y sin ningún orden a: Mis sobrinos,
mi uñado Carlos Alfredo, Aldemar, Paisano, Diana, tía Bertha, Yame, tío Alirio, mi
hermano Jesús, Yura, Katy, Elo, Roderi , Ronald, O talis, Junior, Andrés Eloy, Oli-
ver, Luisen, Astrid, Angela, Dellys, Diana, Shadday, Yuri, Gustavo, Hernán, Samir,
Sra. Zulay, Edy, tías de Enuar, Sr. Rodri, Sra Chepa, Sra. Yaneth, Deiza, Elias, Ce-
sar, Mariela, María Celeste, pastor Juan Carlos, Anyi, Damelis, Dante, Joel, Johana,
Yojeidy, Joseidy, Zena, Jessi, Mariangel, Celismar, Eloy, Wlady, Fer, Elie er, Karve,
Dignora, Ana, Blan o, Waidermar, Jogselis, Ery, Carlitos, Reinaldo, Ronny, Claudia,
Rafael, Gaby, Génesis, Lenny, Lea, Andrea, Thais, Ve ina de las Brisas del Obelis o, Sr.
Edie, Mi hel, Sra. Grebella, Ara elis, Sra. Josena, al personal obrero-administrativo,
bibliote arios, gra ias a todos mis alumnos por mantener a tivos mis ono imientos...Y
Br. Liseth Andreina Mendoza Cama ho iii
si olvido men ionar a alguien, le ofrez o una dis ulpa.
Gra ias Señor por la salud, por todos los talentos y virtudes que me diste, gra ias
por las vi torias, gra ias por los pro esos que me a er aron más a ti, gra ias por el
ADN y la identidad de hija. Te daré gra ias, porque maravillosamente he sido he ha;
maravillosas son tus obras y mi alma lo sabe muy bien (Salmos 139:14) Hoy re onoz o
que si brillo es por tu luz, toda la gloria sea para Dios.
Innitamente agrade ida, esto es para ustedes...

R ESUMEN
La onstante de Harborth para un grupo nito G, denotado por g(G) es el menor
entero k, tal que ada sub- onjunto {g1 , g2 , . . . , gk } ⊂ G de ardinalidad k, admite una
Yl
sub-se uen ia nita (gi1 , . . . , gil ) on l = exp(G) tal que g ij = 1 , la misma, ha sido
j=1
bien estudiada para varias lase de grupos abelianos, pero no tan bien para grupos no
abelianos.
En éste trabajo, vamos a estudiar la onstante de Harborth para el grupo diédri o
D2n explí itamente, el ual sabemos que no es abeliano y umple on iertas propie-
dades estru turales que serán de gran importan ia para la demostra ión de el teorema
prin ipal, la ual será el enfoque y orazón del trabajo de grado.
v
Í NDICE
Agrade imientos i
Resumen v
Introdu ión 1
1. Preliminares 3
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Grupos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Grupos Generados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6. Teoría de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2. La Constante de Harborth y Los Grupos Diédri os 13

2.1. Harborth y su famosa onstante . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Fun iones Parte Entera . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3. Teorema Harborth-Diédri o sus Con lusiones y Algunas Apli... 31

3.1. Teorema Harborth-Diédri o . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2. Con lusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3. Algunas apli a iones de los grupos diédri os . . . . . . . . . . . . . . . 42
Referen ias Bibliográ as 43
vii
I NTRODUCCIÓN
Para un grupo nito G, es rito multipli ativamente, denotando on 1 el elemento
identidad de G, un 1-produ to onstante de G, es el menor entero k, tal que ada on-
junto {x1 , x2 , . . . , xk } (o se uen ia (x1 , . . . , xk ), respe tivamente) de elementos de G, de

ardinal k (o longitud k, respe tivamente.) tiene un sub onjunto {xi1 , . . . , xil } (o sub-
Yl
se uen ia, (xi1 , . . . , xil ) respe tivamente) tal que xτ (ij ) = 1 mantiene para algunas
j=1
permuta iones τ de {i1 , i2 , . . . , il }. Aquí el sub onjunto {xi1 , . . . , xil } (o subse uen ia
(xi1 , . . . , xil ), respe tivamente) se di e que es 1-produ to sub onjunto (o subse uen ia
respe tivamente). Si el grupo G es abeliano, es rito aditivamente, enton es vamos a re-
ferirnos a 1-produ to sub onjunto (o subse uen ia respe tivamente) omo sub onjuntos
de suma ero (o subse uen ia es respe tivamente).
Un interesante onjunto de invariantes surge uando se impone alguna estru tu-
ra adi ional, ya sea en ualquiera de las se uen ias en onsidera ión, que admitan 1-
produ to subse uen ia no trivial, o la estru tura de subse uen ia de un produ to en si.
Por ejemplo, la onstante de Davenport de un grupo abeliano G, es el mínimo entero
k de tal forma que ualquier se uen ia (x1 , . . . , xk ) admite una subse uen ia de suma-0
no trivial.
La onjetura de Erd®s-Heilbronn (que fue resuelta por Szemerédi ver [15℄ para gru-
pos í li os hasta un fa tor onstante) onsidera el problema de determinar el mínimo k

de tal manera que ada sub onjunto de un grupo abeliano G, admite una subse uen ia
de sumas-0 no trivial, así que este esotro tipo de grupo invariante que surge al imponer
una espe ie de restri ión a las se uen ia es que se están examinando.
El teorema de Erd®s-Ginzburg-Ziv [5℄, que indi a que ualquier se uen ia de 2n − 1

elementos, del grupo í li o de tamaño n, admite una subse uen ia de suma-0 de tamaño
n, la misma es una instan ia de una invariante en la que uno impone una restri ión de
ardinalidad sobre la subse uen ia de suma-0, esto ondu e a lo que se llama el EGZ
1
2 Introdu ión
onstante de un grupo. Más tarde, motivado por un problema en los puntos de elosía,
Harborth [9℄ introdujo otra invariante de un grupo abeliano G, llamada su onstante
Harborth, que se dene omo el mínimo k , de forma que ada sub onjunto de tamaño k
admite un sub onjunto de suma-0 de tamaño exp(G). En aso de que tal onstante no
está bien denida (por ejemplo, para un grupo í li o de orden 2n, y el onjunto K = G,
no hay subse uen ia de suma-0 de tamaño 2n), la onstante Harborth se dene omo
|G| + 1 La onstante Harborth es ono ida sólo por algunas lases de grupos abelianos;
Ver [13℄ para más detalles.
Ahora, la mayoría de las invariantes men ionadas fueron denidas y estudiadas
prin ipalmente para grupos abelianos, ha habido asos re ientes de la amplia ión de
estas no iones en el ontexto de grupos no abelianos. Por ejemplo, la onstante de
Davenport se dene tradi ionalmente sobre grupos abelianos, aunque en [1℄ y [4℄ hay
algunas variantes para grupos no abelianos, por ejemplo para los grupos diédri os.
En el presente trabajo de grado nos entramos en un análogo de la onstante de
Harborth que se dene de la siguiente manera. Para un grupo nito G la onstante de
Harborth g(G) se dene omo el número entero más pequeño k tal que ada sub onjunto
{g1 , . . . , gk } ⊂ G de ardinalidad k sobre G admite una subse uen ia ordenada (gi1,...,gil )
Yl
on l = exp(G) tal que gij = 1. Una observa ión importante en el ontexto es que
j=1
en el aso abeliano, el orden es inmaterial, que por supuesto, ya no es el aso, así que lo
que queremos de ir aquí es esto, dado ualquier sub onjunto S⊂G de ardinalidad k,
Yl
gi1 , . . . , gil on l = exp(G) tal que gij = 1. Nuestro teorema prin ipal en este trabajo
j=1
determina la onstante de Harborth para el grupo diédri o D2n :
Teorema (Teorema Prin ipal). Para ualquier entero n ≥ 3 y G = D2n

(
n+2 si 2/n
g(D2n ) =
2n + 1 en otro aso
Capítulo 1
P RELIMINARES
1.1. Grupos
Deni ión 1.1. Un grupo es una estru tura algebrai a (G, ∗) formada por un onjunto
no va ío G y una opera ión binaria ∗ denida sobre G, donde se satisfa en las siguientes
tres propiedades:
1. Propiedad aso iativa, para todo x, y, z ∈ G se veri a que
(x ∗ y) ∗ z = x ∗ (y ∗ z)
2. Existen ia del elemento neutro o elemento identidad, para todo x ∈ G, existe
e∈G tal que
x∗e=x=e∗x
3. Existen ia del elemento opuesto o elemento simétri o, para todo x ∈ G, existe
x′ ∈ G tal que
x ∗ x′ = e = x′ ∗ x
otra propiedad que en algunos asos veri a ∗ es la siguiente
4. Propiedad onmutativa, para todo x, y ∈ G se veri a que
x∗y = y∗x
Si ∗ también umple la propiedad 4. diremos que (G, ∗) es un grupo abeliano o grupo
onmutativo sino diremos que (G, ∗) es un grupo no- onmutativo o no-abeliano.
Teorema 1.1. En un grupo (G, ∗) e y x′ son úni os
3
4 Capítulo 1. Preliminares
Demostra ión.
• Uni idad de e, supóngase que e∗x = x∗e = x y e1 ∗x = x∗e1 = x para todo x ∈ G.

Considerando e omo identidad tenemos que e ∗ e1 = e1 , ahora Considerando e1
omo identidad e + e1 = e, esto impli a que e1 = e ∗ e1 = e, por lo ual tenemos
que e es úni o
• Uni idad de x′ Supóngase que x′ ∗ x = x ∗ x′ = e y y ′ ∗ x = x ∗ y ′ = e, enton es
x ∗ x′ = x ∗ y ′ y luego por el lema 2.6 se tiene que x′ = y ′
por lo tanto x′ es úni o.
Veamos los siguientes ejemplos
Ejemplo 1.1. El onjunto Z+ junto on la opera ión binaria + (Z+ , +) no es un
grupo, ya que no existe un elemento neutro para + en Z+ .
Ejemplo 1.2. El onjunto de todos los números enteros no-negativos (in luyendo al
ero), on la opera ión binaria + tampo o es un grupo, ya que a pesar de que si está
in luido en el onjunto el elemento neutro + no se en uentra el elemento simétri o
para ningún elemento.
Ejemplo 1.3. Por su parte (Z, +) si es un grupo, espe í amente es un grupo abeliano.
Ejemplo 1.4. El onjunto de los números reales positivos no-nulos junto on la ope-
ra ión produ to (R+ , ·) es un grupo abeliano.
Ejemplo 1.5. El onjunto de las matri es on entradas reales, uadradas e invertibles,
on el produ to usual de matri es es un grupo, pero no es abeliano.
Lema 1.1 (Leyes de an ela ión). Sea (G, ∗) un grupo, enton es tenemos que se um-
plen las leyes de an ela ión a la izquierda y a la dere ha de los elementos del grupo,
esto es
1. x ∗ y = x ∗ z ⇒ y = z , ∀ x, y, z ∈ G
2. y ∗ x = z ∗ x ⇒ y = z , ∀ x, y, z ∈ G
Demostra ión.
Br. Liseth Andreina Mendoza Cama ho 5
1. Supongamos que x ∗ y = x ∗ z ⇒ y = z , ∀ x, y, z ∈ G, enton es existe x′ ∈ G tal
que
x′ ∗ (x ∗ y) = x′ ∗ (x ∗ z) ⇒ (x′ ∗ x) ∗ y = (x ∗ x′ ) ∗ z, por deni ión 1.1
⇒ e ∗ y = e ∗ z, por deni ión 1.1
⇒ y = z, por deni ión 1.1
2. De manera similar a la parte 1. probamos 2.
De aquí en adelante, denotaremos el grupo (G, ∗) sólo on G. por su parte la ope-
ra ión binaria que vamos a onsiderar será el produ to ·, e = 1, x′ = x−1 y xy = xy ,

∀ x, y ∈ G, todo lo anterior será equivalente a de ir que el grupo está es rito multipli-
ativamente, expresión que en mu hos asos quedará implí ita.
Ahora bien, sea G un grupo es rito multipli ativamente, denamos para ualquier
2
x ∈ G, x = 1, x = x, x2 = xx, x3 = xx2 , . . . , xk = xxk−1
0 1
donde k ∈ Z y x−2 = (x−1 ) ,
3
x−3 = (x−1 ) et . Se puede veri ar que las reglas habituales de los exponentes siguen
teniendo validez, es de ir, que para dos enteros ualesquiera (positivos, negativos o
nulos)
xn xm = xn+m y (xn )m = xn.m
Deni ión 1.2. Sea G un grupo, x∈G enton es se umple que x0 = 1
Teorema 1.2. Sea G un grupo, x ∈ G, enton es para algún n, m ∈ Z se umplen las

siguientes igualdades
1. xn xm = xn+m
2. (xn )m = xn.m
Demostra ión. Ver [7℄

1.2. Grupos Finitos
Deni ión 1.3. Sea G un grupo, diremos que G es un grupo nito si y sólo si G es un
onjunto nito, en aso ontrario diremos que G es un grupo innito
Deni ión 1.4 (Orden de un grupo nito) . Sea G un grupo, llamaremos orden de G
al número de elementos del onjunto G (o ardinal de G) el ual denotaremos por |G|,
así |G| = card(G). En aso que G sea un onjunto innito diremos que |G| = ∞
Deni ión 1.5 (Orden de un elemento de un grupo) . Sea G un grupo. Dado g ∈ G,

diremos que
1. El elemento g tiene orden nito si y sólo si existe un m∈N tal que g m = 1. En

r
tal aso, al menor entero positivo r∈N tal que g =1 lo llamaremos orden de g
y lo denotaremos por ord(g) = r
2. El elemento g tiene orden innito, si no existe m∈N ta que g m = 1. En tal aso
es ribiremos ord(g) = ∞
Observa ión 1.1. Todo elemento de un grupo nito tiene orden nito
1.3. Subgrupos
Deni ión 1.6. Sea G un grupo es rito multipli ativamente y sea H ⊂ G tal que
H 6= ∅, diremos que H es un subgrupo de G y denotado por H ≤ G, si se umplen las
siguientes propiedades
1. El elemento neutro de G, esta en H es de ir 1∈H
2. Si h ∈ H, enton es h−1 ∈ H
3. Si h1 , h2 ∈ H , enton es h1 h2 ∈ H
Ejemplo 1.6. Para todo grupo G, el sub onjunto {1} es un subgrupo de G. Llamado
subgrupo trivial de G.
Ejemplo 1.7. Para todo grupo G, el sub onjunto G es un subgrupo de G, llamado
subgrupo total de G.
1.4. Grupos Generados
Sea G un grupo es rito multipli ativamente y sea X ⊂G tal que L = {H : H ≤

G, X ⊂ G} siempre se umple que L 6= ∅, pues H = G umple que X ⊂ H = G y
\
sabemos que H ≤ G. Este razonamiento, indu e la siguiente deni ión.
H∈L
\
Deni ión 1.7. Llamaremos grupo generado por el onjunto X al subgrupo H y
H∈L
el ual se denota por hXi
\
∴ hXi = H
H∈L
Lema 1.2. (Cara teriza ión de hXi) Sea G un grupo multipli ativamente y X ⊂ G,
X 6= ∅
1. H = {xε11 xε22 . . . xεrr : r ∈ N, xi ∈ X, εi ∈ {1, −1}, i = 1, . . . , r} es un subgrupo de

G.
2. hXi = H
Demostra ión. Ver [14℄
Observa ión. Al onjunto X se le llama onjunto generador de hXi. Donde si X es
nito diremos que hXi es un grupo nitamente generado y si X es innito, diremos que
hXi es un grupo innitamente generado.
Deni ión 1.8. Sea G un grupo. Diremos que G es un grupo í li o si y sólo si existe
g ∈ G tal que G = hgi. El grupo í li o lo denotaremos por Cn , así Cn = hgi, on g ∈ G.
Observa ión. Para grupos es ritos multipli ativamente tenemos que
Cn = hgi = {g n : n ∈ N∗ } = G, donde g∈G
1.5. Teorema de Lagrange
Teorema 1.3. Sea G un grupo nito y sea H un subgrupo de G, enton es se umple

que |H||G|
Corolario 1.1. Sea G un grupo nito y sea g ∈ G, enton es ord(g)|G|

Demostra ión.
∀ g ∈ G, r = ord(g) y H = hgi
⇒ |H| = ord(g) = r

⇒ |H||G|, por el teorema de Lagrange

⇒ r |G|
Corolario 1.2. Sea G un grupo nito, enton es se umple que para todo g ∈ G g |G| = 1
Demostra ión.

Sea r = ord(g), luego por el orolario 1.1 r |G|
⇒ existe z ∈ Z+ tal que |G| = k(ord(g))

|g| k
⇒ g |G| = g k(ord(g)) = (g ) = 1k = 1
Consideremos ahora el siguiente onjunto L = {t ∈ N : g t = 1, ∀ g ∈ G}, donde G es
un grupo nito L 6= ∅, pues existe t = |G| umpliendo que g |G| = 1 y L ⊂ N, omo
N es un onjunto bien ordenado, enton es por el prin ipio del buen orden L tiene un
elemento mínimo, esto es, existe un úni o l ∈ L tal que l ≤ t ∀ t ∈ L y g l = 1, ∀ g ∈ G,

esto justi a la siguiente deni ión
Deni ión 1.9 (Exponente de un grupo) . Sea G un grupo nito, es rito multipli a-
tivamente. El Exponente de G, denotado por exp(G) es el menor entero positivo l tal
que para todo g ∈ G, g l = 1 , luego exp(G) = 1
1.6. Teoría de Conjuntos
Deni ión 1.10. Dos onjuntos AyB se di e que tienen el mismo ardinal (o que son
equipotentes) si existe una fun ión f: A→B biye tiva.
Denotaremos por In , al onjunto de los primeros n-números naturales, In = {1, . . . , n}.

Diremos que el onjunto A es nito, de ardinalidad n, si existe una fun ión f : In → A
biye tiva
Deni ión 1.11. Se di e que dos números enteros tienen (o son de) la misma paridad,
si ambos son pares o ambos son impares.
Deni ión 1.12. Sea G un grupo, sean A, B ∈ G denotaremos la suma de onjuntos
por A+B y la deniremos por
A + B := {a + b : a ∈ A, b ∈ B}
Observa ión.
• −A = {−a : a ∈ A}
• A − B = {a − b : a ∈ A, b ∈ B}
• A\B = {a ∈ A, a ∈
/ B}
Lema 1.3. Sea G un grupo y sean A ⊂ G y g ∈ G, enton es se umplen las siguientes

igualdades
1) | − A| = |A|
2) |g + A| = |A|
3) |g − A| = |A|
Demostra ión.
1) Bastaría on en ontrar una fun ión biye tiva de A en −A, esto es, sea f : A → −A
la fun ión dada por f (a) = −a. Veamos si f es biye tiva
Sean a, b ∈ A tales que f (a) = f (b)
⇒ −a = −b, por deni ión de f

⇒ a=b
∴f es inye tiva
Veamos si f es sobreye tiva sea a = −b ∈ A, enton es
f (a) = f (−b) = −(−b) = b

⇒ f (a) = b
luego, se tiene que para todo b ∈ −A, existe a = −b ∈ A tal que f (a) = b
∴f es sobreye tiva
∴f es biye tiva y por teoría de onjuntos numerables se tiene que | − A| = |A|
2) Pro edemos de manera similar a la parte 1)
Sea f : |A| → |g + A| f (a) = g + a
• Inye tividad de f sean a, b ∈ A, tales que f (a) = f (b)
⇒ g + a = g + b, por deni ión de f

⇒ a=b por ley de an ela ión a la izquierda
⇒ f es inye tiva
• Sobreye tividad de f, sea a = b − g ∈ A, enton es f (a) = f (b − g)
⇒ f (a) = f (b − g) = g + (b − g), por deni ión de f

⇒ f (a) = g + (−g + b)
⇒ f (a) = (g + (−g)) + b
⇒ f (a) = 0 + b
⇒ f (a) = b
luego se umple que para todo b ∈ g + A, existe a∈A tal que f (a) = b
∴f es sobreye tiva
En onse uen ia obtenemos que f es un fun ión biye tiva, así tenemos que
|A| = |g + A|
3) Sea f : |A| → |g − A| dada por f (a) = g + (−a) ⇒ f (a) = g − a

veamos si f es inye tiva, sean a, b ∈ A tales que f (a) = f (b)
⇒ g − a = g − b, por deni ión de f

⇒ −a = −b, por ley de an ela ión a la izquierda
⇒ a=b
⇒ f es inye tiva
veamos si f es sobreye tiva Sea a = g − b ∈ A, enton es f (a) = f (g − b)
⇒ f (a) = f (g − b) = g − (g − b) por deni ión de f

⇒ f (a) = g − g + b
⇒ f (a) = 0 + b
⇒ f (a) = b
∴ se umple que para todo b ∈ g − A, existe a∈A tal que f (a) = b

⇒f es sobreye tiva
⇒f es biye tiva
⇒ |A| = |g − A|
Lema 1.4. Sea G un grupo abeliano nito (es rito aditivamente), y sean A, B sub on-
juntos no-va íos de G tal que |A| + |B| ≥ |G| + 1. Enton es A + B = G.
Demostra ión.
Como A, B ⊂ G, enton es A + B ⊂ G, pues G es errado bajo la suma.
Ahora, sea g∈G jo pero arbitrario supongamos por redu ión al absurdo que
(g − A) ∩ B = ∅
luego por teoría de onjuntos tenemos lo siguiente
|(g − A) ∪ B| = |g − A| + |B| − |(g − A) ∩ B|

= |g − A| + |B| − 0, por lo supuesto (HI)
= |g − A| + |B|, por teoría de onjuntos
= |A| + |B| − 0, por hipótesis
≥ |G| + 1, por hipótesis
lo ual representa una ontradi ión, ya que si (g − A) ∪ B ⊂ G, enton es |G| ≥

|(g − A) ∪ B| ≥ |G| + 1
⇒ |G| ≥ |G| + 1
⇒ 0 ≥ 1(→←)
por lo tanto, tenemos que (g − A) ∩ B 6= ∅, ∀ g ∈ G.

Ahora bien, sea g ∈ G arbitrario pero jo y x ∈ B, luego omo (g − A) ∩ B 6= ∅ y
x ∈ B, enton es existe un a∈A tal que x=g−a y x ∈ B, por tanto g =a+x
⇒g ∈ A+B ya que a∈A y x∈B
Así, G⊂ A+B por lo tanto, A+B =G

Capítulo 2
L A C ONSTANTE DE H ARBORTH Y L OS
G RUPOS D IÉDRICOS
En éste apítulo hablaremos un po o de Heiko Harborth y su onstante, así omo
también deniremos los grupos diédri os y sus propiedades estru turales más relevantes.
2.1. Harborth y su famosa onstante
Figura 2.1: Heiko Harborth
Heiko Harborth, matemáti o alemán, na ido el 11 de febrero de 1938 en Celle, fue
profesor en la Universidad de Te nología de Braun hweig donde prin ipalmente estudió
y re ibió su do torado, autor de más de 188 publi a iones matemáti as y miembro de
la A ademia de Cien ias de New York. Su trabajo se entro prin ipalmente en las áreas
de teoría de números, teoría ombinatoria y geometría dis reta, in luida la teoría de
grafos. Ganó la medalla Euler en el 2007. En rela ión on el problema del nal feliz,
Harborth mostró, que por ada onjunto nito de diez o más puntos en posi ión general
en el plano, unos in o forman un pentágono onvexo que no ontiene ninguno de los
13
14 Capítulo 2. La Constante de Harborth y Los Grupos Diédri os
otros puntos. Insigne matemáti o y ex elente profesor; llevo a abo mu hos estudios
importantes e hizo grandes aportes en las áreas men ionadas.
Deni ión 2.1. Sea G un grupo nito y sea S⊂G tal que S = {s1 , s2 , . . . , sk }, luego,
dado ualquier entero t, tal que 2 ≤ t ≤ k, denimos el produ to de t elementos de S

Q
(o también llamado t-produ to de S) de longitud t y denotado por t (S) al siguiente
onjunto
Πt (S) = {s1 .s2 . . . st : si ∈ S, on i ∈ {1, . . . , t}}
Deni ión 2.2. Sea G un grupo es rito multipli ativamente, on exp(G) = r . La
onstante de Harborth de G, denotada por g(G) es el menor entero positivo t tal que,
para todo onjunto A de G, de ardinalidad t, existe un sub onjunto B de A de ardinal

Q
r tal que 1∈ r (A). Si t no existe, es ribiremos g(G) = |G| + 1
Deni ión 2.3. Al grupo generado por los elementos x e y, tales que se satisfa en las
siguientes rela iones x2 = y n = (xy)2 = 1 lo llamaremos Grupo Diédri o denotado por
D2n y denido omo sigue
D2n = hx, y/x2 = y n = (xy)2 = 1i, on n≥3
Notemos que D2n es un grupo nito, pues yn = 1 de he ho, en el urso bási o de
álgebra abstra ta se determina que su ardinalidad es exa tamente 2n, por ser un grupo
isomorfo al grupo de las rota iones y reexiones que dejan invariante a un polígono
regular de n lados.
En el siguiente lema, estudiaremos las propiedades estru turales del grupo diédri o
denido de manera abstra ta omo D2n = hx, y/x2 = y n = (xy)2 = 1i
Lema 2.1. Sea D2n = hx, y/x2 = y n = (xy)2 = 1i para ualquier natural n ≥ 3 el
grupo diédri o, umple las siguientes propiedades
1. 1, y 2, y 3 , . . . , y n−1 son todos distintos, es de ir y i 6= y j ∀ i, j ∈ {0, 1, . . . , n − 1}

on i 6= j
2. x 6= y i y xy i 6= xy j , ∀ i, j ∈ {0, 1, . . . , n − 1} on i 6= j
3. y i x = xy −i y xy i = y −ix, ∀ i, j ∈ {0, 1, . . . , n − 1} on i 6= j
4. y −i = y n−i, ∀ i ∈ {0, 1, . . . , n − 1}
5. si z ∈ D2n , enton es z = xi y j , on i ∈ {0, 1} j ∈ {0, 1, . . . , n − 1} además se

veri a que D2n = {1, y, y 2, . . . , y n−1, x, xy, xy 2, . . . , xy n−1 } y |D2n | = 2n
6.
(
m x si m es impar
x =
1 en aso ontrario
on m ∈ N∗
7.
(
i m xy i si m es impar
(xy ) =
1 en aso ontrario
on m ∈ N∗
Demostra ión.
1. Supongamos por redu ión al absurdo que existen
i, j ∈ {0, 1, . . . , n − 1}, on i<j tales que yi = yj
⇒ y i y −i = y j y −i
⇒ y i−i = y j−i
⇒ y 0 = y j−i
⇔ j−i= 0
⇒ j=i
lo ual es una ontradi ión, ya que i≤j y por lo tanto se tiene que y i 6= y j , ∀
i, j ∈ {0, 1, . . . , n − 1} on i 6= j
2. Supongamos por redu ión al absurdo que existe i ∈ {0, 1, . . . , n − 1} tal que
x = yi
⇒ xx = xy i
⇒ x2 = xy i
⇒ 1 = xy i
⇒ y i = x−1
⇒ x = x−1
⇔ x=1
⇒ yi = 1
⇒ i=n
por deni ión de D2n , pues el orden de y es n lo ual es una ontradi ión, ya que
0 ≤i≤n−1
∴ x 6= y i , ∀ i ∈ {0, 1, . . . , n − 1}
Supongamos por redu ión al absurdo que existe i, j ∈ {0, 1, . . . , n − 1} on i 6= j
tales que xy i = xy j
⇒ y i = y j , por ley de an ela ión lo ual es una ontradi ión, ya que por la parte
1. y i 6= y j , ∀ i, j ∈ {0, 1, . . . , n − 1}, on i 6= j
i j
por lo tanto xy 6= xy , ∀ i, j ∈ {0, 1, . . . , n − 1}, on i 6= j
3. Queremos probar que todo i ∈ {0, 1, . . . , n − 1} y i x = xy −i y xy i = y −i x pro e-
damos por indu ión sobre i ∈ N∗
• Para i=0
y 0 x = 1x = x = x1 = xy 0 = xy −0
⇒ y 0 x = xy −0 por tanto se umple para i=0
• Para i=1
Por deni ión de D2n se tiene que (xy)2 = 1
⇒ (xy)(xy) = 1
⇒ x(xy)(xy) = x1
⇒ (xx)(yxy) = x
⇒ x2 (yxy) = x
⇒ 1(yxy) = x
⇒ yxy = x
⇒ (yxy)y −1 = xy −1
⇒ (yx)(yy −1) = xy −1
⇒ (yx)(y 0) = xy −1
⇒ (yx)1 = xy −1
⇒ yx1 = xy −1
por tanto se umple para i = 1. Supongamos que se umple para un ierto
i = k ≥ 2, y k x = xy −k (Hipótesis indu tiva).
Veamos ahora si se umple para i=k+1
y k+1 = y k yx
= y k (yx)
= y k (xy −1 ), por P1
= (y k x)y −1
= (xy −k )y −1, por HI
= x(y −k y −1)
= xy −k−1
= xy −(k+1)
⇒ y k+1 = xy −(k+1) por tanto se umple para i = k + 1, on lo ual podemos
on luir que y i x = xy −i , ∀ i ∈ N. Pro edemos de manera similar para
probar que xy i = y −i x ∀ i ∈ {0, 1, . . . , n − 1} he ho que veri a que D2n no
es abeliano
• Por deni ión de D2n , y n = 1
⇒ y n−i+i = 1
⇒ y n−1y i = 1
⇒ el elemento simétri o de yi es y n−i , el ual es úni o
i −1
⇒ (y ) = y n−i
⇒ y −i = y n−i
por lo tanto y −i = y n−i , ∀ i ∈ {0, 1, . . . , n − 1}
• Como D2n es un grupo generado por los elementos x e y y en virtud de las
propiedades 3. y 4.
D2n = {1, y, y 2, . . . , y n−1, x, xy, xy 2, . . . , xy n−1, yx, y 2x, . . . , y n−1x}

= {1, y, y 2, . . . , y n−1, x, xy, xy 2, . . . , xy n−1, xy −1 , xy −2 , . . . , xy −(n−1) }
= {1, y, y 2, . . . , y n−1, x, xy, xy 2, . . . , xy n−1, xy n−1 , xy n−2, . . . , xy n−n+1) }
= {1, y, y 2, . . . , y n−1, x, xy, xy 2, . . . , xy n−1, xy n−1 , xy n−2, . . . , xy}
notemos que después de apli ar las propiedades algunos elementos se repiten, justo
a partir del elemento 2n + 1
⇒ D2n = {1, y, y 2, . . . , y n−1, x, xy, xy 2 , . . . , xy n−1 }

| {z } | {z }
n-elementos n-elementos
⇒ |D2n | = n + n
⇒ |D2n | = 2n
• Supongamos que m es par, enton es existe k ∈ N∗ tal que m = 2k , enton es

m 2k
x =x
k
⇒ xm = (x2 )
⇒ xm = 1k , por presenta ión de D2n
⇒ xm = 1
Supongamos que m es impar, enton es existe k ∈ N∗ tal que m = 2k + 1, enton es

xm = x2k+1
⇒ xm = x2k x
⇒ xm = 1x, por el aso anterior
⇒ xm = x
por lo tanto
(
x si m es impar
xm =
1 si m es impar
• Supongamos que m es par, enton es existe k ∈ N∗ tal que m = 2k , enton es

i m i 2k
(xy ) = (xy ) , on i ∈ {0, 1, . . . , n − 1}
m 2 k
⇒ (xy i ) = ((xy i ) )
k
= ((xy i )(xy i ))
k
= ((y −i x)(xy i ))
k
= (y −i (xxy i ))
k
= (y −i (x2 y i ))
k
= (y −i (1y i ))
k
= (y −i y i )
k
= (y 0)
m
⇒ (xy i ) = (1)k
= 1
Supongamos que m es impar, enton es existe k ∈ N∗ tal que m = 2k + 1, enton es

m 2k+1
(xy i ) = (xy i ) , ∀ i ∈ {0, 1, . . . , n − 1}
m 2k
⇒ (xy i ) = xy i (xy i )
= 1(xy i )
= (xy i )
= xy i
(
i m xy i si m es impar
(xy ) =
1 si m es par
Con lo ual queda ompletada la demostra ión del lema el ual será fundamental, para
realizar opera iones algebrai as posteriores.
Veamos el siguiente ejemplo, en el que G = D10
Ejemplo 2.1. D10 = D2(5) = {1, y, y 2, y 3 , y 4, x, xy, xy 2, xy 3 , xy 4} y

Sea sea S ⊂ D10 tal
Q
que S = {1, y 2, xy 4 }, determine 2 (S) así omo su ardinalidad
Por la deni ión anterior, el produ to de t elementos viene dado omo sigue
Y
(S) = {1(1), 1y 2, 1xy 4, y 21, y 2 y 2, y 2xy 4 , xy 4 1, xy 4 y 2, xy 4 xy 4 }
2
= {1, y 2, xy 4 , y 2, y 4 , xy −2y 4 , xy 4, xy, xxy −4 y 4}
= {1, y 2, y 4 , xy 4, xy 2 , xy, 1}
= {1, y 2, y 4 , xy.xy 2, xy 4 }
Q
⇒| 2 (S)| =6
Proposi ión 2.1. Sean H = hyi, N = D2n \H y S ⊂ D2n tal que |S ∩ N| es impar,
Q
enton es 1 ∈/ |S| (S)
t
Y t
X
Lema 2.2. xy ui
= x y , donde α =
t α
(−1)t+i ui
i=1 i=1
Demostra ión.
Pro edamos por indu ión sobre t∈N
Para t = 1, tenemos que
t
Y 1
Y
xy ui = xy ui = xy ui = xy α , donde t=1 y
i=1 i=1
1
X
α= (−1)1+i ui = (−1)2 ui = ui
i=1
luego, para t=1 la igualdad es válida
Supongamos que se umple para k < t, esto es

k
Y Xk
ui k α
xy = x y , donde α = (−1)k+i ui (Hipótesis indu tiva)
i=1 i=1
Ahora probemos que se umple para un ierto t ≥ k + 1, luego
k+1
Y k
Y
ui
xy = xy xy uk+1
ui
i=1 i=1
k
X
k β uk+1
= (x y )xy , on β= (−1)k+i ui , por HI
i=1
= xk (y β x)y uk+1
= xk (xy −β )y uk+1
= xk+1 y −β+uk +1
sea α = −β + uk+1, enton es
k
X
α = − (−1)k+i ui + uk+1
i=1
k
X
= (−1)k+i+1 ui + (−1)k+1+k+1
i=1
k
X
= (−1)k+1+i ui + (−1)2k+2
i=1
k+1
X
= (−1)k+1+i ui
i=1
luego, por el prin ipio de indu ión matemáti a, la igualdad es válida.
Lema 2.3.
t
Y t
Y
ui tα
xy y α = y (−1) xy ui
i=1 i=1
Demostra ión.
Pro edamos por indu ión sobre t∈N
Para t=1
1
Y
ui
xy y α = xy ui y α
i=1
= xy α y ui
= y −α xy ui
1
= y (−1) α xy ui
1
Y
(−1)1 α
= y xy ui
i=1
por lo tanto, tenemos que para t=1 la igualdad es válida
Supongamos ahora que la igualdad es válida para un ierto t > k, esto es
k
Y k
Y
t
xy y α = y (−1) α
ui
xy ui (Hipótesis indu tiva)
i=1 i=1
Probemos que se umple para t≥k+1

k+1
Y k
Y
ui α
xy y = xy xy uk+1 y α
ui
i=1 i=1
k
Y
= xy xy α y uk+1
ui
i=1
k
Y
= xy y −α xy uk+1
ui
i=1
k
Y
(−1)k (−α) ui
= y xy xy uk+1 por H I
i=1
k
Y
(−1)k α
= y xy ui
i=1
por lo tanto, la igualdad es válida para t ≥ k+1 y por el prin ipio de indu ión
matemáti a tenemos que la igualdad es válida para todo t∈N
Lema 2.4 (Cí li o-Harborth) . Sea Cn un grupo í li o. Enton es se umple que

(
n, si n es impar
g(Cn ) =
n + 1, si n es par
Demostra ión. ver [12℄
Lema 2.5. Para n ≥ 3, tenemos que

(
2n, si n es impar
exp(D2n ) =
n, si n es par
Demostra ión.
Sea l = exp(D2n ) y por deni ión de exponente de un grupo tenemos que gl = 1 y de
aquí n/l. Luego, existe un entero positivo t tal que
l = nt (2.1)
Supongamos que n es impar, luego por deni ión de exponente de un grupo tenemos
que hl = 1 así, l es par, pero omo n es impar enton es t en 2.1 debe ser par, en
onse uen ia existe un entero k positivo tal que t = 2k , luego, por arma ión se tiene
que l = 2nk .
Por otra parte, ∀ d ∈ D2n tenemos que d2n = d|D2n | = 1, así por deni ión de
exponente tenemos que 2nk = l ≤ 2n, de aquí que k≤1 y por ser k≥1 se tiene que
k = 1, en onse uen ia exp(D2n ) = l = 2n

Ahora supongamos que n es par por propiedades 6. y 7. del lema 2.1 tenemos que
t n t n n t
(xy ) = 1 y (x ) = (x ) = 1, on 1 ≤ t ≤ n, de aquí que para todo d ∈ D2n
n
tenemos que d =1 por deni ión de exponente nt = l ≤ n, así, t=1 y por lo tanto
exp(D2n ) = n
2.2. Fun iones Parte Entera
Son fun iones que toman un número real y devuelven el número entero más er ano
a éste, sea por ex eso o por defe to. Formalmente son fun iones de la forma f : R → Z,
on |x − f (x)| < 1
Para elegir el entero más er ano, podemos onsiderar las siguientes fun iones
1. Fun ión parte entera superior o también llamada fun ión te ho
2. Fun ión parte entera inferior o también llamada fun ión piso
siendo la primera, a la ual haremos espe ial énfasis, a ontinua ión

Deni ión 2.4. La fun ión parte entera superior asigna a ada número real, el número
entero más er ano por ex eso, es de ir, la fun ión en uestión, se apli a a un número
real x y devuelve el mínimo entero y no inferior a x
⌈x⌉ : R→Z
x 7−→ y = ⌈x⌉
donde ⌈x⌉ = mı́n{k ∈ Z : x ≤ k}
Ejemplo 2.2. Sea x = 2, 3, en uentre ⌈x⌉

Por la deni ión anterior tenemos que
⌈2, 3⌉ = mı́n{k ∈ Z : 2, 3 ≤ k}
= mı́n{3, 4, 5, . . .}
= 3
Lema 2.6. Sea D2n = hx, y/x2 = y n = (xy)2 = 1i el grupo diédri o

• Supongamos que n es impar. Sea S = {xy α1 , . . . , xy αt } on αi 6= αj para algún
Q
1 ≤ i < j ≤ t. Enton es | t (S)| ≥ t y la igualdad es válida si y sólo si
{α1 , . . . , αt } = {a + kd/0 ≤ k ≤ t − 1 y a, d ∈ Cn } on ord(d) = t
Demostra ión.
Sea S = {xy α1 , . . . , xy αt }, on t par, supongamos sin perdida de generalidad que
0 ≤ α1 < α2 < . . . < αt ≤ n − 1
luego omo t es par enton es, el onjunto lo podemos agrupar omo sigue
α t +1 αt αt
xy α1 xy 2 xy α2 xy 2 +2 . . . xy 2 xy αt
αt αt αt
= xy α1 xy 2 +1 xy α2 xy 2 +2 . . . xy 2 xy αt
αt αt −α t
= xxy −α1 y 2 +1 xxy −α2 y 2 +2 . . . xxy 2 y αt
−α1 +α t +1 −α2 +α t +2 −α t +α1
= x2 y 2 x2 y 2 . . . x2 y 2
α t −α1 α t −α2 αt −α t
= 1y 2 +1 1y 2 +2 . . . 1y 2
α t +1 −α1 α t +2 −α2 αt −α t
= y 2 y 2 ...y 2
α t +1 +α t +2 +...+αt −α1 −α2 −...−α t

= y 2 2 2

= y α, para α = α t +1 + α t +2 + . . . + αt − α1 + α2 + . . . + α t
2 2 2
on la adi ión en Cn .
α t +1 α t +2 αt
xy α1 xy 2 xy α2 xy 2 . . . xy 2 xy αt = y α (2.2)
t
Ahora bien, al inter ambiar αi por α 2t +j , para 1 ≤ i < j ≤ 2
y apli ando un
pro edimiento similar al anterior tenemos
α t +1 α t +2 α t +i α t +j αt
xy α1 xy 2 xy α2 xy 2 . . . xy αi xy 2 . . . xy αj xy 2 . . . xy 2 xy αt
α t +1 αt αt αt αt
= xy α1 xy xy α2 xy 2 +2 . . . xy 2 +j xy 2 +i . . . xy αj xy αi . . . xy 2 xy αt
2
αt αt αt αt αt
= xy α1 xy 2 +1 xy α2 xy 2 +2 . . . xy 2 +j xy 2 +i . . . xy αj xy αi . . . xy 2 xy αt
αt αt −α t αt −α t
= xxy −α1 y 2 +1 xxy −α2 y 2 +2 . . . xxy 2 +j y 2 +i . . . xxy −αj y αi . . . xxy 2 y αt
α t −α1 α t −α2 α t −α t αt −α t
= x2 y 2 +1 x2 y 2 +2 . . . x2 y 2 +i 2 +j . . . x2 y αi −αj . . . x2 y 2
α t +1 −α1 α t +2 −α2 α t +i −α t +j αt −α t
= y 2 y 2 ...y 2 2 . . . y αi−αj . . . y 2
α t +1 +α t +2 +...+αt −(α1 +α2 +...+α t )+α t +i +αi −α t +j −αj

= y 2 2 2 2 2
α t +1 +α t +2 +...+α t +i +α t +j +...+αt −(α1 +α2 +...+αi +αj +...+α t )−α t +j +αi +αj −α t +j
= y 2 2 2 2 2 2 2
α−2α t +j +2αi
= y 2
α+2(αi −α t +j )
= y 2
de lo ual se dedu e lo siguiente

α α+2(αi −α t +j ) t
{y } ∪ y 2 /1 ≤ i, j ≤ ⊂ Πt (S)
2
ya que
0 < α t +1 − α t < α t +1 − α t −1 < . . . < α t +1 − α1 < α t +2 − α1 < . . . < αt − α1 < n

2 2 2 2 2 2
Q Q
y 2 ∤ n, esto demuestra t elementos diferentes en pares en t (S), enton es | t (S)| ≥ t.
En el aso de la igualdad, tenemos (por las desigualdades señaladas anteriormente

α−2(α t +1 −αi ) α−2(αj −α1 ) t t
Πt (S) = y 2 ,y /1 ≤ i ≤ + 1, + 2 ≤ j ≤ t
2 2
ya que α 2t +1 − α2 < α 2t +2 − α1 , se sigue que α 2t +2 − α2 = α 2t +1 − α1 o equivalentemente
α2 − α1 = α t +2 − α t +1 .
2 2
Similarmente, dado que α t +1 − α3 < α t +2 − α3 < α t +2 − α2 = α t +1 − α1 . Luego

2 2 2 2
tenemos que α t +2 −α3 = α t +1 −α2 que de manera equivalente da α3 −α2 = α t +2 −α t +1 .

2 2 2 2
Usando este mismo argumento, tenemos que
α 2t +2 − α 2t +1 = α2 − α1 = α3 − α2 = . . . = α 2t − α 2t −1
De manera similar, dado que α 2t +2 − α2 = α 2t +1 − α1 < α 2t +3 − α2 < α 2t +3 − α1 de lo que
tenemos α 2t +3 − α2 = α 2t +2 − α1 que de manera equivalente da α2 − α1 = α 2t +3 − α 2t +2 .

El resultado que nosotros tenemos es
α2 − α1 = . . . = α 2t − α 2t −1 = α 2t +2 − α 2t +1 = . . . = αt − αt − αt−1
al que de aquí en adelante llamaremos d.

Consideremos αi + (i − 1)d, para ualquier 1 ≤ i ≤ t. Además, dado que estos
elementos están emparejados de manera distinta, tenemos que id 6≡ 0(modn) para
ualquier 1 ≤ i ≤ t − 1. Además, sabemos que td ≡ 0, en otro aso

Q
/ {0, d, . . . , (t − 1)d} = {x : y α−2x ∈
td ∈ t (S)}.
α t +1 αt
Sin embargo, al inter ambiarlos dos pares (xy α1 , xy αt ) y (xy 2 , xy 2 ) en la igual-
α−2td
Q
dad 2.2, vemos que y ∈ t (S), lo ual es una ontradi ión. Por lo tanto, {α1 , . . . , αt } =
{a + kd : 0 ≤ k ≤ t − 1} para ualquier a, d ∈ Cn , on ord(d) = t
Si t es impar, la prueba es similar, omitimos los detalles.
Supongamos que t es par, luego por los mismos argumentos que en los párrafos ante-
riores, tenemos

α α+2 αi −α t +j t
{y } ∪ y 2 /1 ≤ i, j ≤ ⊂ Πt (S)
2
ya que
0 < α t +1 − α t < α t +1 − α t −1 < . . . < α t +1 − α1 < α t +2 − α1 < . . . < αt − α1 < n

2 2 2 2 2 2

t
y el onjunto A = α t +1 − αi , αj − α1 /1 ≤ i, 2 + 2 ≤ j ≤ t
2
Note que α + 2A (donde tanto la suma, omo la multipli a ión se realizan módulo n)
Q
es un sub onjunto del onjunto de poten ias de y entre los elementos de t (S), y para
n
ualquier x ∈ A, existe omo máximo un y = x+ 2
∈ A\{x} tal que 2x ≡ 2y(modn)
t
|2A| ≥ 2
, de esto resulta que
|Πt (S)| ≥ ⌈t/2⌉

n
uando la igualdad se mantiene, enton es α t +i − α1 = α t +1 − α t +2−i + 2
para
2 2 2
t n
ualquier 2≤i≤ 2
y α t +1 − α1 = 2
.
2
Q Q t
Esto impli a que | t (S)| =| t (α1 , α2 , . . . , α t )| = 2
. Por argumentos similares al
2 2
del lema tenemos que

t t
α1 , α2 , . . . , α t = a + kd : 0 ≤ k ≤ − 1, a, d ∈ Cn , ord(d) =
2 2 2
y
n t t
α 2t +1 , . . . , αt = a + kd + : 0 ≤ k ≤ − 1, a, d ∈ Cn , ord(d) =
2 2 2

Lema 2.7. Sea D2n = hx, y/x2 = y n = (xy)2 = 1i el grupo diédri o

• Supongamos que n es par. Sea S = {xy α1 , . . . , xy αt } on αi 6= αj para algún
Q
1 ≤ i < j ≤ t. Enton es t (S) ≥ ⌈t/2⌉ y la igualdad es válida si y sólo si



 a + kd, a + kd + n2 : 0 ≤ k ≤ 2t − 1 ,

 si t es par



{α1 , . . . , αt } =





 a + kd, a + kd + n2 , a + t−1
2
d, a + t−1
2
d+ n
2
:0≤k≤ t−3
2
,


en aso ontrario, para algún a, d ∈ Cn on ord(d) = 2t
Veamos los siguientes ejemplos
Ejemplo 2.3.
Q
Sea S = {xy 2 , xy 3 , xy 5} ⊂ D12 = D2 (6), n = 6 (par) en uentre 3 (S),
su ardinalidad y vea si umple on el lema 2.6.
Por deni ión 2.1 tenemos lo siguiente
Π3 (S) = {xy 2 xy 3 xy 5 , xy 2xy 5 xy 3 , xy 3 xy 2 xy 5 , xy 3 xy 5 xy 2 , xy 5xy 2 xy 3 , xy 5 xy 3 xy 2 }

= {xy 2 xxy −3 y 5, xy 2 xxy −5 y 3 , xy 3 xxy −2 y 5 , xy 3xxy −5 y 2,
xy 5 xxy −2 y 3 , xy 5xxy −3 y 2} por lema 2.1
= {xy 2 x2 y 2 , xy 2 x2 y −2, xy 3 x2 y 3, xy 3 x2 y −3, xy 5 x2 y, xy 5x2 y −1 } por lema 2.1
= {xy 4 , x, xy 6, x, xy 6 , xy 4 } por lema 2.1 y deni ión 2.3
= {x, xy 4 } por lema 2.1
Q
⇒| 3 (S)| = 2 = ⌈3/2⌉
⇒S umple el lema 2.6, en este aso se satisfa e la igualdad.
Ejemplo 2.4.
Q
Sea S = {x, xy 4 } ⊂ D10 = D2(5) , n = 5 (impar). En uentre 2 (S), su
ardinalidad y vea si se umple el lema 2.6, on t = 2.
Por deni ión 2.1 tenemos que
Π2 (S) = {xxy 4 , xy 4 x}
= {x2 y 4, xxy −4 } por lema 2.1
= {1y 4, x2 y 5−4} por lema 2.1 y teorema 1.2
= {y 4, 1y} por deni ión 2.3
= {y, y 4}
Q
luego, | 2 (S)| =2=t
Por lo tanto, S umple el lema 2.6, en este aso se satisfa e la igualdad.
Ejemplo 2.5.
Q
Sea S = {xy 2, xy 4 } ⊂ D10 = D2(5) , n = 5 (impar). En uentre 2 (S), su
ardinalidad y vea si se umple el lema 2.6, on t = 2.
Por deni ión 2.1, on t=2
Π2 (S) = {xy 2 xy 4 , xy 4 xy 2 }
= {xxy −2 y 4 , xxy −4 y 2} por el lema 2.1
= {x2 y 2, x2 y −2} por lema 2.1 y teorema 1.2
= {1y 2, 1y 5−2} por teorema 1.2 y deni ión 2.3
= {y 2, y 3 } teorema 1.2
Q
luego, | 2 (S)| = 2 ≥ 1 = ⌈2/2⌉, por tanto el onjunto S umple el lema 2.6.
Ejemplo 2.6. Sea S = {xy, xy 2, xy 4 } ⊂ D10 = D2(5) , n = 5 (impar). En uentre

Q
2 (S),
su ardinalidad y vea si se umple el lema 2.6 donde t = 2.
Por deni ión 2.1 tenemos que
Π2 (S) = {xyxy 2, xyxy 4 , xy 2xy, xy 2 xy 4 , xy 4xy, xy 4 xy 2 }

= {xyy −2x, xyy −4x, xy 2 y −1 x, xy 2 y −4x, xy 4 y −1 x, xy 4 y −2x} por lema 2.1
= {xy −1 x, xy −3 x, xyx, xy −2x, xy 3 x, xy 2 x} por lema 2.1 y teorema 1.2
= {yxx, y 3xx, xxy −1 , y 2xx, xxy −3 , y −2xx} por lema 2.1 y teorema 1.2
= {yx2 , y 3x2 , x2 y −1 , y 2x2 , x2 y −3, y −2x2 } teorema 1.2
= {y, y 3, y −1, y 2 , y −3, y −2} = {y, y 2, y 3, y 5−1 , y 5−2, y 5−3 } deni ión 2.3 y lema 2.1
= {y, y 2, y 3, y 4 , y 3, y 2} = {y, y 2, y 3, y 4} por teorema 1.2
Q
⇒| 2 (S)| =4≥2=t por tanto S umple el lema 2,6 para n=5 (impar).
Capítulo 3
T EOREMA H ARBORTH -D IÉDRICO SUS
C ONCLUSIONES Y A LGUNAS
A PLICACIONES DE LOS G RUPOS
D IÉDRICOS
Aquí vamos a presentar la demostra ión del Teorema, seguida de las on lusiones y
algunas apli a iones de los grupos diédri os.
3.1. Teorema Harborth-Diédri o
Teorema 3.1. Para ualquier entero n ≥ 3 y G = D2n

(
n+2 si 2/n
g(D2n ) =
2n + 1 en otro aso
Demostra ión.
Sean H = hyi y N = D2n \H onsideremos los siguientes asos
• Caso 1. Supongamos que n es impar, luego por el lema 2.5, tenemos que
exp(D2n ) = 2n y por deni ión de la onstante de Harborth se obtiene que
g(D2n ) ≥ exp(D2n ) = 2n
Pero el úni o sub onjunto de D2n de ardinal 2n es D2n . Como
D2n ∩ N = D2n ∩ (D2n \H)

= (D2n ∩ D2n )\H
= D2n \H
= {x, xy, xy 2, . . . , xy n−1}
31
32 Capítulo 3. Teorema Harborth-Diédri o sus Con lusiones y Algunas Apli...
⇒ |D2n ∩ N| = n, donde n es impar luego por proposi ión 2.1

Q Q
tenemos que 1 ∈
/ |D2n | (D2n ), esto es 1 ∈
/ 2n (D2n ), por lema luego, D2n no posee
Q
un sub onjunto S de longitud exp(D2n ) tal que 1 ∈ 2n (S), en onse uen ia, en
este aso tenemos que
g(D2n ) = |D2n | + 1 = 2n + 1
• Caso 2. Supongamos que n es par, luego por lema 2.5 tenemos que exp(D2 n) = n
ahora bien, sean S = H ∪ {x} = {1, y, y 2, . . . , y n−1, x} y A ⊂ S tal que |A| =
exp(D2n ) = n. Consideremos ahora los siguientes sub asos
• Caso a Si x∈A omo N = D2n \H , enton es A ∩ N = {x}, de aquí que

Q
|A ∩ N| = 1 (impar) y por la proposi ión 2.1 tenemos que 1 ∈
/ |A| (A), esto
Q
es 1 ∈
/ n (A)
n−1 n−1
Y X (n − 1)n
• Caso b Si x ∈/ A, así S = H = hyi, luego y i = y α donde i=
i=0 i=0
2
(n−1)n
Supongamos que y α = 1, enton es existe un k∈Z tal que
2
= nk
⇒ (n − 1)n = 2nk
⇒ n − 1 = 2k
⇒ n = 2k + 1
así, n es impar, pero esto es una ontradi ión ya que n es par. Luego, y α 6= 1
Q
y en onse uen ia 1 ∈/ n (A).
De estos dos asos on luimos que S no posee un sub onjunto A de ardina-
Q
lidad exp(D2n ) = n tal que 1∈ n (A), en onse uen ia
g(D2n ) > |S| = n + 1
esto es, g(D2n ) ≥ n + 2

Para ompletar la prueba debemos probar que g(D2n ) ≤ n + 2, si n es par.
Supóngase que
S = {xy ui , xy u2 , . . . , xy ut , y v1 , y v2 , . . . , y vs }
es un sub onjunto de D2n de ardinalidad n + 2, en este aso |S| = t + s =

n + 2. Aquí ui 6= uj , ∀ i, j ∈ {1, 2, . . . , t} on i 6= j y también vi 6= v j ∀
i, j ∈ {1, 2, . . . , t} on i 6= j donde las lases de equivalen ia son onside-
radas en Zn , además {u1, u2 , . . . , ut } y {v1 , v2 , . . . , vs } son sub onjuntos de
{0, 1, 2, . . . , n − 1}.
Sean los onjuntos U = {u1, u2 , . . . , ut } y V = {v1 , v2 , . . . , vs }, para simpli-
Y
ar la nota ión denamos π(S) = (S) tenemos que el produ to
n+2
t
Y s
Y
xy ui y vj ∈ π(S)
i=1 i=1
tenemos los siguientes sub asos
• Cuando t es impar

Si t = 1, omo |S| = n + 2, enton es {xy v1 , xy v2 , . . . , xy vs } = n + 1 omo
v1 v2 vs 2 n−1
{xy , xy , . . . , xy } ⊂ {xy, xy , . . . , xy }, enton es

n + 1 = {xy v1 , xy v2 , . . . , xy vs } ≤ {xy, xy 2, . . . , xy n−1} = n
lo ual es una ontradi ión, luego t 6= 1 y t es impar luego, t≥3

Xs
Sea V = vj , por lema 2.2 tenemos que
j=1
t
Y s
Y t
X
ui vj t u v
xy y =xy y donde u= (−1)t+i ui
i=1 j=1 i=1
luego on t impar tenemos que
t
Y s
Y
ui
xy y vj = xy γ donde γ = u+v y 0≤γ ≤n−1 (3.1)
i=1 j=1
Q
omo t es impar, enton es todo elemento de (S) es de la forma xy β , donde
t
X X
β= δi ui + βj vj on δi , βi ∈ {−1, 1}
i=1 j=1
∀ i ∈ {1, 2, . . . , t}, ∀ j ∈ {1, 2, . . . , s} en onse uen ia γ y β tienen la misma
paridad.
Ahora reordenemos los ui y vi omo sigue
u′1 = u2 , u′2 = u1 y u′i = ui ∀ i ≥ 3

v1′ = v2 , v2′ = v1 y vj′ = vj ∀ j ≥ 3
luego,
t
Y s
Y Y
′
u′i
xy y vj = xy δ ∈ (S) (3.2)
i=1 i=1
omo |U| + |V | = t + s = n + 2, por lema tenemos que ∀ β ∈ Zn existe
u∈U y v∈V tales que u + v = β. También tenemos que |U\{u}| + |V | =

′
(t − 1) + s = n + 1 y por lema tenemos que existen u ∈ U\{u} y v′ ∈ V
tales que u′ + v ′ = β .
Si v = v′, enton es u + v ′ = u′ + v ′ y de aquí que u = u′ y esto impli a que
u = u ∈ U\{u} lo ual es una ontradi ión así v 6= v ′ y u 6= u′ .

Q
En onse uen ia, ∀ x, y β ∈ (S), on 0 ≤ β ≤ n − 1 existen (u1 (β), v1 (β)) y
u2 ((β), v2 (β)) on u1 (β) 6= v1 (β) y u2 (β) 6= v2 (β) tales que β = ui (β) + vi (β),
para i ∈ {1, 2}
Q
Fijemos β tal que xy β ∈ (S) y Supongamos que (u1 , v1 ), (u2 , v2 ) son tales
que β = ui + vi on i ∈ {1, 2}, sean ā1 , ā2 , . . . , āl ∈ Zn distintos tales que
Y
{y a1 , y a2 , . . . , y al } = (xy u2 , . . . , xy ut )
t−1
t
Y
y sea y a1 = xy ui nótese que todos los ai tienen la misma paridad omo t
i=2
es impar tenemos que t−1 es par y por lema 2.6 tenemos que

Y u u3
t−1
ut
l = (xy , xy , . . . , xy ) ≥
2
(3.3)
t−1
2
por otra parte tenemos que
t
Y s
Y
γ ui
xy = xy y vj
i=1 j=1
t
Y Y s
v1 ui
= xy y y vj
i=1 j=2
t
Y s
Y
t
= y (−1) v1 xy ui y vj ; por lema 2.3
i=1 j=2
t
Y s
Y
−v1 u1 ui
= y xy xy y vj ; ya que t es impar
i=2 j=2
t
Y s
Y
v1 u1 ui
= xy y xy y vj ; por lema 2.1
i=2 j=2
s
Y
= xy u1 y v1 y a1 y vj
j=2
para todo i, on 1≤i≤l tenemos que
s
Y Y
u1 v1 ai
xy y y y vj ∈ (S)
i=1
luego
s
Y s
Y
xy u1 y ai y vj = xy u1 y v1 y a1 y −a1 y ai y vj
j=1 j=2
s
Y
= xy u1 y v1 y1a y vj y −a1 y ai
j=2
γ −a1 ai
= xy y y
= xy γ−a1 +ai
Q Q
Así xy γ−a1 +ai ∈ (S), para 1≤i≤l luego, xy γ−2vk ∈ (S), donde 2≤
k ≤ s.
Sea β = {−2v̄2 , . . . , −2v̄s } ⊆ Zn por ser n par tenemos que
s−1
|B| ≥ (3.4)
2
Sea A = Aβ,γ = {γ̄ − ā1 + āi : 1 ≤ i ≤ l}, enton es |A| = l y omo γ y β
tienen la misma paridad γ −β es par,también omo a1 y ai tienen la misma
paridad, para 1 ≤ i ≤ l, enton es −a1 + ai es par para 1 ≤ i ≤ l, luego,
A, B ⊂ h2i ⊂ Zn , enton es
s−1
|A| + |B| ≥ l + , por (3,4)
2
t−1 s−1
≥ + , por (3,3)
2 2
t−s−2
=
2
n+2−2
= , pues t + s = n + 2
2
n
=
2
n
luego, |A| + |B| ≥ 2
= |h2i|, omo 0 ∈ h2i, enton es existen i y un k tales
que γ̄ − ā1 + āi − 2v̄k − β̄ = 0, γ̄ − ā1 + āi − 2v̄k = β̄

luego así,
t
Y !
Y
xy u1 y v1 xy ui y vk xy ut y vj
i=2 2≤j≤s
j6=k
= xy γ−a1 +ai −2vk

= xy β
= xy u1 +v1 , pues β = u1 + v1
= xy u1 y1v
simpli ando tenemos
t−1
Y !
Y
xy y vk xy ut
ui
y vj =1
i=2 2≤j≤s
j6=k
por tanto hemos en ontrado una subse uen ia de S de longitud n, uyo
produ to es 1.
En forma similar
Y
{y b1 , y b2 , . . . , y bm } = (xy u2 , xy u3 , . . . , xy ut )
t−1
pro ediendo exa tamente omo arriba, ha emos
A′ = Aβδ = {δ̄ − ā1 + āi − β̄ : 1 ≤ i ≤ l} y B ′ = {2v̄1 , −2v̄3 , . . . , −2v̄s } de

n
nuevo tenemos que |A′ | + |B ′ | ≥ 2
luego, el úni o aso en el que la prueba
no es ompletada es uando
n n
|A| + |B| = y |A′ | + |B ′ | =
2 2
t−1 s−1
Supongamos que |A| > 2
y omo |B| ≥ 2
, enton es
n t−1 t−1 s−1 n

= |A| + |B| > + |B| ≥ + =
2 2 2 2 2
nn t−1
de aquí tenemos que , lo ual es una ontradi ión, luego |A| =
> ,
22 2
n t−1 s−1 s−1
omo |A| + |B| = = 2 + 2 , enton es |B| = 2 . En forma similar
2
′ t−1 ′ s−1 t−1 t−1
tenemos que |A | = y |B | = . Como |A| = , enton es l = y
2 2 2 2
′ t−1 t−1
por ser |A | = , enton es m = luego tenemos que
2 2

(xy 2 , xy u3 , . . . , xy ut ) = t − 1
Y u
(3.5)

t−1
2
y
Y u′ u ′ u ′ Y u u u

(xy 2 , xy 3 , . . . , xy t ) = (xy 2 , xy 3 , . . . , xy t )

t−1 t−1

Y u′ u ′ u ′ t−1
⇒ (xy 2 , xy 3 , . . . , xy t ) =
(3.6)
t−1
2
omo n y t−1 son pares, por el lema 2.4 tenemos que las igualdades (3.5)
(3.6) se umplen si y sólo si existen a, d ∈ Cn tales que
u1 = {u2 , u3 , . . . , ut }

t−1 n n t−1
= a, a + d, . . . , a + − 1 d, a + , . . . , a + + −1 d
2 2 2 2
t−1
donde ord(d) = 2
y también existen a′ , d′ ∈ Cn tales que
u2 = {u1 , u3 , . . . , ut }

t−1 n n t−1
= a′ , a′ + d′ , . . . , a′ + ′ ′ ′
− 1 d ,a + ,...,a + + − 1 d′
2 2 2 2
t−1
donde ord(d′) = 2
. Como u1 \{u2 } = u2 \{u1}, enton es a = a′ y d = d′ de
aquí que u1 = u2 y esto impli a que u1 = u2 , pero esto es una ontradi ión,
por lo tanto
n n
|A| + |B| > ó |A′ | + |B ′ | >
2 2
en ualquier aso tenemos la existen ia de una subse uen ia S′ de S de
Q ′
longitud n tal que 1∈ n (S )
• Cuando t es par igual que en el aso anterior, para toda permuta ión σ de
elementos de {1, 2, . . . , t} tenemos que
t
Y s
Y
uσ(i)
xy y vj = y γ(σ) , para algún γ(σ) ∈ Zn
i=1 j=1
más aún, todos los γ(π) tienen la misma paridad. Fijemos 0 ≤ γ ≤ n−1 tal
que
t
Y s
Y
ui
xy y vj = y γ (3.7)
i=1 j=1
Supongamos que máx{t, s} < n2 +1, enton es tenemos dos posibilidades t ≤ s

ó s≤t
n
Supongamos t≤s enton es t≤s< 2
+ 1, luego 2t ≤ 2s < n + 2 = t + s y
de aquí que s < t, esto es una ontradi ión.
Si suponemos que s ≤ t, de forma similar tenemos que t<s lo ual también

n
es una ontradi ión, por tanto, máx{t, s} ≥ 2
+1
Tenemos dos asos s≥t ó s < t, veamos si s ≥ t, enton es máx{t, s} = s y
n
esto impli a que s≥ + 1. Consideremos los siguientes
2
onjuntos
(
V\{(γ/2)}, si γ es par
A=
V, en otro aso
n
y B = V por deni ión de A tenemos que |A| ≥ s − 1, omo s ≥ 2
+ 1,
enton es 2s ≥ n + 2 luego, 2s − 1 ≥ n + 1, por otra parte,
|A| + |B| ≥ (s − 1) + s
= 2s − 1
≥ n+1
luego, por lema 1.4 tenemos que A + B = Zn y en parti ular existen i0 6= j0

(Pues (γ/2) ∈
/A por deni ión de A) tal que vi0 + vj0 = γ . Can elando y vi0
Y
y y vj0 de los términos en y vj en (3.7) obtenemos que
j=1
t
Y s
Y
ui
xy y vj = 1
i=1 j=1
n n
onsideremos ahora que s < t, enton es máx{t, s} = t ≥ 2
+1 si t= 2
+ 1,
enton es 2t = n+2 = t+s y de aquí que t = s, pero esto es una ontradi ión,
n n
ya que s < t. De aquí que t> 2
+ 1, así t≥ 2
+ 2. Como n es par, enton es
n
|h2i| = 2
.
Sean A⊂U y B ⊂U tales que A 6= ∅, B 6= ∅, A ∩ B = ∅ y A ∪ B = U,

enton es
t = |U| = |A ∪ B|
= |A| + |B| − |A ∩ B|
= |A| + |B| ya que A∩B =∅
n n
luego, |A| + |B| = t ≥ 2
+2 y también |A| + | − B| = t ≥ 2
+2 y por lema
1.4 tenemos que A − B = h2i = 2Zn .

Como A y B son arbitrarios, enton es tenemos que
ui − uj ∈ 2Zn , ∀ i, j ∈ {1, 2, . . . , t} on i 6= j
⇒ ui − uj ∈ 2Zn (3.8)
Sean A=U y B = U\{γ̄} = {−ū1 − γ̄, −ū2 − γ̄, . . . , −ūt − γ̄} enton es
|A| + |B| = |U| + | − U − γ|

= |U| + |U|
= 2t
≥ n+4
luego por el lema 1.4 tenemos que A + B = Zn en parti ular omo 2 ∈ Zn ,

(n ≥ 3), enton es existe un a = ūi0 ∈ A = U y un b ∈ U\{γ̄} tales que
a+b = 2, omo b ∈ −U −{γ̄} enton es existe un ūi′0 ∈ U tal que b = −ūi′0 − γ̄

luego, ūi0 − ūi′0 − γ̄ = 2 de aquí que γ̄ = ūi0 − ūi′0 − 2.
Si ūi0 = ūi′0 , enton es γ̄ = −2 ∈ 2Zn
Si ūi0 6= ūi′0 , enton es por (3.8) tenemos que ūi0 − ūi′0 ∈ Zn y tenemos
que γ̄ = ūi0 − ūi′0 − 2 ∈ Zn omo ū2 − ū1 ∈ 2Zn y −γ̄ ∈ 2Zn , enton es
ū2 − ū1 − γ̄ ∈ 2Zn ū2 − ū1 ≡ γ mód 2

y de aquí que
Y
Sea
a1 a2
{xy , xy , . . . , xy } = (xy u3 , . . . , xy ut−1 ) todos
al
los ai tienen la mis-
t−3
t−1
Y
ma paridad. Sea xy a1 = xy ui
i=3
Ahora, para ualquier 1 ≤ i ≤ l,
Y Y
xy u1 xy u2 xy ai y vk (xy ut ) y vj = y u2−u1 xy a1 y ai−a1 +vk (xy ut ) y vj
1≤j≤s 1≤j≤s
j6=k j6=k
Y
u2 −u1 a1 ut
= y xy (xy ) y y −ai +a1 −2vk
vj
1≤j≤s
γ+a1 −ai −2vk
= y ∈ π(S)
para que podamos resumir esto omo

Y
xy u1 xy u2 xy ai y vk (xy ut ) y vj = y γ+a1 −ai −2vk ∈ π(S) (3.9)
1≤j≤s
j6=k
Sea A = {γ + a1 − ai + u1 − u2 : 1 ≤ i ≤ l}, y B = {−2v1 , . . . , −2vs }.

Notemos que por lema 2.6, |A| ≥ 2t − 1; además, |B| ≥ s/2. Ya que u2 − u1 ≡
n
γ (mod 2), nosotros tenemos A, B ⊂ 2Zn , y satisfa e |A| + |B| ≥ 2
= |2Zn |.
Si |A|+|B| > n/2 enton es por lema 1.4 nosotros debemos tener A+B = 2Zn ,
enton es tenemos que existe i, k tal que γ + a1 − ai + u1 − u2 − 2vk = 0 en
Zn . Pero esto da γ + a1 − ai − 2vk = u2 − u1 . Por tanto podemos an elar
xy u1 xy u2 = y u2 −u1 desde ambos lados de 3.9 para obtener un produ to de
longitud n de los elementos de S. Eso también resuleve este aso.

n
Enton es el úni o aso faltante orresponde a uando |A| + |B| = 2
; en
t s
parti ular, nosotros tenemos |A| = 2
− 1, y |B| = 2
Notemos que usando los mismos argumentos tenemos que
Y X
xy u1 xy u2 xy ai y vT y vj = y γ+a1 −ai −2vT ∈ π(S), donde vT := vi para T ⊆ [s]
j ∈T
/ i∈T
En parti ular, si estable emos S(B) := {2vT : T ⊆ [s]} enton es si |A| +

n
|S(B)| > 2
también produ e la misma on lusión que la anterior. Por lo tanto
podemos suponer que S(B) = B pero esto impli a que B es un subgrupo de
2Zn .
t
Finalmente, ya que |A| = 2
− 1, nosotros tenemos
Πt−3 (xy u3 , . . . , xy ut−1 ) = t − 2

2
Enton es por lema 2.6 nosotros on luimos que {u3 , . . . , ut−1 } es asi una
n
lase lateral del subgrupo de Zn de orden t − 2. Pero desde t ≥ 2
+ 2,
n n
ne esariamente debemos tener t= 2
+2 y s = 2
. Por on iguiente B = 2Zn .
Además, según el lema 2.6, dado que A es asi una lase lateral K de 2Zn , y
ya que A ⊂ 2Zn ; resulta que A+B = 2Zn . Pero luego laramente, 0 ∈ A+B ,
así la prueba es ompleta.
3.2. Con lusiones
• La demostra ión del teorema prin ipal de he ho también demuestra lo siguiente:
Para n impar y ualquier onjunto S ⊂ D2n de tamaño n+1, existe un sub onjunto
T ⊂ S de tamaño n que tras la reordena ión produ e una subse uen ia de 1-
produ to.
• Creemos que algunas de estas ideas podrían extenderse para determinar la ons-
tante de Harborth de otras produ tos semi dire tos de grupos í li os. Una prime-
ra instan ia instru tiva sería onsiderar los grupos Cp × Cn on p primo y p|φ(n)

donde φ(n) denota la fun ión totient de Euler.
• Un invariante más general es la siguiente. Para un entero jo k y un grupo nito
G, en uentre el número entero mínimo n tal que ada se uen ia k -restringida, es
de ir, una se uen ia de elementos de G donde ningún elemento apare e más de
k ve es, admite una subse uen ia de 1-produ to de longitud exp(G). Si bien este
problema se ha estudiado en el ontexto de grupos abelianos, esto pare e ser un

problema no estudiado para los grupos no abelianos. En parti ular, el problema
antes men ionado está abierto (a nuestro leal saber y entender) in luso para los
grupos diédri os, on k = 2.
3.3. Algunas apli a iones de los grupos diédri os
Los grupos diédri os son grupos de simetrías de un polígono regular, in luyendo
tanto rota iones y reexiones que dejan invariante al polígono, son algunos ejemplos de
grupos nitos y tienes diversas apli a iones en la teoría de grupos, en la geometría y en
la quími a, siendo ésta última en la que más se utilizan, omo en las reglas de simetrías
para las rea iones quími as, elementos de simetría mole ular y la ristalografía que es
la ien ia que estudia las propiedades de los ristales; debido a que la mayoría de los mi-
nerales, ompuestos orgáni os y numerosos materiales, adoptan estru turas ristalinas
uando se han produ ido las ondi iones favorables para que esto o urra, originalmente
el estudio de la ristalografía in luía el estudio del re imiento y la geometría exter-
na de estos ristales, pasando posteriormente al estudio de su estru tura interna y de
su omposi ión quími a. Los mineralogistas determinan las estru turas internas de los
ristales (es de ir, uerpos rígidos en los que las partí ulas están dispuestas en tres
dimensiones y patrones repetidos (la sal de mesa y el azú ar de mesa son dos ejemplos)
donde se estudian proye iones de rayos X bidimensionales de la omposi ión atómi a
de los ristales. La simetría presente en éstas proye iones revela la simetría interna de
los propios ristales. O urre omúnmente que los patrones de simetría son D4 y D6 .
La siguiente imagen, muestra un opo de nieve que tiene la simetría diédri a de un
hexágono regular.
R EFERENCIAS B IBLIOGRÁFICAS
[1℄ J. Bass. Improving the Erd®s-Ginzburg-Ziv theorem for some non-abelian groups.
J. Number Theory, 126, (2007). 217-236.
[2℄ J. A. Gallian. Contemporary Abstra t Algebra. CENGAGE Learning, 9 edition,
(2015).
[3℄ J. A. Gallian. Contemporary Abstra t Algebra. University of Minnesota Duluth, 9
edition, (2015).
[4℄ W. Gao and Z. Lu. The Erd®s-Ginzburg-Ziv theorem for dihedral groups. Pure and
Applied Algebra, 212, (2008). 311-319.
[5℄ P. Erd®s A. Ginzburg and A. Ziv. A theorem in additive number theory. Bull. Res.
Coun il Israel, 10F, (1961). 41-43.
[6℄ I. N. Herstein. A¨gebra Moderna. Editorial Trillas Méxi o, 5 edition, (1980).
[7℄ T. W. Hungerford. Algebra. Springer, (1974).
[8℄ V. J. Katz J. B. Fraleigh. A First Course in Abstra t Algebra. Addison-Wesley, 7
edition, (2003).
[9℄ M. Lothaire. Algebrai Combinatori s on Words, En y lopedia Math. Cambridge
Univ. Press, Appl. 90, 2002.

[10℄ P. J. Matínez. Teoría de Grupos estru tura de grupos nitos. Universidad de
Granada, 3 edition, (2001-2017).
[11℄ N. Bala handran E. Mazumdar and K. Zhao. The Harborth Constant of Dihedral
Groups. J. Ramanujan Math. So ., Vol 35, (2019). pp. 177189.
[12℄ D. A. Ramos. Sobre algunas onstantes de suma ero on pesos. Universidad
Centro idental Lisandro Alvarado, (2014).
43
44 REFERENCIAS BIBLIOGRÁFICAS
[13℄ L. E. Mar han O. Ordaz D. Ramos and W. A. S hmid. Some Exa t Values of the
Harborth onstant and Its Plus-Minus Weighted Analogue. Ar hiv der Mathematik,
Vol. 101, (2013). pp 501-512.
[14℄ M. G. Rodríguez. Estru turas Algebrai as y Teoría de Grupos. Universidad Cen-
tro idental Lisandro Alvarado, (junio-2016).
[15℄ E. Szemerédi. On a onje ture of Erd®s and Heilbronn. A ta Arith, 17, (1970).
227-229.

Tesis PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tesis PDF

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD CENTROCCIDENTAL

De anato de Cien ias y Te nología

La Constante de Harborth para Grupos

Trabajo Espe ial de Grado presentado por

Br. Liseth Andreina Mendoza Cama ho

omo requisito final

para obtener el título de Li en iado

en Cien ias Matemáti as

Área de Cono imiento: Álgebra Abstra ta.

Tutor: Dr. Dennys Ramos

Barquisimeto, Venezuela. Noviembre de 2020

La Constante de Harborth para Grupos Diédri os

presentado por la iudadana Br. Liseth Andreina Mendoza Cama ho titular

Con una ali a ión de puntos.

re ordarme onstantemente que Todo lo puedo en Cristo que me fortale e Filipenses

líder espiritual, mi mentora, mi pañito de lágrimas, mi ompañera de guerra, mi mejor

gra ias por tanto.

por tu hermoso orazón mamita linda.

para proseguir en la lu ha y no desmayar, aún uando yo pensaba que me quedaba sin

Saenz, gra ias por sus legados.

si olvido men ionar a alguien, le ofrez o una dis ulpa.

que si brillo es por tu luz, toda la gloria sea para Dios.

Innitamente agrade ida, esto es para ustedes...

La onstante de Harborth para un grupo nito G, denotado por g(G) es el menor

En éste trabajo, vamos a estudiar la onstante de Harborth para el grupo diédri o

prin ipal, la ual será el enfoque y orazón del trabajo de grado.

1.2. Grupos Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6

1.4. Grupos Generados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1.5. Teorema de Lagrange . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1.6. Teoría de Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

2. La Constante de Harborth y Los Grupos Diédri os 13

2.2. Fun iones Parte Entera . . . . . . . . . . . . . . . . . . . . . . . . . . . 23

3. Teorema Harborth-Diédri o sus Con lusiones y Algunas Apli... 31

3.2. Con lusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

3.3. Algunas apli a iones de los grupos diédri os . . . . . . . . . . . . . . . 42

Referen ias Bibliográ as 43

Para un grupo nito G, es rito multipli ativamente, denotando on 1 el elemento

identidad de G, un 1-produ to onstante de G, es el menor entero k, tal que ada on-

junto {x1 , x2 , . . . , xk } (o se uen ia (x1 , . . . , xk ), respe tivamente) de elementos de G, de

respe tivamente). Si el grupo G es abeliano, es rito aditivamente, enton es vamos a re-

Un interesante onjunto de invariantes surge uando se impone alguna estru tu-

Por ejemplo, la onstante de Davenport de un grupo abeliano G, es el mínimo entero

pos í li os hasta un fa tor onstante) onsidera el problema de determinar el mínimo k

una espe ie de restri ión a las se uen ia es que se están examinando.

El teorema de Erd®s-Ginzburg-Ziv [5℄, que indi a que ualquier se uen ia de 2n − 1

Harborth [9℄ introdujo otra invariante de un grupo abeliano G, llamada su onstante

Ver [13℄ para más detalles.

Ahora, la mayoría de las invariantes men ionadas fueron denidas y estudiadas

estas no iones en el ontexto de grupos no abelianos. Por ejemplo, la onstante de

En el presente trabajo de grado nos entramos en un análogo de la onstante de

Harborth que se dene de la siguiente manera. Para un grupo nito G la onstante de

Teorema (Teorema Prin ipal). Para ualquier entero n ≥ 3 y G = D2n

1. Propiedad aso iativa, para todo x, y, z ∈ G se veri a que

2. Existen ia del elemento neutro o elemento identidad, para todo x ∈ G, existe

e∈G tal que

3. Existen ia del elemento opuesto o elemento simétri o, para todo x ∈ G, existe

otra propiedad que en algunos asos veri a ∗ es la siguiente

4. Propiedad onmutativa, para todo x, y ∈ G se veri a que

Si ∗ también umple la propiedad 4. diremos que (G, ∗) es un grupo abeliano o grupo

onmutativo sino diremos que (G, ∗) es un grupo no- onmutativo o no-abeliano.

Teorema 1.1. En un grupo (G, ∗) e y x′ son úni os

• Uni idad de e, supóngase que e∗x = x∗e = x y e1 ∗x = x∗e1 = x para todo x ∈ G.

• Uni idad de x′ Supóngase que x′ ∗ x = x ∗ x′ = e y y ′ ∗ x = x ∗ y ′ = e, enton es

La Constante de Harborth para Grupos

La Constante de Harborth para Grupos Diédri os

Con una ali a ión de puntos.

re ordarme onstantemente que Todo lo puedo en Cristo que me fortale e Filipenses

Innitamente agrade ida, esto es para ustedes...

La onstante de Harborth para un grupo nito G, denotado por g(G) es el menor

Referen ias Bibliográ as 43

Para un grupo nito G, es rito multipli ativamente, denotando on 1 el elemento

Ahora, la mayoría de las invariantes men ionadas fueron denidas y estudiadas

Harborth que se dene de la siguiente manera. Para un grupo nito G la onstante de

1. Propiedad aso iativa, para todo x, y, z ∈ G se veri a que

otra propiedad que en algunos asos veri a ∗ es la siguiente

4. Propiedad onmutativa, para todo x, y ∈ G se veri a que

Ejemplo 1.1. El onjunto Z+ junto on la opera ión binaria + (Z+ , +) no es un

in luido en el onjunto el elemento neutro + no se en uentra el elemento simétri o

x′ ∗ (x ∗ y) = x′ ∗ (x ∗ z) ⇒ (x′ ∗ x) ∗ y = (x ∗ x′ ) ∗ z, por deni ión 1.1

⇒ e ∗ y = e ∗ z, por deni ión 1.1

⇒ y = z, por deni ión 1.1

ra ión binaria que vamos a onsiderar será el produ to ·, e = 1, x′ = x−1 y xy = xy ,

Deni ión 1.2. Sea G un grupo, x∈G enton es se umple que x0 = 1

onjunto nito, en aso ontrario diremos que G es un grupo innito

Deni ión 1.5 (Orden de un elemento de un grupo) . Sea G un grupo. Dado g ∈ G,

1. El elemento g tiene orden nito si y sólo si existe un m∈N tal que g m = 1. En

2. El elemento g tiene orden innito, si no existe m∈N ta que g m = 1. En tal aso

hXi es un grupo innitamente generado.

Teorema 1.3. Sea G un grupo nito y sea H un subgrupo de G, enton es se umple

Corolario 1.1. Sea G un grupo nito y sea g ∈ G, enton es ord(g)|G|

un grupo nito L 6= ∅, pues existe t = |G| umpliendo que g |G| = 1 y L ⊂ N, omo

Deni ión 1.12. Sea G un grupo, sean A, B ∈ G denotaremos la suma de onjuntos

por A+B y la deniremos por

⇒ −a = −b, por deni ión de f

⇒ g + a = g + b, por deni ión de f

⇒ f (a) = f (b − g) = g + (b − g), por deni ión de f

⇒ g − a = g − b, por deni ión de f

⇒ f (a) = f (g − b) = g − (g − b) por deni ión de f