Documente Academic
Documente Profesional
Documente Cultură
Abstracta I
1. Grupos 1
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Subgrupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3. Tabla de operación . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4. Grupos Cı́clicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5. Grupos generados y producto directo . . . . . . . . . . . . . . . . 8
1.6. Grupos de permutaciones . . . . . . . . . . . . . . . . . . . . . . 11
1.7. Coconjuntos y el Teorema de Lagrange . . . . . . . . . . . . . . . 14
2. Homomorfismos 17
2.1. Homomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2. Propiedades de Homomorfismos . . . . . . . . . . . . . . . . . . . 18
2.3. Subgrupos normales . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.4. Isomorfismos y el Teorema de Cayley . . . . . . . . . . . . . . . . 21
2.5. Grupo Factor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.6. Teorema Fundamental del Homomorfismo . . . . . . . . . . . . . 23
2.7. Cálculo de Grupo Factor . . . . . . . . . . . . . . . . . . . . . . . 25
2.8. Grupos simples . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.9. El centro y el conmutador . . . . . . . . . . . . . . . . . . . . . . 28
2.10. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3. Conjugación 33
3.1. Elementos y subgrupos conjugados . . . . . . . . . . . . . . . . . 33
3.2. An para n ≥ 5 es simple . . . . . . . . . . . . . . . . . . . . . . . 34
3.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Grupos
1.1. Grupos
1.1 Definición (Grupo): Una estructura < G, ·, e >, que consta de un
conjunto G, una operación binaria ·, y un elemento distintivo e, es un grupo,
si satisface los siguientes axiomas:
G1: · es asociativa
∀x, y, z ∈ G(x · (y · z) = (x · y) · z)
G2: e es neutro en ·
∀x ∈ G(x · e = x ∧ e · x = x)
∀x ∈ G ∃y ∈ G(x · y = e ∧ y · x = e)
Teorema 1.2 (Unicidad del neutro y de las inversas) Sea < G, ·, e > un
grupo, entonces:
i) Si e0 es tal que para todo x ∈ G, x · e0 = e0 · x = x, entonces e0 = e.
ii) Dado un x ∈ G, si y, y 0 ∈ G son tales que x · y = y · x = e = x · y 0 = y 0 · x,
entonces y 0 = y.
iu) < GLn (R), ·, In >, donde GLn (R) es el conjunto de matrices invertibles
de dimensión n × n.
1.11 En el ejemplo 1.5, los grupo de i), ii), iii) y u) son abelianos, los de iu)
y u) no lo son. Si V = Rn estos dos últimos grupos son bastante parecidos (ya
formalizaremos eso).
1.12 Ejercicios:
1. Pruebe que si G es un grupo finito con identidad e y con un numero par de
elementos, entonces existe un elemento a ∈ G, con a 6= e, tal que a2 = e.
2. Pruebe que todo grupo G con identidad e y tal que a2 = e para todo
a ∈ G, es abeliano.
3. Sea G un grupo finito y sea x un elemento de G cuyo orden es n, donde n
es impar. Pruebe que existe k ∈ N tal que x = (x2 )k .
1.2. Subgrupos
1.13 Definición (Subgrupo): Si < G, ·, e > es un grupo, diremos que
< H, •, e0 > es un subgrupo de G, y lo notaremos H ≤ G, si:
i) H ⊆ G
ii) < H, •, e0 > es grupo
iii) • = · H×H
Teorema 1.17 Sea < G, ·, e > un grupo. Las siguientes afirmaciones son equi-
valentes:
i) H ≤ G
ii) H no es vacı́o, es cerrado mediante la operación de G, y mediante inver-
sión. Esto es:
Demostración:
i) ⇒ ii): Como H ≤ G, e ∈ H luego H no es vacı́o. Las otras dos condiciones
se siguen inmediatamente del hecho que H sea grupo y que la operación en H
es la restricción de la G.
ii) ⇒ iii): Si x, y ∈ H, y −1 ∈ H luego xy −1 ∈ H.
iii) ⇒ i): Tomemos • = · H×H , veamos que • es una operación binaria en
H. Sea x ∈ H, el cual existe pues H no es vacı́o. Entonces e = x · x−1 ∈ H, y
ası́ x−1 = e·x−1 ∈ H. Luego si x, y ∈ H, y −1 ∈ H y x•y = x·y = x·(y −1 )−1 ∈ H,
entonces • es una operación binaria en H, ası́ se cumple G1. Además, e ∈ H y
también se cumple G2 pues • = · H×H . Por esto último vemos también que se
cumple G3 pues dado x ∈ H, x−1 ∈ H. F
+4 0 1 2 3 · e a b c
0 0 1 2 3 e e a b c
Z4 1 1 2 3 0 4-grupo de Klein V a a e c b
2 2 3 0 1 b b c e a
3 3 0 1 2 c c b a e
1.23 Ejemplos.
i) Z =< 1 >, es un grupo cı́clico de orden infinito.
ii) Zn =< 1 >, es un grupo cı́clico de orden n.
Ya veremos que todo grupo cı́clico tiene esta forma.
Demostración: Note que una vez probado ii); i), iii) y iu) son consecuencias
inmediatas, tomando s = (n, r) y recordando el teorema 1.21.
Probemos entonces ii). Ya vimos en el teorema 1.26 que todo subgrupo, de G
es de la forma < ar >. Ahora sea s = (n, r), entonces existe q tal que r = qs.
Ası́ ar = (as )q , luego < ar >≤< as >. Por otro lado existen u, v ∈ Z tales que
un + vr = s luego as = (an )u (ar )v = (ar )v , y ası́ < as >≤< ar >. Es claro que
Grupos Cı́clicos 7
n
enunciado de i) que | < a(n,r) > | = (n,r)
Probemos ahora la unicidad que se afirma en u). Por lo que acabamos de ver
n n
si s | n, (n, n/s) = n/s y ası́ | < a s > | = n/s = s. Ahora, si < ar > es un
subgrupo de G de orden s, entonces por ii) s = n/(n, r), luego (n, r) = n/s y
n
ası́, < ar >=< a s >.
Finalmente veamos ui). Suponga que K =< ak > y H =< ah > con k, h
divisores de n, suponsición valida en vista de u). Ası́ si H ≤ K por iu), poniendo
K como G, |H| | |K|. Ahora, si |H| | |K|. existe q tal que ord(ah )q = ord(ak ),
pero por u), ord(ah ) = n/h y ord(ak ) = n/k, luego kq = h, ası́ (ak )q = ah ,
entonces < ah >≤< ak >. F
1.30 Observaciónes.
i) Dado un grupo G, como todo grupo tiene por subgrupo el trivial, pode-
mos representar sus cadenas de subgrupos por un retı́culo (i.e. lattice, en
inglés).
ii) El resultado 1.29 iu) se pueden generalizar a todos los grupos de orden
finito como se vera en el Teorema de Lagrange. Con el teorema anterior
quedan completamente caracterizados los grupos cı́clicos (ver figura 1.1),
en este momento el lector ya se puede hacer la idea de porque todo grupo
cı́clico es de la forma de Z, o de Zn .
PSfrag replacements
Z8 Z12
{0}
{0}
1.31 Ejercicios:
1. Pruebe que si H y K son subgrupos de un grupo abeliano G, entonces
HK = {hk : n ∈ H y k ∈ K} es un subgrupo de G.
2. Pruebe que un grupo cı́clico con únicamente un generador puede tener a
los sumo dos elementos.
3. Pruebe que si G es un grupo abeliano con identidad e, entonces todos los
elementos x ∈ G tales que x2 = e forman un subgrupo de G. Generalice
al caso donde n ≥ 1 es un entero fijo y H = {x ∈ G : xn = e}.
8 Capı́tulo 1. Grupos
Teorema 1.33 Sea {Hi }i∈J una colección indexada de subgrupos de G, enton-
ces: \
Hi ≤ G
i∈J
T
Demostración:
T Como cada Hi contiene e, i∈J Hi 6= ∅. Ahora sean x, y ∈
−1 −1
i∈J Hi , como y ∈ Hi , y T ∈ Hi , para cada i ∈ J. Ası́ xy
T ∈ Hi , para
−1
todo i ∈ J, esto es xy ∈ i∈J Hi , luego por el teorema 1.17 i∈J Hi ≤ G. F
Corolario
T 1.34 Sea A ⊆ G, con A 6= ∅ y H = {H ≤ G : A ⊆ H}. Entonces
H∈H H ≤ G.
mn −pq
am 1 m2
1 a 2 . . . a n bq . . . b−q 2 −q1
2 b1 ∈ HA . Entonces HA ≤ G. Ahora como A ⊆ HA ,
< A >≤ HA . Por otro lado un elemento arbitrario de HA es de la forma de
x, pero cada ai ∈ A, luego como un subgrupo es cerrado por multiplicación,
x ∈< A >. Ası́ HA ⊆< A > y HA =< A >. F
Teorema 1.39 Sea {Gi }i∈{1,2,...,n} una colección de grupos. G1 ×G2 ×. . .×Gn
bajo la operación ((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) 7→ (x1 y1 , x2 y2 , . . . , xn yn ) es
un grupo.
Demostración: La operación es asociativa, pues la operación de cada G i lo es.
Si ei es el neutro de Gi , (e1 , e2 , . . . , en ) es el neutro para nuestra operación. Fi-
nalmente (x1 , x2 , . . . , xn )(x−1 −1 −1
1 , x2 , . . . , xn ) = (e1 , e2 , . . . , en ), luego cada ele-
mento tiene inversa. Esto completa la demostración. F
1.40 Definición (Producto directo): Dada {Gi }i∈{1,2,...,n} una colección
de grupos. Al grupo G1 × G2 × . . . × Gn bajo la operación:
((x1 , x2 , . . . , xn ), (y1 , y2 , . . . , yn )) 7→ (x1 y1 , x2 y2 , . . . , xn yn )
lo llamamos el producto directo (externo) de G1 , G2 , . . . , Gn .
1.41 Cuando decı́amos que dos grupos tienen la misma forma, formalmente
nos referı́amos a lo siguiente (a esto volveremos luego con más detalle):
1.42 Definición (Isomorfismo, isomorfo): Sean < G, ·, e >, < G0 , •, e0 >
dos grupos dados. Una biyección φ : G → G0 es un isomorfismo si φ(x · y) =
φ(x) • φ(y), para todo x, y ∈ G. Dos grupos se dicen isomorfos si existe un
isomorfismo entre ellos.
1.43 Ejemplo: φ : R → R∗+ definida por φ(x) = ex , es un isomorfismo entre
< R, +, 0 > y < R∗+ , ·, 1 > pues ex+y = ex ey .
Teorema 1.44 Sea G =< a >. Si ord(G) = +∞, G es isomorfo a Z, si
ord(G) = n, G es isomorfo a Zn .
Demostración: Si ord(G) = +∞, defina φ : Z → G, por φ(k) = ak y si ord(G) =
n, defina φ : Zn → G, por φ(k) = ak . Es claro que φ es sobreyectiva, ahora
si φ(m1 ) = φ(m2 ), entonces am1 −m2 = e. Ası́ si +∞ = ord(G) = ord(a),
m1 − m2 = 0 ó m1 = m2 . Si n = ord(a), por el lema 1.20, n | m1 − m2 luego
m1 = m2 . De esto concluimos que φ es biyectiva. Finalmente como ak1 ak2 =
ak1 +k2 , φ es isomorfismo. F
10 Capı́tulo 1. Grupos
1.47 Los grupos abelianos finitamente generados tienen una estructura par-
ticular. El siguiente teorema los caracteriza y nos dice que los Zpn , con p primo,
son como los ladrillos para construirlos. Su demostración la pospondremos para
cuando tengamos un poco más de experiencia, y esta nos parezca más natu-
ral. Dicho teorema se conoce como el Teorema Fundamental de los grupos
abelianos finitamente generados, y al cual nos referiremos como al teorema
TFGAFG por comodidad.
1.49 Ejemplos:
Qn
i) Si i=1 pri i es la expresión
Q de m en potencias de primos con pi < pi+1 ,
Zm es isomorfo a ni=1 Zpri .
i
1.50 Ejercicios:
1. Encuentre el orden del elemento (3, 10, 9) en el grupo Z4 × Z12 × Z15 .
2. Pruebe que un grupo abeliano finito no es cı́clico si y solo si este contiene
un subgrupo isomorfo a Zp × Zp para algún primo p.
3. Pruebe que si un grupo abeliano finito tiene orden una potencia de un
primo p, entonces el orden de cada elemento en el grupo es una potencia
de p.
4. Sean G, H, y K grupos abelianos finitamente generados. Pruebe que si
G × K es isomorfo a H × K, entonces G es isomorfo a H.
Grupos de permutaciones 11
1.52 Observaciónes.
i) |Sn | = n!
ii) La composición de dos permutaciones es una permutación. La identidad
es una permutación y la inversa de un permutación es una permutación.
En resumen, se tiene lo siguiente:
iii) Dos ciclos se dicen disyuntos si sus órbitas de más de un elemento son
disyuntas.
1.64 Veamos ahora que Sn se divide en dos clases disyuntas, las permutaciones
que son el producto de un número par de transposiciones, y las que son el
producto de un número impar.
Demostración:
Y σρ(i) − σρ(j) ρ(i) − ρ(j)
sg(σρ) = ·
i−j ρ(i) − ρ(j)
1≤i<j≤n
Y σρ(i) − σρ(j) Y ρ(i) − ρ(j)
=
ρ(i) − ρ(j) i−j
i≤i<j≤n i≤i<j≤n
= sg(σ)sg(ρ)
1.68 Observaciónes.
i) Si σ ∈ Sn es una transposición, sg(σ) = −1.
ii) Si sg(σ) = sg(ρ) = 1, sg(σρ) = 1.
iii) sg(id) = 1, ası́ sg(σ −1 ) = sg(σ).
PSfrag replacements4 3 3 2 3 4
1 2 4„ «
1 2 1
„ «
1234 1234
id
2341 2143
◦ ρ0 ρ1 ρ2 ρ3 µ1 µ2 δ1 δ2
ρ0 ρ0 ρ1 ρ2 ρ3 µ1 µ2 δ1 δ2
ρ1 ρ1 ρ2 ρ3 ρ0 δ1 δ2 µ1 µ2
ρ2 ρ2 ρ3 ρ0 ρ1 µ2 µ1 δ2 δ1
ρ3 ρ3 ρ0 ρ1 ρ2 δ2 δ1 µ1 µ2
µ1 µ1 δ2 µ2 δ1 ρ0 ρ2 ρ3 ρ1
µ2 µ2 δ1 µ1 δ2 ρ2 ρ0 ρ1 ρ3
δ1 δ1 µ1 δ2 µ2 ρ1 ρ3 ρ0 ρ2
δ2 δ2 µ2 δ1 µ1 ρ3 ρ1 ρ2 ρ0
1.74 Ejercicios:
1. Pruebe que Sn no es un grupo abeliano para n ≥ 3.
2. Si A es un conjunto, entonces un subgrupo H de SA es transitivo sobre
A , si para cada a, b ∈ A existe σ ∈ H tal que σ(a) = b. Pruebe que si A
no es un conjunto vacı́o, entonces existe un subgrupo finito cı́clico K de
SA que es transitivo sobre A, tal que |H| = |A|.
3. Pruebe que para todo subgrupo H de Sn , con n ≥ 2, se cumple que todas
las permutaciones en H son pares o bien exactamente la mitad de ellas
son pares.
bH := {bh : h ∈ H}
D4
PSfrag replacements
{ρ0 , ρ2 , µ1 , µ2 } {ρ0 , ρ1 , ρ2 , ρ3 } {ρ0 , ρ2 , δ1 , δ2 }
{ρ0 }
Demostración:
P Por el teorema
P 1.76:
|G| = bH∈G/H |bH| = bH∈G/H |H| = (G : H)|H| F
1.80 Los coconjuntos son parte fundamental de la teorı́a del álgebra, toca
entonces entenderlos y sentirlos. De esto se dará cuenta el lector a lo largo de
su estudio
1.81 Ejercicios:
1. Sean K ≤ H ≤ G grupos tales que (H : K) y (G : H) son finitos. Probar
que (G : K) = (H : K)(G : H).
2. Sean H y K dos subgrupos finitos de un grupo G. Sea HK un subconjunto
|H||K|
de G definido por HK = {hk : h ∈ H, k ∈ K}. Probar que |HK| = |H∩K| .
Capı́tulo 2
Homomorfismos
2.1. Homomorfismos
2.1 Definición (homomorfismo): Sean G y G0 dos grupos. Una función
φ : G → G0 es un homomorfismo si para todo a, b ∈ G se tiene que:
2.3 Ejemplos:
Propiedades de Homomorfismos 19
G0
e0 φ(a) φ(b) x0
Ker(φ) := {g ∈ G : φ(g) = e0 }
H C G : ⇐⇒ ∀g ∈ G, gH = Hg
i) N ∩ K C K
Teorema 2.24 Sea C una colección de grupos, y defina la relación ' en C por
G ' G0 si existe un isomorfismo φ : G → G0 . Tenemos que ' es una relación
de equivalencia sobre C.
2.25 Observaciónes.
Note lo útil que puede resultar el corolario 2.10 al teorema 2.9 para probar iii..
Z4 × Z2 = {(0, 0), (0, 1), (1, 0), (1, 1), (2, 0), (2, 1), (3, 0), (3, 1)}
y
{0} × Z2 = {(0, 0), (0, 1)}
si podemos G = Z4 × Z2 y
H = {0} × Z2
H1 = H + (1, 0) = {(1, 0), (1, 1)}
H2 = H + (2, 0) = {(2, 0), (2, 1)}
H3 = H + (3, 0) = {(3, 0), (3, 1)}
tenemos G/H = {H, H1 , H2 , H3 }, ası́ como G/H tiene cuatro elementos, solo
hay dos alternativas: G/H ' Z2 × Z2 ó G/H ' Z4 . Pero G/H =< H1 > luego
es cı́clico, y ası́ es isomorfo Z4 .
bd = ac(h00 h)
acH
uv
.
.
.
b = ah0
aH u
cH v
d = ch
.
.
.
e0
h00 h
H h00
h
φ
G G0
2.41 Ejemplos:
iii) Calculemos el grupo factor Z4 × Z6 / < (0, 1) >. Sea H =< (0, 1) >,
ası́ H = {(0, 0), (0, 1), (0, 2), (0, 3), (0, 4), (0, 5)} Como H tiene 6 elementos,
todos los coconjuntos de H también deben tener 6 elementos y |(Z4 ×
Z6 )/H| = 4. Como Z4 × Z6 es abeliano, entonces Z4 × Z6 /H también. Los
coconjuntos de H en Z4 × Z6 son:
H = (0, 0) + H
H1 = (1, 0) + H
H2 = (2, 0) + H
H3 = (3, 0) + H
2.45 Ejemplos:
i) Calculemos Z4 ×Z6 / < (0, 2) >. Sea H =< (0, 2) >= {(0, 0), (0, 2), (0, 4)}.
En primera instancia note que Z4 × Z6 es abeliano, luego el grupo factor
también es abeliano, y como |H| = 3, es de orden 8. Usando el teorema
fundamental de los grupos abelianos finitamente generados, sabemos que
Grupos simples 27
el grupo factor debe ser isomorfo a uno de los siguientes grupos: Z8 , Z4 ×Z2
ó Z2 × Z2 × Z2 . Con un poco de paciencia calculamos los coconjuntos:
H = (0, 0) + H = {(0, 0), (0, 2), (0, 4)} H4 = (2, 0) + H = {(2, 0), (2, 2), (2, 4)}
H1 = (0, 1) + H = {(0, 1), (0, 3), (0, 5)} H5 = (2, 1) + H = {(2, 1), (2, 3), (2, 5)}
H2 = (1, 0) + H = {(1, 0), (1, 2), (1, 4)} H6 = (3, 0) + H = {(3, 0), (3, 2), (3, 4)}
H3 = (1, 1) + H = {(1, 1), (1, 3), (1, 5)} H7 = (3, 1) + H = {(3, 1), (3, 3), (3, 5)}
2.48 Observaciones.
i) Como lo muestra el ejemplo anterior, aún si N C G, φ[N ] puede no ser
subgrupo normal de G0 .
ii) Sabiendo que construir grupos factor nos ilustra sobre la dinámica del
grupo, podemos preguntarnos en que condiciones un grupo no admite sino
colapsos triviales.
N CG∧M <N ⇒ N =G
luego H C G. F
Z(G) := {z ∈ G : zg = gz, ∀g ∈ G}
2.10. Ejercicios
1. Sea φ : G → G0 un homomorfismo de grupos. Pruebe que:
Conjugación
C(h) := {g ∈ G : hg = gh}
3.6
κh : G −→ G
g 7−→ hgh−1
fh : G/C(h) −→ G
gC(h) 7−→ κg (h)
Demostración: Es claro que para demostrar esto basta ver que la aplicación
fh definida en 3.6 es biyectiva, ya que cuando g recorre G, fh (g) recorre [h̄].
Suponga que fh (aC(h)) = fh (bC(h)), esto es aha−1 = bhb−1 ó b−1 ah = hb−1 a,
luego b−1 a ∈ C(h) lo que equivale a aC(h) = bC(h). Ahora sea a ∈ [h̄] ası́ a =
ghg −1 para algún g ∈ G, luego κg (h) = a ó fh (gC(h)) = a. F
3.16 Observaciones.
i) Actualmente debe ser claro para el lectorQlo elegante de la conjugación
en los grupos de permutaciones. Si h = ni=1 (ai bi ), entonces ghg −1 =
Q n
i=1 (g(ai ) g(bi )). Es impreciso hablar de una productoria en un grupo
no abeliano, para que la identidad sea cierta se requiere que se considere
el mismo orden en el producto que expresa ghg −1 que el que se usó para
h. Lo anterior, evidentemente, no es lo único impresionante en todo esto.
ii) Uno de los objetivos de los primeros cursos en Álgebra Abstracta es de-
mostrar la insolubilidad de los polinomios de grado mayor o igual a cinco
(“la insolubilidad de la quintica”). Por extraño que nos parezca actual-
mente, el hecho que An sea simple para n ≥ 5 es una de las razones para
ello. Elegante, ¿no?. Sigamos entonces con nuestro estudio.
3.3. Ejercicios
1. Pruebe que un grupo G es abeliano si y solo si todas sus clases de conju-
gación contienen exactamente un elemento de G.
2. Sea H un subgrupo de un grupo G. Para cada g ∈ G, el subconjunto
gHg −1 es un conjugado de H. Probar que cada conjugado de H es un
subgrupo de G y que la intersección de los conjugados de H es un subgrupo
normal de G.
Capı́tulo 4
4.1. G-conjuntos
4.1 Definición (Acción de Grupo y G-conjunto): Sea X un conjunto y
G un grupo. Una acción de G sobre X es una aplicación ∗ : G × X → X tal
que:
i) e ∗ x = x, ∀x ∈ X
ii) (g1 g2 ) ∗ x = g1 ∗ (g2 ∗ x), ∀x ∈ X, ∀g1 , g2 ∈ G
Bajo estas condiciones, X es un G-conjunto. Cuando no halla lugar a confución
notaremos g ∗ x por gx.
Φ : G −→ SX
g 7−→ σg : X → X
x 7→ gx
4.8 Ejemplos:
i) Considere λg : G → G definida por λg (g 0 ) = gg 0 . Ahora λe = id y λg1 ◦
λg2 = λg1 g2 , luego si definimos g ∗ x = λg (x), G es un G-conjunto. Si
H ≤ G, de misma forma podemos ver a G como un H-conjunto. Note que
con las ρg : G → G, definidas por ρg (g 0 ) = g 0 g podemos definir un acción
a derecha pero no a izquierda.
ii) Recuerde κg : G → G definida por κg (g 0 ) = gg 0 g −1 . Entonces, κe = id y
κg1 ◦ κg2 = κg1 g2 , luego si definimos g ∗ x = λg (x), G es un G-conjunto.
iii) Sea V un espacio vectorial sobre R, los axiomas 1~v y (rs)~v = r(s~v ), mues-
tran que V se puede ver como un R∗ -conjunto, con el grupo < R∗ , ., 1 >.
Subgrupo estabilizador y órbitas 39
Por otro lado, para cada x ∈ X, hay |Gx | pares teniendo a x como segundo
elemento. Entonces: X
N= |Gx | (4.2)
x∈X
5 8 8 7 7 6 6 5
PSfrag replacements6 7 5 6 8 5 7 8
4 3 3 2 2 1 1 4
1 2 4 1 3 4 2 3
„ « „ « „ «
12345678 12345678 12345678
id
23416785 34127856 41238567
4.4. Ejercicios
1. Sea X un G-conjunto, y sean x1 , x2 ∈ X tales que x1 y x2 se encuentran
en la misma órbita. Probar que los estabilizadores Gx1 y Gx2 de x1 y x2
respectivamente, son subgrupos conjugados en G. Deducir que Gx1 y Gx2
tienen el mismo orden.
2. Sea X un G-conjunto, donde G es un grupo de permutaciones. Sea O una
órbita de X bajo la acción de G. Si x, y ∈ O, entonces pruebe que el
conjunto de permutaciones en G que envı́an x a y (es decir, el conjunto
{σ ∈ G : σ(x) = y}) es un coset derecho de Gx . Contrariamente, pruebe
que todos los elementos de un coset derecho de Gx envı́an x al mismo
punto en O.
3. Sea G un grupo de permutaciones actuando transitivamente sobre un con-
junto X. Entonces, G actúa sobre X × X, y una órbita de X × X bajo la
acción de G es llamada un órbital (para diferenciarla de una órbita de X
bajo G). Sea x ∈ X. Pruebe que existe una biyección entre los órbitales de
X × X bajo G y las órbitas de X bajo la acción del subgrupo estabilizador
Gx .
Capı́tulo 5
Teoremas de Isomorfismos y
Series de Grupos
φ
G φ[G] ≤ G0
ρK
ψ
G/K
Demostración: La primera parte del lema no es sino una reformulación del teo-
rema 2.21 iii).
Ahora, supongamos además que H C G, y sea h ∈ H, n ∈ N y g ∈ G, luego
ghng −1 = (ghg −1 )(gng −1 ) ∈ HN , y ası́ HN C G. F
5.6 Ejemplos:
5.8 Nota. Una buena manera de ver el teorema 5.7 es mirando la aplicación
canónica ρH : G → G/H siendo factorizada por un subgrupo normal K de G,
obteniéndose ρH = ρH/K ◦ ρK , como se ilustra en 5.2
PSfrag replacements
Series de Grupos 45
G ρH G/H
Homomorfismo natural
ρK
G/K (G/K)(H/K)
ρH/K
5.10 Observaciones.
ii) Una serie normal es siempre subnormal. Pero lo contrario no es cierto (ver
5.11).
5.11 Ejemplos:
5.14 Para estudiar le estructura de un grupo G, los grupos factor Hi+1 /Hi
son de mucha utilidad.
46 Capı́tulo 5. Teoremas de Isomorfismos y Series de Grupos
5.17 Ejemplo: Las dos series de Z15 : {0} C< 5 >C Z15 y {0} C< 3 >C Z15 ,
son isomorfas. Tanto Z15 / < 5 > como < 3 > /{0} son isomorfos a Z5 , y
Z15 / < 3 > es isomorfo a < 5 > /{0}, o a Z3 .
i) H ∗ (H ∩ K ∗ ) C H ∗ (H ∩ K)
ii) K ∗ (H ∗ ∩ K) C K ∗ (H ∩ K)
H K
PSfrag replacements
∗ ∗
H (H ∩ K) K (H ∩ K)
H∩K
H ∗ (H ∩ K ∗ ) K ∗ (H ∗ ∩ K)
H∗ K∗
H∗ ∩ K H ∩ K∗
∗ ∗
(H ∩ K )(H ∩ K)
"!"!"! "!"!"!
"!"! "!"! $#$#
"!"! "!"! H $#$##$
Kj,i
H
$#
i,j
H
Kj
i−1,j+1 Kj,i−1
H i−1
H
i−1,j
{e} = H0 C H1 C . . . C Hn = G (5.1)
{e} = K0 C K1 C . . . C Km = G (5.2)
dos series subnormales para G. Para i ∈ {0, 1, . . . , n − 1} forme la cadena de
grupos:
Hi = Hi (Hi+1 ∩ K0 ) C Hi (Hi+1 ∩ K1 ) C Hi (Hi+1 ∩ K2 ) C . . . C Hi (Hi+1 ∩
Km ) = Hi+1 .
Después de hacer todas estas cadenas para cada i ∈ {0, 1, . . . , n − 1} y notando
Hi,j := Hi (Hi+1 ∩ Kj ), se obtendrá la siguiente cadena de grupos:
ii) Una series normal {Hi }i∈{0,1,...,n} de G es una serie principal si todos
los grupos factor Hi+1 /Hi son simples
5.22 Observaciones.
ii) En los grupos abelianos, los conceptos de serie compuesta y serie principal
coinciden.
iii) Como cada serie normal es subnormal, cada serie principal es una serie
compuesta para todo grupo, abeliano o no.
5.23 Ejemplos:
5.24 Observaciones.
ii) Además, como “Hi es normal máximal en Hi+1 si y solo si Hi+1 /Hi es
simple” (ver teorema 2.51), una serie compuesta, no puede tener ningún
refinamiento.
Demostración Sean {Hi }i∈{0,...,n} y {Ki }i∈{0,...,m} dos series compuestas (prin-
cipales) de G. Por el Teorema de Schreier (5.20), estas series tienen refinamientos
isomorfos. Pero como todos los grupos factor son simples, entonces por el teore-
ma 2.51, estas series no pueden ser refinadas, lo cual implica que {Hi }i∈{0,...,n}
y {Ki }i∈{0,...,m} son isomorfas (y por lo tanto n = m). F
5.26 En el caso de grupos finitos, se puede ver una serie compuesta como una
factorización de un grupos en grupos factor simples, análoga a la factorización de
un entero positivo en primos. En ambos casos, la factorización es única módulo
el orden de los factores. No hace entonces falta enfatizar más en la importancia
del teorema de Jordan-Hölder.
5.31 Ejemplos:
Z0 := {e}
Zn+1 := ρ−1
n [Z(G/(Zn (G)))], donde ρn : G → G/Zn (G) es el homomorfis-
mo canónico
5.34 Ejemplos:
ii) Z(D4 ) = {id, (1 3)(2 4)}, entonces la cadena central ascendente de D4 es:
{id} ≤ {id, (1 3)(2 4)} ≤ D4
52 Capı́tulo 5. Teoremas de Isomorfismos y Series de Grupos
5.4. Ejercicios
1. Sea H C G y sea K = {a ∈ G : ax = xa, para todo x ∈ H}. Sea A el
grupo de automorfismos de H y sea I el grupo de automorfismos internos
de H. Para cada a ∈ G, sea ϕa el automorfismo de H tal que para todo
x ∈ H, ϕa (x) = axa−1 . Denote por ϕ : G → A la aplicación definida por:
a 7→ ϕa .
a) Determinar Ker(ϕ).
b) Probar que HK es un subgrupo normal de G.
c) Probar que existe un homomorfismo inyectivo de G/HK en A/I.
d ) Probar que HK/K ∼ = I.
2. Sean G1 y G2 dos grupos no isomorfos de centros Z(G1 ) y Z(G2 ) respec-
tivamente. Pruebe que Z(G1 × G2 ) es isomorfo a Z(G1 ) × Z(G2 ).
3. Sea H un subgrupo de un grupo G. Sea Ω = {aH : a ∈ G} el conjunto de
cosets izquierdos de H en G. Defina la acción de G sobre Ω por traslación,
es decir, para cada g ∈ G y para cada aH ∈ Ω, g(aH) = (ga)H.
Teoremas de Sylow y
Grupos libres
N [H] := {g ∈ G| gHg −1 = H}
Teorema 6.11 (Primer teorema de Sylow) Sea G un grupo tal que |G| =
pn m, donde n ≥ 1, p primo y p 6 | m. Tenemos que:
6.23 Observación. Dadas las hipótesis del lema anterior, decimos que G es
el producto interno de H y K. Aunque este concepto no lo usaremos mucho acá,
es válido observar que algo semejante se tiene en el álgebra lineal.
Grupos abelianos libres 57
Teorema 6.25 Si p y q son primos con p < q, entonces todo grupo de orden pq
tiene un único subgrupo de orden q. Mas aún el subgrupo de orden q es normal,
luego G no es simple y si q 6≡ 1(mod p), G es cı́clico.
i
f
i) i es inyectiva.
6.29 Nota. En vista del teorema anterior, si (G, A, i) es grupo abeliano libre,
podemos considerar A ⊆ G e i como la inclusión. En este caso decimos que G
es un grupo abeliano libre sobre A.
Demostración:
ii) ⇒ i) : Sean j : A → G la inclusión y H grupo abeliano. Dada f : H → A
Pn Pn
defina fe : G → H por f ( i=1 ni ai ) = i=1 ni f (ai ), ası́ fe ◦ j = f . De donde G
es abeliano libre sobre A.
Pn⇒ iii) : en el teorema 6.28 ya vimos G =< A >. Ahora suponga que 0 =
i)
i=1 ni ai , defina para k ∈ {1, . . . , n}, fk : A → Z por fk (x) = 0 si x 6= ak y
Teorema fundamental de los grupos abelianos 59
Teorema 6.32 Sea (G, A, i) grupo abeliano libre. Si (G, B, j) es grupo abeliano
libre entonces |A| = |B|.
Teorema 6.35 Dos grupos abelianos libres son isomorfos si y sólo si tienen
mismo rango.
Demostración: Es claro que los Tpi son subgrupos Qn de G, y que Tpi ∩ Tpj = {0},
si i 6= j. Ahora bien, si g ∈ G con ord(g) = i=1 psi i , tomando si
Pnmi = ord(g)/pi ,
como (m1 , m P existen ki ∈ Z tales que 1 = i=1 ki mi , de esta
2 , . . . , mn ) = 1, P
n n
forma g = i=1 i k (m i g) = i=1 ki gi donde gi = mi g. De esta forma como
si
ord(gi ) = pi , gi ∈ Tpi y G = Tp1 + Tp2 + . . . + Tpn . Luego, por el lema 6.22,
G ' T p1 × T p2 × . . . × T pn . F
Demostración: ai = (ai + taj ) − taj , luego < B >= G. Ahora si (n1 )a1 + . . . +
ni−1 ai−1 + ni (ai + taj ) + ni+1 ai+1 + . . . + nn an = 0, entonces como A es base,
nk = 0 si k 6= j y tni + nj = 0. De donde nj = 0 y por el teorema 6.30, B es
base para G. F
Demostración:
Pn Dada una base A = {ai }i∈{1,...,n} de G, y g ∈ G con g =
n a
i=1 i i , definimos |g|A := mı́n{|ni | : i ∈ {1, . . . , n}, ni 6= 0}. Ahora si
K ≤ G, definimos |K|A := mı́n{|k|A : k ∈ K \ {0}}.
Tome B1 = {bi,1 }i∈{1,...,n} base dePG tal que |K|B1 sea minimal, con k1 ∈ K
n
tal que |k1 |B1 = |K|B1 y k1 = i=1 ni,1 bi,1 donde |n1,1 | = |K|B1 . Ahora
Teorema fundamental de los grupos abelianos 61
si ni,1 = qi,1 n1,1 + ri,1 , Pcon 0 ≤ ri,1 < |n1,1 |, aplicando n − 1 veces el le-
n
ma 6.41, A1 = {b1,1 + P i=2 qi,1 bi,1 , b2,1 , . . . , bn,1 } es también base para G.
n 1
Entonces si aP 1 = b1,1 + i=2 qi,1 bi,1 , ai,1 = bi,1 para i ≥ 2, y d1 = n1 ,
n
k1 = d1 a1 + i=2 ri,1 ai,1 donde ri,1 < |d1 |. Ası́ como d1 = |k1 |P A1 , ri,1 = 0
n
y k1 = d1 a1 ∈ K. Observe además que si k ∈ K con k = m1 a1 i=2 mi ai,1 ,
entonces d1 | m1 (¿Por qué?)
Si < d1 a1 >= K terminamos, de lo contrario escoja B2 = {bi,2 }i∈{1,...,n} base
para G tal que |K| PnB2 sea minimal entre las bases que contengan a1 . Puede su-
poner que k2 = i=2 ni,2 bi,2 es un elemento en el cual este mı́nimo se alcanza
y que lo alcanza en el coeficiente d2 del segundo elemento de la base (el pri-
mero es a1 ), pues podemos restar (o sumar) cuantas veces sea necesario d1 a1
a fin de volverPnnulo el coeficiente en a1 . Ası́ se define, semejante a lo anterior,
a2 = b2,2 + i=3 qi,2 bi,2 , donde qi,2 es el cociente de la división de ni,2 por
d2 , y ası́ k2 = d2 a2 . Entonces A2 = {a1 , a2 , b3,2 , . . . , bn,2 } es base para G. Pero
además si d2 = qd1 + r, donde 0 ≤ r < |d1 |, Y = {a1 + qa2 , a2 , b3,2 , . . . , bn,2 },
es también base para G en la cual k = d1 a1 + d2 a2 = d1 (a1 + qa2 ) + ra2 ∈ K.
Entonces si r 6= 0, |k|Y = r < |d1 | lo que llevarı́a a una contradicción con la
elección de B1 . Ası́ d1 | d2 .
Si < d1 a1 , d2 a2 >= K terminamos, de lo contrario continuamos ası́ sucesiva-
mente. Mostrando una base para K queda de paso demostrado que es abeliano
libre por el teorema 6.30. F
G ' Z m1 × Z m2 × . . . × Z mn × Z × . . . × Z
6.44 Ahora sı́ probaremos el teorema fundamental de los grupos abelianos fi-
nitamente generados. La existencia de la descomposición es consecuencia inme-
diata de lo que ya hemos probado. Es frecuente en matemáticas que la unicidad
se deba a una trivialidad una vez probada la existencia, pero en este teorema no
es el caso, por intuitiva que sea. Teoremas que concluyan una clasificación tan
exhaustiva son una rareza en matemáticas en general y en la teorı́a de grupos
en particular.
62 Capı́tulo 6. Teoremas de Sylow y Grupos libres
donde los pi , para i ∈ {1, . . . , n}, son primos tales que pi ≤ pi+1 , y los ri son
naturales no nulos tales que ri ≤ ri+1 si pi = pi+1 . Mas aún los pi , los ri y r
están unı́vocamente determinados. A r se le llama número de Betti de G.
G ' T p1 × T p2 × . . . × T pn × T ⊥ (6.2)
Qn
donde |T | = i=1 psi i , con cada pi primo tal que pi < pi+1 , Tpi = {g ∈ G :
ord(g) = pni , n ∈ N}, y T ⊥ es libre de torsión.
Cada Tpi es de torsión, luego, como |Tpi | < +∞, por el lema 6.43,
Ası́ el número de Zprj s en (6.3) para los cuales n ≡ 0(mod rj ) esta determinado
i
por el número de elementos en la productoria (6.5) que colapsaron en triviales,
dado por el número de elementos no triviales, que ya vimos que es propio de todo
grupo abeliano finitamente generado. De esta forma cada rj queda unı́vocamente
determinado cuando se recorre n por {1, . . . , logpi (ord(Tpi ))}. F
Grupos libres y representaciones 63
6.46 Con un estudio más profundo de los grupos abelianos de torsión, de los
libres de torsión y de los abelianos libres, se puede exponer una demostración
mucho más corta del teorema fundamental de los grupos abelianos. Pero el
enfoque que se le da acá ilustra bien, en un primer (y se espera que no único)
acercamiento, el funcionamiento de los grupos abelianos finitamente generados.
i
f
w es una palabra tenemos w = xe11 xe22 . . . xenn , donde ei es o bien ningún sı́mbolo,
o bien el sı́mbolo −1. Sea W el conjunto de todas las palabras. Si w, v ∈ W ,
definimos wv como la palabra que se obtiene al concatenar w y v, esto es si
w = xe11 xe22 . . . xenn y v = y1e1 y2e2 . . . ym
em
, wv = xe11 xe22 . . . xenn y1e1 y2e2 . . . ym
em
. Tam-
−1 −1 −en −e2 −e1
bién definimos w por w = xn . . . x2 x1 , donde −ei es −1 si ei no es
sı́mbolo y ningún sı́mbolo si ei es −1. Ahora, en W defina la relación ∼, donde
w ∼ v si de w puedo obtener v mediante las operaciones:
(a) agregar entre dos letras xx−1 ó x−1 x donde x es una letra.
Teorema 6.51 Sea (F, X, i) un grupo libre. Si (F, X 0 , j) es grupo libre, |X| =
|X 0 |
Teorema 6.53 Dos grupos libres son isomorfos si y sólo si tienen mismo rango.
Demostración: Es fácil ver que si dos grupos libres son isomorfos tienen mismo
rango (¿Por qué?). Ahora bien considere (F1 , X1 , i1 ) y (F2 , X2 , i2 ) dos grupos
libres tales que exista f : X1 → X2 biyección. Ası́ existen dos únicas f1 :
F1 → F2 , y f2 : F2 → F1 tales que f1 ◦ i1 = i2 ◦ f y f2 ◦ i2 = i1 ◦ f −1 .
Ası́ (f2 ◦ f1 ) ◦ i1 = f2 ◦ i2 ◦ f = i1 ◦ f −1 ◦ f = i1 , pero idF1 ◦ i1 = i1 luego
idF1 = f2 ◦ f1 . De forma similar idF2 = f1 ◦ f2 . Ası́ F1 ' F2 . F
Grupos libres y representaciones 65
6.54 El gran interés que despierta los grupos libres esta resumido en el si-
guiente teorema.
Teorema 6.55 Sea G un grupo tal que G =< X > y (F, Y, i) un grupo libre.
Si f : Y → X es sobreyectiva, entonces existe un homomorfismo φ : F → G
sobreyectivo tal que φ ◦ i = f . En particular todo grupo es imagen de un grupo
libre.
6.56 Observación. Dadas las condiciones del teorema anterior, G ' F/Ker(φ).
Ası́ todo grupo es de la forma F/K donde K C F . Para generar un grupo en-
tonces consideremos un grupo libre (F, X, i), S ⊂ F , y R el mı́nimo subgrupo
normal de F que contiene < i[S] > (la clausura normal de S), nuestro grupo es
F/R que esta unı́vocamente determinado únicamente por X y S. En esto nos
concentramos ahora.
6.59 Ejemplos:
6.6. Ejercicios
1. Sea S un Sylow p-subgrupo de un grupo finito G. Pruebe que todo subgru-
po de NG (S) de orden una potencia de p es un subgrupo de S. (Recuerde
que NG (S) es el normalizador de S en G, es decir, NG (S) = {g ∈ G :
gSg −1 = S})
2. Sea G un grupo de orden 12. Cuales son los valores posibles para los
números de 2-subgrupos y de 3-subgrupos de Sylow en G? Pruebe que
existen exactamente 5 estructuras de grupos diferentes de orden 12.
3. Sea G un grupo finito y p un primo que divide |G|. Pruebe que si H es un
p-subgrupo normal de G, entonces H esta contenido en todo p-subgrupo
de Sylow de G.
4. Sea G un grupo finito y sea p un primo que divide |G|. Sea P un p-subgrupo
de Sylow de G. Pruebe que N [N [P ]] = N [P ].
5. Sea G un grupo finito y sea p un primo que divide |G|. Sea P un p-subgrupo
de Sylow de G y sea H un p-subgrupo de G. Pruebe que existe g ∈ G tal
que gHg −1 ≤ P .
6. Pruebe que todo grupo de orden (35)3 tiene un subgrupo normal de orden
125.
7. Pruebe que no hay grupos simples de orden 255 = (3)(5)(17).
8. Pruebe que un grupo finito de orden pn contiene subgrupos normales Hi ,
para 0 ≤ i ≤ n, tales que |Hi | = pi y Hi < Hi+1 para 0 ≤ i < n. (Ayuda:
recuerde (o pruebe) que el centro de un p-grupo finito no trivial es no
trivial, y use este hecho).
9. Pruebe que todo elemento diferente a la identidad de un grupo libre es de
orden infinito.
10. Pruebe que si G y G0 son grupos abelianos libres, entonces G × G0 es
abeliano libre.
Ejercicios 67