(b)) = (t/)o 4>)(a)(xp o 4>)(b).
□ 1 Observación. Si < ¡> : G -♦ G ' es un isomorfismo de grupos, entonces 4>establece ! una correspondencia biyectiva entre los elementos de G y los de G y respeta la estructura algebraica de G y G porque <\>es homomorfismo; por ejemplo, respeta los
I
76
6. HOMOMORFISMOS EISOMORFISMOS
elementos neutros y el tomar inversos de elementos. De esta forma, podemos pensar que un isomorfismo de grupos es como una forma de renombrar o re-etiquetar los ele mentos de un grupo; de aquí es donde proviene la etimología: iso quiere decir igual y morphé quiere decir forma; por lo tanto isomorfismo quiere decir que tienen la mis ma forma. Cuando pensemos en clasificar los grupos, estaremos pensando en tratar de distinguirlos cuando tienen forma diferente, es decir, estaremos interesados en decidir cuándo son o no isomorfos. Observe ahora que si G es cualquier grupo, como la función identidad id q : G G es un homomorfismo, entonces G G. También, si G ~ G ' se tiene un isomorfismo : G —> Gf y ip : G ' —i►G", y por la parte 2 del lema 6.4 la composición tp °
Ejemplo 9. Por el ejemplo 3 se tiene un homomorfismo de grupos log : R>o —i R y por el ejemplo 4 se tiene un homomorfismo de grupos exp : R —» R>o y es bien conocido (¡debe serlo para el lector!) que estas funciones son inversas una de la otra y por lo tanto son biyectivas. Se sigue los grupos R y R>o son isomorfos.
Ejemplo 10. Si G = {o) es un grupo cíclico finito de orden n, entonces G es isomorfoal grupo aditivo Z /n Z de los enteros módulo n. Un isomorfismo está dado por la función: (¡>: (a) — ►Z /n Z definida mediante <¡>((rk) [&] (la clase residual de k módulo n). Recuerde que (a) = {a°,ff,a2,c 3, ...,
Ejemplo 11. Si G = {o) es un grupo cíclico infinito, entonces G es isomorfo al grupo aditivo Z. Un isomorfismo está dado por la función (¡>: (o) — ►Z definida mediante <¡>{ak) = k. Note que ésta es una función ya que, como probamos en el Capítulo 3, en un grupo cíclico infinito si m n se tiene que om ^ a n. La función <¡>es un homomorfismo ya que si o1 € G, entonces
(ak) + (pia1).
6. HOMOMORFISMOS EISOMORFISMOS
77
Es inyectiva ya que si (ak) = 0(<7*), entonces k = t y por lo tanto ak = a*. Es suprayectiva ya que si fc € Z, entonces a* € G y 4>{crk) = A;.
Ejemplo 12. S\ pn = {z € C : zn = 1} es el grupo (multiplicativo) de raíces nésimas de la unidad, entonces pn es un grupo cíclico de orden n generado, por ejemplo, por la raíz u = exp(2iri/n), de tal forma que Un = {1 =u>°,a;,u;2Jü;3, . . . , u ; n~1} | y así, por el ejemplo 10, pn es isomorfo a Z /n Z . Note que a pesar que los elementos de pn y de Z /n Z son totalmente diferentes, el isomorfismo anterior los identifica de tal forma que desde el punto de vista algebraico son el mismo grupo. Los ejemplos 10 y 11 nos dicen que cualesquiera dos grupos cíclicos del mismo orden son isomorfos. Si (o) es un grupo cíclico finito de orden m , lo denotaremos por
C(m). Dado un homomorfismo de grupos (¡>: G —>G \ si restringimos su codominio al subgrupo Im (< ¡>) <3 G \ se tiene un homomorfismo suprayectivo <¡>: G
Im (0)
y el resultado siguiente es de capital importancia en el desarrollo del álgebra: TEOREMA 6.5 (Primer teorema de isomorfismo de Noether). Si : G —►G' es un ho momorfismo de grupos, entonces <¡>induce un isomorfismo de grupos <¡>: G / ker(0) —► Im (), tal que el diagrama siguiente conmuta:
G ------------------ ►I m (0) p G /k er(0 )
donde p :G —►G / ker (>) es el homomorfismo canónico. Demostración. Como el homomorfismo canónico p: G —>G /k e r(0 ) es suprayectivo, dada cualquier clase lateral izquierda a ker(<£) en G / ker(<£), para definir (aker(>)) 6 |
la primera intención es poner
| (*).
5(aker(>)) = <¡>(a);
es decir, escogemos como representante a € a ker (0) y definimos < ¡>como <¡>evaluado en el representante elegido. Por supuesto que para que esto tenga sentido tenemos que
78
6. HOMOMORFISMOS EISOMORHSMOS
mostrar que no depende del representante elegido. En efecto, si ah € a ker(0) es cualquier otro representante, entonces h € ker(0) y se tiene que
4>{ah) = 0(a)0(/i) = 0 (a)e'
porque 0 es homomorfismo
porque h € ker(0)
= 0(a) y por lo tanto el valor de 0 en cualquier representante de a ker(0) es el mismo. Tiene sentido entonces la definición (*). Note que esta definición de 0 hace que el diagrama del teorema conmute, i.e., satisface que
0o
p
= 0.
La función 0 es un homomorfismo ya que si a ker 0 y 6 ker 0 son dos elementos de G / ker 0, entonces (a ker 0) (6 ker 0) = ab ker 0 y por lo tanto 0 ((a k e r0 )(6 k e r0 )) = 0 (a6 k er0 ) = 0(a6)
por definición de 0
= 0(a)0(6)
porque 0 es homomorfismo
= 0 (a ker 0)0(6 ker 0). El homomorfismo 0 es inyectivo ya que si 0 (a ker 0) = e' (el neutro de lm(0) C G'), entonces 0(a) = e' por la definición de 0. Se tiene así que a € ker 0 y por lo tanto a ker 0 = ker (el neutro de G / ker 0), i.e., ker 0 Bj {ker 0} y por lo tanto 0 es inyectivo. El homomorfismo 0 es suprayectivo ya que si a ' € lm (0 ), entonces como 0 : G —►lm (0) es suprayectivo, existe un o € G tal que 0(
Ejemplo 13. Si sgn : Sn —►{1, —1} es el homomorfismo signo (para n > 2), entonces sgn es suprayectivo y por lo tanto Im(sgn) = { 1 ,-1 } . Por otra parte, el núcleo de sgn es el conjunto de permutaciones o € Sn tales que sgn(<7) = 1, i.e., tales que o es una permutación par. Por lo tanto ker(0) = A„ es el subgrupo alternante de Sn. Note que ésto muestra que A n < Sn.
6. HOMOMORFISMOS E1SOMORFISMOS
79
Ejemplo 14. Sean G = (R, 4-) y G' = (C*, •) y sea <¡>: R C* la función dada por 4>(x) := cosa; 4- i se n x. La función es un homomorfismo ya que (x 4- y) = cos(ar 4- y) 4* ¿ sen(x 4- y) = eos x eos y - sen x sen y -I- i [sen x eos y 4- sen y eos x] = eos y [eos x 4- i sen x] 4- i sen y [eos x 4- i sen x] = [eos x 4-i sen x] [eos y 4- i sen y] = tf>(*)0(y)La imagen de < ¡>es el subgrupo de C* formado por todos los complejos z tales que z = cosx 4* i sen x, i.e., tales que \z\ = 1. Es decir, Im(^) = {z € C : |z| = 1} = S 1
(la circunferencia unitaria en C).
Ahora, como el neutro del grupo multiplicativo C* es el complejo 1, el núcleo de 0 es el subgrupo: ker(0) =
{x G K
: <¡>(x) = 1} = {x € R : cosx 4- ¿sen x = 1}
y observando que eos x 4 i sen x = 1 si y sólo si x = 2kir con A; € Z, entonces ker(>) = {2&7T : k 6 Z} = (27r) es el subgrupo cíclico de R generado por 27T. Por el primer teorema de isomorfismo de Noether se tiene que R/(25r) ~ S 1. Observe ahora que las clases laterales de (27r) en R tienen un representante 9 G R tal que*0 < 9 < 2n, i,e, en el intervalo [0,27r) y el isomorfismo anterior dobla este intervalo de tal forma que el extremo cerrado 0 encaja en el extremo abierto 27r y forma la circunferencia S l . Note que en esta representación geométrica, la suma de ángulos en R /(27 t) corres ponde al producto de complejos en S 1 C C y recordemos que ésto es lo que sucede cuando se multiplican complejos de módulo 1. El primer teorema de isomorfismo de Noether nos dice que la imagen de cualquier homomorfismo : G —►G' es isomorfa a un grupo cociente: Im < ¡> ~ G/ ker . Supongamos ahora que se tiene un grupo cociente G /N %i.e., el subgrupo N < G es normal. Entonces el morfismo canónico p : G —* G /N es suprayectivo y como p(a) = aN , el núcleo de p es ker p = N y en este caso el primer teorema de Noether es la igualdad G /N = G /k e rp . Dicho en otras palabras, todo grupo cociente es la imagen de un homomorfismo. COROLARIO 6 .6 . Sea G cualquier grupo.
(1) Si es cualquier homomorfismo con dominio G, entonces ker <¡) < G y la imagen de es isomorfa al grupo cociente G¡ ker <¡>.
6. HOMOMORFISMOS EISOMORHSMOS
80
(2) Si N < G es cualquier subgrupo normal de G, entonces N es el núcleo del
homomorfismo canónico p : G
G /N .
□ Note que en ningún momento hemos dicho que homomorfismos distintos tienen núcleos distintos. Por ejemplo, el homomorfismo identidad idz : Z —►Z es diferente del homomorfismo (¡>: Z —►Z dado por (¡>(m) = —m y ambos tienen el mismo núcleo
= { 0}. Supongamos ahora que H y K son dos subgrupos de G con uno de ellos normal, digamos K < G. Entonces H n K es un subgrupo de G ya que e G H y e G K implica que e € HC\K. Si a,b e H D K entonces ab G H y ab G K , por lo que ab e H OK. Si a e H H K , entonces a~x e H y a " 1 G K , por lo que a “ 1 G H fl K. Más aún, H n K es subgrupo de H y de K y de hecho, H C\K entonces hah~l G K. Se sigue que hah~l G H C\K. Por otra parte, el producto
H K = {hk : h e H , k e K } C G es un subgrupo de G ya que, e = ee con e G i f y e G ^ y a s í e G H K . Si hk y h'k' son dos elementos de H K , entonces en el producto = h(kh')k', como K < G, se tiene que K h' = h'K y así kh' = h'k , para algún k G K \ substituyendo ésto en la igualdad (hk)(h'k') = h{kh')k' se obtiene
(hk)(h'k') = h(kh')k' = h{h'k)k' = {hh')(kk') G H K y por lo tanto H K es cerrado bajo el producto de G. Finalmente, si hk G HK, el inverso
(hk) ' 1 = Af 1/ T 1 = h ^ i h k ^ h ’ 1) G H K ya que h~l G H y hk~xh~l G K porque K < G. Más aún, K < H K ya que si k G K, entonces k = ek G H K y por lo tanto K es subgrupo de / / i f . La normalidad se sigue del hecho de que K es normal en G. Las observaciones anteriores nos dicen que podemos considerar los grupos cociente
H /(H dK)
y
HK/K
y el resultado siguiente nos dice que estos dos grupos son isomorfos: T eorem a 6.7 (Segundo teorema de isomorfismo de Noether). Sean H, K subgrupos de G con K
6. HOMOMORFISMOS EISOMORFISMOS
81
Demostración. Sea p :G G /K el homomorfismo canónico y sea pH su restricción al subgrupo H C G. Es decir, pn es la composición de la inclusión i : H «—►G con p : G -> G / K . Entonces, pH : H «-* G / K es un homomorfismo cuyo núcleo es ker ph = H fl K, en particular ésto nos da otra demostración de que H fl K < H . Por otra parte, como por definición pj/(/i) = h K , con h E H, la imagen de pn es el conjunto de clases laterales de K con representantes h E H y estos representantes se pueden escoger como hk E H K (con h 6 H, k € K ), i.e., la imagen de pn es el subgrupo H K / K de G/K. Por el primer teorema de isomorfismo de Noether se sigue que
H/ (H n K) = H / ker pH ^ l m p H = H K / K .
□ Supongamos ahora que los dos subgrupos H y K son normales en G y que además H C K C G. Entonces, H < K ya que H
<¡>: G /H - G /K i dada por (¡>(gH) = gK , está bien definida, es un homomorfismo y es suprayectiva (lo I cual se deja como un ejercicio para el lector) y el núcleo de < ¡>es ker >={gHeG/H : g E K } = K/ H. I Así, K / H < G/ H y por lo tanto se puede considerar el cociente (G/H)/(K/H). I Ahora, como < t>es suprayectiva, por el primer teorema de isomorfismo de Noether, se I tiene que (G/H)/(K/H) = (G/H ) /k e r <¡>- Im <¡>= G / K I y hemos probado así: i TEOREMA 6.8 (Tercer teorema de isomorfismo de Noether). Sean H, K dos subgrupos I normales de G tales que H C K. Entonces, K /H es un subgrupo normal de G /H y ! se tiene un isomorfismo | (G/ H)/(K/H) ~ G/K.
□ 1 El teorema de Cayley. Si X es cualquier conjunto no vacío, una permutación de X es una función biyectiva < ¡>: X —►X . Denotemos con S x al conjunto de todas las | funciones biyectivas de X en X . I ¡ TEOREMA 6.9. El conjunto S x de todas las permutaciones de un conjunto no vacíoI I X , con la composición de funciones como operación, es un grupo.
I
82
6. HOMOMORFISMOS EISOMORFISMOS
Demostración. Como la composición de funciones biyectivas es biyectiva, Sx es ce rrado bajo la composición. La función identidad id x : X —►X es biyectiva y funciona como neutra para la composicón de funciones. La composición de funciones es aso ciativa en general. Finalmente, si 0 : X —> X es biyectiva, entonces tiene inversa 0"*1 : X —►X que satisface que 0 o 0 _1 = id x = 0 ” 1 ° 0. □ El grupo S x generaliza la construcción del grupo simétrico 5 n, que es el caso particular para X = I n. Si en lugar de In consideramos cualquier otro conjunto X con n elementos, digamos X = {<21, 02, . . . , a n}, podemos considerar el grupo de permutaciones S x de X , S x = { / : X —►X : /esbiyectiva}. Observe ahora que la biyección 0 : In —> X que enumera los elementos de X, i.e.,
* : S n ->Sx dada como sigue: como 0 es biyectiva, tiene una inversa 0 “ 1 : X —>In y si o : In —►In es cualquier elemento de Sn, consideremos el diagrama siguiente:
X
ln
In
< t>
i X
donde la flecha punteada $(( 7) : X —►X se defíne mediante la composición
$((T)
:X
I „ - i . I„
X
la cual también es biyectiva, porque cada una de las funciones involucradas lo es. Así, $ (o ) £ Sx- La función $ : S„ —>S x es inyectiva porque si $( S x es un isomorfísmos sólo resta probar que es un homomorfismo. Para esto, si <7, r £ Sn, entonces $ ( ot)
=
0 o (a o r ) o 0 “ 1
=
0
o (<7 o
(0 ” 1 o 0 )
or )
=
( 0 o < 7 o ( 0 “ 1 ) o ( i^
=
$(( 7) o $ ( r ) ,
o 0 ” 1 in s e rta n d o id =
o t o
como se requería. Hemos así probado:
^ “ 1)
a s o c ia n d o
0 ” 1 o 0 e n tre
<7 y
r
6. HOMOMORFISMOS EISOMORFISMOS
83
PROPOSICIÓN 6.10. Si X es cualquier conjunto finito con n > 1 elementos, entonces se tiene un isomorfismo $ : Sn —►Sx-
□ Supongamos ahora que se tiene un grupo G, no necesariamente finito. Consideran do el conjunto subyacente X = G (olvidando su operación binaria), consideremos el grupo de permutaciones S x = «Sg - Mostraremos que G es isomorfo a un subgrupo de S<3 , es decir, los elementos del grupo (abstracto) G son (algunas de las) permutacio nes (concretas) en S g - La teoría de grupos tuvo sus inicios estudiando grupos de per mutaciones concretos y luego se hizo abstracta, olvidando en apariencia sus orígenes modestos. Sin embargo el resultado que hemos mencionado arriba, debido a Cayley, regresa los grupos abstractos a sus orígenes como grupos de permutaciones. Además de su importancia filosófica, en el caso de grupos finitos abstractos, tiene aplicaciones específicas al representar estos grupos finitos como grupos de permutaciones finitos también. Antes de proseguir con la demostración de este teorema de Cayley, observe mos que aún en el caso de un grupo finito G, al considerar el grupo de permutaciones S'g , como el orden de S g es el factorial de |G | = n, i.e., |S g | = n!, en general el grupo de permutaciones S q es muy grande comparado con el grupo G original. Por eso el teorema de Cayley sólo dice que G es isomorfo a un subgrupo de S q - Para probar el teorema de Cayley, lo primero que debemos hacer es identificar un subgrupo S de S g que sea un candidato para ser isomorfo a G. Esto es fácil, para cada g G G definamos la función og : G —* G mediante multiplicación a la izquierda por g, i.e., og(x) := gxy para x cualquier elemento de G. Observemos primero que og : G —í G es inyectiva, ya que si og(x) =
S := {og : g G G} C S g A continuación, mostraremos que S es un subgrupo de S g - Pura comenzar, observe que para g — e el neutro de G , el elemento ot G 5 correspondiente es el neutro de S g ya que, para toda x G G, oe(x) = ex = x> i.e., <7C = id G S g es la función identidad, que es el neutro de S g - Así, id = oe G S. Mostraremos ahora que S es cerrado bajo la composición de S g - En efecto, si
(aaab){x) = a a (
=
&ab
€
S,
84
6. HOMOMORFISMOS E ISOMORFISMOS
Finalmente, S es cerrado bajo inversos, ya que si aa G 5 , entonces
aa-icra(x) = aa- ia (x) = ae(x) - x por lo que (a) = $(&), entonces oa = x = e, se tiene que cra (e) =
en particular, para
a = ae = cra (e) = <7¿,(e) = be = b. Finalmente, $ es suprayectiva, ya que si aa G 5 entonces obviamente proviene de a G G. Hemos así probado: TEOREMA 6.11 (C ayley). Todo grupo es isom orfo a un subgrupo de un grupo de per m utaciones.
□
Ejemplo 15. Para el grupo G = Z /3 Z = { 0 ,1 ,2 } , cuya tabla de adición es la de los enteros módulo 3: + 0 1 2
0 1 2 0 1 2 1 2 0 2 0 1
calculemos su representación como grupo de permutaciones usando el teorema de Cayley. Para comenzar, hay tres elementos denotados por cro,cri,<72 y definidos, pa ra x G Z /3 Z , mediante
<7i(x) = x + 1,
íT2( x )
=
x
+ 2,
por lo que:
a°
/O 1 2 \ \ 0 1 2 J ’
/O ffI - V 1
con tabla de multiplicar dada por:
1 2 \ 2 0 J ’
/ 0 1 2 \ ^ — \ 2 •0 1
6. HOMOMORFISMOS E ISOMORFISMOS 0
<70
<71
<72
<70
<71
<72
o\
<71
<72
<70
02
<72
<70
<71
85
como el lector puede comprobar fácilmente. Observe ahora que el isomorfismo dado por el teorema de Cayley es visible y luce como lo que es: un cambio de nombres, 0 «-♦ a0t i 2 «-+ <72*,y con las dos operaciones relacionadas mediante: a + 6 oa° 0b> por ejemplo 2 + 2 = 1 «-►02 0 <72 = <7iNotas. El teorema de Cayley está en [29]. EJERCICIO 1. Muestre que la función / : (Z, + ) —►(Q , + ) dada por f (n) := n /5 es un homomorfismo. Calcule su núcleo y su imagen. EJERCICIO 2. Sea 2Z el grupo aditivo de enteros pares. Defina g : Z —►2Z mediante
g(m) := 2m. Muestre que g es un isomorfismo. EJERCICIO 3. ¿Cuáles de las funciones siguientes son homomorfismos?
(i) (ii) (iii) (iv)
/ : Q -+ R>o dada por /( x ) := 2X. g : R>o -+ R>o dada por f (x) := 3“ x. h : Q - + Q dada por f(x) := 2x + 3. " / : R* —>R* dada por f (x) := |x|.
EJERCICIO 4. Encuentre algún criterio en los enteros m , n para que la función
/ : Z /m Z
Z /n Z
dada por
/[x] := [x]
(donde las dos apariciones del símbolo [x] en la definición de / tienen el significado correspondiente al grupo en cuestión) sea un homomorfismo. En el caso cuando / sea un homomorfismo calcule su núcleo. E je r c ic io 5. Muestre que los grupos aditivos m Z y nZ son isomorfos, para cuales quiera m, n € Z distintos de cero. E je r c ic io 6 . Sea G cualquier grupo y denotemos con Aut(G) al conjunto de isomorfismos f :G -+G. (Un isomorfismo de un grupo G en sí mismo se llama un automorfismo). Demuestre que Aut(G) es un grupo bajo la composición de homomorfismos.
E je r c ic io 7. Sea G cualquier grupo y para un elemento r € G fijo, definamos la función Cr : G —►G mediante Cr(a) := r a r “ 1 (la conjugación de o por r). Demuestre
86
6. HOMOMORFISMOS EISOMORHSMOS
que cv es un automorfismo. Los automorfismos Cr, dados por conjugación por r , se llaman automorfismos internos de G. E j e r c ic io 8 . Sea G cualquier grupo y definamos la función c : G —►Aut(G) como sigue: si r G G sea Cr : G —►G el automorfismo intemo dado por conjugación por t . Demuestre que c es un homomorfismo de grupos. E j e r c ic io 9. Construya un homomorfismo inyectivo ip : Sn —►An+ 2. Concluya que la paridad de una permutación no se preserva por los homomorfismos. E j e r c ic io 10. Demuestre que D2n/Rn — {1, —1}, donde en la derecha se tiene el
grupo multiplicativo Z x . (Vea el ejercicio 9 del capítulo anterior). EJERCICIO 11. Demuestre que G L (n ,R )/S L (n ,R ) ~ R*. Sugerencia: use la función determinante y el primer teorema de isomorfismo de Noether. EJERCICIO 12. Sea A = ( C i , . . . , Cn) una matriz n x n>con entradas en C, donde las Cj denotan las columnas de la matriz. Para o G S n , sea A a = . . . ,C a(n)) la matriz que se obtiene permutando las columnas de A de acuerdo a o. (i) Si In es la matriz identidad, demuestre que d e t(/£ ) = sgn(cr).
(ii) Demuestre que det(i4a ) = sgn(a) det(Á ). (iii) Demuestre que Pn = { /£ : o e Sn } es un subgrupo de G L(n, C). (iv) Demuestre que la función <¡>: Sn —> Pn dada por o 1% es un isomorfismo de grupos.
Capítulo
P r o d u c t o s d i r e c t o s y g r u p o s a b e l i a n o s f in ito s q
\G
y
K SON DOS GRUPOS, el producto cartesiano GxK:={{a,b) - a € G , b e K }
^
es un grupo con la operación definida componente a componente, i.e., si (a, 6), (a', b') están en G x K> se define := (aa\bb')
( a ,6) •
donde en la primera componente se tiene el producto de G en la segunda componente al producto de K . El neutro de G x K es el elemento (ec, e # ), al que por abuso de notación denotaremos por (e, e), y el inverso de (a, b) es (a - 1 , 6“ 1). El grupo G x K se conoce como el producto directo (externo) de los grupos G y K .
Ejemplo 1. Si C(m) y C(n) son grupos cíclicos finitos de órdenes m y n respectiva mente y si m cd(m , n) = 1, entonces
C(m) x C(n) ~ C(mn) (el producto directo es isomorfo al grupo cíclico de orden ran). En efecto, si C (m ) = (tfm). C(n) = (a n) y C(mn) = (amn), la función
■C(mn) -*
C (m ) xC (n )
dada por
4>{^mn) ■=
ffn) = fam , <
es un homomorfismo. Es inyectivo porque si 0 ( a ^ n ) = (e,e) entonces cr^ = e = o* por lo que el orden m de om divide a fc y el orden n de on divide a A; y como m cd (m ,n ) = 1 entonces mn\k y así = e. Es suprayectivo porque C (m n ) tiene m n elementos que es el orden de C(m) x C(ri). □ Observación. Si G = H x K yentonces G contiene a (una copia de) H y a (una copia de) K como subgrupos normales. En efecto, para i f , se tiene la función
>h : H - > H x {eK} ^ H x K dada por a w (a, e # ) que claramente es un homomorfismo inyectivo. Se sigue que H Im (<¡>h ) Q H x K. Este subgrupo de H x K es normal porque si (h9k) e H x K 87
7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
y si (a ,e ) G Im (<£//) entonces (/i, &)(a, e)(/i, fc)“ 1 = (hah*1, kek~l ) = (hah^yé) € Im(k ) < H x K . Finalmente observe que Im(>//) fi Im (k ) = {(e,e)}. PROPOSICIÓN 7.1. Sean G un grupo y H, K subgrupos normales de G tales que
G = H K y H H K = {e}. Entonces, G c z H x K . Demostración. Como G = H K entonces todo elemento g £ G se puede escribir de la forma g — hk con h G H y k G K . Esta descomposición de g es única porque si g = h\ki con h\ G H y k\ G K , entonces hk = h \k\ por lo que h ^ h i = fcfcf1 y así h~l h\ = fcfcf1 G / / H = {e} y consecuentemente h = h\ y k = k\. Podemos entonces definir una función : G —>H x K mediante <¡>(g) := (h, k) si g = hk con h € H y k £ K. La función <£ es un homomorfismo ya que si g = hk y ' = /i'fc', entonces = hkh'k' donde observamos que kh' = h'k ya que para cualesquiera a e H y b e K s e tiene que el conmutador a6 a- 1 6-1 es tal que a6a~1 G X porque X < G y como b~l € K entonces aba~l b~l G K \ similarmente como a e H y G H porque a -1 G i f y H <1 G, entonces aba~l b~l G H. Se sigue que aba“ ^ “ 1 G fl /C = 1 por lo que ab = ba. Así, como gg' = hkh'k' = /i/i'fcA;' con hh' € H y kk' € K entonces {gg') = (hhf, kk') = (h, k)(h\ k') = Claramente < j>es suprayectiva ya que el par (h, k) G H x K proviene del elemento hk G G. Finalmente, (j>es inyectiva porque si g = hk es tal que <¡>(g) = (/i, fc) = (e, e)f entonces h = e = fc y así g = e. □ Con las hipótesis de la proposición anterior, diremos que G es el producto directo
interno de H y K. Hemos así definido dos tipos de productos de grupos. El producto directo externo de dos grupos arbitrarios nos sirve para construir nuevos grupos y, como veremos en los capítulos siguientes, el producto directo interno nos sirve para describir la estruc tura interna de un grupo dado. Ambos conceptos se pueden generalizar para definir productos de un número finito de grupos o subgrupos. El más sencillo de generalizares el producto directo externo: sean G i , . . . , Gs grupos arbitrarios; el producto cartesiano G i x • • • x Ga := { ( p i , . . . }gs) : <7¿ £ G¿} tiene estructura de grupo con la operación definida componente a componente, con neutro el elemento ( e i , . . . , es), para el neutro de G*. A este grupo se le llama el producto directo externo de los grupos G i , . . Gs. Generalizando lo que sucede en el caso con dos factores (observación después del ejemplo 1), se tienen homomorfismos inyectivos —►G\ x • • • x G¡
7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
89
definidos por <¡>i{g) := ( e , . . . , p , . . . , e) (poniendo el elemento g £ Gi en el lugar i y los neutros correspondientes en las otras coordenadas). Si denotamos por Gi a la imagen de >¿, entonces fc : Gi —►Gi es un isomorfismo en un subgrupo del producto directo G\ x • • • x Gs . PROPOSICIÓN 7.2. Sean G \ , . . . ,
grupos orbitarios. Pongamos G := G i x • • •x G a.
Entonces,
(1>Cacfa Q i ^
G-
\l) G = G\ - • - &s, i.e., todo elemento g £ G se puede escribir como g = g\ • • • gs con gi € Gi. (3) G j fl Yli^j G i = {e}, para cada j = 1 , . . . , s. Es decir, la intersección de G j con
el producto de los otros subgrupos Gi (i ^ j) es trivial. NOTA. Denotamos por F lt^j Gi al producto G\ • • • Gs omitiendo al factor Gj. Demostración. (1): Si o = ( e , . . . ,
. . . , e) G Gj y h = (h \ , . . . , hs) £ G, entonces
hoh~l = ( h u . . . , hs){e, . . . , g , . . . ,
\ . . . , h j 1)
= (h\ehj ,..., hjghj ,..., hnehn ) = (e,•••
,
€
yaque hj,g £ Gj. Las partes (2) y (3) son el ejercicio 7.
□
Las propiedades de los subgrupos en la proposición anterior nos permiten hacer la definición siguiente: sean H i , . . . , H s subgrupos de G; diremos que G es el pro ducto directo interno de los subgrupos H \ , . . Hs, si éstos satisfacen las condiciones siguientes: (\)H j
(2) G = H\ • • • Hs, i.e., todo elemento g de G se puede escribir (factorizar) como g = h i ' ” ha, con los hi £ Hi. (3) Hj n Tlitj Hi = {e}, para
j - 1, . . . ,
Así, la proposición anterior nos dice entonces que el producto directo externo G = Gi x • • • x Gs es el producto directo interno G = G\ • • • Gs. El recíproco de esta proposición y que generaliza a 7.1 es: PROPOSICIÓN 7.3. Si G es el producto directo interno de los subgrupos H \ , . . Ha,
entonces G ~ H\ x • • • x H s .
90
7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
Demostración. La función <¡>: H\ x • • • x Hs —♦ G dada por
. . . , hs) := h\ • • •ht es suprayectíva por la parte (2) de la definición de producto directo interno. Que es un homomorfismo se prueba como en 7.1 usando las condiciones (1) y (3) de la definición de producto directo interno. Finalmente, es inyectiva porque si (h \ , . . . , hs) e ker< j>, entonces h\ • • • hs = e y así
y como hj € Hj> entonces hj € Hj n [ J i/j #* = {e} P°r la condición (3), es decir,* hj = e para toda j y por lo tanto ker <¡>= {e}, como se quería. □ La proposición siguiente da una condición, muy útil, para que un producto de sub grupos normales sea un producto directo: PROPOSICIÓN 7.4. Sea G un grupo finito y supongamos que G es el producto de los subgrupos normales H\, ...» Hs y que los órdenes de estos subgrupos son coprimos por pares. Entonces, G H\ x • • • x Hs.
Demostración. Sólo falta verificar la condición (3) en la definición de producto directo interno, i.e., que í f := í f í n n f t = {e}. Para ésto, observemos que, por Lagrange, \H | es un divisor de cada \Hj\ y también de i := | Hi\. Por otra parte, | Yíi^j Hi\ divide a f l i / j |^ i|(v ea el ejercicio 9) y así, por transitividad, \H\ divide a J J a j| Se sigue que |/ í | divide al máximo común divisor de \Hj\ y de n ¿ # |. P61^ éstos son coprimos por la hipótesis, y por lo tanto H = {e}. □ Grupos abelianos finitos. Aplicaremos los resultados anteriores, sobre productos di rectos, al caso de grupos abelianos finitos. TEOREMA 7.5. Todo grupo abeliano finito G se puede descomponer en un producto directo de grupos cíclicos
G
C (m i) x • • • x C (m a),
donde cada C(rrij) es un grupo cíclico de orden rrij, y
para toda j =
Demostración. Por inducción sobre n = |G|. Si n = 1 no hay nada que probar. Su pongamos el resultado válido para todos los grupos abelianos de orden menor que n : = |G |.
7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
91
Sea s > 1 el entero tal que G está generado por s elementos pero no está generado por algún conjunto con 5 — 1 elementos, y sea m > 1 el menor entero positivo tal que existe un conjunto { p i , . . . , 0S} de generadores de G y una relación:
™>9i + 0,292 4*----- h a8gs = 0 con los aj € Z. Nótese que m > 1 , ya que de lo contrario G estaría generado por los 5 - 1 elementos 92, . . . , gs. Poniendo a* = mqi 4- r» con 0 < r, < m para 2 < i < 5 , si tomamos = 01 + 9292 H-----H qa9s,
entonces G está generado por {/ii, g2, . . . , gs} y además
m h\ -f- r 2P2 + ----- 1- rsg9 = mg\ 4- a2g2 4 - ----- b a9ga = 0. La minimalidad de m , la igualdad anterior y 0 < r* < m implican que r2 = • • • =
r3 = 0 y así m /ii = 0. Mostraremos ahora que G~{hi) x En efecto, definamos la función x¡>: (h\) x (02, • • •, 9a) —►<2 mediante 0 ( a , 6) := a 4-6. Claramente ^ es un homomorfismo de grupos y es suprayectivo ya que h\, 02, . . . , ga generan G. Es inyectivo ya que si i!)(a,b) = a 4- 6 s= 0, poniendo a = a i / i i , 6 = <*202 + * " + <*s0s con 0 < a i < m , se tiene que a i /ii 4- Q.292 H------- 1- <*s0s = a 4- b = 0, y por la minimalidad de m y el hecho de que 0 < Qi < m , se sigue que a i = 0 y así a — o \h \ = 0, y consecuentemente 6 = 0 también. Ahora, como el grupo (02, , 0 $ ) está generado por s — 1 elementos pero no por s —2 elementos, por hipótesis de inducción se puede descomponer como (ff2, • • ■, 0») - (^m ,) X ' ' ' * (ffm,), con los (<7mj) cíclicos de orden m¿ y ra j|ra j+ i. Se sigue que
G ^ {hi) x (52, . . .
,gs)=¡ (h i) x (cm2) x • • • x
con (/ii) cíclico de orden m. Denotemos con o\ := h\ al generador de {h\). Por la minimalidad de m se tiene que m < m 2• Escribamos 7712 = e 2m 4- ¿2 con 0 < t 2 < rn y sea :=
m
77U71 + (7712 —¿2)^2 + Í2&2
=
m(7\ + 7712(72 = 0,
ya que ttkji = 0 y 1712 es el orden de ¿72, entonces ¿2^2 = 0 y como 0 < t 2 < m entonces = 0 y así 7712 = e2m 4- 0, i.e., m |m 2. □
7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
92
Ejemplo 2. Denotando a un grupo cíclico de orden m por C (m ), considere el grupo: G = C (2 2) x C (2 3) x C (2 4) x C ( 3) x C (3 5) x C (3 7), y note que esta descomposición no satisface la conclusión del teorema, sin embargo reagrupando los factores cíclicos:
G ~ s¡
(C (22) x C (3 )) x (C (2 3) x C (3 5)) x (C (2 4) x C (3 7)) C (2 2 • 3) x C (2 3 • 35) x C (2 4 • 37),
sí se satisface el teorema. Una consecuencia inmediata de este teorema es que el recíproco del teorema de Lagrange sí es válido para grupos abelianos finitos: COROLARIO 7.6. Si G es un grupo abeliano finito y k es un divisor de \G\, entonces
G contiene un subgrupo de orden k. Demostración. Por el teorema anterior G — C{m{) x • • • x G (m s) y por el ejercicio 11 \G\ = m i • • • m s. Así, si k es un divisor de |G |, existen divisores de (1 < i < s) tales que k = n i • • • ns y por lo tanto C (n\) x • • • x C (n3) es isomorfo a un subgrupo de orden k de G. □ Si G es un grupo finito, el exponente de G, denotado e(G ), es el mínimo común múltiplo de los órdenes de los elementos de G. Es claro entonces que, para toda x € G, x c(G) = 1 € G, y así e(G ) divide al orden de G. COROLARIO 7.7. Todo grupo abeliano finito G contiene un elemento de orden e(G).
Demostración. Usando el teorema 7.5 escribamos G ~ C (ra i) x • • • x G (m s), con m ¿|ra¿+ i. Es claro entonces que para todo o 6 G se tiene que
cíclyco. Demostración. Por el corolario anterior el grupo G tiene un elemento de orden e(G) = |G |, y por lo tanto genera a G.
I I
□
La factorización del teorema anterior la podemos mejorar eligiendo en forma ca/ nónica los factores directos. Esto es el contenido del teorema siguiente, pero antes necesitaremos un resultado prelim inar
7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
93
LEMA 7.9. Sean G un grupo abeliano finito y p un primo. Pongamos
Gp := {g e G : g tiene orden una potencia de p}. Entonces, Gp es un subgrupo de G cuyo orden es la mayor potencia de p que divide a
\G \. Demostración. Claramente e 6 Gp y como G es abeliano, si x, y € Gp entonces el producto xy también tiene orden una potencia de p y así xy € Gp. Se sigue que Gp es un subgrupo de G. Ahora, si pT es la mayor potencia de p que divide a |G |, por el corolario 7.6 G contiene un subgrupo P de orden pT. En particular los elementos de P tienen orden una potencia de p y por lo tanto P C Gp. Si sucediera que P ^ Gp, entonces para el índice £ := [Gp : P\ j=- 1, como \GP\ = \P\£ = pT£, se tendría que p \ £t y de nuevo, 7.6 nos da un subgrupo H de Gp de orden £y y por Lagrange los elementos de H tiene orden que divide a £ y además su orden es una potencia de p, lo cual es una contradicción porque p \ £. □ ! TEOREMA 7.10. Sea G un grupo abeliano finito de orden n. Si p\, ...» ps son todos | los primos distintos que dividen a n, entonces
G
GPl x • • • x GPa.
Demostración. Como los \GPi | son coprimos por pares, por 7.4 el producto GPl • • • GP. es directo. Se sigue que \GPl • • • G Ps\ = \g p i I *P \Gpa\ y por el lema previo cada |GPi | = p j{ (la mayor potencia de p* que divide a |G | = n) y así \GPl ;
■■Gp,\ = |GP1| • • • |GPJ = p f 1 • • pf* = n = |G
y por lo tanto GPl • • • GPa = G.
□
Los subgrupos Gp, que aparecen en la descomposición de G del teorema anterior, se llaman las componentes p-primarias de G, pero a diferencia de la factorización del teorema 7.5, estas componentes p-primarias en general no son cíclicas. A los grupos finitos cuyo orden es la potencia de un primo (como los grupos Gp anteriores) se les llama p-grupos o p-primarios si son abelianos. Usando el teorema 7.5 podemos descomponer cada componente p-prim aria en el teorema 7.10 en producto de subgrupos cíclicos, necesariamente p-grupos, y a conti nuación mostraremos que esta factorización es única, salvo por el orden de los factores. Esto lo haremos probando que el número de factores de un orden p* está unívocamente determinado por el p-grupo abeliano dado. Podemos entonces suponer que G es un p-grupo abeliano finito. Pongamos entonces, para i = 0 , 1 , 2 , . . . G[p*] := {x € G : *■* = 1}. Entonces, como G es abeliano, G[p*] es un subgrupo de G y se tiene que G[pi_1] C G[p’], para i > 1.
94
7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
PROPOSICIÓN 7.11. Sea G un p-grupo abeliano finito y, usando 7.5, escribamos
G c* C i x • • • x Cn
(*)
(el producto directo de n grupos cíclicos C j # 1). Si [G\px] : G[p,_1]] = pni, para i > 1, entonces rn —rit+i es el número de factores de orden px en lafactorización (*).
Demostración. Como G = C\ x • • • x Cn, entonces G\px] = C\]px] x • • • x Cn[p*]. En particular, para G\p], como cada subgrupo cíclico no trivial de G\p] tiene orden p y hay n de estos |C*[p]| = p, entonces, ya que G\p°] = 1, se tiene que
p"1 := [G[p]: G[p°] = |G[p]|=pn. Se sigue que n i = n es el número de factores de orden > p en (*). Ahora, como G[p2]/G[p] = ( g /G [ p ])[ p ] = (G i x • • • x G „/C i[p] x • • • x Gn [p])[p] ( C i/C ib l x • • • x G „ /C n [p]) [p]
(ejercicio 18)
= ( G i / G i b l j b l x ••• x (C„/C„[p])[p] =
Gl[p2]/Gi[p]
X •• • X
Gn[p2]/Gn[p])
se sigue que n 2 es el número de factores de orden > p2 en (*), y consecuentemente n i —n 2 es el número de factores de orden p. El argumento se sigue por inducción. □ Una consecuencia inmediata del teorema 7.5 y del ejemplo 1 (o del teorema 7.10 y de 7.5) es la primera parte del teorema siguiente y la unicidad es la proposición anterior. T eorem a 7.12 (Teorema fundamental de los grupos abelianos finitos). Todo grupo abeliano finito se puede descomponer en producto directo de grupos cíclicos p-primaríos, en forma única, salvo el orden de los factores. □ Los factores cíclicos que aparecen en la descomposición anterior se llaman los
factores invariantes del grupo abeliano dado. Notas. Grupos abelianos finitos fueron estudiados originalmente en teoría de números, por ejemplo por Kronecker [47] y Weber [55], [56], pero de hecho su estudio se remon ta a los trabajos de Gauss, particularmente sobre la aritmética de formas cuadráticas. En [47] Kronecker, después de definir lo que esencialmente es un grupo abeliano finito, obtiene varias consecuencias de esta definición, en particular. «Si 9 es cualquier elemento del conjunto considerado, entonces 6k = 1 para algún entero positivo k. Si k es el menor tal entero, se dice
7. PRODUCTOS DIRECTOS Y GRUPOS ABELIANOS FINITOS
95
que 0 pertenece1 a k. Si 9 pertenece a k y si 9m = 1, entonces k divide a m .» Y también demuestra que: «Existe un “sistemafundamental” de elementos 0i, 02, 03» ...» ta les que la expresión 0 i 10£20 j3 • • •, (hi = 1 ,2 ,3 ,...,7 1 * ) represen ta, en forma única, cada elemento del conjunto dado. Los enteros n i , 712, 713, . . . a los cuales pertenecen los 0i, 02, 03, . . . , respecti vamente, satisfacen que cada uno es divisible por su sucesor y el producto n i n 2n 3 • • • es la totalidad de los elementos del conjunto dado.» Lo cual es el teorema 7.5. EJERCICIO 1. Si G = H x K y H\ < H yK \ < K , demuestre que H\ x K \ < G y que
G/(Hi x H2) ^ H / H i x K / K i . E j e r c ic io 2. Si G = H x K, demuestre que G / (H x 1) ~ K. E j e r c ic io 3. Si H x K = H x L , demuestre que K ~ L. E je r c ic io 4. Dé un ejemplo de un grupo G y subgrupos H , K de G, tales que G = H x K = H x L (producto directo interno), pero que K ^ L. E j e r c ic io 5. Si G, G ' son grupos, demuestre que G x Gf a G' x G. E j e r c ic io 6 . Si G es un grupo, considere el producto directo de G consigo mismo: G x G y s e a A C G x G l a diagonal, i.e.,
A := { (s ,s ) : s e G } . (i) Demuestre que A es un subgrupo de G x G. (ii) Demuestre que A ~ G . (iii) Demuestre que A <3 G x G si y sólo si G es abeliano. EJERCICIO 7. D em uestre las partes (2) y (3) de la proposición 7.2. E j e r c ic io 8 . Provea los detalles faltantes en la dem ostración de que la función en 7.3 es un homom orfism o. E j e r c ic io 9. Si H y K son subgrupos de un grupo finito G, demuestre que
\HK\ = Una forma anticuada, todavía usada en teoría de números, de decir que 0 tiene orden k.
96
7. PRODUCTOS DIRECTOS Y GRUPOS ABEUANOS FINITOS
Sugerencia: Un argumento de conteo o vea el ejercicio 14 del capítulo 8. E j e r c ic io 10 . Si p es un primo, demuestre que C(p2) ^ C(p) x G(p).
Ejercicio 1 1 . Si G es un grupo abeliano finito y si G = G ( m i) x • • • C(m3) es una descomposición de G como en el teorema 7.5, demuestre que |G | = mi • • • m s. Ejercicio 12. Si G — H x K , describa el centro de G en términos de los centros de H y de K. (Vea el ejercicio 7 del capítulo 2). EJERCICIO 13. Si G es un grupo finito y H, K son subgrupos norm ales de G tales que G = H K y |G | = \H\\K\ydem uestre que G es el producto directo de H y K.
Ejercicio 14. Si G es un grupo con subgrupos H , H \ K , K ' tales que H ~ H1 y K ~ K'> y además H D K = 1 = H ' f l K \ demuestre que los productos directos HK y H 'K ' son isomorfos. E j e r c ic io 15. Dem uestre que todo grupo de exponente 2 es abeliano.
Ejercicio 16. Si G es el producto directo interno de los subgrupos H \t ..., Hs, de muestre que todo g 6 G se descompone en forma única como g = h\ • • • hs>con los hi e Hi. E j e r c ic io 17. Si H \ t . . . , H s son subgrupos norm ales de G , dem uestre que la función rp : G —►G / H i x - - x G / H s dada por \p(g) := ( g H i , . . . , 0 Í f s),esunhom om orfism o suprayectivo con núcleo 8
kerrp = P| H i. i= i E j e r c ic io 18. Si G = H x x • • • x HSt N < G, iV¿ := N n H i y se tiene que JV = JVj x • • • x NSt dem uestre que
G /N ~ H i / N i x • • • x f t / J V , . E j e r c ic io 19. Sea G un p-grupo abeliano finito de orden pn > 1 y suponga que para todo a G G se tiene que crp = 1 . Demuestre que G es el producto directo de n grupos cíclicos de orden p.
Capítulo
A c c io n e s d e g r u p o s y u n t e o r e m a d e F r o b e n i u s U N UN GRUP0 G s u OPERACIÓN BINARIA es una función G x G —* G que asigna C j a cada par (
* : G x Y -+Y I que asigna a cada elemento o € G y y € Y un único elemento a * y £ Y. Como | G es un grupo, es natural pedir que esta acción de G en Y satisfaga las propiedades 1 siguientes: (1) Si e es el neutro de G, entonces para todo x € Y se tiene que e * x = x. (2 ) Si a , r G G y x G y , entonces ( o t ) * x = o * ( r * x). 1 En ocasiones, por abuso de notación, dada una acción *: G x Y —►y , en lugar de 8 la notación a * x usaremos la notación ax. Con ésto, la propiedad 2 de arriba se escribe 1 (ot )x = ít(tx ), donde a la izquierda ot es el producto de G y el segundo producto I (crr)x es la acción de ot sobre x. En la derecha los productos son los de la acción de i G en y . Si y es un conjunto en el cual se tiene una acción de G, diremos que Y es un 1 G-conjunto. 1 Ejemplo 1. Si Y es cualquier conjunto no vacío, sea G x Y —►Y dada por o * x = x. i Claramente ésta es una acción de G en Y y decimos que G actúa trivialmente en Y. I Ejemplo 2 . Si Y es cualquier conjunto no vacío, sea G = Sy el grupo de permutaciones 1 de y . Entonces G actúa sobre Y permutando sus elementos, i.e., G x Y —►Y está dada | por o * x = o(x) (la función o calculada en x).
1 Ejemplo 3. Sea G cualquier grupo y sea H C G un subgrupo de G. Entonces H actúa 1 sobre G mediante el producto de G, i.e., H x G —* G está dada por h * o = ho 1 (traslación a la izquierda). En particular, si H = G se tiene que el grupo G actúa sobre I sí mismo.I I Ejemplo 4. Sea G cualquier grupo y sea H C G un subgrupo de G. Podríamos 1 preguntamos si H actúa sobre G mediante traslaciones derechas, i.e., si la función 97
98
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
H x G —►G dada por h * o = ah es una acción. Observemos que el primer axioma es válido: si h = e, e * o = oe = a. Ahora, si h, k e H y a e <2, queremos que se cumpla la igualdad (/ifc) * a = /i * [k * a ), i.e., queremos la igualdad ahk = ¿rfc/i. Si esta igualdad es cierta, en particular para o =■ e se debe tener que hk = kh para todo ht k € H, es decir, el subgrupo H debe ser abeliano. Claramente ésta es una condición suficiente y por lo tanto la traslación derecha es una üf-acción sobre G si y sólo si H es abeliano. Ejemplo 5. Sea G cualquier grupo y sea H C G un subgrupo de G. La función H x G —>G dada por h * o = cr/i“1 es una acción de H en G (ésta es una traslación a la derecha por el inverso del elemento h). Ejemplo 6. Sea G cualquier grupo y sea H < G un subgrupo normal de G. Entonces, G actúa sobre H mediante conjugación, es decir, mediante la función G x H —>H dada por o * h = oho~l . La propiedad (1) es obvia y para el axioma (2), sean
Ejemplo 7. Sea G cualquier grupo y sea H < G un subgrupo normal de G. Entonces G actúa sobre el grupo cociente G /H mediante traslaciones izquierdas, i.e., mediante la función G x G /H —►G /H dada por < j * (gH ) = (
Sea G el grupo de simetrías de T. Así, G = {e, r, r 2, p, pr, p r2}, donde r es la rotación por un ángulo de 120 grados y p es la reflexión con respecto al eje Y. Entonces, G actúa sobre T moviendo sus vértices. Puntos fijos. Si un grupo G. actúa sobre un conjunto Y , interesa saber cómo mueve G a los elementos de Y y para ésto suele ser útil estudiar los elementos de Y que no se
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
99
mueven, i.e., que permanecen fijos bajo la acción de G. Al pensar en elementos que quedan fijos bajo la acción de G, podemos hacerlo desde dos puntos de vista: (1) Si cr G G está dado, podemos considerar los elementos de Y que permanecen fijos bajo la acción de este cr, y se define
Y ° := {x G Y : cr * x = x} C y . El conjunto Y a se llama el conjunto de puntos fijos de o. (2) Si x € y es un elemento dado, podemos considerar el subconjunto de elementos del grupo G que dejan fijo a x, y se define
Gx := {o G G : o * x = x} C G. El conjunto Gx se llama el subgrupo de isotropía o estabilizador de x, y en efecto es un subgrupo: LEMA 8.1.
Gx es un subgrupo de G
Demostración. Claramente e G Gx ya que e * x = x. Si o, r € Gz , entonces (o r ) *x = cr * (r * x) = o * x = x y por lo tanto crr G Gx. Finalmente, si o 6 Gx, entonces <7-1 * x = cr-1 * (cr* x) = (cr- 1 cr) * x = e * x = x y a s í cr- 1 G Gx. □ Órbitas. Si Y es un G-conjunto, se define la relación siguiente en y : x ~ y si existe o G G tal que o * x = y. Cuando x ~ y, diremos que x es G-equivalente a y. Ésta es una relación de equivalencia en Y ya que: (i) Es reflexiva ya que x ~ x porque e * x = x. (ii) Es simétrica ya quo si x ~ y entonces existe o G G tal que ox = y y así cr-1 ?/ = (7- 1 (
Ejemplo 9. Si cr G Sn es una permutación dada y si G = (cr) es el subgrupo cíclico ] f
i i
generado por cr, el grupo G actúa sobre el conjunto I n y las órbitas de esta acción son las órbitas de la permutación cr estudiadas previamente. Así, hemos generalizado la definición anterior de órbitas al caso cuando G no necesariamente es cíclico.
Ejemplo 10. Si G actúa trívialmente sobre Y , entonces orbcf(x) = {x}, para cada x
g
y.
100
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
Ejemplo 11. S\ H C G es un subgrupo y H actúa mediante traslaciones izquierdas sobre G> i.e., H x G —>H está dada por h * o = hoy entonces para cada g € G su órbita es: o rb cíp ) = { a e G : g ~ a} = {a € G : a = hg para algún h G H} = Hg
(la clase lateral derecha de g).
Ejemplo 12. Si G es un grupo y si G actúa sobre sí mismo por conjugación, i.e., * : G x G —* G está dada por o * g = ogo~l y entonces para cada g € G su grupo de isotropía Gg es: Gg = {o e G : o * g = g}
= {o e G : ogo~x = p} - {c r e G : og = £ es decir, la órbita orb(
TEOREMA 8.2. Si Y es un G-conjunto, entonces para todo x € Y se tiene que |orbG (x)| = [G i Gx\.
Demostración. Definamos $ : o rb c íx ) —♦ G/Gx mediante $(y) — °GX si ox - V Observe que si r e G es tal que r x = y también, entonces ox = tx y como ox = r x <=>r ~ l ox = x <=>t ~1o G Gx <=> oGx = t Gx, • \ _$(1/0* entonces $ está bien definida. La función $ es inyectiva ya que si ^ kV) ~~ o}o' G G tales que ox = y y o'x = y' de tal forma que $ (y ) = crG* y y v2/ ) Entonces
y — ox — o'hx = o'x
ya que hx
x porque h e G x
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
101
La función $ es suprayectiva, ya que si aGx E G/ Gx, entonces el elemento y — ax E orbc(ír) es tal que $ (y ) = aGx. Hemos mostrado que $ es biyectiva y por lo tanto
|orM*)MG/G,| = [G:G,]. TEOREMA 8.3. Sea Y un G-conjunto. Si x ,y E Y pertenecen a la misma órbita, entonces Gx y Gy son subgrupos conjugados, en particular son isomorfos. Demostración. Como x ~ y , entonces existe a E G tal que y = ax. Entonces, h e G y & hy = y h(ax) — ax (ia~l ha)x — X
& a l ha E Gx II
b
b
-c: H
€ Gx
h = ah'a 1 E aG: y por lo tanto Gy = oGxo~l , como se quería. Finalmente, los grupos conjugados son isomorfos. □
COROLARIO 8.4. Sea Y un G-conjunto. Si para algún x € Y se tiene que Gx < G, entonces para todos los y E o rb c (^ ) se tiene que Gy = Gx. Demostración. Por el teorema anterior Gy ¡g aGxa~l = Gx, donde la última igualdad es porque Gx < G por hipótesis. □
TEOREMA 8.5 (Frobenius1). Sean G un grupo finito y Y un G-conjunto finito. Si r es el número de órbitas de Y bajo la acción de G, entonces r=
1 £
W \ oeG
m -
Demostración. Mostraremos que r |G | = S a e G 1^*1* y
est0 consideremos la tabla
dada por el conjunto de pares ordenados
T = {(
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
102
<7 G G, la columna correspondiente es Y aypor la definición de Y ayy por lo tanto tiene \Y"\ pares. Como las columnas son disjuntas, se sigue que a)
n= £
in -
N = y£ \ G x\. x€Y Ahora, por el teorema órbita-estabilizador,
|o rb G(x)| = [G : Gx] =
(3)
|G| |G x |
por lo que |Gx| = |G |/| orbG(x)|. Se sigue que (4)
|G|
N * S ,Gl1 S l ° rM*)l
= | G iey l E |orbG(x)|
Observamos ahora que 1/| orbG(x')| es constante para toda x' 6 orb c(x ), de tal forma que si t := | o rb c(x )|, entonces t veces
V
i
T
|
T =
x'6ortc(x)l°rb«(X)l “ * y así, como r es el número de órbitas de Y , se tiene que
1
V = r • 1 = r, ¿gy I orbG(x; y substituyendo este valor en (4), queda
n
- |C|£ r 4
)¡
= |G |r
que substituido en ( 1 ) nos da r |G | = £ m , a€G como se quería.
Notas. En las primeras dos secciones de la memoria [48], Lagrange réescribe las de mostraciones de Ferrari y Cardano de las fórmulas para resolver por medio de radicales las ecuaciones polinomiales de grados 3 y 4, y en la tercera y cuarta secciones estudia el caso de ecuaciones polinomiales de grado quinto y mayor, considerando permuta ciones de las raíces de estas ecuaciones, y en las partes 97 y 98, pp. 370-373 de la
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
109
memoria mencionada, demuestra que si f ( x i , . .. , x n) es una función racional en n variables (i.e., cociente de dos polinomios en n indeterminadas) y si para cada permu tación a e Sn se defíne la acción G • f { x i , . . . ,X „ ) : =
• • • »2?
denotando con / ( / ) el subgrupo de permutaciones de Sn que dejan fija a / , i.e., / ( / ) : = { ^ € S n : ( 7 - / = /} , y si m es el número de funciones racionales distintas de la forma a • / , variando a en Sn, entonces
\Sn\ \Hf)\ \Hf)\' Éste es el antecedente del teorema de Lagrange que demostramos en el capítulo 5, aunque de hecho es más una versión del teorema órbita-estabilizador de este capítulo, m =
ni
a partir del cual puede obtenerse otra demostración del teorema de Lagrange (véase el ejercicio 7), ya que el subconjunto / ( / ) es el estabilizador o subgrupo de isotropía de la función / y m es el número de elementos de la órbita orb( / ) de la acción de Sn en las funciones racionales en n variables. Para más acerca de esta acción del grupo simétrico en el conjunto de funciones racionales en n variables, véase la primera parte del apéndice A. El teorema de Frobenius en muchas ocasiones es atribuido a Bumside, y ciertamen te se encuentra al final de la sección §118 de su libro [2 ], sin embargo, como observa mos previamente, una versión especial ya se encuentra en Lagrange [48] y también en Cauchy [28] (página 386), pero es Frobenius en la parte final de [34], especialmente las páginas 319 y 320, donde enuncia y demuestra el teorema en la versión que vimos y en una nota al pie de página refiere a Cauchy [28], donde se considera el caso transi tivo. Sin embargo el nombre de Bumside ha quedado unido al teorema, aunque algunas veces también se le conoce como el lema que no es de Bumside.
Ejercicio 1. Sea Y un G-conjunto. Demuestre que la acción de G en Y induce un homomorfismo < ¡>: G —►S y. Sugerencias: la función <¡>está definida como sigue: si g € G, <¡>{g ) G S y es la función <¡>(g ) : Y —* Y dada por >(G)(y) := G*y. Demuestre que <¡>(g ) : Y —►Y es biyectiva (y así <¡>{o) 6 S y como se quiere). Demuestre que < ¡> es un homomorfismo. Ejercicio 2. Recíprocamente, si : G —* Sy es un homomorfismo, demuestre que induce una acción de G sobre Y mediante G x Y —►Y dada por o * x := <¡>(g)(x ). Los dos ejercicios anteriores nos dicen que dar una G-acción en Y es lo mismo que dar un homomorfismo <¡>: G —►S y .
104
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
E je r c ic io 3. Si Y es un G-conjunto con la acción trivial, ver el ejemplo 1, calcule el núcleo del homomorfismo : G —* S y correspondiente. E je r c ic io 4 . Si G actúa en sí mismo por conjugación, vea el ejemplo 6 , calcule el núcleo del homomorfismo (¡>:G —►S q correspondiente. EJERCICIO 5. Si y es un G-conjunto y si < ¡>: G —| S y es el homomorfismo corres pondiente, demuestre que ker < />= p | Gx.
Ejercicio 6 . Sea G cualquier grupo y hagamos actuar a G sobre sí mismo por tras laciones izquierdas, vea el ejemplo 3. Demuestre que el homomorfismo <£ : G Sq correspondiente es inyectivo. EJERCICIO 7. Use el teorema de Frobenius para dar otra demostración del teorema de Lagrange. EJERCICIO 8 . Si G es un grupo y g e G, el centralizador de g en G, es el conjunto
{€
i.e., es el subconjunto de elementos de G que conmutan con el elemento g dado. De muestre que Cg () es un subgrupo de G, sin usar el ejemplo 12 . EJERCICIO 9. Si G es un grupo y g e G, demuestre que el número de conjugados de g en G es [G : Cg (<7)]- Sugerencia: defina la función ip(aga~ l ) = < j C g (9) entre el conjunto de conjugados de g y las clases laterales izquierdas de C g (<7)* Muestre que i¡>
es biyectiva. EJERCICIO 10. Si G es un grupo finito y c es el número de clases de equivalencia de la relación de conjugación en G, demuestre que c=
¿ íE I Ig I geG
c g («7)I-
E jerc ic io 1 1 . Si X es un conjunto no vacío, por el ejemplo 2 el grupo S x actúa naturalmente sobre X . Demuestre que sólo hay una órbita de esta acción.
Ejercicio 12. Si V' es un /^-espacio vectorial, el grupo aditivo del campo K actúa sobre el grupo abeliano aditivo (Vi 4-) mediante el producto de un escalar por un vector K x V -4 V dada por (A, v) »-♦ A *v. ¿Cuáles son las órbitas de esta acción?
105
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
E je r c ic io 13. Si un grupo G actúa sobre un conjunto X , sea >: G morfismo correspondiente (vea el ejercicio 1 ) y sea N = ker<£ < G . (i) D em uestre que si p
:
G
—►
S x el hom o-
G / N es el hom om orfism o canónico, entonces
existe un único hom om orfism o <¡>: G / N —►S x tal que el diagram a siguiente es conmutativo:
------- - ---- * G
S X
I ü f’ í G /N
(ii) Concluya que G / N actúa sobre S x (iii) D em uestre que 0 es inyectivo. EJERCICIO 14. Si G es un grupo finito y H , K son subgrupos de G , dem uestre que
\HK\ =
\jm \ K
Sugerencias: Sea Y = G /K el conjunto de clases laterales izquierdas de K en G y considere a Y como un H -conjunto mediante traslación izquierda. (i) Muestre que la órbita de K e Y es orb h {K) = HK . (ii) Concluya de (i) que \HK\ es igual a \K\ veces el número de clases laterales izquierdas en Y que están en la órbita orb h {K)(iii) Muestre que el estabilizador H k de K e Y es H k = H fl K. (iv) Use el teorema órbita-estabilizador. EJERCICIO 15. Si G es un grupo finito y H, K son subgrupos de G , dem uestre que para todo x € G se tiene que
\HxK\ =
\H\\K\ |HnxKx-'y
Sugerencias: (i) Muestre que la función / : H x K —*■H x K x " 1 dada por f (hx k ) := hxk x~ l es biyectiva. (ii) Observe que x K x es un subgrupo de G del mismo orden que K. (iii) Aplique el ejercicio anterior a los grupos H y x K x ~ l . E je r c ic io 16. Si G es un grupo que actúa en el conjunto y , decim os que la acción es transitiva si sólo hay una órbita de la acción. En otras palabras, para cada par de elementos x ,y € Y existe un a € G tal que a * x = y.
106
8. ACCIONES DE GRUPOS Y UN TEOREMA DE FROBENIUS
El resultado siguiente es un teorema de Jordán: Sea Y un conjunto finito de car dinal \Y\ = n > 2 y supongamos que el grupo finito G actúa transitivamente en y. Demuestre que existe un elemento g G G tal que su acción sobre Y no tiene puntos fi jos, i.e., tal que Y 9 = 0. Sugerencia: En el teorema de Frobenius, el número de órbitas es 1 y muestre que algún \Y9\ = 0.
EJERCICIO 17. Si Gq := {g € G : \Y9\ = 0}, el ejercicio anterior nos dice que \G0\ > 1. Esto se puede mejorar. Bajo las condiciones del ejercicio anterior, demuestre que |Go| > n —1 . Sugerencia: use el teorema órbita-estabilizador para calcular \GX\ y observe que los subgrupos de isotropía tienen al menos al elemento neutro en común y por lo tanto su unión tiene a lo más n\Gx \ — (n — 1 ) elementos y así hay, al menos, n — 1 elementos de G que no pertenecen a ningún Gx, i.e., que no tienen puntos fijos.
EJERCICIO 18. Si un grupo finito G actúa transitivamente sobre un conjunto finito Y, demuestre que E m = ig i .
EJERCICIO 19. Después de una función de ópera, cada uno de los asistentes recoge al azar uno de los paraguas que previamente había depositado en el guardaropa. Demues tre que, en promedio, sólo uno de los asistentes recogerá su propio paraguas. (Aquí, a/ azar quiere decir que todas las permutaciones de los paraguas pueden darse). Sugeren cia: use el ejercicio anterior.
Capítulo
L o s t e o r e m a s d e C a u c h y y S y lo w ES UN G-CONJUNTO, con Y y G ñnitos y si r es el número de órbitas en Y de S I laY acción de Gy sean . . . , x r representantes de cada una de las órbitas. Como éstas forman una partición de Y , se tiene que
1^1 = Z ¡ l ° rb G(I «)lt= l
Note ahora que algunas de las órbitas pueden tener un sólo elemento, y cuando esto sucede este elemento a: no lo mueve ningún elemento de Gy es decir, queda fijo bajo todo a 6 Gy i.e., ax = x para todo a G G. Pongamos entonces
Y g := {x € Y : ax = x, para todo a € G}y es decir, Y G es la unión de las órbitas con un sólo elemento. Sea s — \Y G\ y observe que 0 < s < r. Si x \ y. . . , x s son los elementos de las órbitas con un sólo elemento, y xa+ i , . . . ,x r son representantes de las órbitas con más de un elemento, entonces «
^ 1 = 1^
1+ ¿
¡o rM * * )!-
t= a + l
Ejemplo 1 . Si G es un grupo finito, Y = G y se hace actuar G sobre sí mismo por conjugación (ejemplo 12 del capítulo 8), entonces las órbitas de la acción son las cla ses de conjugación de G. Observe ahora que las órbitas que tienen un sólo elemento orbc(x) = {x} satisfacen que gxg~l = x, i.e., gx = xg para todo g G G y por lo tanto x debe estar en el centro Z(G) de G. Se sigue que Y ° = Z{G). Finalmente, si denotamos con C \ y. . . , Ct las clases de conjugación de G con más de un elemento, la fórmula (*) se vuelve |G | = |Z (G )| + ¿ | C <| »* 1 107
9. LOS TEOREMAS DE CAUCHY Y SYLOW
108
a la que se llama la ecuación de clases de G. Ahora, eximo |G¿| = | orbG(x*)| = [Q: GXi] por el teorema 8.2 , la ecuación de clases se puede escribir como |G | = |Z (G )| + ¿ [ G : G I i ]. t= l
T E O R E M A 9.1. Sea G un grupo de orden pn, para p un entero primo y sea Y un
G-conjunto finito. Entonces \Y\ = \Y a \ (mód Demostración. Por el teorema 8.2 del capítulo anterior, | o rb c (x )| = [G : Gx] y por el teorema de Lagrange [G : Gx] divide a |G | = p n, y por lo tanto p|[G : Gx] y así p divide a | orb<3 (£¿)|, para s + 1 < i < r. Entonces la igualdad \Y\ = |VG| + S i= « + i I o rb c(x i)| de la observación previa implica que p divide a \Y\ - | y G|, como se quería.
□
T E O R E M A 9.2 (Cauchy). Si G es un grupo finito y p es un primo que divide a |G|,
entonces G tiene un elemento de orden p y por lo tanto G tiene un subgrupo de orden PDemostración. Sea Y el conjunto Y = {(<7i , . . . , < 7p) : oj
g
G y a i • • - a p = e},
y observe que Y / 0 ya que ( e , . . . , e) G Y . Mostraremos que p divide a \Y |. En efecto, observando que ( a i , . . . , a p) e Y o a p = (a i • • • a p - i ) “ 1, se sigue que las primeras p — 1 componentes de las p-adas de Y pueden ser cualesquiera elementos de G y la última (o la primera) componente está determinada por las otras p — 1 componentes; por lo tanto |Vj = |G |P_1, y como p divide a |G | por hipótesis, entonces p divide a |Y] como se quería. Consideremos ahora al ciclo 9 = ( 1 , 2 , . . . ,p) G Sp y hagamos actuar 6 sobre Y mediante: 9
• ( a i ,...,a p) := (a ^ i),. . . » a^)) = (a2,a3,. . . ,ap,ai),
donde notamos que 9 • ( a i , . . . , a p) € Y , ya que si ( a i , . . . , a p) € V, por defi nición de Y se tiene que a i ( a 2 • • • a p) = e, y por lo tanto a i = (a 2 • • •