Professional Documents
Culture Documents
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/264309823
CITATIONS READS
0 1,437
1 author:
Mario Pineda-Ruelas
Metropolitan Autonomous University
19 PUBLICATIONS 12 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Mario Pineda-Ruelas on 29 July 2014.
Para ti Irmita, sin tu sabidurá el mundo hubiera tenido una tos nerviosa
que no permitirı́a abrazarlo.
Introducción
Este libro que hojeas por primera vez estimado lector, es una recopilación
de lo que el hombre ha creado durante miles de años; la aritmética. En él
encontrarás un estudio sistemático y formal de lo que en tu vida cotidiana ya
sabı́as: sumar, restar, multiplicar y dividir con números enteros. Por ejemplo
calculabas longitudes, áreas o volúmenes sin saberlo; hago como 45 minutos a mi
casa desde la UAM-I, no caben todas las sillas en este salón, debo partir un pastel
en 12 partes iguales, etc.. Has estado involucrado tal vez sin reflexionarlo en la
geometrı́a, el análisis y en las estructuras algebraicas que describen tu mundo
cercano e imaginario. Estas notas no son un recetario de teoremas, lemas o
corolarios, es una mirada formal a uno de los edificios más bellos en los que está
parada toda la matemática. Cultivarás si te lo propones, la belleza, intensidad,
ingenio, sorpresa y pasión por los temas que aquı́ te propongo.
De acuerdo a mi experiencia en las aulas, estoy convencido que los jóvenes
estudiantes de cursos de matemáticas, tienen el talento necesario para entender
una demostración, con el riesgo de que hasta les guste y les pueda crear vicio por
la justificación y se conviertan en seres cautelosos; ası́ es el espı́ritu de poetas,
filósofos, escritores, pintores, fı́sicos, quı́micos, computólogos y matemáticos, entre
otros. Es un hecho, los jóvenes estudiantes fracasan en clase no porque esperemos
en deması́a de ellos, sino porque de ellos esperamos muy poco. Nuestro reto como
instructores consiste en sembrar en ellos la belleza, intensidad, ingenio, sorpresa
y la pasión de las matemáticas, aunque no se vayan a dedicar a ellas. El profesor
deberá ir mas allá de la simple exposición de los temas. Estas notas y otras,
podrán lograr muy poco si la actitud del expositor o el instructor no demuestra
interés hacia el aprendizaje de sus escuchas.
El tratamiento del primer capı́tulo es tradicional y seguramente el lector
podrá encontrar algo distinto de lo que se trata en los textos convencionales.
Para estudiar una introducción a la teorı́a de grupos, uno debe conocer muy
iii
iv INTRODUCCIÓN
Cuando estudiamos la historia del álgebra moderna uno se enfrenta a dos pre-
guntas ineludibles: ¿qué es un grupo? ¿qué es la teorı́a de grupos? Dependiendo
de la respuesta (que depende del tiempo en que la ubiquemos), es el camino que
elegimos para escribir sobre la teorı́a de grupos. Ası́, si respondemos que los gru-
pos son permutaciones (teorema de Cayley), entonces le damos más significado
aritmético. Basta recordar los problemas que plantearon Galois y Abel al tratar
de resolver ecuaciones polinomiales. Galois asociaba un grupo (no sabı́a lo que
era un grupo, sólo lo intuı́a) a una ecuación polinomial y deducı́a la posible so-
lubilidad del polinomio en términos de las propiedades del grupo asociado. Sin
embargo, otro punto de vista aceptado en la actualidad, y parece que con éxito, es
el geométrico a través de las simetrı́as. No tengo dudas en que ésta es una de las
razones por las cuales otras disciplinas como la fı́sica y la quı́mica han adoptado a
la teorı́a de grupos como un recurso importante en algunas de sus investigaciones.
He elegido el primer punto de vista y con ello, presento la evolución de una teorı́a:
desde la definición de grupo, pasando por el teorema de Lagrange y planteando la
pregunta guı́a: ¿para qué divisores del orden de un grupo finito existen subgrupos
INTRODUCCIÓN v
de ese tamaño? Ası́ llegamos a los subgrupos de Sylow. En alguna de las secciones
estudiamos las simetrı́as de un cuadrado y creo que ese es el momento oportuno de
introducir los grupos dihédricos como grupos de simetrı́as de polı́gonos regulares.
Si el lector lo decide, puede utilizar esta sección para dar comienzo al estudio de
la teorı́a de grupos.
No está por demás recordarlo pero, la filosofı́a de un curso introductorio de
teorı́a de grupos finitos debe ser el presentar ese gran proyecto de finales del siglo
xix:
“It would be of the greatest interest if it were possible to give an overview of
the entire collection of finite simple groups”
Serı́a del mayor interés si fuera posible dar una descripción de la colección
completa de los grupos finitos simples
Ası́ comienza el artı́culo [15] de Otto Hölder escrito en 1892, año en que nació
el programa propuesto por el profesor Hölder que ha llevado poco más de 110 años
para ser considerado completamente resuelto. Es una labor titánica establecer el
Teorema de Clasificación de los Grupos Simples Finitos que, de acuerdo al profesor
Daniel Gorestein, la prueba contiene más de 10 000 páginas que son resultado de
las investigaciones de más de 100 investigadores durante 110 años. En estas notas,
damos algunas familias infinitas de grupos simples finitos, por ejemplo los grupos
cı́clicos finitos y los grupos alternantes An , para n ≥ 5.
Quiero agradecer a los tres árbitros que leyeron mi trabajo con profesionalismo
y con sus comentarios pude mejorar algunos aspectos de estas notas, en beneficio
del lector. Los errores que pudiera haber son responsabilidad de un servidor.
Introducción iii
Capı́tulo 3. Cuadrados en Fp 63
3.1. Sı́mbolo de Legendre 65
3.2. Ley de reciprocidad cuadrática 68
3.3. Sı́mbolo de Jacobi 82
Índice 203
Capı́tulo 1
Los enteros Z
1.1. Algoritmo de la división
En este trabajo N, Z, Q, R y C denotan a los números naturales, enteros,
racionales, reales y complejos respectivamente. Por principio, no consideramos
al número 0 como número natural y definimos N0 = N ∪ {0}. Asumimos que
Z = {0, n, −n : n ∈ N}.
Una de las herramientas más útiles en las matemáticas es el Principio de
Inducción Matemática (PI) y su equivalente el Principio del Buen Orden (PBO).
El PI nos brinda un método para hacer demostraciones de afirmaciones que
involucran a los números naturales. Concretamente, el PI y el PBO afirman
lo siguiente: Principio de Inducción Matemática: Sea S ⊆ N tal que S satisface
las siguientes propiedades:
1. 1 ∈ S.
2. Si 1, 2, . . . n ∈ S, entonces n + 1 ∈ S.
Entonces S = N.
de las culturas ancestrales, nos justifica formalmente por qué podı́amos hacer
nuestras divisiones tal como nos los enseñaron nuestros profesores.
Teorema 1.1.2 (algoritmo de la división). Sean a, b ∈ Z con a 6= 0. Existen
enteros q y r únicos tales que b = aq + r donde 0 ≤ r < |a|.
Demostración. Consideremos el conjunto S = {b − am : m ∈ Z}. Sea
S0 = S ∩ N0 . Es claro que S0 6= ∅. Por el PBO S0 contiene un elemento r que
satisface r ≤ n para todo n ∈ S0 . Lo anterior nos asegura que r = b − aq para
algún q ∈ Z. Ahora mostraremos la unicidad de q y r. Supongamos que
b = aq1 + r1 = aq2 + r2
con
0 ≤ r1 < |a| y 0 ≤ r2 < |a|.
Notemos que la igualdad a(q1 − q2 ) = r2 − r1 implica |a||q1 − q2 | = |r2 − r1 | y
como −|a| < r2 − r1 < |a|, tenemos que
−|a| < |a||q1 − q2 | < |a|.
cancelando |a| obtenemos −1 < |q1 −q2 | < 1 y ası́ q1 = q2 . De lo anterior, r1 = r2 .
Por último, como a 6= 0 entonces a ≥ 1 ó a ≤ −1. Si a ≥ 1, tenemos que
b − a(q + 1) = b − aq − a < b − aq = r,
ası́
b − a(q + 1) < 0
y por lo tanto r < a = |a|. El caso a ≤ −1 es similar, se sigue al considerar que
b − a(q − 1) < 0.
El algoritmo de la división puede ser usado para obtener un importante
resultado sobre la representación de números naturales.
Teorema 1.1.3. Si a > 1, entonces cualquier entero x > 0 tiene una
expresión única de la forma x = b0 + b1 a + · · · + bn an con n ≥ 0, 0 < bn < a y
0 ≤ bi < a para 0 ≤ i ≤ n − 1.
Demostración. La existencia de tal expresión la justificaremos con in-
ducción sobre x. Si x = 1 el resultado es evidente. Supongamos que cualquier
entero positivo m < x puede ser representado de manera única en la forma
r0 + r1 a + · · · + rk−1 ak−1 + rk ak ,
4 1. LOS ENTEROS Z
donde
0 ≤ ri < a, 0≤i≤k y rk > 0.
Por el algoritmo de la división x = qa + r y 0 ≤ r < a. Si q = 0, entonces
x = r es la representación que buscamos. Por lo anterior podemos suponer que
q 6= 0. Si q > x, entonces qa + r > x, lo que no es posible. Si q < 0, entonces
qa ≤ −a < −r < 0 y ası́ x = qa + r < 0, lo cual es imposible. Si q = x entonces
r = 0, a = 1 es imposible pues por hipótesis a > 1. Lo anterior nos permite
suponer que 0 < q < x. Aplicamos la hipótesis de inducción en q y ası́ tenemos
q = r0 + r1 a + · · · + rk−1 ak−1 + rk ak ,
con 0 ≤ ri < a y rk > 0. Entonces
x = aq + r = rk ak+1 + rk−1 ak + · · · + r1 a2 + r0 a + r
y con un cambio de ı́ndices apropiado obtenemos que
x = b0 + b1 a + · · · + bn an .
Por último mostraremos la unicidad de esta representación: Concretamente,
demostraremos que si
x = b0 + b1 a + · · · + bn an = c0 + c1 a + · · · + cj aj
entonces n = j y bi = ci para i = 1, 2, . . . , n.. Si nuestra afirmación es falsa
tenemos que
0 = h0 + h1 a + · · · + hs as , hs 6= 0, s > 0
con |hi | < a para 0 ≤ i ≤ s y hi = ci − bi . Puesto que |hi | < a, entonces hi ≤ a − 1
y ası́
as ≤ |hs as | = |h0 + h1 a + · · · + hs−1 as−1 |
≤ |h0 | + |h1 |a + · · · + |hs−1 |as−1
≤ (a − 1) + (a − 1)a + · · · + (a − 1)as−1
= (a − 1)(1 + a + · · · + as−1 ) = as − 1
lo cual es absurdo.
b
y por lo tanto + 1 = q.
a
2
Euclides. Fundador de la escuela de matemáticas de la Universidad de Alejandrı́a, recibió
probablemente su formación matemática en la Academia Platónica de Atenas; desgraciadamente
poco se sabe de su vida. Algunos historiadores lo ubican 300 a.C. Su obra más sobresaliente es
Los elementos el cual es resultado de una recopilación sistemática de trabajos anteriores sobre
geometrı́a, teorı́a de números y álgebra elemental.
12 1. LOS ENTEROS Z
|a1 a2 |
= N,
mcd(a1 , a2 )
1 2 3 4 5 6 7 8 9 10
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40
41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100
101 102 103 104 105 106 107 108 109 110
111 112 113 114 115 116 117 118 119 120
121 122 123 124 125 126 127 128 129 130
131 132 133 134 135 136 137 138 139 140
141 142 143 144 145 146 147 148 149 150
151 152 153 154 155 156 157 158 159 160
161 162 163 164 165 166 167 168 169 170
171 172 173 174 175 176 177 178 179 180
181 182 183 184 185 186 187 188 189 190
191 192 193 194 195 196 197 198 199 200
201 202 203 204 205 206 207 208 209 210
211 212 213 214 215 216 217 218 219 220
221 222 223 224 225 226 227 228 229 230
231 232 233 234 235 236 237 238 239 240
241 242 243 244 245 246 247 248 249 250
251 252 253 254 255 256 257 258 259 260
261 262 263 264 265 266 267 268 269 270
271 272 273 274 275 276 277 278 279 280
281 282 283 284 285 286 287 288 289 290
291 292 293 294 295 296 297 298 299 300
301 302 303 304 305 306 307 308 309 310
311 312 313 314 315 316 317 318 319 320
321 322 323 324 325 326 327 328 329 330
331 332 333 334 335 336 337 338 339 340
341 342 343 344 345 346 347 348 349 350
351 352 353 354 355 356 357 358 359 360
361 362 363 364 365 366 367 368 369 370
371 372 373 374 375 376 377 378 379 380
381 382 383 384 385 386 387 388 389 390
391 392 393 394 395 396 397 398 399 400
Tabla 1
1.6. OTRAS FACTORIZACIONES 21
x = a3 − 57ab2
1 = 3a2 b − 19b3
PROBLEMAS
n
X n(n + 1)
1. Usa el PBO para demostrar que la fórmula i= es válida para todos
i=1
2
los números naturales.
2. Estimado lector ¿recuerdas las siguientes fórmulas?:
1
a) n(n + 1)(2n + 1).
6
1
b) (n + 1)(2n + 1)(2n + 3).
3
3
c) (9n − 1).
8
Muestra que para n ∈ N cada una de ellas es un entero.
3. Desigualdad de Bernoulli. Sea x ≥ −1 un número real. Demuestra que si n ∈ N,
entonces (1 + x)n ≥ 1 + nx. ¿Qué sucede si x < −1?
Xn n(n + 1) 2
4. Demuestra que i3 = .
i=1
2
5. Demuestra que si n ∈ N, entonces n3 = a2 −b2 para ciertos enteros a, b ∈ Z. Primero
experimenta con algunos valores de n.
2n 2n
X 1 X (−1)i+1
6. Demuestra que = .
i=n+1
i i=1
i
7. Demuestra que mcd(a, b, c) = mcd(mcd(a, b), c). Concluye que existen x, y, z ∈ Z
tal que mcd(a, b, c) = ax + by + cz.
8. Escribe como Z-combinación lineal el mcd de los siguientes números:
a) 17 y 43
b) 130 y 45
c) −39 y 0
d) −15 y −18
e) 14, 21 y 35
f) n y n + 1
g) n y n + 2
9. Sea g = mcd(a, b). Demuestra la igualdad entre los siguientes conjuntos:
{ax + by : x, y ∈ Z} = {gt : t ∈ Z}.
10. Sean a, b ∈ Z con a 6= 0. Muestra que las siguientes afirmaciones son equivalentes:
a) a | b.
b) mcd(a, b) = |a|.
c) mcm(a, b) = |b|.
11. Si a, b ∈ N y mcd(a, b) = 1, muestra que mcd(2a + b, a + 2b) = 1 o 3.
24 1. LOS ENTEROS Z
c) 2x + 5y − 11z = 1
d) x − 14y − 7z = 4
29. Usa el algoritmo de la división para mostrar que el cuadrado de cualquier entero es
de la forma 3k o bien 3k + 1 pero no de la forma 3k + 2.
30. Muestra que el cuadrado de cualquier entero de la forma 4k + 1 deja residuo 0 o 1
al ser dividido por 4. Concluye que la sucesión:
11, 111, 1111, 11111, . . . ,
no contiene términos que sean un cuadrado. Sugerencia: cualquier término de la
sucesión es de la forma 4k + 3.
31. Muestra que si n es impar, entonces a + b | an + bn .
32. Muestra que a + b - a2 + b2 . Si n es par ¿será cierto que a + b - an + bn ?
33. Muestra que la ecuación xn + y n = z n−1 tiene una infinidad de soluciones enteras.
2
Sugerencia: [(an + bn )n−1 ]n−1 = (an + bn )n −2n+1 .
n n n+1
34. Muestra que la ecuación x + y = z tiene una infinidad de soluciones enteras.
Sugerencia: [a(an + bn )]n + [b(an + bn )]n .
35. Muestra que si n ∈ Z, entonces 3n2 − 1 no es un cuadrado.
36. Sean a, b ∈ Z ambos impares. Muestra que 8 | a2 − b2 .
37. Escribe una definición de mcd y mcm para un conjunto finito de enteros a1 , . . . , ak .
38. Demuestra las siguientes afirmaciones:
a) Sea m = |a1 a2 · · · an | 6= 0. Muestra que
m m m
m = mcm(a1 , a2 , . . . , an ) mcd , ,..., .
a1 a2 an
b) Sea m > 0 un múltiplo común de a1 , a2 , . . . , an . Muestra que:
m m m
m = mcm(a1 , a2 , . . . , an ) si y solo si mcd , ,..., = 1.
a1 a2 an
39. Prueba que si a 6= 0 6= b y mcd(a, b) = mcm(a, b), entonces |a| = |b|.
40. Supongamos que mcd(a, b) = 1 y d | ab. Muestra que si u = mcd(a, d) y
v = mcd(b, d), entonces uv = d.
41. Muestra que no existen x, y ∈ Z tal que x + y = 80 y mcd(x, y) = 13.
42. Prueba que las ecuaciones x + y = l y mcd(x, y) = g tienen solución común si y solo
si g | l.
43. Prueba que el sistema de ecuaciones
mcd(x, y) = g
mcm(x, y) = l
es soluble en los enteros x, y si y solo si g | l.
44. Muestra que si a1 , . . . , am ∈ Z y m > 1 con al menos un ai 6= 0, entonces existen
t1 , . . . , tm ∈ Z tal que mcd(a1 , . . . , am ) = a1 t1 + · · · + am tm .
26 1. LOS ENTEROS Z
5
Pierre de Fermat (1601-1665) nació en Beaumont-de Lomange, Francia. Estudió leyes en
Touluse y en sus ratos de ocio se dedicó a la literatura y a las matemáticas. Contribuyó a la
evolución de la geometrı́a analı́tica, el cálculo diferencial e integral, la teorı́a de números y la
teorı́a de las probabilidades. Los principales escritos de Fermat fueron publicados después de su
muerte bajo el tı́tulo Varia Opera Mathematica.
1.6. OTRAS FACTORIZACIONES 27
r
Y r
Y
57. Sean a = pα
i (αi ≥ 0) y b =
i
pβi i (βi ≥ 0) . Si µi = min{αi , βi }, γi =
i=1 i=1
Yr r
Y
max{αi , βi }, entonces mcd(a, b) = pµi
i y mcm(a, b) = pγi i .
i=1 i=1
58. Usa el problema anterior para verificar las siguientes relaciones:
a) mcd(x, mcm(y, z)) = mcm(mcd(x, y), mcd(x, z))
b) mcm(x, mcd(y, z)) = mcd(mcm(x, y), mcm(x, z))
c) mcm(x, y, z) mcd(x, y, z) ≤ |xyz|. La igualdad se obtiene si y solo si x, y, z son
primos relativos por pares.
59. Muestra que existe una infinidad de primos de la forma 4n + 1.
60. Muestra que existe una infinidad de primos de la forma 3n + 2.
1 n+1 n
61. Sea n > 1. Muestra que (22 + 22 + 1) es un número compuesto.
3
62. Muestra que existe una infinidad de primos de la forma 4n + 3. Sugerencia:
supongamos que {p1 , p2 , . . . , pr } son todos y pi 6= 3 para i = 1, . . . r. El número
n = 4(p1 p2 · · · pr ) + 3 > 1. Luego factoriza n y observa que al menos uno de sus
factores primos qi 6∈ {p1 , p2 , . . . , pr }.
63. Encuentra 30 primos de la forma n2 + 1. Existe una conjetura famosa que afirma:
existe una infinidad de primos de la forma n2 + 1.
64. Para x > 0 sea π(x) = el número de primos p tal que p ≤ x. Ası́ π(4) = 2, π(9) = 4
lnx
, etc.. Paul Erdös demostró de una manera elemental que para x ∈ N, π(x) ≥ .
2ln2
Usa la desigualdad anterior para mostrar que el n-ésimo primo pn obtenido en la
criba de Eratóstenes satisface que pn < 22n .
n
65. Considera la sucesión de números 22 + 1 con n ∈ N. Prueba que:
n m
a) Si n < m, entonces 22 + 1 es divisor de 22 − 1.
n m
b) Si n 6= m, entonces mcd(22 + 1, 22 + 1) = 1.
c) Utiliza b) para mostrar que existe una infinidad de números primos.
66. Si a ∈ Z y a 6= 0, entonces las únicas soluciones racionales de la ecuación xm = a
son necesariamente enteras.
67. Cribageométrica de Eratóstenes.
Consideremos en el plano cartesiano los conjuntos
1
A = (0, ) : m = 1, 2, . . . , B = {(n + 1, 0) : n = 1, 2, . . .} , donde cada punto del
m
conjunto A esta conectado por una recta con cada punto del conjunto B tal como
se indica en la figura 1.1:
1
a) Encuentra la ecuación de la recta que pasa por los puntos (n + 1, 0) y (0, ).
m
28 1. LOS ENTEROS Z
Figura 1.1
1 1
b) Muestra que la intersección de la recta y = − x+ con y = −1 es
m(n + 1) m
el conjunto de puntos {((m + 1)(n + 1), −1)}. Concluye en este inciso que las
abscisas de estos puntos son números compuestos.
c) Muestra que si x es compuesto, entonces x = (m + 1)(n + 1), para ciertos
naturales m, n.
d) Muestra que si x es compuesto, entonces existen m, n ∈ N tales que el punto
1 1
(x, −1) es la intersección de las rectas y = − x+ y y = −1.
m(n + 1) m
68. Consideremos la siguiente colección de números:
N1 = 2,
N2 = N1 + 1,
N3 = N1 N2 + 1,
..
.
Nk = N1 N2 · · · Nk−1 + 1.
Demuestra que si i 6= j, entonces mcd(Ni , Nj ) = 1.
69. Usa el problema anterior para mostrar que existe una infinidad de números primos.
70. Sean p1 , p2 , . . . , pn los primeros números primos. Ası́, p1 = 2, p2 = 3, p3 = 5, etc.
Muestra que el (n + 1)-ésimo primo satisface que pn+1 < pn n + 1.
n−1
71. Use el problema anterior para concluir que pn < 22 . De esta manera, podemos
n
afirmar que existen al menos n + 1 primos menores que 22 .
1.6. OTRAS FACTORIZACIONES 29
93. Fermat observó que el problema de factorizar un entero positivo n era equivalente a
resolver la ecuación n = x2 − y 2 . Supongamos que n = ab es impar y 1 < a < b < n.
Demuestra que la ecuación n = x2 − y 2 es soluble en los enteros x, y.
94. De acuerdo al ejemplo 1.6.2, demuestra que (x) ∈ S es primo si y solo si x es impar.
95. Supongamos que n = pα 1 α2 αr
1 p2 · · · pr . Responde y justifica:
a) Si r = 1 y α > 1 ¿cuántos divisores positivos tiene n?.
b) Si r = 2 y α1 , α2 = 1 ¿cuántos divisores positivos tiene n?.
c) Si r = 2 y α1 = 1, α2 > 1 ¿cuántos divisores positivos tiene n?.
d) Si r = 2 y α1 , α2 > 1 ¿cuántos divisores positivos tiene n?.
e) Si r > 2 y αi > 1 para i = 1, . . . , r ¿cuántos divisores positivos tiene n?.
96. En 1752 el matemático prusiano Christian Goldbach comunicó a Euler la siguiente
conjetura: cualquier entero positivo impar se puede escribir como p+2a2 , donde p es
un primo o bien 1 y a ≥ 0. Demuestra que el entero 5777 no satisface la afirmación
de Goldbach y por tanto su conjetura es falsa.
97. Identidad de Euler de los cuatro cuadrados. Sean a, b, c, d, e, f, g, h ∈ N y considere
los números a2 + b2 + c2 + d2 y e2 + f 2 + g 2 + h2 . Demuestra que
(a2 + b2 + c2 + d2 )(e2 + f 2 + g 2 + h2 ) = p2 + q 2 + r2 + s2 .
Si suponemos que cualquier número primo es suma de cuatro cuadrados, concluya
usanto la factorización única de Z, que cualquier entero positivo es suma de cuatro
cuadrados. Sugerencia: Use los siguientes valores:
p = ae + bf + cg + dh,
q = af − be + ch − dg,
r = ag − bh − ce + df,
s = ah + bg − de − cf.
Capı́tulo 2
Enteros módulo m, Zm
2.1. Congruencias
La intención de este capı́tulo es construir un conjunto finito, conocido como
anillo de enteros módulo n, en el cual podremos sumar y multiplicar de acuerdo
a ciertas reglas establecidas. El estudio de esta clase de conjuntos ha merecido la
atención de destacados matemáticos desde hace más de 250 años. Sea n un entero
diferente de 0. Definimos en Z la siguiente relación: a ∼ b si y solo si n | a − b. Si
los enteros a, b están relacionados escribiremos a ≡ b (mod n) y diremos que a es
congruente con b módulo n. Es fácil verificar que ≡ satisface:
1. Para a ∈ Z, se cumple que a ≡ a (mod n).
2. Si a ≡ b (mod n), entonces b ≡ a (mod n).
3. Si a ≡ b (mod n) y b ≡ c (mod n), entonces a ≡ c (mod n).
De lo anterior concluimos que ∼ es una relación de equivalencia y por tanto, Z
queda partido en subconjuntos ajenos dos a dos y no vacı́os. Veamos un ejemplo.
Si n = 6, entonces a ≡ b (mod 6) si y solo si 6 | a − b. Si denotamos por a la clase
de equivalencia del entero a, entonces
31
32 2. ENTEROS MÓDULO m, Zm
observen que si dividimos un entero a entre n ó −n, los posibles residuos son
exactamente los mismos.
Diremos que el conjunto de enteros {x1 , . . . , xs } es un sistema completo de
residuos módulo m si: dado cualquier y ∈ Z, existe un único xi ∈ {x1 , . . . , xs } tal
que y ≡ xi (mod m). Si {x1 , . . . , xs } satisface la definición anterior escribiremos
SCR(m) = {x1 , . . . , xs }. Notemos que si xi , xj ∈ SCR(m) con i 6= j, entonces
xi 6≡ xj (mod m). Por tanto, en un SCR(m) cualesquiera dos elementos diferentes
son incongruentes módulo m. Si m > 1, el conjunto {0, 1, . . . , m − 1} es un
SCR(m).
Teorema 2.1.5. Si {x1 , . . . , xs } y {y1 , . . . , yt } son SCR(m), entonces s = t.
Demostración. Supongamos que s < t . Para cada xi ∈ {x1 , . . . , xs } existe
un único yj ∈ {y1 , . . . , yt } tal que xi ≡ yj (mod m). Reacomodando los elementos
de {y1 , . . . , yt } podemos suponer que xi ≡ yi (mod m). Sea yj con s + 1 ≤ j ≤ t.
Puesto que {x1 , ..., xs } es un SCR(m), entonces existe un único xr ∈ {x1 , . . . , xs }
tal que yj ≡ xr (mod m). De lo anterior se sigue que yj ≡ xr ≡ yr (mod m)
y j 6= r, lo cual es absurdo. De la misma forma t < s es imposible. Por tanto
s = t.
Pero
ϕ(m)
Y
mcd xi , m = 1,
i=1
entonces haciendo uso del teorema de cancelación para el producto 2.1.2,
aϕ(m) ≡ 1 (mod m).
2
Leonhard Euler nació el 15 de abril de 1707 en Basilea, Suiza. Ingresa a la Universidad
de Basilea para estudiar teologı́a y hebreo, pero sus conocimientos y aptitudes en matemáticas
atraen la atención de Johan Bernoulli quien le dedica una sesión semanal para responder a sus
preguntas. Euler publicó su primera memoria a los dieciocho años y en sus escritos nunca dejó
de considerar la potencia deductiva de la inteligencia como la supremacı́a indiscutible, y aún
cuando los resultados del cálculo contradijeran el sentido común, no dudaba en adoptarlos. En
todas las ramas de las matemáticas puede encontrarse su nombre. Sus contribuciones principales
están en: el cálculo, las ecuaciones diferenciales, la geometrı́a analı́tica de curvas y superficies,
la teorı́a de números y el cálculo de variaciones. El 7 de septiembre de 1783, después de haber
hablado sobre temas populares de la época, como el descubrimiento de Urano, dejó de calcular
y vivir.
38 2. ENTEROS MÓDULO m, Zm
i=1
40 2. ENTEROS MÓDULO m, Zm
ax ≡ b (mod m) no es soluble.
Con lo anterior tenemos dos problemas a la vista, uno de ellos es resolver un
sistema de congruencias donde los módulos son potencias de primos, y el segundo
problema consiste en resolver una congruencia donde el módulo es una potencia de
un primo. Por el momento estudiaremos un sistema de congruencias relativamente
simple y a la vez más general.
Teorema 2.3.1. Sean m1 , . . . , mr ∈ N tal que mcd(mi , mj ) = 1 para i 6= j.
Para i = 1, . . . , r sea xi solución de bi x ≡ ai (mod mi ). Entonces el sistema
b1 x ≡ a1 (mod m1 )
b2 x ≡ a2 (mod m2 )
.. ..
. .
br x ≡ ar (mod mr )
es soluble.
r
Y
Demostración. Sea m = mi . Consideremos la congruencia auxiliar
i=1
m
x≡1 (mod mi )
mi
r
m X m
y sea si tal que si ≡ 1 (mod mi ). Entonces x = si xi resuelve cada una
mi i=1
mi
de las congruencias del sistema.
En [19] página 279, los profesores P. Samuel y O. Zariski afirman que el
calendario solar chino fue elaborado entre los siglos IV y VII d.C y se usó para
encontrar perı́odos en común a varios ciclos de fenómenos astronómicos. Este
calendario da una regla para resolver un sistema lineal de congruencias.
Corolario 2.3.2. [Teorema chino del residuo3] Sean m1 , . . . , mr ∈ N tal
que mcd(mi , mj ) = 1 para i 6= j. Si a1 , . . . , ar ∈ Z, entonces el sistema de
3En el libro Arithmetic in nine sections (1257 a.C) escrito por el matemático chino Sun-tzi
se puede leer el siguiente problema: existe un número indeterminado de objetos que cuando es
dividido por 3 deja 2, por 5 deja 3 y por 7 deja 2. ¿Cuál es el menor número? Es posible que
este problema sea el primer testimonio del Teorema Chino del Residuo.
2.3. SISTEMAS DE CONGRUENCIAS DE GRADO 1 41
congruencias
x ≡ a1 (mod m1 )
x ≡ a2 (mod m2 )
.. ..
. .
x ≡ ar (mod mr )
tiene solución única, es decir, cualquier par de soluciones son congruentes módulo
mcm(m1 , . . . , mr ).
Demostración. Con la notación del teorema anterior, xi = ai es solución
r
X m
de x ≡ ai (mod mi ). La solución del sistema está dado por x = si ai .
i=1
mi
Notamos que la afirmación solo si del lema 2.3.4 nos describe explı́citamente
un método para resolver un sistema particular de dos congruencias.
2.3. SISTEMAS DE CONGRUENCIAS DE GRADO 1 43
i=1
2.3. SISTEMAS DE CONGRUENCIAS DE GRADO 1 47
k
Y
ϕ(m) = ϕ(pα
i ).
i
i=1
Por tanto, para calcular ϕ(m) es necesario conocer la factorización del entero m
(teóricamente es posible) y todo se reduce a calcular la función ϕ en potencias de
primos. El siguiente resultado nos resuelve el problema.
1 2 3 ··· p
p+1 p+2 p+3 ··· 2p
2p + 1 2p + 2 2p + 3 ··· 3p
.. .. .. .. ..
. . . . .
(p − 1)p + 1 (p − 1)p + 2 (p − 1)p + 3 ··· pp
.. .. .. .. ..
. . . . .
(pn−1 − 1)p + 1 (pn−1 − 1)p + 2 (pn−1 − 1) + 3 ··· pn−1 p.
k
Y
Demostración. Sea n = pα
i donde pi 6= pj si i 6= j. Entonces
i
i=1
k
Y k
Y k
Y
αi −1
ϕ(n) = ϕ( pα
i )=
i
ϕ(pα
i )=
i
(pα
i − pi
i
)=
1 1 1
k k k
Y 1 Y Y 1 Y 1
pα
i (1 −
i
)= pα
i
i
(1 − ) = n (1 − ).
1
pi 1 1
pi p
p|n
4 4
=4 y ası́ x= p1 = 8
d1 d1
4 4
=2 ” x= p2 = 6
d2 d2
4 4
=1 ” x= p3 = 5
d3 d3
4 4
=2 ” x= p1 p2 = 12
d1 d2 d1 d2
4 4
=1 ” x= p1 p3 = 10
d1 d3 d1 d2
Por tanto las soluciones son x = 8, 6, 5, 12, 10.
50 2. ENTEROS MÓDULO m, Zm
i=1
Teorema 2.5.1. Si m = pα
1
1
· · · pα
y f (x) ∈ Z[x] no es un polinomio
k
k
αi
es soluble. Recı́procamnete, si xi denota una solución de f (x) ≡ 0 (mod pi ),
entonces el teorema chino del residuo asegura que el sistema
x ≡ x1 (mod pα
1 )
1
x ≡ x2 (mod pα
2 )
2
.. ..
. .
x ≡ xk (mod pα
k )
k
tiene solución única x, pues cada una de las congruencias del sistema tiene solución
única. Por lo anterior tenemos que
f (x) ≡ f (xi ) ≡ 0 (mod pα
i )
i
y aplicando el teorema 2.1.3 llegamos a f (x) ≡ 0 (mod m). Para terminar nuestro
resultado solo nos resta contar las soluciones de la congruencia original. Conside-
remos los siguientes conjuntos:
T1 = {x11 , x21 , . . . , xt1 1 },
T2 = {x12 , x22 , . . . , xt2 2 },
.. ..
. .
Tk = {x1k , x2k , . . . , xtk k },
2.5. LA CONGRUENCIA f (x) ≡ 0 (mod m) 51
x ≡ x i1 1 (mod pα
1 )
1
x ≡ x i2 2 (mod pα
2 )
2
.. ..
. .
x ≡ x ik k (mod pα
k ).
k
Por el teorema chino del residuo el sistema tiene solución única x. Aplicando el
teorema 2.1.3 al sistema anterior obtenemos que
.. ..
. .
f (x) ≡ f (xik k ) ≡ 0 (mod pα
k ),
k
αk
y por lo tanto f (x) ≡ 0 (mod mcm(pα 1 , . . . , pk ) = m). Ahora elegimos dos ele-
1
0 αi
2. xi ≡
6 xi (mod pi ) para alguna i.
x ≡ x1 (mod p1α1 )
x ≡ x2 (mod pα
2 )
2
.. ..
. .
x ≡ xk (mod pα
k )
k
52 2. ENTEROS MÓDULO m, Zm
x ≡ x02 (mod pα
2 )
2
.. ..
. .
x ≡ x0k (mod pα
k ).
k
αi
0
i-ésima congruencia tendrı́amos xi ≡ xi (mod pi ). Ası́ que y 6≡ y 0 (mod m) y
de esta manera hemos probado que f (x) ≡ 0 (mod m) tiene al menos t1 t2 · · · tk
soluciones incongruentes.
Para ver que son exactamente todas, debemos elegir cualquier solución z de
f (x) ≡ 0 (mod m) y ver que z proviene de algún elemento de T1 × T2 × · · · × Tk .
En efecto, z = pα αi
i qi + ri con 0 ≤ ri < pi para 1 ≤ i ≤ k. Ası́ que z ≡ ri
i
αi
(mod pi ) y por tanto f (z) ≡ f (ri ) ≡ 0 (mod pα
i ). Por lo anterior, ri es algún
i
x ≡ r2 (mod pα
2 )
2
.. ..
. .
x ≡ rk (mod pα
k ).
k
El lema débil de Hensel funciona muy bien para primos impares. Lo que sos-
pechamos ahora es que con p = 2 es donde deben estar los ejemplos. Observamos
que x2 ≡ 13 (mod 22 ) tiene como soluciones a x = 1, 3, pero x2 ≡ 13 (mod 23 )
no es soluble. La invención de este ejemplo tiene su fundamento teórico, vea los
incisos b) y c) del problema 49 al final del capı́tulo.
PROBLEMAS
1. Muestra que dos enteros son congruentes módulo n si y solo si dejan el mismo residuo
al ser divididos por n.
2. Muestra que:
a) Si a ≡ b (mod n) y c ≡ d (mod n), entonces a + c ≡ b + d (mod n).
b) Si a ≡ b (mod n), entonces para x, y ∈ Z, ax ≡ bx (mod n).
c) Si a ≡ b (mod n) y c ≡ d (mod n), entonces ax + cy ≡ bx + dy (mod n).
d) Si f (x) ∈ Z[x] y a ≡ b (mod n), entonces f (a) ≡ f (b) (mod n).
3. Muestra que si a ∈ N, entonces a2 ≡ 0, 1 (mod 4). ¿Por qué 602 915 no es un
cuadrado?
4. Muestra que:
a) Si n es impar, entonces n2 ≡ 1 (mod 8).
b) Si a ∈ Z, entonces 6 | a3 − a.
5. Muestra que Zn es un campo si y solo si n es primo. Conluye que existe una infinidad
de campos finitos.
n−1
X
6. Sea n ∈ N impar. Muestra que i ≡ 0 (mod n). ¿Qué pasa si n es par?
i=0
7. Encuentra un SCR(19) formado por múltiplos de 4.
8. Usando la definición de SRR(m) muestra que {1, 2, 4, 5, 7, 8} es un sistema reducido
de residuos módulo 9.
9. Muestra con un ejemplo que si
{x1 , . . . , xϕ(m) } = SRR(m), {y1 , . . . , yϕ(n) } = SRR(n)
y mcd(m, n) = 1, entonces no necesariamente el conjunto
{xi yj : 1 ≤ i ≤ ϕ(m), 1 ≤ j ϕ(n)}
es un sistema reducido de residuos módulo mn.
10. Evalúa ϕ(25), ϕ(129), ϕ(527), ϕ(1128), ϕ(5766), ϕ(19997).
11. Muestra que ϕ(m) = ϕ(2m) si y solo si m es impar.
12. Encuentra todas las soluciones de ϕ(x) = 26 y ϕ(x) = 24.
13. Muestra que si p es primo y 2p + 1 es compuesto, entonces la ecuación ϕ(x) = 2p
no tiene solución.
14. Muestra que si p y 2p + 1 son primos (por ejemplo 11 y 23), entonces ϕ(x) = 2p es
soluble. Analiza los casos p = 2 y p 6= 2 y cuenta todas las soluciones.
15. Muestra que 14 es el menor entero positivo para el cual ϕ(x) = 14 no es soluble.
16. Muestra que si mcd(n, 7) = 1, entonces 7 | n6 − 1.
17. Muestra que si mcd(n, 7) = 1, entonces 7 | n12 − 1.
18. Muestra que 5 | n13 − n para todo n ∈ N.
60 2. ENTEROS MÓDULO m, Zm
— a), e) y f).
— a), b), d), g), h).
33. Resuelve cada una de las siguientes congruencias:
a) 132x ≡ −22 (mod 194)
b) 84x ≡ 156 (mod 605)
c) 16x ≡ −3 (mod − 24)
d) −5x ≡ 1 (mod 18).
34. Resuelve el sistema de congruencias:
3x ≡ 5 (mod 22)
11x ≡ 3 (mod 28)
35. Encuentra R(x) en el teorema del residuo 2.7.2 en cada uno de los siguientes casos:
a) 3x5 + x4 + 2x3 + 5x + 6 ≡ 0 (mod 5)
b) −2x4 − 3x + 2 ≡ 0 (mod 7)
c) x4 − 5x3 + x2 − 3x + 2 ≡ 0 (mod 11)
d) x4 + 1 ≡ 0 (mod 13).
36. Demuestra el teorema del factor 2.7.3.
37. Supongamos que la congruencia polinomial f (x) ≡ 0 (mod m) tiene m soluciones
incongruentes, Demuestra que cualquier entero es solución.
38. Demuestra el corolario 2.7.5.
39. Muestra que si f (x) = a0 + a1 x + · · · + an xn ≡ 0 (mod p) tiene más de n soluciones
incongruentes, entonces p | aj para 0 ≤ j ≤ n.
40. Usa el teorema del factor para factorizar los siguientes polinomios:
a) x2 − 13
b) x2 − 5x + 6
c) x2 + 2x − 2
d) x3 + x + 2
e) x3 − 2
f) x3 + 2x2 − 3x − 1.
en cada uno de los anillos F2 [x], F5 [x], F7 [x], F11 [x].
41. El polinomio f (x) ∈ Fp [x] \ Fp es irreducible si: siempre que tengamos una
factorización f (x) = h(x)g(x), entonces alguno de los factores es un polinomio
constante. Considera la siguiente lista de polinomios:
a) x2 − 13
b) x2 − 5x + 6
c) x2 + 2x − 2
d) x3 + x + 2
e) x3 − 2
f) x3 + 2x2 − 3x − 1.
62 2. ENTEROS MÓDULO m, Zm
y 2 ≡ a0 (mod p).
1 si x2 − a ≡ 0 (mod p) es soluble,
a
=
p −1 si x2 − a ≡ 0 (mod p) no es soluble.
p−1
Demostración. Observe que si p es de la forma 4n + 1, entonces es
2
p−1
par. Si p es de la forma 4n + 3, entonces es impar.
2
−1 600
Ejemplo 3.1.3. Si p = 601, entonces = (−1) 2 = 1, por lo tanto
601
x2 ≡ −1 (mod 601) es soluble. ¿Puede el lector factorizar el polinomio x2 + 1 en
F601 [x]?
−1
Ejemplo 3.1.4. Si p = 47, entonces = −1, ası́ que x2 ≡ −1 (mod 47)
47
no tiene solución en el campo F47 .
De nuestra experiencia en cursos básicos de matemáticas sabemos que el
polinomio f (x) = x2 + 1 no tiene soluciones en los campos Q ó R. Podemos
plantear la siguiente pregunta: ¿para cuáles primos p el polinomio f (x) = x2 + 1
es irreducible en Fp [x]? El corolario 3.1.2 nos afirma que: si p = 4n + 1, entonces
f (x) = x2 + 1 ≡ 0 (mod p) es soluble y si p = 4n + 3, entonces f (x) = x2 + 1 ≡ 0
(mod p) no es soluble. Observe que el corolario 3.1.2 solo nos indica la posible
solubilidad de una congruencia cuadrática, pero no nos indica cómo encontrar la
posible solución, en caso de que exista.
PROBLEMAS
1. Use el teorema de Euler (afirmación 3 del teorema 3.1.1) para mostrar que si p es
un primo impar, p 6= 3, entonces p es un cuadrado en F3 si y solo si p = 3n + 1 para
algún n ∈ Z.
2. Sea f (x) ∈ Fp [x] un polinomio de grado 2. Muestra que si f (x) no tiene raı́ces
módulo p, entonces f (x) es irreducible en Fp [x].
3. En los siguientes campos finitos, muestra con una lista todos los residuos cuadráticos
y todos los residuos no cuadráticos:
a) F17 .
b) F13 .
c) F23 .
d) F31 .
4. Sean p un primo impar y a ∈ Z tal que mcd(a, p) = 1 y x2 ≡ a (mod p) es soluble.
Entonces la congruencia x2 ≡ a (mod p) tiene dos soluciones incongruentes.
5. De acuerdo con el problema anterior, si p es un primo de la forma 4n + 1, entonces
la congruencia x2 ≡ −1 (mod p) debe tener dos soluciones incongruentes. El
teorema 3.1.5 proporciona explı́citamente una de ellas. ¿Puedes proporcionar la
otra solución?
6. Muestra que si la congruencia x2 ≡ −1 (mod p) es soluble, entonces p = 2 o bien p
es un primo de la forma 4n + 1. Observa el corolario 3.1.2.
7. Sea K cualquier campo. Concluı́mos de la definición de polinomio irreducible que
si f (x) ∈ K[x] es irreducible, entonces por el teorema del factor f (x) no tiene raı́ces
en K. Si f (x) es reducible o factorizable con polinomios de K[x] entonces ¿ f (x)
debe tener al menos una raı́z en K ? a
8. Muestra que el número de soluciones de x2 ≡ a (mod p) está dado por 1 + .
p
2
9. Encuentra todos los valores de c para que la congruencia 3x − 2x + c ≡ 0 (mod 11)
sea soluble.
10. Consideremos el campo finito Fp . Muestra que para cada entero n > 1 existe
f (x) ∈ Fp [x] irreducible de grado n.
de donde
p | a(−y0 − x0 )
y por lo tanto p | (x0 + y0 ), lo cual es imposible pues 2 ≤ x0 + y0 ≤ p − 1. Hasta
este momento podemos concluir que los siguientes conjuntos coinciden:
n o n p − 1o
p − t1 , p − t2 , . . . , p − tn , s1 , . . . , sm = 1, 2, . . . , ,
2
p−1
donde n + m = . Para finalizar la prueba multiplicamos todos los elementos
2
de ambos conjuntos y reducimos módulo p. Será útil recordar que los elementos
si , tj recorren el conjunto S = {r1 , r2 , . . . , r p−1 }. Ası́ tenemos que
2
n m
p−1 Y Y
!= (p − tj ) sj
2 j=1 j=1
n
Y m
Y
≡ (−1)n tj sj
j=1 j=1
p−1
2
Y
n
≡ (−1) ja
j=1
p−1
p − 1
≡ (−1)n a 2 ! (mod p)
2
p − 1
y puesto que mcd !, p = 1, cancelamos para obtener
2
p−1
1 ≡ (−1)n a 2 (mod p).
De lo anterior concluimos que
a p−1
≡ a 2 ≡ (−1)n (mod p)
p
y por lo tanto
a
= (−1)n
p
Siguiendo las ideas de la prueba del lema de Gauss tenemos el siguiente
resultado:
72 3. CUADRADOS EN Fp
p2 − 1
(a − 1) ≡ t − n (mod 2)
8
Demostración. Sean t1 , t2 , . . . , tn , s1 , s2 , . . . , sm como en el lema de Gauss.
Sabemos que:
n o n p − 1o
p − t1 , p − t2 , . . . , p − tn , s1 , . . . , sm = 1, 2, . . . , .
2
Sumando los elementos de cada conjunto tenemos que
p−1
n
X m
X 2
X
(p − ti ) + si = i,
i=1 i=1 i=1
pero
p−1
2
X p2 − 1
i=
i=1
8
y
n
X m
X n
X m
X
(p − ti ) + si = np − ti + si .
i=1 i=1 i=1 i=1
Ası́ que,
n m
p2 − 1 X X
= np − ti + si .
8 i=1 i=1
p2 − 1
Por lo tanto y n tienen la misma paridad. Aplicando el lema de Gauss
8
obtenemos que
2 p2 −1
= (−1)n = (−1) 8
p
Podemos caracterizar los primos p para los cuales el polinomio f (x) = x2 − 2
es reducible o irreducible en Fp [x].
Corolario 3.2.4. Si p es un primo impar, entonces
2 1 si p ≡ 1, 7 (mod 8)
=
p −1 si p ≡ 3, 5 (mod 8)
Demostración. Si p es un primo impar, entonces p = 8q + r, donde
p2 − 1
r = 1, 3, 5, 7. Si r = 1 ó 7, entonces es par. Si r = 3 ó 5, entonces
8
2
p −1
es impar.
8
−1 2
Hasta ahora sabemos qué decidir con respecto a los sı́mbolos y .
p p
Solo nos queda resolver lo siguiente: si q es un primo impar y q 6= p ¿qué podemos
p
decir acerca de ?. Nuestro siguiente resultado está encaminado a resolver esta
q
incógnita.
Lema 3.2.5 (Lema de Eisenstein). Si p y q son primos distintos impares,
entonces
p−1 q−1
2 j 2 j
p−1q−1 X qi k X pi k
= +
2 2 i=1
p i=1
q
p−1q−1
Demostración. Primero veamos una interpretación del número .
2 2
En el plano cartesiano R × R consideremos el rectángulo cuyos vértices se encuen-
p q p q
tran en los puntos (0, 0), , 0 , 0, y , .
2 2 2 2
Consideremos todos los puntos dentro de este rectángulo, sin considerar los
lados, y cuyas coordenadas son enteros. Es claro que el número de tales puntos
p−1q−1
es . Entonces lo que vamos a hacer es contar los puntos con ambas
2 2
coordenadas enteras que están dentro de este rectángulo haciendo uso de la función
3.2. LEY DE RECIPROCIDAD CUADRÁTICA 75
Figura 3.1
El siguiente resultado,
q uno de
los más importantes en teorı́a de números, nos
p
afirma que los sı́mbolos y guardan una sorprendente relación conocida
p q
como reciprocidad cuadrática.
3.2. LEY DE RECIPROCIDAD CUADRÁTICA 77
PROBLEMAS
−38
c)
29
135
d)
67
−79
e)
97
−23
f)
59
2. Decide si la congruencia x2 + 23 ≡ 0 (mod 41) tiene alguna solución en el campo
F41 .
3. Usa el lema de Gauss para decidir si el polinomio x2 + 3 es reducible o irreducible
en el anillo F13 [x]. Usa el teorema del factor para factorizar el polinomio x2 + 3 en
F13 [x].
4. Usando las propiedades del sı́mbolo de Legendre y la ley de reciprocidad cuadrática
decide si el polinomio x2 + 135 es irreducible o reducible en el anillo de polinomios
F67 [x].
5. Considera ti , sj tal como aparecen en el lema de Gauss. Considera las congruencias
ti ≡ xa (mod p) y sj ≡ ya (mod p).
Supongamos que para algunos i, j se cumple p − ti = sj . Muestra que existen x0 , y0
tales que
p−1
1 ≤ x0 , y o ≤
2
y
ti ≡ x0 a (mod p), sj ≡ y0 a (mod p).
Concluye que p | x0 + y0 y 2 ≤ x0 + y0 ≤ p − 1.
6.
Sean p, q primos impares distintos, a ∈ Z con mcd(a, p) = mcd(a, q) = 1 y
a a
= = −1. Muestra que el polinomio f (x) = x2 − a es irreducible en Zpq [x],
p q
es decir, x2 ≡ a (mod pq) no tiene solución en Zpq .
7. Supongamos que p es un primo impar y mcd(a, p) = 1 es tal que a es solución
de x2 ≡ b (mod p). Muestra que p − a también es solución de x2 ≡ b (mod p) y
a 6≡ p − a (mod p).
8. Sean p un primo impar y a ∈ Z con mcd(a, p) = 1. Muestra que
p−1
a 2 ≡ ±1 (mod p).
9. Muestra que:
a) Si a, b son residuos cuadráticos módulo p, entonces ab es residuo cuadrático
módulo p.
82 3. CUADRADOS EN Fp
2Carl Gustav Jacob Jacobi nació en Berlı́n en 1804. Estudió en la Universidad de Berlı́n.
Su padre, rico banquero, le procuró cuanto era necesario para completar su formación filológica
y matemática. Profesor nato, conoció una carrera brillante como docente y como investigador,
pero renunció a sus funciones en 1842 por razones de salud y se retiró a Berlı́n con una pensión
del gobierno prusiano. Jacobi es célebre en matemáticas principalmente por sus trabajos sobre
las funciones elı́pticas y los determinantes funcionales, llamados también Jacobianos. Jacobi
se interesó también por el cálculo de variaciones y su principal descubrimiento se refiere a la
3.3. SÍMBOLO DE JACOBI 83
a2 a
4. = = 1.
b J b2 J
a2 a0 a0
5. = .
b2 b0 J b0 J
Demostración. Para la afirmación 1, si a ≡ a0 (mod b), entonces a ≡ a0
(mod p) con p primo y p | b. Por la afirmación 2 del teorema 3.1.1 tenemos que
a a0 a a0
= y ası́ = . La afirmación 2 se sigue de:
p p b J b J
aa0 aa0 aa0 aa0 a a0
= ··· = .
b J p1 p2 pr b J b J
La afirmación 3 la dejamos como ejercicio para el lector. La afirmación 4 se sigue
de observar que
a2 Y a2 a a a a 2
= =1 y = = = 1.
b J p b2 J b J b J b J
p|b
Por tanto
(r2 − 1)(s2 − 1) ≡ 0 (mod 16)
y
r2 s2 − 1 ≡ (r2 − 1) + (s2 − 1) (mod 16).
El resultado se sigue al dividir ambos lados entre 8.
Corolario 3.3.3. Sean r1 , r2 , . . . , rn enteros impares. Entonces
Yn
n
ri − 1
X ri − 1 i=1
1. ≡ (mod 2).
i=1
2 2
n
Y
n
ri2 − 1
X r2 − 1
i i=1
2. ≡ (mod 2).
i=1
8 8
l X r r
X pj − 1 qi − 1 a − 1 X pj − 1 a−1b−1
≡ ≡ (mod 2)
i=1 j=1
2 2 2 j=1 2 2 2
y por lo tanto
a b a−1 b−1
= (−1) 2 2 .
b J a J
3.3. SÍMBOLO DE JACOBI 87
El teorema 3.3.5 nos da una respuesta a la pregunta ¿para qué sirve esta
generalización del sı́mbolo de Legendre? Entre otras cosas, puede ser usado como
una prueba de primalidad. Concretamente, Solovay y Strassen [22] muestran que
si n es primo, entonces el conjunto
a n−1
G = {a ∈ Z : 0 < a < n, mcd(a, n) = 1, ≡a 2 (mod n)}
n J
n
coincide con {1, 2, . . . , n − 1}. Mientras que si n es compuesto, entonces |G| < .
2
Como mencionamos anteriormente, la prueba está fuera de nuestro alcance.
PROBLEMAS
Z[i] = {a + bi : a, b ∈ Z}
Ejemplo 4.1.11. 3+5i y 5−3i son asociados pues 3+5i | 5−3i y 5−3i | 3+5i.
Ejemplo 4.1.12. Si z = −4+2i, entonces los asociados de z son z, −z, iz, −iz.
Notemos que
N(w) > N(δ1 ) > N(δ2 ) > · · · > N(δn ) > 0
es una sucesión decreciente de enteros positivos y por tanto, en algún momento
obtenemos un residuo δn+1 = 0. Es claro que δn | δn−1 y por tanto δn | δn−2 .
Continuando con este proceso llegamos a que δn es un divisor común de z, w. Ası́
que δn satisface la afirmación 1 del teorema. Despejando δi (1 ≤ i ≤ n) en la
i-ésima igualdad y sustituyendo en la anterior se llega a que δn también satisface
la afirmación 2. El lector puede verificar fácilmente, usando la afirmación 2, que
δn también satisface la afirmación 3 y por lo tanto el gaussiano que buscamos es
γ = δn .
1. 1 + i y sus asociados.
2. Los factores a + bi de primos racionales de la forma 4n + 1 y sus asociados.
3. Los primos racionales de la forma 4n + 3 y sus asociados.
Demostración. Puesto que N(1 + i) = 2, entonces por el teorema 4.2.2,
1 + i es primo. Para la afirmación 2 consideremos un primo racional p de la forma
4n + 1. Por el corolario 4.3.3 tenemos que
p = a2 + b2 = (a + bi)(a − bi),
y ası́ p = N(a + bi) = N(a − bi) con lo cual a + bi y a − bi son primos. Para la
afirmación 3 consideremos un primo racional p de la forma 4n + 3 y supongamos
que
p = (a + bi)(c + di)
con N(a + bi) > 1 y N(c + di) > 1. Claramente la igualdad
N(p) = p2 = (a2 + b2 )(c2 + d2 )
implica que p = a2 + b2 ó p = c2 + d2 lo cual es imposible para un primo racional
de esta forma. Por lo tanto p es primo. Solo nos queda mostrar que éstos son
todos los primos. Sea π cualquier primo. Entonces
αs β1 β2
N(π) = ππ̄ = 2λ pα 1 α2 βr
1 p2 · · · ps q1 q2 · · · qr
donde los pi y qj son primos racionales de la forma 4n+1 y 4n+3 respectivamente.
Por lo tanto
ππ̄ = (1 + i)λ (1 − i)λ π1α1 π¯1 α1 π2α2 π¯2 α2 · · · πsαs π¯s αs q1β1 · · · qrβr .
En virtud de la unicidad de la factorización tenemos que π es asociado de
algún primo de la lista
1 + i, 1 − i, π1 , π¯1 , . . . , πs , π¯s , q1 , . . . , qr .
Por lo tanto, cualquier primo de Z[i] es alguno de los considerados en este
teorema.
Ejemplo 4.3.5. 23 es primo en Z[i].
Ejemplo 4.3.6. 17 = 42 + 12 = (4 + i)(4 − i) y por lo tanto 4 + i y 4 − i son
primos gaussianos.
Ejemplo 4.3.7. 29 = 52 + 22 = (5 + 2i)(5 − 2i). Por tanto 5 + 2i y 5 − 2i son
primos en Z[i].
Ejemplo 4.3.8. 3 es primo en Z[i].
104 4. LOS ENTEROS GAUSSIANOS Z[i]
Nuestro trabajo aún está incompleto pues solo hemos encontrado los expo-
nentes de los primos racionales de la forma 4n + 3. Para obtener la factorización
completa de z debemos determinar los números aj , a0j .
k
Sea kj el mayor entero positivo para el cual pj j | z. Afirmamos que:
k aj = αj − kj
si pj j πj | z entonces,
a0j = kj ,
4.4. FACTORIZACIÓN EXPLÍCITA DE UN ENTERO GAUSSIANO 105
k aj = kj
si pj j πj - z entonces,
a0j = αj − kj .
Demostraremos esta afirmación. Según nuestra definición de kj tenemos que
z
k
no puede ser dividido simultáneamente por πj y π¯j porque si esto sucediera y
pj j
z k +1
debido a que mcd(π, π̄) = 1, entonces πj π¯j debe dividir a kj , es decir pj j | z.
pj
z z
Resumiendo, si πj es divisor de kj , entonces π¯j no es divisor de kj . Por otro
pj pj
k k
lado, pj j = πj j π¯j kj y haciendo uso de la expresión
0 0 0
z = iδ (1 + i)λ π1a1 π¯1 a1 π2a2 π¯2 a2 · · · πrar π¯r ar q1µ1 · · · qsµs ,
concluimos que a0j = kj y aj = αj − kj . Un razonamiento similar muestra que si
z
πj no divide a kj , entonces aj = kj y a0j = αj − kj . Por último, el exponente
pj
δ puede ser calculado fácilmente haciendo una simple división de z y el producto
de los factores primos para los cuales sus exponentes ya han sido encontrados.
Ejemplo 4.4.2. Sea z = 22 + 7i. Entonces
N(z) = 484 + 49 = 533 = 13 · 41.
Escribimos p1 = 13 = 2 + 32 y p2 = 41 = 42 + 52 . Por lo tanto α1 = 1, α2 = 1 y
2
0 0
z = iδ π1a1 π¯1 a1 π2a2 π¯2 a2 ,
donde π1 = 2 + 3i, π¯1 = 2 − 3i, π2 = 4 + 5i, π¯2 = 4 − 5i. Solo nos falta encontrar
los exponentes a1 , a01 , a2 , a02 . Como p1 - z y p2 - z, entonces k1 = k2 = 0. Ahora
veamos si π1 | z ó π¯1 | z:
z 22 + 7i
= = 5 − 4i,
π1 2 + 3i
ası́ que π¯1 - z y por lo tanto a1 = 1 y a01 = 0. Análogamente, de la igualdad
z 22 + 7i
= = 3 − 2i
π2 4 + 5i
se obtiene que π¯2 - z y por tanto a2 = 1 − 0 y a02 = 0. Hasta ahora tenemos la
siguiente expresión
z = iδ (2 + 3i)(4 + 5i).
Con una simple división vemos que δ = 3 y ası́ z = i3 (2 + 3i)(4 + 5i).
106 4. LOS ENTEROS GAUSSIANOS Z[i]
PROBLEMAS
a) 1 + i y 1 − i.
b) 13 + 4i y 4 + 5i.
c) −21 − i y −5 − i.
10. Muestra que z, w son primos relativos si y solo si existen a1 , a2 ∈ Z[i] tal que
a1 z + a2 w = u donde u es alguna unidad de Z[i].
11. Demuestra el teorema 4.1.18.
12. En el algoritmo de la división muestra que k y δ no necesariamente son únicos.
13. Resuelve en Z[i] la ecuación N(z) = 2.
14. Sean p un primo racional de la forma 4n + 1 y p = ππ̄ su factorización en Z[i].
Muestra que π y π̄ son primos relativos.
15. Deduce el algoritmo de la división de Z a partir del algoritmo de la división de Z[i].
16. Muestra que la función norma no es suprayectiva.
17. Factoriza los siguientes enteros gaussianos:
a) 12 + 3i b) 4 − 2i
c) 10 + 100i d) −14 − 34i
18. En general no es cierto que si z = x + yi y z̄ = x − yi, entonces z y z̄ son primos
relativos. Encuentra un ejemplo.
19. Sea π ∈ Z[i] un primo gaussiano. Muestra que π divide exactamente a un primo
racional.
20. Sean π = 1 + 2i y µ = 1 + i.
a) Muestra que mcd(π, µ) = 1.
b) Usando el lenguaje de las congruencias, demuestra que (1+i)N(π)−1 ≡ 1 (mod 5)
c) (1 + i)N(π)−1 ≡ 1 (mod π)
d) Observa que 1 + i es un primo gaussiano y la afirmación (1 + i)N(π)−1 ≡ 1
(mod π) sugiere una generalización del Teorema Pequeño de Fermat.
e) Usando el lenguaje de las congruencias, muestra que cualquier entero gaussiano
es congruente con 0 ó 1 módulo 1+i. Sugerencia: a+bi ≡ a−b (mod 1+i) porque
i ≡ −1 (mod 1 + i). Ahora reduce módulo 2 y considera que 2 = (1 + i)(1 − i).
21. La tabla 1 muestra los factores Gaussianos irreducibles de los primeros 16 primos
racionales de la forma 4n + 1 junto con sus conjugados. Por ejemplo, en la primera
entrada del primer y segundo renglón aparecen los factores de 5 = (2 + i)(2 − i) y
enseguida sus conjugados. Grafica en el plano complejo todos estos primos y observa
cómo están distribuidos. ¿Se nota alguna regularidad en su distribución?
108 4. LOS ENTEROS GAUSSIANOS Z[i]
1 −1 i −i
2+i −2 − i −1 + 2i 1 − 2i
2−i −2 + i 1 + 2i −1 − 2i
3 + 2i −3 − 2i −2 + 3i 2 − 3i
3 − 2i −3 + 2i 2 + 3i −2 − 3i
4+i −4 − i −1 + 4i 1 − 4i
4−i −4 + i 1 + 4i −1 − 4i
5 + 2i −5 − 2i −2 + 5i 2 − 5i
5 − 2i −5 + 2i 2 + 5i −2 − 5i
6+i −6 − i −1 + 6i 1 − 6i
6−i −6 + i 1 + 6i −1 − 6i
5 + 4i −5 − 4i −4 + 5i 4 − 5i
5 − 4i −5 + 4i 4 + 5i −4 − 5i
7 + 2i −7 − 2i −2 + 7i 2 − 7i
7 − 2i −7 + 2i 2 + 7i −2 − 7i
6 + 5i −6 − 5i −5 + 6i 5 − 6i
6 − 5i −6 + 5i 5 + 6i −5 − 6i
8 + 3i −8 − 3i −3 + 8i 3 − 8i
8 − 3i −8 + 3i 3 + 8i −3 − 8i
8 + 5i −8 − 5i −5 + 8i 5 − 8i
8 − 5i −8 + 5i 5 + 8i −5 − 8i
9 + 4i −9 − 4i −4 + 9i 4 − 9i
9 − 4i −9 + 4i 4 + 9i −4 − 9i
10 + i −10 − i −1 + 10i 1 − 10i
10 − i −10 + i 1 + 10i −1 − 10i
10 + 3i −10 − 3i −3 + 10i 3 − 10i
10 − 3i −10 + 3i 3 + 10i −3 − 10i
8 + 7i −8 − 7i −7 + 8i 7 − 8i
8 − 7i −8 + 7i 7 + 8i −7 − 8i
11 + 4i −11 − 4i −4 + 11i 4 − 11i
11 − 4i −11 + 4i 4 + 11i −4 − 11i
10 + 7i −10 − 7i −7 + 10i 7 − 10i
10 − 7i −10 + 7i 7 + 10i −7 − 10i
Tabla 1
Capı́tulo 5
Grupos
ah = bh2 h−11 h ∈ bH. De esta forma aH ⊂ bH. El mismo argumento nos lleva a
justificar que bH ⊂ aH. Por tanto aH = bH.
Resumiendo, tenemos que dos clases izquierdas son ajenas o son iguales. De
acuerdo al lema anterior, el lector debe notar que el conjunto de clases izquierdas
{aH}a∈G produce una partición del grupo G. Lo anterior significa:
1. Cada
[ clase aH 6= ∅ pues al menos a ∈ aH.
2. aH = G.
a∈G
Como sabemos, una partición produce una relación de equivalencia y una
relación de equivalencia nos lleva a una partición. En particular, la relación de
equivalencia que hemos producido en G por medio de la partición de las clases
izquierdas formadas con un subgrupo dado H es la siguiente: si a, b ∈ G, entonces
a ∼ b si y solo si aH = bH. Vamos a denotar G/H = {aH : a ∈ G} y nos referimos
a G/H como el conjunto de clases izquierdas de G módulo H.
Ejemplo 5.1.47. Consideremos el grupo F∗7 = F7 \ {0} = {1, 2, 3, 4, 5, 6},
en donde la operación es la multiplicación módulo 7. Si H = {1, 2, 4}, entonces
H ≤ F∗7 . A continuación damos una lista de los elementos de F∗7 /H:
1H = {1, 2, 4}, 2H = {2, 4, 1}, 3H = {3, 6, 5}
4H = {4, 1, 2}, 5H = {5, 3, 6}, 6H = {6, 5, 3}.
Observamos que cualesquiera dos clases o coinciden o son ajenas. Además, la
unión de ellas reproduce al grupo F∗7 .
Ejemplo 5.1.48. Consideremos el grupo de los enteros Z y el subgrupo 6Z.
Algunos elementos de Z/6Z son:
0 + 6Z = {6n : n ∈ Z}, 1 + 6Z = {1 + 6n : n ∈ Z},
2 + 6Z = {2 + 6n : n ∈ Z}, 3 + 6Z = {3 + 6n : n ∈ Z},
4 + 6Z = {4 + 6n : n ∈ Z}, 5 + 6Z = {5 + 6n : n ∈ Z},
6 + 6Z = {6 + 6n : n ∈ Z}, 7 + 6Z = {7 + 6n : n ∈ Z},
8 + 6Z = {8 + 6n : n ∈ Z}.
Observamos que algunas clases se están repitiendo, por ejemplo
0 + 6Z = 6 + 6Z, 1 + 6Z = 7 + 6Z, 2 + 6Z = 8 + 6Z.
122 5. GRUPOS
Este es el momento adecuado para hacer una breve reflexión sobre el teorema
de Lagrange 5.1.49. Este resultado afirma que si tenemos un grupo finito G y
H ≤ G, entonces el número o(H) es un divisor de o(G). Podemos pensar en
lo siguiente: si G un grupo finito de orden n y d | n, entonces ¿G contiene un
subgrupo H de orden d? La afirmación inversa del teorema de Lagrange no es
válida en toda generalidad, por ejemplo, el siguiente conjunto de permutaciones
n 1 2 3 4
1 2 3 4
1 2 3 4
1 2 3 4
A4 = , , , ,
1 2 3 4 1 3 4 2 1 4 2 3 3 2 4 1
1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
, , , ,
4 2 1 3 2 4 3 1 4 1 3 2 2 3 1 4
o
1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
, , ,
3 1 2 4 4 3 2 1 3 4 1 2 2 1 4 3
PROBLEMAS
n
Y
una familia finita de subconjuntos de G, entonces Ai = {a1 a2 · · · an : ai ∈ Ai }.
i=1
Notemos que los elementos a1 a2 · · · an y
a2 a1 · · · an pueden ser diferentes pues no
estamos suponiendo que el grupo G es abeliano. Como caso particular de nuestra
definición de producto de conjuntos tenemos que si a, b ∈ G y H ≤ G entonces
aHb = {ahb : h ∈ H}. El lector puede verificar fácilmente que si H ≤ G entonces
HH = H y como caso particular tenemos:
Ahora, si aha−1 ∈ aHa−1 , entonces (aha−1 )−1 = ah−1 a−1 ∈ aHa−1 . Por tanto
aHa−1 ≤ G.
n 1 2 3 1 2 3 o
Ejemplo 5.2.3. Con el subgrupo H = , ≤ S3 y
1 2 3 3 2 1
1 2 3
la permutación σ = , tenemos
2 3 1
n 1 2 3 1 2 3 o n 1 2 3 1 2 3 o
σH = , 6= , = Hσ
2 3 1 1 3 2 2 3 1 2 1 3
y por tanto H 6 S3 .
En el lenguaje de las clases izquierdas y derechas estamos afirmando que
H / G si la clase izquierda aH coincide con la clase derecha Ha para todo a ∈ G.
El siguiente resultado puede resultar de gran utilidad para identificar subgrupos
normales.
Teorema 5.2.4. H / G si y solo si aHa−1 ⊆ H para todo a ∈ G.
Demostración. Si H / G, entonces para todo a ∈ G, aH = Ha. Sea
ah ∈ aH = Ha. Entonces existe h1 ∈ H tal que ah = h1 a. Por tanto
aha−1 = h ∈ H. Recı́procamente, supongamos aHa−1 ⊆ H para todo a ∈ G. Es
suficiente mostrar que H ⊂ aHa−1 . Sea h ∈ H. Puesto que a−1 ha ∈ a−1 Ha ⊆ H,
entonces
h = a(a−1 ha)a−1 ∈ aHa−1
y ası́ H ⊆ aHa−1 . Por tanto H = aHa−1 y H / G.
Una reinterpretación del lema 5.2.2 es que el producto de dos clases izquierdas
es una clase izquierda.
Corolario 5.2.5. Si H / G, entonces para a, b ∈ G se tiene que
(aH)(bH) = abH.
Demostración. (aH)(bH) = a(Hb)H = a(bH)H = abH.
El corolario anterior es altamente sugestivo pues propiamente define una
operación binaria en el conjunto de clases laterales izquierdas. Sea H / G. En
el conjunto G/H = {aH : a ∈ G} definimos el producto de dos clases izquierdas
como (aH)(bH) = abH. Observamos que:
1. Para a ∈ G se cumple aHeH = aH. Esto sugiere que la clase izquierda
eH = H funciona muy bien como neutro en G/H.
2. Para a ∈ G se cumple que aHa−1 H = eH. Esto sugiere que (aH)−1 = a−1 H.
5.2. SUBGRUPOS NORMALES Y ANORMALES 133
y por tanto hii / Q8 . Análogamente h−1i, hji, hki / Q8 . Aquı́ estamos suponiendo
algo que no hemos demostrado: Los únicos subgrupos de Q8 son:
{1}, hii, hji, hki, Q8 .
El grupo Q8 del ejemplo anterior pertenece a una familia de grupos conocidos
en la literatura como grupos hamiltonianos. Un grupo G es hamiltoniano si no es
abeliano y todos sus subgrupos son normales en G.
Otro aspecto importante que debemos anotar es que la normalidad no es una
cualidad transitiva, es decir, si H / K y K / G, entonces no necesariamente H / G.
Vea el ejercicio 17 de la siguiente sección de problemas.
Después de haber definido el grupo cociente, nuestra siguiente pregunta es
¿cómo son los subgrupos de G/H?. El siguiente resultado responde la pregunta.
Teorema 5.2.11. Sean G un grupo y H / G. Los subgrupos de G/H son de
la forma {aH : a ∈ N } donde N ≤ G es tal que H ≤ N.
Demostración. Si N ≤ G es tal que H ⊆ N , definimos el conjunto
Hc = {aH : a ∈ N }.
Observe que Hc ⊆ G/H. Para aH, bH ∈ Hc tenemos que ab−1 ∈ N y
ab−1 H = aHb−1 H ∈ Hc .
Por lo tanto Hc ≤ G/H. ¿Serán todos los subgrupos de G/H?. Vamos a mostrar
que cualquier subgrupo de G/H lo podemos construir a partir de algún subgrupo
N de G que contiene a H. Sea K ≤ G/H. Entonces los elementos de K son
clases izquierdas. Sea
N = {a ∈ G : aH ∈ K}.
Notemos que si a ∈ H, entonces aH = H ∈ G/H y por tanto a ∈ N . Puesto que
K ≤ G/H, tenemos que
aHb−1 H = ab−1 H ∈ K.
Por lo tanto ab−1 ∈ N y N ≤ G.
El siguiente resultado es la suma de la teorı́a que desarrollamos en esta sección.
Teorema 5.2.12. Sean G un grupo y H ≤ G. Las siguientes afirmaciones
son equivalentes:
1. H / G.
2. Si a ∈ G, entonces aHa−1 = H.
136 5. GRUPOS
3. Si a ∈ G, entonces aH = Ha.
4. Los siguientes conjuntos coinciden: {aH : a ∈ G} = {Ha : a ∈ G}.
5. Para a ∈ G, se cumple que aHa−1 ⊆ H.
Demostración. Se deja como ejercicio para el lector.
PROBLEMAS
a b
13. Sean G = : ad 6= 0 con operación de grupo el producto usual de matrices
0 d
1 b
yH= . Muestra que:
0 1
a) H / G.
b) G/H es un grupo abeliano.
14. Sea G un grupo abeliano. Si H ≤ G, entonces H / G.
15. Considera el grupo Q8 como en el ejemplo 5.2.10.
a) Encuentra los subgrupos cı́clicos hji, hki, h−1i de Q8 .
b) Demuestra que hji, hki, h−1i / Q8 .
c) Demuestra que los subgrupos de Q8 son:{1}, h−1i, hii, hji, hki, Q8 .
d) Encuentra el orden de los subgrupos de Q8 .
e) Observa que todos los subgrupos propios de Q8 son cı́clicos.
16. Sean G un grupo y a, b ∈ G. Definimos el conmutador de a, b como [a, b] = aba−1 b−1 .
El subgrupo conmutador de G es [G, G] = h[a, b] : a, b ∈ Gi. Muestra que:
a) [G, G] / G.
b) G/[G, G] es un grupo abeliano.
c) G es abeliano si y solo si [G, G] = {eG }.
d) Si H / G y G/H es abeliano, entonces [G, G] ⊆ H.
17. Sean G = S3 × S3 y H = {σ1 , σ5 , σ6 } como en el ejemplo 5.2.7. Muestra que:
a) H × H es un grupo abeliano.
b) H × H / G.
c) Si K = {(σ1 , σ1 ), (σ5 , σ5 ), (σ6 , σ6 )}, entonces K / H × H, pero K 6 G.
18. Completa la demostración del corolario 5.2.6.
19. Si N / G y M / G, entonces N ∩ M / G. Más aún, si N < G y M / G, entonces
N ∩ M / N.
20. Sea G = GL(2, R). Muestra que [G, G] = SL(2, R).
21. Muestra que si [G : H] = 2, entonces H / G.
4Jules Henri Poincaré nació el 29 de abril de 1854 en la ciudad de Nancy, Francia. Poincaré
fue un destacado matemático, fı́sico teórico, ingeniero y filósofo de la ciencia. Es reconocido
como el último universalista por su dominio sobresaliente de varios campos del conocimiento.
Sus aportaciones fundamentales se encuentran en las matemáticas puras y aplicadas, en la fı́sica
matemática y en la mecánica celeste. La siguiente cita de un discurso en su funeral lo describe
perfectamente: fue un matemático, geómetra, filósofo y hombre de letras que era una especie
de poeta de lo infinito, una especie de bardo de la ciencia. Muere en Paris el 17 de julio a la
edad de 58 años.
146 5. GRUPOS
PROBLEMAS
G = {2n 3m : m, n ∈ Z}.
Para ver que los subgrupos hg0 i y hg1 , g2 , . . . , gs i satisfacen la condición 2 del
teorema 5.4.1 observamos que hg0 ihg1 , g2 , . . . , gs i ⊂ G. Para la otra contención
sea g ∈ G. Entonces
gH0 = (g1 H0 )n1 (g2 H0 )n2 · · · (gs H0 )ns = g1n1 g2n2 · · · gsns H0
y como g ∈ gH0 tenemos que g = g0n0 g1n1 · · · gsns ; de esta manera G ⊆ hg0 ihg1 , . . . ,
gs i. Por lo tanto G = hg0 ihg1 , g2 , . . . , gs i. La condición 3 del teorema 5.4.1 la
satisfacen los subgrupos hg0 i y hg1 , g2 , . . . , gs i pues G es abeliano. Ası́
G ≈ hg0 i × hg1 , . . . , gs i.
La parte final de la demostración es fácil puesto que hg1 , . . . , gs i es un grupo
abeliano de orden menor que n, entonces por hipótesis de inducción hg1 , . . . , gs i ≈
hx1 i × · · · × hxt i y por tanto
G ≈ hg0 i × hx1 i × · · · × hxt i.
Corolario 5.4.13. Si G es un grupo abeliano finito, entonces G ≈ Zpα1 1 ×
· · · × Zpαs s , donde p1 , . . . , ps son números primos no necesariamente distintos.
Demostración. Usando el teorema fundamental de los grupos abelianos
finitos y el corolario 5.4.6 descomponemos cada subgrupo cı́clico que aparece en
el teorema anterior.
Sean p1 , . . . , pr los números primos diferentes que aparecen en el corolario
anterior y Zpai,1 , Zpai,2 , . . . , Zpai,j(i) los subgrupos cı́clicos correspondientes a las
i i i
potencias de los pi ’s (no necesariamente diferentes) que aparecen en la descom-
posición de G. Definimos la parte pi -primaria de G como
G(pi ) = Zpai,1 × Zpai,2 × · · · × Zpai,j(i) .
i i i
5Augustin Luis Cauchy nace el 21 de agosto de 1789 en Paris, Francia. Produjo 789
trabajos en matemáticas que en 1970 fueron publicados en 27 volúmenes. Su nombre está
indisolublemente ligado al cálculo diferencial e integral, a las ecuaciones diferenciales, a la teorı́a
de las funciones de variable compleja. Fue el primero en hacer un estudio riguroso sobre las
condiciones de convergencia de series infinitas y tambien es el primero en dar una definición
rigurosa de la integral. Su célebre texto COURS D’ANALYSE lo escribe para sus estudiantes
y es ahı́ donde, de manera rigurosa, trata temas fundamentales del cálculo. En tan solo un
año (1845 -1846), Cauchy escribe 25 artı́culos sobre sustituciones, concepto previo al de grupo.
Muere el 23 de mayo de 1857 cerca de Paris.
156 5. GRUPOS
rj rj
X X
0 0
donde αj = αj,i . Escribimos βj = αj,i , para 0 ≤ αj,i ≤ αj,i . Definimos
i=1 i=1
PROBLEMAS
21. Sea (a, b) ∈ Zn × Zm con o(a) = r y o(b) = s. Demuestra que o((a, b)) = mcm(r, s).
En particular, si hai = Zn y hbi = Zm y mcd(n, m) = 1, entonces h(a, b)i = Zn × Zm
es cı́clico de orden nm. En este caso Zn × Zm ≈ Znm .
22. Sean p, q primos diferentes. Prueba que cualquier grupo abeliano de orden pq es
cı́clico.
23. Encuentra elementos x, y ∈ F2 × Z de orden infinito tal que x + y es de orden finito.
24. Encuentra el subgrupo de torsión de los grupos F2 × Z y Z6 × Fp × Z, donde p es
cualquier número primo.
25. En el corolario 5.4.18, justifica por qué el subgrupo H no necesariamente es único.
26. En G = F3 × Z9 definimos la siguiente operación
(a, b) ? (a1 , b1 ) = (a + a1 , b + b1 + 3a1 b).
a) Demuestra que G es un grupo no abeliano.
b) Encuentra al neutro e identifica al inverso de (a, b).
Por tanto N (A) es cerrado bajo productos. Ahora veamos que N (A) contiene a
los inversos. Si g ∈ N (A), entonces
g −1 Ag = g −1 (gAg −1 )g = (g −1 g)A(g −1 g) = A.
Ası́ que N (A) ≤ G. Para la segunda afirmación, vemos que si g ∈ A ≤ G,
entonces gAg −1 = A y por tanto A ≤ N (A). Por la definición de N (A) es claro
que A / N (A). La tercera afirmación es consecuencia directa de la definición de
normalizador.
Corolario 5.5.5. H / G si y solo si N (H) = G.
Demostración. Es un fácil ejercicio para el lector.
Palabras de precaución: dado un subgrupo H ≤ G, éste no necesariamente es
normal en G. La idea de introducir el concepto de normalizador es precisamente
para ver cuál es el subgrupo de G más pequeño en donde H es normal. A
continuación vamos a dar una estimación de o(N (g)). Sea G un grupo y g, g1 ∈ G.
Diremos que g es conjugado de g1 si existe x ∈ G tal que g = xg1 x−1 . Indicaremos
este hecho escribiendo g ∼ g1 .
Lema 5.5.6. La relación ∼ es de equivalencia.
Demostración. Denotemos como e al neutro del grupo G. La relación
∼ es reflexiva porque g = ege−1 ; es simétrica porque si g = xg1 x−1 , entonces
x−1 gx = g1 . Es transitiva porque si g = xg1 x−1 y g1 = yg2 y −1 , entonces
g = (xy)g2 (xy)−1 .
Si [g] denota la clase de equivalencia de g, es claro que [g] = {xgx−1 : x ∈ G}.
Llamaremos a [g] la clase de conjugación de g. En particular, si G es un grupo
finito, entonces G tiene un número finito de clases de conjugación y por lo tanto
cada clase de conjugación es finita. No todas las clases de equivalencia tienen
la misma cardinalidad. Podemos verificar fácilmente que g ∈ Z(G) si y solo si
|[g]| = 1. Si g 6∈ Z(G), entonces |[g]| ≥ 2 pues al menos e, g ∈ [g].
Lema 5.5.7. Sea G un grupo finito de orden n. Si g ∈ G y h = |[g]|, entonces
n
o(N (g)) = .
h
Demostración. Primero notemos que [g] tiene la forma
[g] = {g1 gg1−1 , g2 gg2−1 , . . . , gh ggh−1 },
5.5. TEOREMAS DE SYLOW 161
6Este lema también es conocido en la literatura como lema de Burnside. William Burnside
demostró este famoso resultado en su libro On the theory of groups of finite order (Theorem III
pp. 122) y lo atribuyó a Frobenius. Sin embargo, aparentemente el lema ya era conocido por
A. Cauchy en 1845.
166 5. GRUPOS
l l l
X X X n1 n2
Por lo tanto, n = |Hgi K| = |gi−1 Hgi K| = .
i=1 i=1 i=1
ri
que es difı́cil encontrar el normalizador N (H). A pesar de esto, podemos dar más
pistas.
Teorema 5.5.17 (Tercer teorema de Sylow). Si t denota el número de p-
subgrupos de Sylow de G, entonces t | o(G) y t ≡ 1 (mod p).
Demostración. Como consecuencia del lema anterior t = [G : N ] donde N
es el normalizador de algún p-subgrupo de Sylow de G. Solo queda mostrar que
t ≡ 1 (mod p). Sea H un p-subgrupo de Sylow. Con los subgrupos H y N (H)
consideremos la descomposición de G como en el lema 5.5.12:
G = Hg1 N (H) ∪ Hg2 N (H) ∪ . . . ∪ Hgw N (H).
Puesto que e ∈ Hgi N (H) para algún i, entonces podemos suponer sin pérdida de
generalidad que g1 = e y por tanto Hg1 N (H) = N (H). Sea o(N (H)) = r = pα m0
con mcd(m0 , p) = 1. De acuerdo al teorema 5.5.13 tenemos que
w
α
X pα r
n = to(N (H)) = tr = tp m0 = ,
i=1
ri
PROBLEMAS
tenemos que σ n = σσ n−1 . Con la notación que hemos convenido desde el ejemplo
5.1.9, la composición σβ queda descrita como:
1 2 ··· n 1 2 ··· n
σβ =
σ(1) σ(2) ··· σ(n) β(1) β(2) ··· β(n)
1 2 ··· n
= .
σ(β(1)) σ(β(2)) · · · σ(β(n))
no son ajenas y
1 2 3 4 5 1 2 3 4 5 1 2 3 4 5 1 2 3 4 5
6= .
3 2 5 4 1 3 4 1 2 5 3 4 1 2 5 3 2 5 4 1
Lema 5.7.10. Si σ, β ∈ Sn son permutaciones ajenas, entonces σβ = βσ.
Demostración. Sea i ∈ {1, 2, . . . , n}. Si β(i) = j 6= i, entonces β(j) 6= j
pues β es inyectiva (β(i) = j = β(j)). Puesto que σ y β son permutaciones ajenas,
σ(i) = i y σ(j) = j. Ası́
σβ(i) = σ(β(i)) = σ(j) = j = β(i) = β(σ(i)) = βσ(i).
Si β(i) = i, entonces σ(i) = j 6= i pues σ y β son ajenas. El resultado se sigue
igual que en el caso anterior.
Teorema 5.7.11. Si σ ∈ Sn , entonces σ se puede expresar como un producto
de ciclos ajenos.
Demostración. Sea i1 ∈ X y l el menor entero positivo tal que σ l (i1 ) = i1 .
Consideremos el conjunto
{i1 , σ(i1 ), σ 2 (i1 ), . . . , σ l−1 (i1 )}
y supongamos que
σ(i1 ) = i2 , σ 2 (i1 ) = i3 , . . . , σ l−1 (i1 ) = il .
Sea k ∈ X tal que k 6= ij para 1 ≤ j ≤ l. Entonces para alguna t ∈ Z se tiene que
σ t (k) = k
y por lo tanto los ciclos
(k, σ(k), σ 2 (k), . . . , σ t−1 (k)), . . . , (i1 , σ(i1 ), σ 2 (i1 ), . . . , σ l−1 (i1 ))
son ajenos, pues de lo contrario, si
σ r (k) = σ w (i1 ),
entonces
σ r−w (k) = i1
y esto contradice la elección de k.
Sea j ∈ X tal que j 6= σ r (i) y j 6= σ r (k) para cualquier r ∈ Z. Entonces el
ciclo
(j, σ(j), σ 2 (j), . . . , σ s−1 (j)),
5.7. GRUPO SIMÉTRICO 177
con s elegido de tal manera que σ s (j) = j, es ajeno con los ciclos
(i, σ(i), σ 2 (i), . . . , σ l−1 (i)), . . . , (k, σ(k), σ 2 (k), . . . , σ t−1 (k)).
El proceso que acabamos de describir es finito y el producto de estos ciclos
ajenos es σ.
Veamos con un ejemplo que la demostración del teorema 5.7.11 es un algo-
ritmo que se puede aplicar directamente a cualquier permutación particular.
Ejemplo 5.7.12. Consideremos la siguiente permutación
1 2 3 4 5 6 7 8 9
σ= .
4 6 7 3 2 9 1 8 5
Para descomponer σ simplemente observemos que la clave está en el segundo
renglón de la demostración del teorema. En nuestro caso σ 4 (1) = 1 y por lo tanto
el primer ciclo en la descomposición de σ es
(1, σ(1) = 4, σ 2 (1) = 3, σ 3 (1) = 7) = (1, 4, 3, 7).
El siguiente ciclo es (2, σ(2) = 6, σ 2 (2) = 9, σ 3 (2) = 5) = (2, 6, 9, 5). El lector
puede verificar fácilmente que (1, 4, 3, 7)(2, 6, 9, 5) = σ.
Corolario 5.7.13. Cualquier permutación es producto de transposiciones.
Demostración. Consideremos el r-ciclo (i1 , i2 , . . . , ir ). Un simple cálculo
nos muestra que (i1 , i2 , . . . , ir ) = (i1 , ir )(i1 , ir−1 ) · · · (i1 , i3 )(i1 , i2 ).
Corolario 5.7.14. Las transposiciones (1, 2), (1, 3), . . . , (1, n) generan Sn .
Demostración. Es suficiente expresar la transposición (i, j) en términos
de (1, 2), (1, 3),. . . ,(1, n). Esto último es claro pues (i, j) = (1, i)(1, j)(1, i). La
afirmación anterior proviene del siguiente producto:
1 ... i ... j ... n 1 ... i ... j ... n
=
1 ... j ... i ... n i ... 1 ... j ... n
1 ... i ... j ... n 1 ... i ... j ... n
.
j ... i ... 1 ... n i ... 1 ... j ... n
Y
Para σ ∈ Sn definimos σ(∆n ) = (xσ(i) − xσ(j) ) con 1 ≤ i, j ≤ n. Para
i<j
ilustrar esta definición consideremos el siguiente ejemplo.
Ejemplo 5.7.18. Sea σ = (1, 3)(2, 4) ∈ S4 . Entonces
∆4 = (x1 − x2 )(x1 − x3 )(x1 − x4 )(x2 − x3 )(x2 − x4 )(x3 − x4 )
y por tanto
σ(∆4 ) = (x3 − x4 )(x3 − x1 )(x3 − x2 )(x4 − x1 )(x4 − x2 )(x1 − x2 )
= (x1 − x2 )[−(x1 − x3 )][−(x1 − x4 )][−(x2 − x3 )]
[−(x2 − x4 )](x3 − x4 ) = ∆4 .
Si σ = (i, j) es cualquier transposición, entonces σ(∆n ) = −∆n pues σ solo
intercambia i con j y los demás los deja fijos. Escribiremos ∆ en lugar de ∆n y
no habrá peligro de confusión.
Lema 5.7.19. Si σ ∈ Sn , entonces σ(∆) = ±∆.
Demostración. Sean i, j ∈ X. Un factor tı́pico de σ(∆) es de la forma
xσ(i) − xσ(j) . Si σ(i) < σ(j), entonces xσ(i) − xσ(j) es un factor que aparece en el
Y
producto (xi − xj ). Si por el contrario, σ(i) > σ(j), entonces xσ(i) − xσ(j) no
i<j
es un factor en ∆ y sin embargo −(xσ(i) − xσ(j) ) sı́ es un factor en ∆. Sea m el
número de veces que σ(j) < σ(i), entonces σ(∆) = (−1)m ∆ = ±∆.
Para σ ∈ Sn definimos el signo de σ como
1 si σ(∆) = ∆
sgn(σ) =
−1 si σ(∆) = −∆.
Lema 5.7.20. Si σ ∈ Sn , entonces σ(−∆) = −σ(∆).
Demostración. De la igualdad
Y
(xi − xj )
i<j
∆ = (x1 − x2 )
(x1 − x2 )
se sigue que Y
(xi − xj )
i<j
−∆ = (x2 − x1 ) .
(x1 − x2 )
180 5. GRUPOS
Por tanto
Y
(xσ(i) − xσ(j) )
i<j
σ(−∆) = (xσ(2) − xσ(1) )
(xσ(1) − xσ(2) )
Y
(xσ(i) − xσ(j) )
i<j
= −(xσ(1) − xσ(2) )
(xσ(1) − xσ(2) )
Y
=− (xσ(i) − xσ(j) ) = −σ(∆).
i<j
Ahora veamos cómo utilizar las ideas que hemos desarrollado hasta ahora
para demostrar que An es simple, pero como aperitivo, antes mostraremos que
A5 es simple. No te preocupes lector por los casos n = 2, 3, 4, más adelante los
comentaremos.
Teorema 5.7.28. A5 es un grupo simple.
Demostración. Primero observemos que (a, b, c)−1 = (a, c, b). Sea H / A5
y H 6= {ε}. Vamos a mostrar que necesariamente H contiene algún 3-ciclo y
luego usaremos la normalidad de H, el lema 5.7.26 y el corolario 5.7.27. Sea
σ ∈ H \ {ε}. Sin pérdida de generalidad podemos suponer que σ es alguna de las
siguientes permutaciones:
(a, b, c), (a, b)(c, d), (a, b)(a, c), (a, b, c, d, e).
Si σ = (a, b, c), entonces por la normalidad de H y el corolario 5.7.27 tenemos
que H = A5 . Si σ = (a, b)(c, d), definimos la permutación α = (a, b)(c, e). El
lector puede verificar fácilmente que (c, e, d) = ασα−1 σ −1 ∈ H y como en el
caso anterior, H = A5 . El caso σ = (a, b)(a, c) = (a, c, b) es evidente pues σ es
un 3-ciclo. Si σ = (a, b, c, d, e), definimos α = (a, c, b). El lector puede verificar
fácilmente que (a, c, d) = ασα−1 σ −1 ∈ H. Por lo tanto A5 es simple.
184 5. GRUPOS
... i j k l r n+1
δ(r) = ,
... ∗ ∗ ∗ ∗ n+1 ∗
... i j k l r n+1
δ(j) = ,
... ∗ k ∗ ∗ n+1 ∗
... i j k l r n+1
δσ(n + 1) = ,
... ∗ ∗ ∗ ∗ ∗ n+1
Por lo tanto δσ ∈ An porque δσ(n + 1) = n + 1. También
... i j k l r n+1
δσ(i) = .
... k ∗ ∗ ∗ ∗ n+1
Notemos que δσ 6= ε porque i 6= k. También δ ∈ H porque δ y σ son conjugadas
por una permutación par y H /An+1 . Por lo tanto δσ ∈ H ∩An y ası́ H ∩An 6= {ε}.
Lo anterior significa que H ∩ An = An porque An es simple, es decir, H contiene
al menos un 3-ciclo. Ası́ H = An+1 .
¿Por qué An = {δ ∈ An+1 : δ(n + 1) = n + 1} 6 An+1 ?. La respuesta
es muy sencilla. Sean δ ∈ An \ {ε} y i, j tales que δ(i) = j, con i 6= j. Si
β = (n + 1, j, i)δ(i, j, n + 1), entonces β y δ son permutaciones conjugadas. Pero
β 6∈ An porque β(n + 1) = i 6= n + 1. Ası́ An 6 An+1 y H 6= An .
1 2 3 4 1 2 3 4 1 2 3 4
ε= , σ1 = , σ2 = ,
1 2 3 4 1 3 4 2 1 4 2 3
1 2 3 4 1 2 3 4 1 2 3 4
σ3 = , σ4 = , σ5 = ,
3 2 4 1 4 2 1 3 2 4 3 1
1 2 3 4 1 2 3 4 1 2 3 4
σ6 = , σ7 = , σ8 = ,
4 1 3 2 2 3 1 4 3 1 2 4
1 2 3 4 1 2 3 4 1 2 3 4
σ9 = , σ10 = , σ11 = ,
4 3 2 1 3 4 1 2 2 1 4 3
1 2 3 4 1 2 3 4 1 2 3 4
σ12 = , σ13 = , σ14 = ,
1 2 4 3 1 4 3 2 1 3 2 4
1 2 3 4 1 2 3 4 1 2 3 4
σ15 = , σ16 = , σ17 = ,
4 2 3 1 3 2 1 4 2 1 3 4
1 2 3 4 1 2 3 4 1 2 3 4
σ18 = , σ19 = , σ20 = ,
2 3 4 1 3 1 4 2 2 4 1 3
1 2 3 4 1 2 3 4 1 2 3 4
σ21 = , σ22 = , σ23 = .
4 1 2 3 3 4 2 1 4 3 1 2
v4 6 v3
v1 v2
v3 6 v2
v4 v1
v v2 v3 v4
σ= 1
v2 v3 v4 v1
v4 6 v3
v1 v2
v2 6 v3
v1 v4
Luce idéntica a la original, si no fuera por las etiquetas de los vértices. Esta
acción la podemos mirar como una permutación:
v v2 v3 v4
β= 1
v1 v4 v3 v2
Observamos que si repetimos la acción dos veces llegaremos al cuadrado
original, es decir, β 2 (vi ) = β(β(vi )) = vi = ε(vi ). Veamos la aplicación de
los dos movimientos σβ:
v1 v2 v3 v4 v1 v2 v3 v 4
σβ = , βσ = .
v2 v1 v4 v3 v4 v3 v2 v1
v3 6 v4 v1 6 v2
- -
v2 v1 v4 v3
σβ βσ
ε σβ σ2 β σ3 β β σ σ2 σ3
ε ε σβ σ2 β σ3 β β σ σ2 σ3
σβ σβ ε σ3 σ2 σ β σ3 β σ2 β
σ2 β σ2 β σ ε σ3 σ2 σβ β σ3 β
σ3 β σ3 β σ2 σ ε σ3 σ2 β σβ β
β β σ3 σ2 σ ε σ3 β σ2 β σβ
σ σ σ2 β σ3 β β σβ σ2 σ3 ε
σ2 σ2 σ3 β β σβ σ2 β σ3 ε σ
σ3 σ3 β σβ σ2 β σ3 β ε σ σ2
5 4 3 4
β
−→
6 3 2 5
1 2 1 6
b a b a
intente ver los siguientesr pentágonos como pentágonos regulares.
r Ahora si, vamos
al ejemplo:
1 1
@ @
@ @
@ @
@ β @
@ @
@ −→ @
@@ @@
2 B 5 5 B 2
B B
B B
B B
B B
B B
B B
3 4 4 3
n
1 2 3 ··· +1 ··· n−1 n
β= 2
n ,
1 n n − 1 ··· 2 +1 ··· 3 2
y si n es impar, tenemos que
1 2 3 ··· n−1 n
β= .
1 n n−1 ··· 3 2
Un simple cálculo nos muestra que o(β) = 2 y por lo tanto, si n es par, entonces
n
1 2 3 ··· n − 1 n 1 2 3 ··· + 1 ··· n − 1 n
σβ = 2
n
2 3 4 ··· n 1 1 n n − 1 ··· 2 + 1 ··· 3 2
n
1 2 3 ··· + 1 ··· n − 1 n
= 2
n ,
2 1 n ··· 2 + 2 ··· 4 3
Lo sorprendente del grupo D2n es que, para describir todas las simetrı́as
de un polı́gono regular, basta y sobra con las permutaciones σ, β. Observemos
lo siguiente: puesto que o(hσi) = n, tenemos que [D2n : hσi] = 2. Por tanto
hσi / D2n . Lo anterior significa que D2n no es simple.
Conclusión final. En R2 tenemos polı́gonos regulares de cualquier número
de lados y son fáciles de construir: simplemente resuelva la ecuación xn = 1 en
C y grafique las soluciones. En R3 es otra historia. Se sabe que solo existen 5
poliedros regulares: el tetraedro, el cubo, el octaedro, el dodecaedro y el icosaedro.
5.9. EL CONCEPTO DE GRUPO ABSTRACTO: TEOREMA DE CAYLEY 195
La construcción de sus grupos de simetrı́as está fuera del alcance de estas notas.
El lector interesado puede deleitarse con este tema en [11].
El conjunto T = {φa0 , φa1 , φa2 , φa3 , φa4 , φa5 , φa6 } es subgrupo de S7 . El lector
puede verificar que T es cı́clico y T = hφa1 i.
Ejemplo 5.9.3. Para n ∈ N tenemos que D2n ≤ Sn .
5.9. EL CONCEPTO DE GRUPO ABSTRACTO: TEOREMA DE CAYLEY 197
PROBLEMAS
1. Expresa como producto de ciclos ajenos cada una de las siguientes permutaciones e
indica cuáles son pares y cuáles son impares:
1 2 3 4 5 6 7 8
a) .
2 7 4 8 3 6 5 1
1 2 3 4 5 6 7 8
b) .
7 4 1 5 8 2 6 3
1 2 3 4 5 6 7 8 9
c) .
4 6 9 2 7 1 3 8 5
1 2 3 4 5 6 7 8 9
d) .
6 3 5 1 4 9 7 2 8
2. Encuentra el orden de cada una de las permutaciones del problema 1.
3. Escribe todos los elementos de S2 y A2 .
4. Considera los grupos S3 y A3 . ¿El grupo A3 es simple?
a) Elabora una lista de todos los elementos y escrı́belos en forma cı́clica.
b) Encuentra la familia de subgrupos de S3 y A3 .
5. En S4 encuentra el subgrupo generado por (1, 2) y (2, 3).
6. Sea V4 = {Id, (1, 2)(3, 4), (1, 3)(2, 4), (1, 4)(2, 3)} el grupo de Klein de orden 4.
Muestra que V4 / A4 .
198 5. GRUPOS
[1] Barrera Mora F., Villa Salvador G.D. Teorı́a de Ecuaciones Polinomiales. VII Coloquio
del Departamento de Matemáticas del CINVESTAV 1991.
[2] Beaumont R. A., Pierce R. S. The algebraic fundations of mathematics. Addison-Wesley
1963.
[3] Bressoud D. W. Factorization and primality testing. Springer-Verlag, Undergraduate Text
in Mathematics 1989.
[4] Burnside W. Theory of groups of finite order. Dover 1955.
[5] Curtis W. CH., Reiner I., Representation Theory of Finite Groups and Associative Alge-
bras. Pure and Applied Mathematics Vol IX. John Wiley and Sons 1962.
[6] Euclides. Elementos. Libro IX. Editorial Gredos, Madrid. 1991.
[7] Hall, Marshal, Jr., The theory of groups. AMS Chelsea Publishing, 2nd edition. Providence,
RI, 2000.
[8] Hardy G.H., Wright E. M.. An introduction to the theory of numbers. Oxford University
Press 1979.
[9] http://www-history.mcs.st-andrews.ac.uk/Biographies. Espléndido sitio para consultar bio-
grafı́as de matemáticos.
[10] Ireland K., Rosen M. A classical introduction to modern number theory. Springer Verlag
GTM 84 , 1982.
[11] Joyner D. Adventures in Group Theory: Rubik’s cube, Merlin’s machine and other mathe-
matical toys. The Johns Hopkins University Press, 2002.
[12] Lagrange J.L. Réflexions sur la résolution algébrique des équations, Nouveaux Mémoires de
l’Académie Royale des Sciences et Belles-Lettres de Berlin, 1770/71. Oeuvres de Lagrange,
III, 205421.
[13] Mollin R.A. Algebraic Number Theory. CRC Press series on discrete mathematics and its
applications, 1999.
[14] Niven I., Zuckerman S., Montgomery H. L., An Introduction to the Theory of Numbers.
5th ed., John Wiley, New York, (1991).
[15] Hölder O. Die einfachen Gruppen in ersten und zweiten Hundert der Ordnungszahlen.
Math. Annalen 40 (1892), 5588.
[16] Ribenboim P. El famoso polinomio generador de primos de Euler y el número de clase de
los cuerpos cuadráticos imaginarios. Revista Colombiana de Matemáticas. Vol. 21 (1987),
263-284.
201
202 BIBLIOGRAFÍA
[17] Rotman J. An Introduction to the Theory of Groups. Springer Verlag GTM 148, 1995.
[18] Rotman J. Galois Theory. Springer Verlag, Universitext, second edition, 1998.
[19] Samuel P., Zariski O. Commutative Algebra I. Springer Verlag GTM 28, 1975.
[20] Sierspiński W. it Elementary Theory of Numbers. North-Holland, Amsterdan (1988).
[21] Solomon R. A brief history of the classification of the finite simple groups. Bulletin of the
American Mathematical Society, Vol. 38. Number 3, pages 315-352. 2001.
[22] Solovay R.M., Strassen V. A fast Monte-Carlo test for primality. SIAM Journal of compu-
ting 6(1) pages 84-85. 1977.
[23] Sominski I. S. Método de inducción matemática. Editorial Limusa, 2002.
[24] Zaldivar Cruz, F., Introducción a la Teorı́a de Grupos. Aportaciones Matemáticas de la
Sociedad Matemática Mexicana No. 32, 2006.
[25] Vinogradov, Ivan M., Fundamentos de la teorı́a de números. Editorial MIR, Moscú, 1977.
Índice
a
, 83 hai, 118
b J
(i1 , i2 ), 175 mcd(a, b), 7
(i1 , i2 , . . . , ir ), 175 mcm(a, b), 13
An , 181 σ(∆n ), 179
Aut(G), 147 ϕ de Euler, 35
Aut(Zn ), 148 aH, 119
C([a, b]), 114 o(G), 111
D8 , 190 o(a), 123
D2n , 195 p-grupo, 163
G/H, 121 C∗ , 117, 119, 123, 129, 134
GL(2, R), 113 Fp , 56
H ≤ G, 115 H, 115
H 6 G, 131 N0 , 1
H / G, 131 Q∗ , 112
H × K, 149 R∗ , 123, 138
Isom(R2 ), 191 Z[i], 89
N (A), 159 Zn , 31, 32
N (g), 159, 160 Z∗p , 66, 123
P4 , 187 SCR(m), 34
Pn , 192 SRR(m), 35
SL(2, R), 113
SX , 173 [G : H], 122
−1
Sn , 112, 174 , 66
p
Sym(P ), 192 2
T (R2 ), 113 , 73
p
Ta,b , 113 a
U (Z[i]), 92 , 65
p
Un , 60 a | b, a - b, 6
V4 , 146, 198
Z(G), 158 Algoritmo
ker(f ), 140 de Euclides en Z, 11
hAi, 118 de Euclides en Z[i], 93
203
204 Índice