3.

SUBGRUPOS

Para que podamos encontrar más información sobre la composición de un grupo G dado, puede
ser una tarea demasiado difícil para enfrentar a todo G de frente. Puede ser deseable
centrar nuestra atención en las piezas apropiadas de G, que son más pequeñas, sobre las cuales
tenemos cierto control, y es tal que la información recopilada sobre
se pueden usar para obtener información relevante y conocimiento sobre G en sí. los
la pregunta entonces se convierte en: ¿Qué debería servir como piezas adecuadas para este tipo
de
díssection de G? Claramente, lo que sea que elijamos como tales piezas, las queremos
para reflejar el hecho de que G es un grupo, no más que cualquier conjunto anterior.

Un grupo se distingue de un conjunto ordinario por el hecho de que es

dowed con una operación de buen comportamiento. Por lo tanto, es natural exigir que tal
piezas anteriores se comportan razonablemente con respecto a la operación de G. Una vez
esto se concede, nos lleva casi de inmediato al concepto de un subgrupo

de un grupo.

De fi nición. Un subconjunto no vacío, H, de un grupo G se denomina subgrupo

de G si, en relación con el producto en G, H mismo forma un grupo.

Hacemos hincapié en la frase "relativa al producto en G." Tome, por ejemplo,

el subconjunto A = [1, -l] en Z, el conjunto de enteros. Bajo la multiplicación de
enteros, A es un grupo. Pero A no es un subgrupo de Z visto como un grupo con
resPect a +.

Cada grupo G automáticamente tiene dos subgrupos obvios, a saber G it-

self y el subgrupo que consiste en el elemento de identidad, e, solo. Estos dos
subgrupos que llamamos subgrupos n-ivíal. Nuestro interés estará en el resto
unos, los subgrupos propios de G.

Antes de proceder a una mirada más cercana al carácter general de

grupos, queremos ver algunos subgrupos específicos de algunos
grupos plicitos Algunos de los grupos que consideramos son aquellos que presentamos como ex
ejemplos en la Sección 1; mantenemos la numeración dada allí para ellos. En
algunos de estos ejemplos verificaremos que ciertos subconjuntos especificados son de hecho
subgrupos. Recomendamos encarecidamente que el lector realice tal
Veri fi cación en muchos de los otros y tratar de encontrar otros ejemplos para ellos.

Al tratar de verificar si un subconjunto dado de un grupo es un subconjunto

grupo, nos ahorramos el control de uno de los axiomas que define un grupo, a saber
la ley asociativa. Dado que la ley asociativa se mantiene universalmente en un grupo G,
dado cualquier subconjunto A de G y cualquiera de los tres elementos de A, entonces el asociativo
la ley ciertamente vale para ellos. Entonces, debemos verificar, para un subconjunto A dado G,
si A está cerrado bajo la operación de G, si e está en A, y finalmente,
dado un E A, si a'l también está en A. Tenga en cuenta que podemos guardar un cálculo más.
Supongamos que A C G es
no vacío y que, dado a, b e A, entonces ab E A. Supongamos además que dado
a E A, luego a'l E A. Entonces afirmamos que e e A. Para elegir una E A; luego un "E A"
por suposición, por lo tanto, aa'l E A, nuevamente por suposición. Desde aa "l = e, nosotros
tener ese e E A. Por lo tanto, a es un subgrupo de G. En otras palabras,

Lema 2.3.1. Un subconjunto no vacío A C G es un subgrupo de G si

solo si A está cerrado con respecto a la operación de G y, dado un E A, entonces

un "EA"

Ahora consideramos algunos ejemplos.

Ejemplos

1. Deje G ser el grupo Z de enteros bajo + y deje H ser el conjunto de incluso en

Tegers. Reclamamos que H es un subgrupo de Z. ¿Por qué? Es H cerrado, es decir, dado
a, b E H, es a + b E H? En otras palabras, si a, b son incluso enteros, es a + b una
incluso entero? La respuesta es sí, por lo que H ciertamente se cierra en +. Ahora a la
inverso Como la operación en Z. es +, la inversa de una E Z relativa a esta operación
La eración es -a. Si a E H, es decir, si a es par, entonces -a también es par, por lo tanto
-a E H. En resumen, H es un subgrupo de Z debajo de +.

2. Deje G una vez más ser el grupo Z de enteros bajo +. En el Ejemplo 1, H,

el conjunto de enteros pares, se puede describir de otra manera: a saber, H consiste
de todos los múltiplos de 2. No hay nada particular en el Ejemplo 1 que haga uso
de 2 en sí. Dejemos que m> 1 sea un entero y que H ", consista en todos los múltiplos de m
en Z. Dejamos que el lector verifique que H ", es un subgrupo de petróleo bajo +.

3. Sea S cualquier conjunto no vacío y deje G = A (S). Si un E S, deje H (a) =

{f E A (S) I f (a) = a]. Reivindicamos que H (a) es un subgrupo de G. Si
fl g e Her). luego (fg) (a) = f (g (a)) = na) = a, ya que na) = gm) = a. Así
fg E H (a). Además, si fE H (a), entonces f (a) = a, de modo que f "(f (a)) = f" (a). Pero
f "'(f (a)) = f"' (a) = ¡(0) = a. Por lo tanto, sincea = f "(f (a)) = f" (a), tenemos
que f "E H (a). Además, H es no vacío. (¿Por qué?) En consecuencia, H (a) es un
subgrupo de G.

4. Sea G como en el Ejemplo 6 de la Sección 1, y H como en el Ejemplo 7. Entonces H es un

subgrupo de G (ver problema 3 en la sección 1).

S. Sea G como en el Ejemplo 6, H como en el Ejemplo 7, y K como en el Ejemplo 8 en

Sección 1. Entonces K C H C G y K es un subgrupo de H y de G.

6. Sea C 'los números complejos distintos de cero como un grupo bajo el multiplicador
ción de números complejos. Deje V = {a e C '| | a | es racional]. Entonces V es un subtítulo
grupo de C '. Para si | a | y | b | son racionales, entonces | ab | = IaI | b | es racional, entonces ab
e V; también, la'l I = 1 / | a | es racional, por lo tanto un "E V. Por lo tanto, V es un sub-
grupo de C '.

7. Deje que C 'y V sean como se indica arriba y deje que

U = {aEC'I a = cosa + ¡sin 0,0anyreall.

Si a = cos 6 + i sen 6 yb = cos ¡[1 + r 'sin «[1, vimos en el capítulo 1 que ab =

cos (0 + lll) + isin (0 + dl), de modo que ab E U, y que a "= cos 0 - ¡sin 0 =
cos (-0) + i sen (-0) E U. Además, IaI = 1, ya que lal = Vcosza + sin2 =
Por lo tanto, U C V C C 'y U es un subgrupo tanto de V como de C'.

8. Deje que C ', U, V sean como se indica arriba, y que n> 1 sea un número entero. Deje 6 ,, =
cos (21r / n) + í sen (2w / n), y dejar En = [1, 6 ". 03 ,,..., 01:"}. Desde 0 :: = 1 (como
vimos por el teorema de De Moivre), se verifica fácilmente que En es un subgrupo
de U, V y C ', y es de orden n.

9. Deje G ser cualquier grupo y deje un e G. El conjunto A - [a 'I i cualquier entero] es un sub -
grupo de G. Porque, según las reglas de los exponentes, si a 'E A y ai E A, entonces aiaí =
ai ", también lo está en A. Además, (a ')' l = a"; así que (a ') "e A. Esto convierte a A en una sub-
grupo de G.

A es el subgrupo cíclico de G generado por a en el siguiente sentido.

De fi nición. El subgrupo cíclico de G generado por a es un conjunto la 'I r' any

entero}. Se denota (a).

Tenga en cuenta que si e es el elemento de identidad de G, entonces (e) = [e]. En el ejemplo 8,

el grupo Bis el grupo cíclico (6 ,,) de C generado por 0 ,,.

10. Deje G ser cualquier grupo; para un E G, que C (a) = lg e G Iga = ag]. Reclamamos
que C (a) es un subgrupo de G. Primero, el cierre de C (a). Si g, h E C (a), entonces
ga = ag y ha = ah, por lo tanto (gh) a = g (ha) = g (ah) = (ga) h = (ag) h =
a (gh) (por el uso repetido de la ley asociativa), de ahí gh E C (a). También si
g E C (a). luego de ga = ag tenemos g "'(ga) g'l = g"' (ag) g ", que
simplifica a ag "l = g" a; de donde g "E C (a). Entonces, C (a) es por lo tanto una sub-
grupo de G.

Estos subgrupos particulares C (a) aparecerán más tarde para nosotros y son
dado un nombre especial. Llamamos C (a) el centralizador de a en G. Si en un grupo
ab - ba, decimos que a y b conmutan. Por lo tanto C (a) es el conjunto de todos los elementos en
G que conmutan con a.

11. Deje G ser cualquier grupo y deje Z (G) = {z E G | zx = xz para todo x E G]. Nosotros
dejar que el lector verifique que Z (G) es un subgrupo de G. Se llama
centro de G.

12. Deje G sea cualquier grupo y H un subgrupo de G. Para un E G, deje un "Ha =

[a '' ha | h E H]. Afirmamos que un "lHa es un subgrupo de G. lfx = a" 'h a y
y = a "hza donde h¡, h2 e H, luego xy = (a" h.a) (a "h2a) = a" (h¡h2) a
(ley asociativa), y ya que H es un subgrupo de G, ¡zth E H. Por lo tanto,
a "(h¡h2) a E a" Ha, que dice que xy E a "Ha. Por lo tanto," Ha está cerrada.
Además, si x = a "ha E a" Ha, entonces, como se verifica fácilmente, x "= (a" ha) 'l =
a '' h '' a E a '' Ha. Por lo tanto, un '' Ha es un subgrupo de G.

Una docena parece ser la cantidad correcta de ejemplos, entonces

pasar a otras cosas. El Lema 2.3.1 nos indica lo que necesitamos para
que un subconjunto dado de un grupo sea un subgrupo. En un caso especial importante
puede hacer un ahorro considerable al verificar si un subconjunto H dado es
subgrupo de G. Este es el caso en el que H es fi nita.

Lema 2.3.2. Supongamos que G es un grupo y H es un grupo no vacío

conjunto de G cerrado debajo del producto en G. Entonces H es un subgrupo de G.

Prueba: en el Lema 2.3.1 debemos demostrar que una E H implica un "'E H. Si

a = e, luego a '' = e y hemos terminado. Supongamos entonces que a = / = e; considerar
los elementos a, al,. .., a "* ', donde n = IHI, el orden de H. Aquí tenemos
han anotado elementos n + l, todos ellos en H desde que H está cerrado, y H
tiene solo n elementos distintos. I-Iow, ¿puede ser esto? Solo si dos de los ele-
los listados son iguales; decirlo de otra manera, solo si a '= a' durante 1 s í <
j s n + 1. Pero luego, por la propiedad de cancelación en grupos, ai "'= e. Ya que
j-¡21, a¡ "'EH, por lo tanto, EH.I-Sin embargo, j-i-120, s0'a¡" "e H
y aa "" '= ai "= e, de donde a" = a¡ "' 'e H. Esto prueba el
lema El

Un corolario inmediato, pero no obstante importante, del Lema 2.3.2 es el

Corolario. Si G es un grupo finito y H un subconjunto no vacío de G cerrado

bajo multiplicación, entonces H es un subgrupo de G.

P RO B L E M 8

Problemas más fáciles

l. Si A, B son subgrupos de G, muestre que A n B es un subgrupo de G.

2. ¿Cuál es el subgrupo cíclico de Z generado por -1 debajo de +?

3. Sea el grupo simétrico de grado 3. Encuentre todos los subgrupos de S3.

4. verificar que Z (G), el centro de G, es un subgrupo de G. (Ver Ejemplo 11)

5. Si C (a) es el centralizador de a en G (Ejemplo 10), compruebe que Z (G) =

naEGC (a) °

6. Demuestre que a E Z (G) si y solo si C (a) = G.

7. En S3, encuentre C (a) para cada a E 53.

8. Si G es un grupo abeliano y si H = [a e G | a2 = e], muestra que H es un
subgrupo de G.

9. Dé un ejemplo de un grupo no belio para el cual la H en el problema 8 es

no es un subgrupo

10. Si G es un grupo abeliano y n> 1 un entero, deje A, = [a "| a e G}.

Demuestre que A "es un subgrupo de G.

* 11. Si G es un grupo abeliano y H = [a E G | 0 "") = e para algunos n (a)> 1 de-

pendiente en a}, probar que H es un subgrupo de G.

Decimos que un grupo G es cíclico si existe una E G tal que

cada x E G es un poder de a, es decir, x = ai para algunos j. En otras palabras, G
es cíclico si G = (a) para algunos a E G, en cuyo caso decimos que a es un gen
erator para G.

* 12. Demuestre que un grupo cíclico es abeliano.

13. Si G es cíclico, demuestre que cada subgrupo de G es cíclico.

14. Si G no tiene subgrupos apropiados, demuestre que G es cíclico.

15. Si G es un grupo y H es un subconjunto no vacío de G tal que, dado a, b E H,

luego ab'l E H, demostrar que H es un subgrupo de G.

Problemas de nivel medio

16. Si G no tiene subgrupos apropiados, demuestre que G es cíclico de orden p, donde p

es un número primo. (Esto agudiza el resultado del problema 14.)

17. Si G es un grupo y a, x E G, demuestre que C (x "ax) = x" C (a) x. [Ver Ex-

los ejemplos 10 y 12 para las definiciones de C (b) y de x "C (a) x.]

18.1fS es un conjunto no vacío y X C S, muestran que T (X) = [fe A (S) If (X) C

X} es un subgrupo de A (S) si X es finito.

19. Si A, B son subgrupos de un grupo abeliano G, que AB = {ab I a E A, b E B}.

Demuestre que AB es un subgrupo de G.

20. Da un ejemplo de un grupo G y dos subgrupos A, B de G tales que

AB no es un subgrupo de G.

21. Si A, B son subgrupos de G tales que b "'Ab C A para todos b E B, muestre que
AB es un subgrupo de G.

* 22. Si A y B son subgrupos finitos, de órdenes myn, respectivamente, del

abelian group G, demuestra que AB es un subgrupo de orden mn si m y n son
relativamente primo

SOLUTIONS
7. Usando la notación o el problema 3, vemos que cm - (ej). thg) -le, fgl,
C (gl) - [e, gll, C (g) = (por ejemplo, gzl = Clgzl, y C (e) - S3.
9. S3 es un ejemplo, ya que los elementos que satisfacen x2 = e son e, f.
fg, gf (en la notación del problema 3) y estos no forman un subgrupo de S3

11. Suponga que a y b están en H, luego a "'- e y b" = e para algunos

enteros positivos m y n. por lo tanto, dado que G es abeliano, (ablmn - Mm "s e.
que pone ab en H. si a está en H y am = e entonces (a ")" '= tam) "= e.
por lo tanto, "está en H. Entonces H es un subgrupo de G.

13, Deje G sea un grupo cíclico y H un subgrupo G. suponga que a en G es un generador de G. Si H -

(el entonces H es ciertamente cíclico, siendo generado por el elemento e. Supongamos, entonces,
que H = e, si x = e está en H entonces x = a '. donde I = 0 entonces, ya que H es un subgrupo de G,
Por lo tanto, un poder positivo cae en H. por lo tanto hay un menor ... por algunos m. por el
algoritmo euclidiano, m = qk + r donde - ahora .. .. está en H ya que y y ... son en H. ya que r <k, por
la definición de k no podemos tener esa r> 0. Por lo tanto, r = 0, por lo tanto m = qk. Esto muestra
que ... así H es un grupo cíclico con el generador a.

14. Supongamos que G no tiene subgrupos apropiados. Deje a == e estar en G y considere

H - (a 'i i cualquier entero). Como lsmmediate, si xey son ln H entonces xy y x "
están en H. así H es un subgrupo de G. y H = (e) ya que a == e está en H. Así. por
hipótesis, H = G. Por lo tanto G es cíclico con un generador como.

l6. Por el resultado del problema 14, cualquier elemento de G que no sea e genera G. si a está en G
y a2 - e, entonces el grupo generado hy a tiene 2 elementos, que