You are on page 1of 36

Teoremas de P.

Hall
Caruso, Mat´ıas I.
Cochella, Agust´ın E.
Estructuras Algebraicas
Trabajo Final

´Indice
1. Preliminares
1.1. Grupos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Anillos y cuerpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3. Polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2. Un
2.1.
2.2.
2.3.

1
1
4
5

poquito de teor´ıa de Galois
Introducci´on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Grupo de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema de Galois . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

7
7
7
12

3. El Teorema de Jordan-H¨
older
3.1. Zassenhaus y Schreier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Teorema de Jordan-H¨older . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16
16
18

4. Grupos solubles
4.1. Otra definici´on de solubilidad . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2. Una u
´ltima definici´on de solubilidad . . . . . . . . . . . . . . . . . . . . . . .

19
20
21

5. Teoremas de P. Hall
5.1. Primer teorema de Hall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2. Rec´ıproca del teorema de Hall . . . . . . . . . . . . . . . . . . . . . . . . . .

24
25
27

6. Ap´
endice: El grupo alternado
6.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Simplicidad del grupo alternado . . . . . . . . . . . . . . . . . . . . . . . . .

29
29
30

1.1. Grupos

1. Preliminares

Introducci´
on
A lo largo de las siguientes p´aginas desarrollaremos la teor´ıa de grupos necesaria para
probar dos teoremas que funcionan a modo de una generalizaci´on de los teoremas de Sylow, conocidos como teoremas de Hall. Estos teoremas fueron demostrados en 1928 y 1937,
respectivamente, por el matem´atico ingl´es Philip Hall (1904-1958).

1.

Preliminares

La primera secci´on est´a destinada a resultados ya vistos, que tomaremos como base para
el resto del trabajo.

1.1.

Grupos

Definici´
on 1.1.1. Un grupo (G, ·) es un conjunto G equipado de una operaci´on binaria ·
que satisface:
1. (a · b) · c = a · (b · c) ∀a, b, c ∈ G
2. Existe e ∈ G tal que e · a = a · e = a ∀a ∈ G. Se dice que e ∈ G es el neutro del grupo.
3. Para todo a ∈ G existe un elemento a0 ∈ G tal que a · a0 = a0 · a = e. Se dice que a0 ∈ G
es el inverso de a, y como se puede probar que es u
´nico, se lo suele anotar a−1 .
Si a · b = b · a ∀a, b ∈ G, decimos que G es abeliano.
Definici´
on 1.1.2. Sean (G, ·) y (H, +) dos grupos. Una funci´on f : G → H es un morfismo
de grupos si
f (a · b) = f (a) + f (b) ∀a, b ∈ G
Definici´
on 1.1.3. Un subconjunto S de un grupo G es un subgrupo (de G) si ∀s, t ∈ S
s−1 ∈ S y st ∈ S. Suele usarse la notaci´on S ≤ G.
Un subgrupo S de G se dice propio si S 6= G y S 6= 1
Proposici´
on 1.1.4. Sea I un conjunto de ´ındices y sea Hi ≤ G para cada i ∈ I. Entonces,
T
H

G.
i
i∈I
Definici´
on 1.1.5. Sea S ≤ G. Entonces, hSi denota la intersecci´on de todos los subgrupos
de G que contienen a S. El subgrupo hSi es llamado subgrupo generado por S. Si S = {a},
anotamos G = hai.
Definici´
on 1.1.6. Sea S ≤ G. Definimos el ´ındice de S en G, notado [G : S], como el

umero de coclases a derecha de S en G.
Definici´
on 1.1.7. Sea G un grupo finito. Definimos su orden, notado |G|, como el n´
umero
de elementos de G.
Si G es un grupo y a ∈ G, definimos el orden de a, notado |hai|, como el n´
umero de
elementos de hai.
1

ker f C G. Sea f : G −→ H un morfismo de grupos. Un subgrupo K ≤ G es un subgrupo normal.1.1.1. como la intersecci´on de todos los subgrupos normales de G que contienen a H. Proposici´ on 1.1. Entonces.1. Observaci´ on 1.22 (Tercer teorema del isomorfismo).1. Definici´ on 1.1. Un grupo G se dice simple si no tiene subgrupos normales no triviales.9. cuyas clases de equivalencia son llamadas clases de conjugaci´on. notado K C G. Definici´ on 1. Grupos 1. Teorema 1. definimos la clausura normal de H. entonces G es c´ıclico de orden primo. Proposici´ on 1. Sean H y N subgrupos de G con N C G.1. H ∩ N C H y H/(H ∩ N ) ∼ = HN/N . si gKg −1 = K para todo g ∈ G.1.21 (Segundo teorema del isomorfismo). G/K ∼ = Im(f ). H/K es un subgrupo normal de G/K y G/K ∼ = G/H H/K 2 . notada H G . La normalidad no es transitiva. Si G es un grupo finito y S ≤ G.1. Un grupo G se dice c´ıclico si G = hai.18.20 (Primer teorema del isomorfismo). Sea S ≤ G y sea t ∈ G. Definici´ on 1. Definimos una coclase a derecha de S en G como el subconjunto St = {st : s ∈ S} An´alogamente.17.1.13. Preliminares Teorema 1. Entonces.8 (Lagrange). Definici´ on 1. Dos grupos c´ıclicos de orden n son isomorfos.1. Definici´ on 1. Observaci´ on 1.1. Sea f : G −→ H un morfismo de grupos con ker f = K.1.19. Dos elementos a y b de un grupo G se dicen conjugados si a = xbx−1 para alg´ un x ∈ G.1.14. Teorema 1.10. Dado un subgrupo H de un grupo G. Definici´ on 1. Si G es un grupo finito abeliano simple. entonces |S| divide a |G| y [G : S] = |G|/|S|. Un subgrupo H de un grupo G se dice contranormal en G si H G = G.1. una coclase a izquierda es un subconjunto tS = {ts : s ∈ S}.12. A t se lo suele llamar representante de St (y de tS). Sean K ≤ H ≤ G donde H y K son subgrupos normales de G.15.16. Entonces.1. Esto define una relaci´on de equivalencia en G. Definici´ on 1. Teorema 1.11. Entonces.

Si p es primo. H es un p-subgrupo de un grupo G si H ≤ G y H es un p-grupo. b]. 2. Definici´ on 1. Si G es un grupo finito cuyo orden es divisible por un primo p. Si a. Teorema 1. k). entonces G/(H × 1) ∼ = K.30. b] = aba−1 b−1 El subgrupo conmutador (o derivado) de G. Preliminares Teorema 1.1. Entonces.33. 2. M´as a´ un. es [a. Si H ≤ G y g ∈ G. g(hx) = (gh)x ∀g.31. Si A C H y B C K.27. Definici´ on 1. 1845).1. T ≤ S sii T ∗ ≤ S ∗ .1. Teorema 1.1. Si H y K son grupos. k)(h0 . notado G0 . kk 0 ) Teorema 1. tal que 1. T C S sii T ∗ C S ∗ . si notamos S/K como S ∗ .1. junto con la operaci´on (h. S 7→ v(S) = S/K es una biyecci´on entre la familia de todos los subgrupos S de G que contienen a K y la familia de todos los subgrupos de G/K. y entonces S/T ∼ = S ∗ /T ∗ . entonces G/H es abeliano sii G ≤ H. 1x = x ∀x ∈ X 2. Una acci´on de G en X es una funci´on α : G × X −→ X.29. Si HK = G y H ∩K = 1. Teorema 1. Definici´ on 1. entonces G ∼ = H × K. notado H × K. El subgrupo conmutador G0 es un subgrupo normal de G. Decimos que G act´ ua transitivamente en X si ∀x. Sea G un grupo con subgrupos normales H y K. si 0 H C G.24 (Cauchy. x) 7→ gx. b ∈ G. entonces G contiene un elemento de orden p. entonces A × B C H × K y H ×K ∼ H K × = A×B A B Corolario 1. es el grupo cuyos elementos son los pares ordenados (h. Sea K C G y sea v : G −→ G/K el mapeo natural. Definici´ on 1. entonces el subgrupo conjugado gHg −1 es {ghg −1 : h ∈ H}. un grupo finito G es un p-grupo si |G| = pn para alg´ un n ≥ 1.1. donde h ∈ H y k ∈ K.1. Definici´ on 1. y ∈ X existe g ∈ G tal que gx = y.26. M´as aun. Si G = H × K.1.25. entonces: 1. el conmutador de a y b.32. y entonces [S : T ] = [S ∗ : T ∗ ].1.1. k 0 ) = (hh0 . 1. notada α : (g.1. 3 . definimos su producto directo.1. notado [a. Sea G un grupo y sea X un conjunto. es el subgrupo generado por todos los conmutadores.23 (Teorema de correspondencia).1. h ∈ G ∀x ∈ X. Grupos 1.28.

3.37. Si a ∗ b = b ∗ a ∀a.2. Un anillo es un conjunto R dotado de dos operaciones binarias + y ∗ tales que: 1.1.1. Definici´ on 1. b. Si p es un primo. × Zp . 3. Si P es un p-subgrupo de Sylow de un grupo finito G.2. si existe b ∈ R tal que ab = 1 = ba. En efecto. El centro Z(G) es un subgrupo normal abeliano de G.e. Notaremos R∗ al conjunto de unidades de R. y por lo tanto es normal.2. decimos que (R. Definici´ on 1. b ∈ R. Teorema 1. Definici´ on 1. porque Z(G) = {a ∈ G : ab = ba ∀b ∈ G}. Un anillo R es un dominio de integridad si es un anillo conmutativo con identidad tal que R no tiene divisores de cero. +. un elemento a ∈ R es una unidad si tiene un inverso multiplicativo.39. entonces un p-grupo es elementalmente abeliano si un grupo finito G isomorfo a Zp × .2.1. b 6= 0 son elementos de un anillo R tales que ab = 0. notado Z(G). Definici´ on 1.35 (Sylow.38. Teorema 1.1.1. ∗) es un anillo conmutativo. c ∈ R. es el conjunto de todos los a ∈ G que conmutan con todos los elementos de G. 1. Decimos que R es un anillo con identidad si R 6= {0} y tiene una identidad para la multiplicaci´on.1. entonces r es un divisor de |G| y r ≡ 1 m´odulo p. llamado grupo de unidades de R. . 2. As´ı.. . 4 . El centro de un grupo G.2. i. entonces todos los p-subgrupos de Sylow de G son conjugados a P . Si R tiene identidad. Anillos y cuerpos Definici´ on 1.. entonces su centro Z(G) 6= 1. 2.36. aZ(G)a−1 ⊂ Z(G). Anillos y cuerpos 1. existe 1 ∈ R tal que 1a = a1 = a para todo a ∈ R. a ∗ (b + c) = (a ∗ b) + (a ∗ c) y (a + b) ∗ c = (a ∗ c) + (b ∗ c) ∀a. 1. si tomamos z ∈ Z(G) y a ∈ G. b. a ∗ (b ∗ c) = (a ∗ b) ∗ c ∀a. Si G 6= 1 es un p-grupo finito.e. +) es un grupo abeliano. entonces aza−1 = aa−1 z = z ∈ Z(G). (R. 1872).34. un p-subgrupo de Sylow de un grupo G es un p-subgrupo maximal. i. Si p es primo. Si a. Preliminares Definici´ on 1.1. La conmutatividad es trivial. c ∈ R. Observaci´ on 1.2. R∗ es un grupo. entonces a y b son llamados divisores de cero del anillo R. 1. Si hay r p-subgrupos de Sylow.1.

Ir ⊂ I para todo r ∈ R. Definimos una estructura de anillos en R[x] mediante (f + g)(n) = f (n) + g(n) n X (f g)(n) = f (m)g(n − m) m=0 As´ı. Una funci´on f : R −→ S es un morfismo de anillos si para todos a.. n ≥ 1 i=1 1. f (ab) = f (a)f (b) Definici´ on 1.2. El subanillo de R generado por X es la suma o diferencia de todos los productos finitos de elementos de X.1. Definici´ on 1. xi ∈ X. 1.2. Lema 1. Un anillo R con identidad es un anillo de divisi´on si R∗ = R \ {0}. entonces el ideal de R generado por X es el conjunto ( n ) X RXR = ri xi si : ri .7. Preliminares 2. i. 3. S anillos.3.2. Dado un anillo R con identidad.6. Un cuerpo es un anillo conmutativo de divisi´on. n ≥ 1 i=1 3. b ∈ R se cumplen: f (a + b) = f (a) + f (b) . y el ideal generado por X es el menor ideal de R que contiene a X. Decimos que I es un ideal de R sii 1. Definici´ on 1. entonces el subanillo generado por X es el menor subanillo de R que contiene a X. Si X ⊂ R es un subconjunto. todo elemento no nulo tiene inverso multiplicativo. 2. Sean R. Sea X ⊂ R un subconjunto no vac´ıo de un anillo R. R[x] es llamado anillo de polinomios en la indeterminada x con coeficientes en R. Si R es un anillo con identidad.4.3. llamamos R[x] al conjunto de todas las funciones Z+ −→ R tales que f (n) = 0 para todos los n naturales salvo finitos. entonces el ideal de R generado por X es el conjunto ( n ) X RX = ri xi : ri ∈ R. 3. 2. Sea R un anillo y sea I ⊂ R. I es un subgrupo aditivo de R. si ∈ R. Polinomios Definici´ on 1. xi ∈ X.5. Si R es un anillo conmutativo con identidad.2. Polinomios 1. rI ⊂ I para todo r ∈ R.1.3. 5 . Usaremos (X) para anotar el ideal generado por X.e.

Sea R un anillo conmutativo y sean f. sea f (x) ∈ R[x]. y sea g(x) ∈ R[x] un polinomio m´onico. deg(f g) ≤ deg f + deg g 3. Sea R un anillo conmutativo.3. f (x) ∈ R[x] y a ∈ R. Teorema 1. deg g} 2. 1. Decimos que un polinomio es m´onico si su coeficiente principal es 1. El coeficiente an se llama coeficiente principal de f (x) y a0 se llama t´ermino constante.2. Dado f (x) = ∞ m=0 am x 6= 0 ∈ R[x].5 (Algoritmo de divisi´on). g ∈ R[x]. como deg(f ) = m´ax{m : am 6= 0}. para cualquier f (x) ∈ R[x].3.2. la funci´on xn satisface ( 1 si m = n xn (m) = 0 si m 6= n Por lo tanto. existen u ´nicos polinomios q(x) y r(x) en R[x] con deg r(x) < deg g(x) tales que f (x) = g(x)q(x) + r(x) Corolario 1. En particular. vale cuando R es un dominio de integridad. f (x) = (x − a)q(x) + f (a) para alg´ un q(x) ∈ R[x]. Definimos deg(0) = −∞.3.7. definimos el grado de f (x). Entonces. notado gr(f ) o deg(f ). deg(f + g) ≤ m´ax{deg f.4. cualquier f ∈ R[x] puede ser escrita de forma u ´nica como f= ∞ X f (n)xn n=0 donde la sumatoria es en realidad finita. Entonces.3.6 (Teorema del resto). f (a) = 0 sii x − a divide a f (x). Entonces.3. Un poquito de teor´ıa de Galois Observaci´ on 1. Corolario 1. P m Definici´ on 1. 6 . La igualdad en 2 vale cuando el coeficiente principal de f o g no es un divisor de cero. Lema 1. Definimos x como una funci´on sobre Z+ mediante ( 1 si n = 1 x(n) = 0 si n 6= 1 As´ı.3. Sean R un anillo conmutativo.1. Introducci´on 2.3. Entonces. porque solamente hay finitos f (n) 6= 0. Sea R un anillo conmutativo y sea a ∈ R.

Y es claro que Q(i) 6= C.1. . Grupo de Galois Definici´ on 2. donde βi+1 ∈ Ki+1 y alguna potencia de βi+1 est´a en Ki .1. Por ejemplo. αn ∈ C (las ra´ıces de f (x)) y un elemento no nulo a ∈ F tales que f (x) = a(x − α1 ) . . β ∈ E.e. Un poquito de teor´ıa de Galois Un poquito de teor´ıa de Galois Introducci´ on Discutamos los elementos de la Teor´ıa de Galois. .1. Definici´ on 2. Decimos que una funci´on σ : E −→ E 0 es un homomorfismo si ∀α. (x − αn ) en C[x]. . . 1. . el subcuerpo obtenido a partir de adjuntarle α1 .2. ⊂ Kt donde E ⊂ Kt y cada Ki+1 se obtiene de Ki adjunt´andole una ra´ız de un elemento de Ki . . . . Decimos que f (x) es soluble por radicales si existe una cadena de subcuerpos F = K0 ⊂ K1 ⊂ . si f (x) = x2 + 1 ∈ Q[x].1) Definici´ on 2. En la pr´actica. σ(α + β) = σ(α) + σ(β) 3. y si f (x) tiene grado n ≥ 1. la cuna de la teor´ıa de grupos. 2. Ki+1 = Ki (βi+1 ). Sean E y E 0 cuerpos. Grupo de Galois 2. esto significa: Si f (x) ∈ F [x]. De forma similar. Por ejemplo. Notar que el cuerpo de descomposici´on de f (x) depende de F . . su cuerpo de descomposici´on sobre R es C. . entonces F (α1 . entonces existen (no necesariamente distintos) elementos α1 .2.3. el menor subcuerpo de C que contiene a X = F ∪ {α} es F (α) = {f (α)/g(α) : f (x).2. 7 .1. . La intersecci´on de cualquier familia de subcuerpos de un cuerpo es en s´ı misma un subcuerpo. uno puede definir F (α1 . Definici´ on 2. (x−αn ) ∈ C[x]. . si α ∈ C.2. F (α) se dice que es el subcuerpo obtenido a partir de F adjunt´andole α.2.1.1. . Observaci´ on 2. si consideramos f (x) ∈ R[x]. entonces su cuerpo de descomposici´on sobre Q es Q(i). αn a F . el anillo de todos los polinomios con coeficientes en F . . . .. . .2. 2. . . σ(αβ) = σ(α)σ(β). g(α) 6= 0} (2. i. Por otro lado. g(x) ∈ F [x]. 2. Asumiremos en esta exposici´on que todo cuerpo F es un subcuerpo de un cuerpo algebraicamente cerrado C. αn ) se dice que es el cuerpo de descomposici´on de f (x) sobre F . Sea f (x) ∈ F [x] con cuerpo de descomposici´on E sobre F . Si f (x) ∈ F [x] y f (x) = (x−α1 ) . . αn ). σ(1) = 1 2. Definimos el menor subcuerpo de C que contiene a un subconjunto X dado como la intersecci´on de todos los subcuerpos de C que contienen a X.2.

Sea G = {σ : E −→ E : σ es un ismorfismo y σ fija a F }. σ fija a F ∗ y σ(αh+1 ) = αh+1 . . γ(γ −1 (x)) = x = e(x) = x = γ −1 (γ(x)) ∀x ∈ E Por lo tanto. . La composici´on de funciones es asociativa.2. . . . 0 = f (α) = σ(f (α)) pues σ es morfismo  X X σ(ai )σ(α)i = σ ai α i = X = ai σ(α)i pues σ fija a F ♣ Por lo tanto. g(x) ∈ F ∗ [x] y g(αh+1 ) 6= 0. .2. 8 . .1). tenemos que F (α1 . . .1) tenemos que los elementos de E son de la forma f (α1 )/g(α1 ) con f (x). P Demostraci´on. decimos que es un isomorfismo. entonces el grupo de Galois de f (x) es Gal(E/F ). . Demostraci´on. . Haciendo F ∗ = F (α1 . Un poquito de teor´ıa de Galois Si σ es biyectiva. αn ). {α1 . entonces E = F (α1 ) y usando (2. αn ) es el cuerpo de descomposici´on de f (x) sobre F .3. . es claro que fija a cada uno de esos elementos. Lo probamos por inducci´on en n ≥ 1. Si F es un subcuerpo de un cuerpo E. Tomemos ahora γ ∈ G y consideremos γ −1 ∈ G como su inverso (que existe porque γ es un isomorfismo). As´ı. . Sean F un subcuerpo de K. Si F es un subcuerpo de E. tenemos el resultado.4. . σ(α) es ra´ız de f (x). . G forma un grupo con la composici´on. Lema 2.2. Sea f (x) ∈ F [x]. Sea e ∈ G dado por e(x) = x ∀x ∈ E y sea γ ∈ G. todo elemento de F ∗ (αh+1 ) es de la forma f (αh+1 )/g(αh+1 ) con f (x). . Definici´ on 2. como el grupo bajo composici´on de todos los automorfismos de E que fijan a F . Lema 2. Si n = 1. αn } ⊂ K y E = F (α1 . σ(a) = a ∀a ∈ F ). Sea f (x) = ai xi . Por hip´otesis inductiva. Si f (x) ∈ F [x] y E = F (α1 . Entonces.e. . (γ ◦ e)(x) = γ(e(x)) = γ(x) = e(γ(x)) = (e ◦ γ)(x) ∀x ∈ E Luego. Grupo de Galois 2. . entonces σ es la identidad.. entonces el conjunto de todos los autmorfismos de E que fijan a F forman un grupo bajo composici´on. Usando el mismo razonamiento que en el caso n = 1. g(x) ∈ F [x] y g(α1 ) 6= 0. Como σ es homomorfismo y σ(αi ) = αi ∀i. Usando nuevamente (2. Si K 0 es un cuerpo que contiene a F como subcuerpo y σ : E −→ K 0 es un homomorfismo que fija a F con σ(αi ) = αi ∀i. . Un isomorfismo σ : E −→ E se dice que es un automorfismo. e es el neutro de G. αh ). sea E su cuerpo de descomposici´on sobre F y sea σ : E −→ E un automorfismo que fija F (i.6.2.5. αh+1 ) = F ∗ (αh+1 ).2. ♣ Observaci´ on 2. entonces σ(α) tambi´en es una ra´ız de f (x). Asumamos que vale el enunciado para n = h y veamos que entonces vale para n = h + 1. notado Gal(E/F ). as´ı que solamente deber´ıamos ver que hay un neutro y un inverso. .2. Si α ∈ E es una ra´ız de f (x). definimos el grupo de Galois.

entonces ϕ(0) = 0 = ϕ(g(x)) − ϕ(h(x)) = ϕ(g(x) − h(x)) = ϕ(g(x) − h(x)) ´ltimo. Luego. σ fija a F (pues σ ∈ Gal(E/F )) y σ(αi ) = αi ∀i (pues ϕ(σ) = σ|X ). Sea σ ∈ Gal(E/F ) tal que ϕ(σ) = IdSX . ϕ(g(x) + (p(x)) + h(x) + (p(x))) = ϕ(g(x) + h(x) + (p(x))) = g(α) + h(α) = ϕ(g(x) + (p(x))) + ϕ(h(x) + (p(x))) Adem´as. Sea f (x) ∈ F [x] y sea X = {α1 . ϕ(σ ◦ ρ) = ϕ(σ) ◦ ϕ(ρ) y ϕ es un morfismo de grupos. Veamos que ϕ es un morfismo de grupos. Entonces.9. g(x) − h(x) = 0. entonces {1. Sea p(x) ∈ F [x] un polinomio irreducible de grado n. . Por el Lema 2. Entonces. es un morfismo de anillos: Sean g(x) + (p(x)). definimos la multiplicaci´on por un escalar como el producto aα de dos elementos de E). σ|X es una biyecci´on porque σ es inyectiva (σ es automorfismo) y X es finito. αn−1 } es una base de F (α) (visto como espacio vectorial sobre F ). As´ı. Entonces. Si F es un subcuerpo del cuerpo E.2. As´ı. Demostraci´on. ϕ es inyectiva. Veamos primero el siguiente isomorfismo de anillos F [x]/(p(x)) ∼ = F (α) via la funci´on ϕ : g(x) + (p(x)) 7→ g(α). es la dimensi´on de E. Veamos que ker(ϕ) = {IdE }. En efecto.3. Un poquito de teor´ıa de Galois Teorema 2. El grado de E sobre F . tenemos que σ(X) ⊂ X. αn } el conjunto de sus distintas ra´ıces (en su cuerpo de descomposici´on E = F (α1 . . ϕ es inyectiva. .4 tenemos que σ = IdE .2. Por u entonces f (α) = ϕ(f (x) + (p(x)). Si α es una ra´ız de p(x) (en un cuerpo de descomposici´on). por el Lema 2. Sean σ. porque si ϕ(g(x)) = ϕ(h(x)). . . . entonces E es un espacio vectorial sobre F (si a ∈ F y α ∈ E. ρ ∈ Gal(E/F ) y sea α ∈ X.2.2. . Proposici´ on 2. Grupo de Galois 2. ♣ Definici´ on 2. donde f (x) ∈ F [x]. . . ϕ(σ ◦ ρ)(α) = = (ϕ(σ) ◦ ϕ(ρ))(α) = = = (σ ◦ ρ)|X (α) = σ(ρ(α)) pues α ∈ X σ(β) β = ρ(α) ∈ X pues ρ(X) ⊂ X (σ|X ◦ ρ|X )(α) σ|X (ρ(α)) σ(β) pues β ∈ X Por lo tanto.7. αn ) sobre F ).2.8. Si tomamos f (α) ∈ F (α).2.2. . h(x) + (p(x)) ∈ F [x]/(p(x)). la funci´ on ∼ ϕ : Gal(E/F ) −→ SX = Sn dada por ϕ(σ) = σ|X es un morfismo de grupos inyectivo. α. ϕ est´a bien definido. . 9 . ϕ((g(x) + (p(x)))(h(x) + (p(x)))) = ϕ(g(x)h(x) + (p(x))) = g(α)h(α) = ϕ(g(x) + (p(x)))ϕ(h(x) + (p(x))) A partir de ahora usaremos la notaci´on g(x) + (p(x)) = g(x). . Por lo tanto. Demostraci´on. Sea σ ∈ Gal(E/F ). y g(x) = h(x). notado [E : F ]. α2 . es suryectiva. Entonces.

podemos escribir a los xj con j ≥ n usando (2. . . porque p(x) es irreducible. λ∗ es un homomorfismo de cuerpos. + bn−1 αn−1 elementos de F (α). En efecto. . .2) Veamos que B = {1. . . + bn−1 β n−1 = λ∗ (a0 + a1 α + .2. Por la proposici´on anterior. . .2. . . . . As´ı.2). pues 1 ∈ F . . + bn−1 αn−1 ) = = a0 + a1 β + . Por u ´ltimo. . .10. {1. β ra´ıces de p(x) en un cuerpo de descomposici´on de p(x) sobre F . . + an−1 αn−1 . Sea p(x) ∈ F [x] irreducible. xn−1 } genera a F [x]/(p(x)). pues podemos construir la inversa de la misma manera. . ♣ Lema 2. ♣ 10 . existir´ıa una combinaci´on lineal a0 α0 + a1 α + . Entonces. . x. + an−1 αn−1 + b0 + b1 α + . . . λ∗ (a0 + a1 α + . y eso es absurdo. Sean a0 + a1 α + . como son isomorfos. λ∗ n X i=0 ! ai α i n X !! bj α j = λ∗ j=0 = 2n X k X k=0 m=0 2n X k X k=0 m=0 n X = λ∗ am bk−m ! αk ! am bk−m βk ! n X ai α i i=0 ! λ∗ ! bj α j j=0 As´ı. . . αn−1 } generan F (α).2. . + an−1 αn−1 ) + λ∗ (b0 + b1 α + . . α. − a0 (2. . existe un isomorfismo λ∗ : F (α) −→ F (β) que fija a F y tal que λ∗ (α) = β. + an−1 αn−1 = 0 Pero eso significa que hay un polinomio de grado menor que n que anula a α. + an−1 αn−1 ) = a0 + a1 β + . . + an−1 β n−1 + b0 + b1 β + . Un poquito de teor´ıa de Galois Sea p(x) = xn + an−1 xn−1 + . . . Grupo de Galois 2. . . . Es un isomorfismo. podemos escribir xn = −an−1 xn−1 − . . Demostraci´on. . y sean α. Veamos que son linealmente independientes: Si no lo fueran. . todo elemento de F (α) tiene una u ´nica expresi´on de la forma a0 + a1 α + . Definimos λ∗ como λ∗ (a0 + a1 α + . Es claro que λ∗ (1) = 1. α2 . λ∗ (α) = λ∗ (0 + α) = 0 + β = β. + an−1 β n−1 Veamos que λ∗ es un homomorfismo de cuerpos. + a1 x + a0 . Como p(x) = 0 en F [x]/(p(x)). + bn−1 αn−1 ) Por otro lado. si q(x) es un polinomio de grado ≥ n. de forma que el polinomio quede escrito como una combinaci´on lineal de los elementos de B. . Entonces. + an−1 αn−1 y b0 + b1 α + . .

. . = λk = 0 Por lo tanto. Si d > 1.. bi = ai1 α1 + . am ∈ E tales que γ = b1 β1 + .2. si k = nm. Sean F ⊂ E ⊂ K cuerpos. . entonces E = K y toda ra´ız α1 . Entonces. + λ(an )xn ∈ F 0 [x]. existen a1 .2. . (λ1 α1 + . . . + λk αn βm = 0 Sacando factor com´ un los βj . . . + (am 1 α1 + . Si K es un “cuerpo intermedio”. Demostraci´on. . + λk αn )βm = 0 Pero λi αi ∈ E para 1 ≤ i ≤ n. Veamos que {αi βj : 1 ≤ i ≤ n. por lo que tenemos una combinaci´on lineal de los elementos de la base de K sobre E. + an xn ∈ F [x] un polinomio irreducible y sea p0 (x) = λ(a0 ) + λ(a1 )x + .2. Un poquito de teor´ıa de Galois Observaci´ on 2. . . ♣ Lema 2. Entonces. . F ⊂ K ⊂ E y λ : K −→ K es un automorfismo que fija a F . existe un isomorfismo λ∗ : F (α) −→ F 0 (β) con λ∗ (α) = β y λ∗ |F = λ. Sea f (x) ∈ F [x]. entonces existe un automorfismo λ∗ : E −→ E con λ∗ |K = λ. As´ı. son linealmente independientes. . . . . Finalmente. {αi βj : 1 ≤ i ≤ n. con coeficientes en F . En efecto. . + (λk−n α1 + . el gr p(x) = k > 1. . . i. . α es ra´ız de alg´ un factor irreducible (en K) p(x) de f (x). ain ∈ F . . . . αn de f (x) est´a en K. 1 ≤ j ≤ m} es una base de K sobre F . donde [K : E] y [E : F ] son finitos. . λ1 α1 + . . y sea E su cuerpo de descomposici´on sobre F . Grupo de Galois 2. . . . λ1 = . Proposici´ on 2. . sea α una ra´ız de p(x) y β una ra´ız de p0 (x) (en cuerpos de descomposici´on adecuados). . αn } base de E sobre F y sea B = {β1 . Entonces. Por la 11 .11. . + an αn )βm Distribuyendo. Son linealmente independientes.e. λk ∈ F tales que λ1 α1 β1 + . . Lo hacemos por inducci´on en d = [E : F ]. Sea γ ∈ K. Sea A = {α1 . . . + λn αn = . sea p(x) = a0 + a1 x + . . m γ = (a11 α1 + . Si d = 1. Demostraci´on. Existe una generalizaci´on de este lema con la misma demostraci´on. sean λ1 . para elementos ai1 . . Por lo tanto. + bm βm Pero como A es base de E sobre F . . . [K : F ] = [K : E][E : F ]. . . 1 ≤ j ≤ m} es una base de K sobre F y [K : F ] = [K : E][E : F ]. . . Como B es base de K sobre E. . + λn αn )β1 + . tenemos una combinaci´on lineal de k elementos de la forma αi βj . + λk αn = 0 Como A es base de E sobre F . . + ain αn . . βm } base de K sobre E. .12. . = λk−n α1 + . . . entonces E 6= K y hay alguna ra´ız α de f (x) que no est´a en K. .2. para cada 1 ≤ i ≤ m. As´ı. Como α 6∈ K. . y podemos tomar λ∗ = λ. Veamos que generan a K.13.2. + a1n αn )β1 + . . . . Sea λ : F −→ F 0 un isomorfismo de cuerpos.

2. Si lo fuese. 1. toda ra´ız de g(x) es de la forma ω i α para alg´ un i. para algunos t. concluimos que ϕ es inyectiva (por Lema 2. Si ϕ(σ) = [0]. Pero por la Proposici´on 2. porque Zp no tiene subgrupos propios. ω 2 α. porque x − α divide a f (x). existe una versi´on m´as general con la misma prueba: Si f (x) ∈ F [x].10 muestra que Gal(E/F ) 6= 1.2.12. Un poquito de teor´ıa de Galois versi´on generalizada del Lema 2.4).3. entonces cualesquiera dos cuerpos de descomposici´on de f (x) sobre F son isomorfos. Si σ ∈ Gal(E/F ). Por hip´otesis inductiva. ρ ∈ Gal(E/F ). entonces usando de nuevo la Proposici´on 2. y entonces 1 = ks + tp.1. . Rec`ıprocamente. Si α es una ra´ız de f (x) (en alg´ un cuerpo de descomposici´on). ϕ(σ ◦ ρ) = [i + j] = [i] + [j] = ϕ(σ) + ϕ(ρ) ϕ(Id) = [0] Por lo tanto.2. [K(α) : F ] 6= 1 y [E : K(α)] < d. . y como por estar en Gal(E/F ) ya fija a F . Por otro lado. ω p−1 α (por ser ω ra´ız primitiva de la unidad de orden p). entonces σ fija a α. Veamos que [K(α) : F ] 6= 1. 1. Sea ϕ : Gal(E/F ) −→ Zp dada por ϕ(σ) = [i]. As´ı. Pero (k. As´ı. Entonces.3. As´ı.2. Es inmediato a partir de la observaci´on de que las ra´ıces de f (x) son de la forma ω i α.3. σ ◦ ρ(α) = ω i ω j α = ω i+j α. ωα. Como f (x) es irreducible por hip´otesis. [E : K(α)][K(α) : F ] = d. Al igual que el lema anterior.12.3. el Lema 2. eso implicar´ıa que [K(α) : K] = 1. por el Lema 2. Como c y ω est´an en F . Teorema de Galois Teorema 2. ♣ Observaci´ on 2. entonces Gal(E/F ) ∼ = Zp .2. Teorema de Galois 2. entonces f (x) no es irreducible. El cuerpo de descomposici´on E de f (x) sobre F es F (α). Sea p primo. hay un β ∈ E y un isomorfismo λ1 : K(α) −→ K(β) que extiende a λ y que λ1 (α) = β. donde gr g(x) = k < p. ϕ es un morfismo de grupos.2. λ1 puede extenderse a un automorfismo de E y por lo tanto tambi´en puede λ. y sea f (x) = xp − a ∈ F [x]. digamos ω. . E es el cuerpo de descomposici´on de f (x) sobre K(α). 1 = [K(α) : K][K : F ].2. Si α ∈ F . α = αks+tp = (αk )s (αp )t ∈ F 2. Como las ra´ıces de f (x) son α. Veamos que es un morfismo de grupos: Sean σ.10. pues se obtiene adjunt´andole todas las ra´ıces de f (x). [K(α) : K] = k y hab´ıamos visto que k > 1. Demostraci´on. Si el t´ermino constante de g(x) es c. ♣ 12 .2. 3. Entonces. Si f (x) es irreducible. entonces c = ±ω r αk para alg´ un r (por ser c el producto de las ra´ıces). Por la Proposici´on 2. Id(α) = ω 0 α. con σ(α) = ω i α y ρ(α) = ω j α.9. s ∈ Z. ϕ es suryectiva.2. tenemos que αk ∈ F . . sea F un cuerpo conteniendo una ra´ız primitiva de la unidad de orden p. la clase de equivalencia de i m´odulo p. 2.14.2. p) = 1. Como son dimensiones de espacios vectoriales y son finitas. porque p es primo. entonces f (x) es irreducible sii α 6∈ F . 3. Entonces. entonces σ(α) = ω i α para alg´ un i. asumamos que f (x) = g(x)h(x).

σ|X : X −→ X es una biyecci´on.3 muestra que Gal(E/F ) act´ ua en X. j. Entonces. entonces λ es un automorfismo de K que fija a F .3. αn ) : p.3. . Φ(σ ◦ ρ) = (σ ◦ ρ)|K = σ|K ◦ ρ|K Un elemento de Gal(E/F ) est´a en el kernel de Φ si restringido a K es la identidad. . . Notemos primero que el Lema 2. sea E el cuerpo de descomposici´on de f (x) sobre F . Si σ ∈ Gal(K/F ).2. ker Φ = Gal(E/K). . Sea f (x) ∈ F [x]. αn ) 6= 0 E = F (α1 .e. Por otro lado. As´ı. αn )/q 0 (α1 . σ fija a F . . . . . . σ(e) = e0 = p0 (α1 .3. . Por u ´ltimo. por ser la restricci´on de un isomorfismo. q ∈ F [x1 . λ∗ ∈ Gal(E/F ) y Φ(λ∗ ) = λ∗ |K = λ. entonces σ|E ∈ Gal(E/F ). el mismo argumento muestra que σ|E es suryectiva. Rec´ıprocamente. que es un subgrupo normal (por ser ker). . entonces   p(α1 . . Pero Gal(E/F ) act´ ua transitivamente en las ra´ıces de f (x).3. entonces e = p(α1 . . .3. . . σ(E) ⊂ E. . y sea K un cuerpo de descomposici´on sobre E de alg´ un g(x) ∈ E[x].2. En efecto. Sea σ ∈ Gal(K/F ). αi 6= βj ∀i. si tomamos e ∈ E. . . En E[x]. . Un poquito de teor´ıa de Galois Teorema 2. por lo que s´olo habr´ıa que ver que σ es un automorfismo de E. el Lema 2. Si tomamos λ ∈ Gal(K/F ). f (x) no tiene factores de la forma (x − α)2 en E[x]). Veamos que Φ es suryectiva. Teorema de Galois 2. El primer teorema del isomorfismo completa la demostraci´on.10 nos dice que Gal(E/F ) act´ ua transitivamente en X. αn ) = q(α1 . . . . σ|E es inyectiva.. Demostraci´on. y esto contradice el Lema 2. Idx = x. ♣ 13 . y asumamos que f (x) no tiene ra´ıces repetidas en E (i. dada por Φ(σ) = σ|K . entonces existe σ ∈ Gal(E/F ) con σ(α1 ) = β1 . σx ∈ X (por el lema). Como f (x) no tiene ra´ıces repetidas. ♣ Teorema 2. αn ) ∈ E. . Veamos que es un morfismo de grupos: Φ(Id) = Id|K = Id ∈ Gal(K/F ) Sean σ. Gal(E/K) C Gal(E/F ) y Gal(E/F )/Gal(E/K) ∼ = Gal(K/F ) Demostraci´on. . Sean F ⊂ K ⊂ E cuerpos. . . .3. por lo que debe ser un automorfismo que fije a K. Por lo tanto. . αn )/q(α1 . La funci´on Φ : Gal(E/F ) −→ Gal(K/F ). αn ). As´ı. . Q g(x) = (x − αi ) y h(x) = (x − βj ). σ manda ra´ıces en ra´ıces (de hecho si X es el conjunto de las ra´ıces.2. ρ ∈ Gal(E/F ). supongamosQque existe una factorizaci´on f (x) = g(x)h(x) en F [x]. porque es inyectiva).2. . σ(ρx) = (σ ◦ ρ)x. donde K y E son cuerpos de descomposici´ on de polinomios sobre F . .3. . Pero por el Lema 2. y por el Lema 2.2. si x ∈ X y σ. Entonces. Luego. f (x) es irreducible sii Gal(E/F ) act´ ua transitivamente en el conjunto X de todas las ra´ıces de f (x). .13 puede ser extendido a un automorfismo λ∗ de E. . Demostraci´on. xn ] q(α1 .2. .4. Entonces. . αn ) As´ı. Sea E un cuerpo de descomposici´on sobre F de alg´ un f (x) ∈ F [x]. ♣ Proposici´ on 2. ρ ∈ Gal(E/F ). . αn son las ra´ıces de f (x). Si α1 . est´a bien definida (por la proposici´on anterior). .2. . Si f (x) es irreducible.

αp1 . el Teorema 2. t ∈ Z. Gt = 1 y G0 = H0 ∩ G = Gal(Kt /F ) ∩ G = G. ♣ Teorema 2.3. . aplicamos Bhaskara y obtenemos √ √ 1± 1−4 1 ± 3i 3 x = = 2 s 2√ 3i 3 1 ± =⇒ x = 2 14 . donde r0 = p1 . Entonces. Demostraci´on. El u p1 α ∈ Kt−1 . sea E el cuerpo de descomposici´on de f (x) sobre F .3.5. sea F un cuerpo que contiene a todas las ra´ıces p-´esimas de la unidad para todo primo p que divide a n!.2. αr1 ). para todo i. Si f (x) es soluble por radicales. n es primo y F (α) = K1 . . por el = Gal(Ki+1 /Ki ).3. Sea f (x) ∈ F [x] un polinomio de grado n. Un poquito de teor´ıa de Galois Proposici´ on 2. r. y sea E el cuerpo de descomposici´on de f (x) sobre F . . As´ı. As´ı. Si n no es primo.3. ≥ Gt = 1 2. ♣ Observaci´ on 2. ⊂ Kt = F (α) p(i) con Ki+1 = Ki (βi+1 ). n = p1 . entonces existen subgrupos Gi ≤ G = Gal(E/F ) tales que 1. . que Hi+1 = Gal(Kt /Ki+1 )C Gal(Kt /Ki ) = Hi y Hi+1 /Hi ∼ ´ltimo grupo es isomorfo a Zp . Entonces. Gi+1 C Gi ∀i 3.7.3. podemos escribir n = rt y (αr )t . Si n es primo. ⊂ Kt con E ⊂ Kt y Ki+1 = Ki (βi+1 ). βi+1 ∈ Ki y p(i) es primo para todo i. tenemos que F (α) = Kt . . Sea f (x) = xn − a ∈ F [x]. donde βi+1 ∈ Ki+1 y alguna potencia de βi+1 est´a en Ki . y sea α ∈ E una ra´ız n-´esima de a. . αrh ). Ejemplo 2. toda potencia de α est´a en F (α). (αr0 )t = αn = a ∈ F = K0 . existe subcuerpos F = K0 ⊂ K1 ⊂ . El Teorema 2. .3. (αr1 )ph−1 = αr0 ∈ K1 . As´ı. como se ve en el siguiente ejemplo. 1831). Por el Teorema fundamental de la aritm´etica. y entonces ´ltimo es Kt = Kt−1 (α) = F (αp1 . Sea f (x) = x6 −x3 +1 ∈ Q[x]. . Como F (α) es un cuerpo y α ∈ F (α). As´ı. . definimos Kh+1 := Kh (αrh ) = F (αr0 . tomamos F = K0 y K1 = K0 (α). Ya tenemos 1. Escribiendo f (x) = (x3 )2 − (x3 ) + 1. . ph = r0 t.4 muestra. . Por la proposici´on anterior. Como f (x) es soluble por radicales.3.. αn ∈ K0 .6 (Galois. podemos asumir que alguna potencia prima de βi+1 est´a en Ki+1 . G = G0 ≥ G1 ≥ . Luego. . .3. Gi /Gi+1 es c´ıclico de orden primo para todo i. K2 := K1 (αr1 ) = K0 (αr0 . Definamos Hi = Gal(Kt /Ki ) y Gi = Hi ∩ G. que es soluble (como veremos a continuaci´on) y tiene grado 6. Entonces. . . Siguiendo con la misma idea. La hip´otesis de que F contiene varias ra´ıces de la unidad puede ser eliminada. Definamos K1 := F (αr0 ) y llamemos r1 = p1 .. . . . existen subcuerpos F = K0 ⊂ K1 ⊂ .1 muestra que Ki+1 es un cuerpo de descomposici´on sobre Ki . α). Demostraci´on. Este u Teorema 2. (αp1 )p2 = αrh−1 ∈ Kh−1 .1.8. . ph−2 . Teorema de Galois 2. ph−1 y t = ph .ph−1 . . Como F contiene ra´ıces de la unidad.

Entonces. .10. ω2 )/Q(ω1 )) = Z3 . la longitud es el n´ umero de grupos factores no triviales. n − 1. llamando ω2 a una ra´ız de h(x).1).3. . Q ⊂ Q(ω1 ). Con esta terminolog´ıa. ω23 ∈ Q(ω1 ) y Gal(Q(ω1 ..6 y su rec´ıproca dicen que un polinomio es soluble por radicales si y s´olo si su grupo de Galois es un grupo soluble. en ning´ un momento usamos a todas las ra´ıces p-´esimas para todos los primos p que dividen a 6!. donde [Q(ω1 . ω2 ). ≥ Gn = 1 donde Gi+1 C Gi para todo i. . 15 . . que es irreducible en Q y tiene a ω1 como ra´ız. 1. el Teorema 2.11. Los grupos factores de esta serie normal son los grupos Gi /Gi+1 para i = 0.3. Teorema de Galois 2. Ahora consideremos h(x) = x3 − (1 + ω1 )/2 ∈ Q(ω1 ). con [Q(ω1 ) : Q] = 2. Un grupo finito G se dice soluble si tiene una serie normal cuyos grupos factores son c´ıclicos de orden primo.3. ω2 ) : Q(ω1 )] = 3. Una serie normal de un grupo G es una sucesi´on de subgrupos G = G0 ≥ G1 ≥ .2.3. puesto que la normalidad no es transitiva. Sin embargo. la longitud de la serie normal es el n´ umero de inclusiones estrictas. ω12 ∈ Q y Gal(Q(ω1 )/Q) = Z2 (por el Teorema 2. As´ı. Un poquito de teor´ıa de Galois √ Llamemos ω1 = 3i y consideremos g(x) = x2 + 3.e. i. .3. Notar que los grupos factores son los u ´nicos grupos cocientes que siempre se pueden formar a partir de una serie normal. Definici´ on 2. tenemos que Q(ω1 ) ⊂ Q(ω1 . Definici´ on 2.9. Observaci´ on 2. .3.

♣ La proposici´on anterior nos muestra que cierta informaci´on sobre G puede divisarse a partir de una serie normal. Hn . n Y i=0 |Hi | = n Y |Gi | |G0 | |G1 | |Gn | = · · . Definici´ on 3. . . Proposici´ on 3. . ≥ Gn = 1 si G0 . ≥ Gn = 1 donde para todo i. Sea G = G0 ≥ G1 ≥ . . As´ı.3. Consideremos dos series de composici´on de G = hxi ∼ = Z30 (la normalidad es autom´atica porque G es abeliano): G ≥ hx5 i ≥ hx10 i ≥ 1 16 .2. un refinamiento es una serie normal que contiene a cada uno de los t´erminos de la serie original. Una serie normal G = H0 ≥ H1 ≥ .. sino que tambi´en aporta una nueva idea (las series normales) al estudio de los grupos. ≥ Gn+1 = 1. . . . · = |G| |G | |G | |G | |G | i+1 1 2 n+1 i=0 pues |Gn+1 | = |1| = 1. |Hi | = |Gi | |Gi+1 | As´ı. . .3. . . entonces |G| = |Hi | Demostraci´on. H1 . Las series normales nos dar´an resultados al permitirnos examinar una familia de subgrupos con o´rdenes diferentes. 3. . . pues s´olo puede repetir algunos de los t´erminos originales. Una serie de composici´on es una serie normal G = G0 ≥ G1 ≥ . Todo refinamiento de una serie de composici´on es tambi´en una serie de composici´on. Entonces. Zassenhaus y Schreier 3.1. Gn es una subsucesi´on de H0 . Si G es unQ grupo finito que tiene una serie normal con grupos factores H0 .1..1. . Hm . Como G es finito. por el teorema de Lagrange. ≥ Hm = 1 es un refinamiento de una serie normal G = G0 ≥ G1 ≥ .1. H1 . G1 . Gi+1 es un subgrupo maximal normal de Gi o Gi+1 = Gi . . Zassenhaus y Schreier Definici´ on 3. Hi = Gi /Gi+1 . . El Teorema de Jordan-H¨older El Teorema de Jordan-H¨ older La teor´ıa de Galois no s´olo enriquece el estudio de polinomios y cuerpos. . . . 3. .1.1.

5 (Lema de Zassenhaus. axa0 x0 = 00 a xx0 . por lo que xD = Dx. Dx ⊂ Dx0 . como c ∈ A. Las dos series de composici´on de arriba para Z30 son equivalentes. entonces dx = d(xx0−1 )(x0 x−1 )x = (dxx0−1 )x0 . hx2 i/hx6 i ∼ = Z3 . An´alogamente. Entonces. donde a0 ∈ (A ∩ B ∗ ) ⊂ A y x0 ∈ (A∗ ∩ B). si definimos D = (A ∩ B ∗ )(A∗ ∩ B). En efecto. Por lo tanto. donde a00 = a(xa0 x−1 ) ∈ A (pues A C A∗ ). Veamos que (A ∩ B ∗ ) C (A∗ ∩ B ∗ ): Si c ∈ (A ∩ B ∗ ) y x ∈ (A∗ ∩ B ∗ ). una generalizaci´on del segundo teorema del isomorfismo. As´ı. Veamos que est´a bien definida: Si ax = a0 x0 . entonces xx0−1 = a−1 a0 . x ∈ B ∗ . Zassenhaus y Schreier 3.1. tenemos que 17 . Sean A C A∗ y B C B ∗ cuatro subgrupos de un grupo G. tenemos que dx ∈ Dx0 . El siguiente resultado t´ecnico. como el n´ ucleo de un morfismo es normal en el dominio. xcx−1 ∈ B ∗ . Por lo tanto. Por otro lado. x ∈ A∗ y A C A∗ . y hx10 i/1 ∼ = hx10 i ∼ = Z3 . Sean ax. Sea d ∈ D. Sea ax ∈ ker f . Le damos un nombre a este fen´omeno: Definici´ on 3. x ∈ (A∗ ∩ B ∗ ) y entonces xD = f (ax). Veamos que f es suryectivo y que ker f = A(A∗ ∩ B). xcx−1 ∈ A. Por otro lado. Dado xD ∈ (A∗ ∩ B ∗ )/D. entonces f (ax) = xD = D. xx0−1 = a−1 a0 ∈ (B ∗ ∩ A∗ ) ∩ A = A ∩ B ∗ ≤ D. A(A∗ ∩ B) C A(A∗ ∩ B ∗ ) B(B ∗ ∩ A) C B(B ∗ ∩ A∗ ) y existe un isomorfismo A(A∗ ∩ B ∗ ) ∼ B(B ∗ ∩ A∗ ) = A(A∗ ∩ B) B(B ∗ ∩ A) Demostraci´on. hx5 i/hx10 i ∼ = Z2 . En este caso. f (axa0 x0 ) = f (a00 xx0 ) = xx0 D = f (ax)f (a0 x0 ). Veamos que es un morfismo de grupos. Lo genial de esto es que es cierto para todo grupo (posiblemente infinito) que tenga una serie de composici´on. tenemos que D C (A∗ ∩ B ∗ ) (por estar generado por dos subgrupos normales). Lema 3.1.3. Rec´ıprocamente. las dos series de composici´on tienen la misma longitud y los grupos factores pueden agruparse de a pares de “forma isomorfa” luego de reacomodarlas. dx0 = dx0 x−1 xx0−1 x0 = (dx0 x−1 )x ∈ Dx. (A∗ ∩ B) C (A∗ ∩ B ∗ ). ax = aa0 x0 = A(A∗ ∩ B). Dos series normales de un grupo G son equivalentes si existe una biyecci´on entre sus grupos factores tal que dos grupos relacionados son isomorfos. ser´a usado para probar este hecho.4. Sea f : A(A∗ ∩ B ∗ ) −→ (A∗ ∩ B ∗ )/D dada por f (ax) = xD. a0 x0 ∈ A(A∗ ∩ B ∗ ). series normales equivalentes tienen la misma longitud. y como c. la otra inclusi´on es trivial: Si ax ∈ A(A∗ ∩ B). Pero como xx0−1 ∈ D (por lo anterior). As´ı. para cualquier a ∈ A y ax ∈ A(A∗ ∩ B ∗ ). donde a0 ∈ A y x0 ∈ (A∗ ∩ B ∗ ). Por supuesto. entonces xcx−1 ∈ (A ∩ B ∗ ). porque x ∈ (A∗ ∩ B) ⊂ D. x ∈ D = (A ∩ B ∗ )(A∗ ∩ B). 1934). D es normal.1. As´ı. donde a ∈ A y x ∈ (A∗ ∩ B ∗ ). y hx6 i ∼ = Z5 . Entonces f (ax) = xD = D. Como xx0−1 ∈ B ∗ ∩ A∗ y a−1 a0 ∈ A. El Teorema de Jordan-H¨older G ≥ hx2 i ≥ hx6 i ≥ 1 Los grupos factores de la primer serie normal son G/hx5 i ∼ = Z5 . As´ı. Los grupos factores de la segunda serie normal son G/hx2 i ∼ = Z2 . Entonces. por lo que x = a0 x0 . tenemos que xD = Dx = Dx0 = x0 D y f (ax) = f (a0 x0 ). As´ı.

≥ Gn = 1 y G = H0 ≥ H1 ≥ .m = 1 es un refinamiento de la primer serie normal (con nm t´erminos).3. ≥ Gn−1. ambos refinamientos son equivalentes. ♣ Teorema 3.j es definido como Hi.2. . As´ı.j y H0.2. tomando A = Gi+1 . y por el Lema de Zassenhaus (con A = Gi+1 . . . si Hi. Cualesquiera dos series de composici´on de un grupo G son equivalentes.j ≥ Hi+1. An´alogamente. . la serie G0.j /Hi+1.m = Gi+1 (Gi ∩ 1) = Gi+1 . ≥ H0. ♣ 18 . ≥ Hn. . Demostraci´on. Demostraci´on.6 (Teorema del refinamiento de Schreier. y por el teorema de Schreier tienen refinamientos equivalentes. M´as precisamente.j = Hj+1 (Hj ∩ Gi ). Pero una serie de composici´on es una serie normal de longitud m´axima. . .j = Gi+1 (Gi ∩ Hj ) ∀0 ≤ j ≤ m.0 ≥ H0. Finalmente.j . entonces Hi.m ≥ G1. . .0 . Cualesquiera dos series normales de un grupo arbitrario G tienen refinamientos equivalentes. Teorema de Jordan-H¨older 3. . ≥ Hm = 1 series normales.j+1 C Gi.0 ≥ .0 ≥ H1. ≥ G0.j = Gi+1 (Gi ∩ Hj ) ≥ Gi+1 (Gi ∩ Hj+1 ) = Gi. definamos Gi. Si tomamos dos series de composici´on de un grupo G. . . ≥ Gn−1.1 ≥ . Insertemos una “copia” de la segunda serie entre cada Gi y Gi+1 . el Lema de Zassenhaus muestra que Gi. .1. B = Hj+1 y B ∗ = Hj .0 ≥ G0. dos series de composici´on de G son equivalentes. Sean G = G0 ≥ G1 ≥ . aplicando el Primer teorema del isomorfismo tenemos: A(A∗ ∩ B ∗ ) ∼ B ∗ ∩ A∗ = A(A∗ ∩ B) D Intercambiando los s´ımbolos A y B tenemos otro isomorfismo entre el correspondiente grupo cociente y (B ∗ ∩ A∗ )/D.1 (Jordan-H¨older). A∗ = Gi . Por lo tanto. pues un refinamiento de ella es simplemente repetir algunos de sus t´erminos y eso implica que los nuevos grupos factores tienen orden 1.j+1 7→ Hi.m−1 = 1 es un refinamiento de la segunda serie normal (con nm t´erminos). la funci´on Gi. ♣ 3.j+1 Notemos que Gi.1 . . B = Hj+1 y B ∗ = Hj ) tenemos que los grupos factores correspondientes son isomorfos. . El Teorema de Jordan-H¨older ker f = A(A∗ ∩ B) C A(A∗ ∩ B ∗ ). Teorema de Jordan-H¨ older Teorema 3. Por u ´ltimo. . As´ı. Gi.j /Gi. As´ı.2.0 ≥ . 1928). ≥ Hn. tenemos que son series normales.0 = Gi+1 (Gi ∩ H0 ) = Gi+1 (Gi ∩ G) = Gi+1 Gi = Gi y que Gi.m−1 ≥ .j es biyectiva. M´as a´ un. A∗ = Gi .

entonces .2.2. Otra definici´on de solubilidad 4. C.1. ... Si G = hxi es c´ıclico de orden n. ≥ hxp1 p2 . . . entonces los grupos factores de esta serie son llamados factores de composici´on de G. entonces G = hxi ≥ hxp1 i ≥ hxp1 p2 i ≥ . si tomamos hxp1 i y hxp1 p2 i (tomamos estos para simplificar la notaci´on). donde los pi son primos (no necesariamente distintos). Jordan (1868) prob´o que los ´ordenes de los factores de composici´on de un grupo finito dependen s´olo de G. En efecto. por lo que es una serie de composici´on. Pero los grupos factores tienen ´ordenes primos p1 . pt . Demostraci´on.2. O.4 (Teorema fundamental de la aritm´etica). p2 . Observaci´ on 3. . Grupos solubles Definici´ on 3.2. salvo isomorfismos. . Sea n = p1 p2 . .3.4. Los primos y sus multiplicadades en la factorizaci´on de un entero n ≥ 2 son determinados por n. . Corolario 3.pt−1 i ≥ 1 es una serie normal. . Si G tiene una serie de composici´on. dependen s´olo de G. respectivamente. H¨older (1889) prob´o que los factores de composici´on. pt .

p .

.

hx 1 i .

.

.

.

hxp1 p2 i .

Empecemos por dar otra definici´on de solubilidad que nos es m´as conveniente para trabajar. Sn no es soluble. ♣ Recordemos que un grupo finito G es soluble si tiene una serie normal cuyos grupos factores son c´ıclicos de orden primo. Si n ≥ 5. . . forman una clase de grupos de inter´es tambi´en para la teor´ıa de grupos.5. Pero |An | = |Sn |/2. i. cuyos factores de composici´on son Z2 y An . 19 .. los primos p1 . el orden de H dividir´ıa al orden de hxp1 i. Demostraci´on. es suficiente con revisar una sola serie de composici´on de G. Pero entonces la desigualdad no podr´ıa ser estricta. p2 . para verificar que un grupo no es soluble uno revisa si toda serie de composici´on tiene todos sus grupos factores c´ıclicos. por lo que hxp1 p2 i es un subgrupo maximal de hxp1 i. Entonces. por el teorema de Jordan-H¨older. entonces Sn no es soluble.2. Pero por Jordan-H¨older. Entonces. = p2 Si existiese un subgrupo H de hxp1 i tal que hxp1 p2 i ≤ H. y por lo tanto no es primo. Como An es un grupo simple para n ≥ 5 (ver Ap´endice). Grupos solubles Aunque los grupos solubles aparecen en el contexto de la Teor´ıa de Galois. pt dependen s´olo de n. . Teorema 3. n/(p1 p2 ) ≤ |H| ≤ n/p1 . por lo que |hxp1 p2 i| ≤ |H| ≤ |hxp1 i|. . por Lagrange. ♣ 4.e.la serie normal Sn ≥ An ≥ 1 es una serie de composici´on. As´ı.

daremos otra caracterizaci´on de solubilidad que nos proporcionar´a nuevas demostraciones de estos resultados. existe un elemento a de orden p. pues el Segundo Teorema del Isomorfismo nos dice que H ∩ Gi+1 = (H ∩ Gi ) ∩ Gi+1 C H ∩ Gi ∀i. Ahora. Gi (Gi+1 N ) Gi N Gi ∼ = = Gi ∩ (Gi+1 N ) Gi+1 N Gi+1 N donde la igualdad es porque Gi Gi+1 = Gi . Sea G un grupo finito y supongamos que existe una serie normal cuyos grupos factores son c´ıclicos de orden primo. tenemos que N Gi ≤ G ∀i. Por lo tanto.1. G es c´ıclico de orden primo. Veamos que ambas definiciones de grupo soluble finito son equivalentes. Pero todo grupo c´ıclico de orden primo p es isomorfo a Zp .2. y todo grupo abeliano simple finito es c´ıclico de orden primo. Como Gi /Gi+1 es abeliano (pues es un grupo factor de una serie soluble). . G/N es un grupo soluble. . Entonces. Ahora buscamos aplicar el Tercer Teorema del Isomorfismo.1. Demostraci´on.1. Con una notaci´on obvia: (gi n)Gi+1 N (gi n)−1 ≤ gi Gi+1 N gi−1 = gi Gi+1 gi−1 N ≤ Gi+1 N La primera desigualdad se debe a que n(Gi+1 N )n−1 ≤ N Gi+1 N ≤ (Gi+1 N )(Gi+1 N ) = Gi+1 N (pues Gi+1 N es un subgrupo de G).1. G = hai. As´ı. Rec´ıprocamente. Sea G = G0 ≥ G1 ≥ . ≥ Gn = 1 es una serie soluble (de G). As´ı.1. si n = |G|. . Otra definici´on de solubilidad 4. Grupos solubles Otra definici´ on de solubilidad Definici´ on 4. consideremos la serie H = H0 ≥ (H ∩ G1 ) ≥ .1. entonces existe un primo p que lo divide. En efecto. tenemos una suryecci´on Gi /Gi+1 −→ Gi N/Gi+1 N .4. Como N C G.3. Pero como G es simple. Esta es una serie normal de H. pues Gi+1 C Gi y N C G. . Veamos que Gi+1 N CGi : sean g ∈ Gi y gi+1 n ∈ Gi+1 N . Todo subgrupo H de un grupo soluble G es soluble. la u ´ltima desigualdad se debe a que Gi+1 C Gi . Teorema 4. Una serie soluble de un grupo G es una serie normal cuyos grupos factores son abelianos. ≥ Gt N = N ≥ 1 Veamos que es una serie normal.1. Como Gi /Gi+1 es c´ıclico de orden primo. y por lo tanto es abeliano. Componiendo con lo de arriba. . Por el Teorema 1. su imagen es c´ıclica de orden primo o es el subgrupo trivial. (H ∩ Gi )/(H ∩ Gi+1 ) ∼ = Gi+1 (H ∩ Gi )/Gi+1 ≤ Gi /Gi+1 . Todo cociente G/N . ≥ (H ∩ Gn ) = 1. As´ı.24. H tiene una serie soluble. Por el Segundo Teorema del Isomorfismo. existe una sucesi´on de subgrupos G = G0 N ≥ G1 N ≥ . podemos aplicar el Tercer Teorema del Isomorfismo para obtener una suryecci´on Gi /Gi+1 −→ Gi /(Gi ∩ Gi+1 N ). . Un grupo G es soluble si tiene una serie soluble. la igualdad se debe a que N gi−1 = gi−1 N (pues N C G y las coclases a derecha y a izquierda coincidan). 4. . ggi+1 g −1 gng −1 ∈ Gi+1 N . N C G. Observaci´ on 4. de un grupo soluble G es un grupo soluble. M´as adelante.1. . Ahora construiremos grupos solubles. Gi ∩ Gi+1 N C Gi y como Gi+1 ≤ Gi ∩ Gi+1 N y Gi+1 C Gi .4. Si G = G0 ≥ G1 ≥ . todos sus subgrupos son abelianos. la serie de composici´on de un grupo finito tiene longitud finita. ♣ Teorema 4. As´ı. Demostraci´on. ≥ Gt = 1 una sucesi´on de subgrupos como en la definici´on de grupo soluble. ♣ 20 .

por el teorema anterior.1..1. 21 . En efecto. . . . Una u ´ ltima definici´ on de solubilidad Otra aproximaci´on a solubilidad es mediante subgrupos conmutadores. Grupos solubles Teorema 4. si ϕ(H) = H para todo automorfismo ϕ de G. ♣ Teorema 4.1. Si |G| = 1. entonces G es soluble. Definici´ on 4. Por lo tanto. ≥ Kn∗ = 1 una serie soluble. Si H y K son grupos solubles. entonces H × K es soluble. Demostraci´on. Si G = H × K.e.6. podemos construir una sucesi´on parecida al comienzo de una serie soluble de G a H. entonces H car G. obtenemos una serie soluble para G. Una u ´ltima definici´on de solubilidad 4. Un subgrupo H de G es llamado caracter´ıstico en G. notado H car G.5. . G(i+1) es el subgrupo conmutador de G(i) .1.1. por lo que ϕ(H) ≤ H y ϕ−1 (H) ≤ H. ≥ Kn = H ∗ ) es abeliano.2. tanto ϕ como ϕ−1 son automorfismos de G. Como todo grupo abeliano es soluble. tiene una serie donde Ki+1 C Ki y Ki /Ki+1 (∼ = Ki∗ /Ki+1 soluble. Por Teorema 1. Definici´ on 4. H = ϕϕ (H) ≤ ϕ(H). ♣ Corolario 4.2. Z(G) es soluble. si unimos estas dos series junto a H. . . es llamada serie derivada de G. As´ı. hay subgrupos Ki (con H ≤ Ki y Ki /H ∼ = Ki∗ ) tales que G ≥ K1 ≥ K2 ≥ . Esto u ´ltimo nos da la otra −1 inclusi´on: Como ϕ es inyectiva. es conveniente introducir un nuevo tipo de subgrupo. entonces H C G y G/H ∼ = K. es soluble.2. Supongamos que |G| = ph+1 . por hip´otesis inductiva. La prueba es por inducci´on en |G|. G = p0 = 1 y es soluble. As´ı. G/Z(G) es un p-grupo (por el Teorema de Lagrange) de orden < |G|. i.7. La serie G = G(0) ≥ G(1) ≥ G(2) ≥ .38. Si ϕ(H) ≤ H para todo automorfismo ϕ. Los subgrupos conmutadores de orden superior de G se definen inductivamente: G(0) = G G(i+1) = (G(i) )0 Es decir.2.4. G es soluble. Demostraci´on. Como H es soluble. Un automorfismo de un grupo G es un isomorfismo ϕ : G −→ G. Para ver que los subgrupos conmutadores de orden superor son subgrupos normales de G. ♣ 4. |Z(G)| = 6 1. Todo p-grupo finito G es soluble. Si H C G y tanto H como G/H son solubles. Por el teorema de correspondencia. Entonces.2. Demostraci´on. ϕ(H) = H. Sea G/H ≥ K1∗ ≥ K2∗ ≥ .

Una u ´ltima definici´on de solubilidad 4.2. sea γ : G −→ G dada por γ(x) = axa−1 . . Dado z ∈ G. Si G = G0 ≥ G1 ≥ . ♣ Todo esto nos dice que una serie derivada de un grupo G es una serie normal si termina en 1. y por lo tanto normales. la conjugaci´on por a (i. Para el paso inductivo. ♣ Ahora s´ı. (ϕ|K )(H) ≤ H. As´ı.2. Si i = 0. 1. Pero multiplicando a derecha por a y a izquierda por a−1 . Grupos solubles Para cada a ∈ G. Como H car K. Por lo tanto.5. entonces aha−1 = ϕ(h) ∈ H. γ(H) = aHa−1 = H.3. Recoremos que el subgrupo conmutador G0 = G(1) es generado por todos los conmutadores.2. entonces H C G. Por lo tanto. 22 . Veamos 1. y como H car K.1. Lema 4. 2. Lo hacemos por inducci´on en i ≥ 1. Como no pod´ıa ser de otra manera.. ♣ Teorema 4. como quer´ıamos. entonces ϕ(aba−1 b−1 ) = ϕ(a)ϕ(b)ϕ(a)−1 ϕ(b)−1 tambi´en es un conmutador. Si H car K y K car G.2. el Teorema 1. En efecto. Por lo tanto.31 nos dice que Gi+1 ≥ G0i . veamos que es suryectiva. ϕ|K es un automorfismo de K. Para todo grupo G. entonces G0 = G = G(0) . Gi+1 ≥ G(i+1) . los subgrupos conmutadores de orden superior son caracter´ısticos. Demostraci´on. pues si γ(x) = γ(y). i.e. 2. x 7→ axa−1 ) es un automorfismo de G. Si H car K y K C G. Por lo tanto. Sea H. La hip´otesis inductiva nos dice que Gi ≥ G(i) . entonces H car G. Lema 4. Es inyectivo. γ(e) = aea−1 = aa−1 = e γ(xy) = axya−1 = axa−1 aya−1 = γ(x)γ(y) As´ı. γ es un morfismo de grupos. Demostraci´on. entonces la serie derivada desciende m´as r´apido que cualquier otra serie soluble. De lo anterior se deduce que si H car G. Esto dice que si h ∈ H. ≥ Gn = 1 es una serie soluble. Por lo que H C G.e. Para el paso inductivo.4. H C G. entonces Gi ≥ G(i) para todo i. ϕ(G0 ) ≤ G0 y G0 car G. acabamos de mostrar que G(i+1) car G(i) . y la restricci´on ϕ|K : K −→ K es un automorfismo de K. Si ϕ es un automorfismo de G. puesto que Gi /Gi+1 es abeliano (pues la serie es soluble). usando el ´ıtem 1 del lema anterior vemos que G(i+1) car G. Por u ´ltimo. El resultado siguiente muestra que si G es soluble. entonces G0i ≥ (G(i) )0 = G(i+1) . z = a(a−1 za)a−1 . Como KCG. . Si ϕ es un automorfismo de G. Demostraci´on. tenemos que x = y. Veamos que es un isomorfismo. y como G(i) car G (por hip´otesis inductiva). tenemos que ϕ(H) = (ϕ|K )(H) = H. Sea a ∈ G y sea ϕ : G −→ G la conjugaci´on por a. una tercer y u ´ltima definici´on de grupo soluble. Dados x.. y ∈ G. γ es un automorfismo de G. la prueba es por inducci´on en i ≥ 0. entonces ϕ(K) = K. entonces axa−1 = aya−1 . H car G. K ≤ G. por todos los elementos de la forma aba−1 b−1 .4.

3). H = 1 o H = V . ♣ As´ı.2. . Demostraci´on. tenemos que cumple conmutativdad. Demostraci´on. Como G es soluble. S es el u ´nico p-subgrupo de Sylow. . Proposici´ on 4. . . .2. Sea G = Zp ×.2. En particular. .2. . . los grupos factores son abelianos. ♣ Corolario 4. p Consideremos A = {x ∈ V : x = 1} y sea ψ un automorfismo de V . . Si G es un grupo finito soluble. Por el Teorema 4. As´ı. asociatividad. 23 . Una u ´ltima definici´on de solubilidad 4.2. A car V . Un p-grupo elemental abeliano G es un espacio vectorial sobre Zp y todo morfismo ϕ : G −→ G es una transformaci´on lineal. . entonces G act´ ua en V como un grupo de transformaciones lineales. . Gi ≥ G(i) para todo i. por lo que V 0 = 1 o V 0 = V . entonces la serie derivada es una serie normal. Como V es normal en G y S car V (como V es abeliano. existencia de neutro (el (0. .6. As´ı. abvn ) = a(bv0 .3. Por lo tanto G(n) = 1. Como V es minimal. . As´ı. Sea p||V |.1. Entonces. . .1. entonces (ab)v = (abv0 . es una serie soluble para G. Si tomamos y ∈ A. . Rec´ıprocamente. .3 muestra que si H car V . . V 0 = 1 y por lo tanto V es abeliano (Teorema 1.31). v ∈ G.2. si G(n) = 1. . . V = S. Sea V un subgrupo normal minimal.×Zp . . En particular. Pero entonces. entonces ψ(y)p = ψ(y p ) = ψ(1) = 1.31.8. Veamos que |V | es divisible por un u ´nico primo. y |S| = |ϕ(S)| para cualquier automorfismo ϕ de V ). a ∈ Zp . .10. ϕ(u + v) = ϕ(u) + ϕ(v) por ser morfismo ϕ(av) = ϕ(v + . Por lo tanto. Teorema 4. . Sea ϕ : G −→ G un morfismo de grupos y sean u. . un ) + (−u1 . Definiendo la suma coordenada a coordenada. V es un p-grupo abeliano. . . + ϕ(v) = aϕ(v) ♣ Definici´ on 4.2. V tiene un p-subgrupo de Sylow S. avn + bvn ) = av + bv Veamos lo de las transformaciones lineales. El Lema 4. .2. Un subgrupo normal H de un grupo G es un subgrupo normal minimal si H 6= 1 y no hay subgrupos normales K de G tales que 1 < K < H. Por lo tanto. si a. entonces H C G. Como (G(i) )0 = G(i+1) y G(i+1) C G(i) . . S C G. . −un ) = 0). .6. Sea G = G0 ≥ G1 ≥ .9. y |V | = pn para alg´ un n. .7. . V 0 = V no puede pasar. . kvn ). entonces todo subgrupo normal minimal es elemental abeliano. + v) = ϕ(v) + . Por el lema anterior. 0)) y de opuesto ((u1 .1. por el Teorema 1. V 0 car V .4. Entonces.2. 1 = Gn ≥ G(n) . bvn ) = a(bv) (a + b)v = ((a + b)v0 . Definimos el producto por un escalar k ∈ Zp como kv = (kv0 . . por el Lema 4. ≥ Gn = 1 una serie soluble. . Grupos solubles Teorema 4. Demostraci´on. . (a + b)vn ) = (av0 + bv0 . b ∈ Zp . . . Un grupo G es soluble sii G(n) = 1 para alg´ un n. Si V es un subgrupo normal minimal de un grupo soluble finito G. . tambi´en lo es V (Teorema 4. vemos que una serie derivada de G es una serie normal sii G es un grupo soluble. .

Sea M un subgrupo de esa forma del mayor orden posible.5.2. . M´as a´ un. pues es la restricci´on de un automorfismo (conjugaci´on).. y como por hip´otesis G es caracter´ısticamente simple. . i. cada φa es una inyecci´on. ϕ(Hi ) ∼ = H = H1 .13. Por u ´ltimo. Teoremas de P. Pero entonces el subgrupo M × ϕ(Hi ) es un subgrupo de la misma forma que M pero de mayor orden. Demostraci´on. En efecto. Entonces. y eso es absurdo porque contradice la definici´on de M . Y toda inyecci´on en un espacio vectorial de dimensi´on finita es una suryecci´on. Un grupo G cuyos u ´nicos subgrupos caracter´ısticos son G y 1 es llamados caracter´ısticamente simple. .e. y el teorema anterior nos da el resultado. Hall Hemos llegado al punto de mayor inter´es de este trabajo. y consideremos todos los subgrupos de G de la forma H1 × H2 × . Hi C G y Hi ∼ = H. Entonces. y aϕ(Hi )a−1 = ϕ(b)ϕ(Hi )ϕ(b)−1 = ϕ(bHi b−1 ) ≤ ϕ(Hi ). En conjunto. × Hn . Por lo tanto. Veamos que M = G. Definamos un morfismo G −→ GL(V ) como a 7→ φa . H no tiene subgrupos caracter´ısticos propios. y esto contradice la elecci´on minimal de H. mostrando que M car G. Teoremas de P. Si a ∈ G. y todo morfismo de V es una transformaci´on lineal. Por la Proposici´on 4. ♣ 5. ambos teoremas nos dan una caracterizaci´on de solubilidad para grupos finitos. Por u ´ltimo. M car G. entonces N C G (por el Lema 4.12. Tomemos un subgrupo normal minimal H de G cuyo orden es minimal entre todos los subgrupos normales no triviales. Por otro lado.11. entonces ϕ(Hi )∩M 6≤ ϕ(Hi ) y |ϕ(Hi )∩M | < |ϕ(Hi )| = |H|. Demostraci´on. Por supuesto. Definici´ on 4. si a. × Hn = G.2. b ∈ G y v ∈ V . entonces φab (v) = abvb−1 a−1 = φa (φb (v)) ♣ Por lo tanto. Por lo tanto. donde φa (v) = ava−1 ∀v ∈ V (la normalidad de V muestra φa (v) ∈ V ). entonces la minimalidad de |H| muestra que ϕ(Hi ) ∩ M = 1. si no fuera as´ı. Teorema 4. Sea H = H1 . M = G. Pero ϕ(Hi ) ∩ M C G.7. si ϕ(Hi ) 6≤ M .2.1. entonces N es un subgrupo normal de M = H1 × H2 × . G act´ ua sobre V . 24 .3). entonces a = ϕ(b) para alg´ un b ∈ G. Por el teorema anterior. Veamos que ϕ(Hi ) ≤ M para todo i y para todo automorfismo ϕ de G.2. pues Hi C G. donde n ≥ 1. Un grupo finito G caracter´ısticamente simple es simple o es producto directo de grupos simples isomorfos. V es un p-grupo elemental. Hall Demostraci´on. .2. como ϕ es inyectiva. φa es no singular. H = H1 debe ser simple: Si N es un subgrupo normal no trivial de H. ϕ(Hi ) ≤ M . ¿Y eso qu´e tiene que ver? Que entonces nuestro morfismo est´a bien definido. V es un espacio vectorial sobre Zp . = Hi ∼ Veamos que ϕ(Hi ) C G. ♣ Corolario 4. Primer teorema de Hall 5. Si N car H. Un subgrupo normal minimal H de un grupo finito G es simple o es un producto directo de subgrupos simples isomorfos. N = 1 o N = H (porque H es normal minimal).

Si H ≤ G.3). Primer teorema de Hall 5.1. Entonces. La prueba es por inducci´on en |G|. Hall. b) = 1. (a/a0 ) y (b/b0 ) son coprimos. Sea G un grupo finito y sea K C G. Luego.3 (Argumento de Frattini). Conjugaci´on.1. Como AH ≤ G. donde a0 |a. tiene un subgrupo de orden a. (a−1 na)H(a−1 n−1 a) = a−1 (naHa−1 n−1 )a = a−1 aHa−1 a pues naHa−1 n−1 = aHa−1 Por lo tanto. gP g −1 es un p-subgrupo de Sylow de K. cualesquiera dos subgrupos de orden a son conjugados. el normalizador de H en G. NG (aHa−1 ) = aNG (H)a−1 Demostraci´on.1.1. porque si no lo fueran tampoco lo ser´ıan a y b. P = (k −1 g)P (g −1 k) = (k −1 g)P (k −1 g)−1 . Hagamos k = |AH|. El caso inicial es trivial: si |G| = 1. donde α|a y β|b. Necesitaremos el siguiente resultado t´ecnico. G/H tiene un subgrupo A/H de orden a/a0 .1. por Lagrange. Sean A y A0 subgrupos de G de orden a. por el teorema de Lagrange. |AH| = αβ.1. Rec´ıprocamente. Como A es soluble (por Teorema 4. Si g ∈ G. Por hip´otesis inductiva. Como (a.1. Teoremas de P. 1928). b0 |b y b0 < b. Adem´as. (aba−1 )aHa−1 (ab−1 a−1 ) = abHb−1 a−1 = aHa−1 pues bHb−1 = H Por lo tanto. Ahora.4 (P. Caso 1: G contiene un subgrupo normal H de orden a0 b0 . Si P es un p-subgrupo de Sylow de K (para alg´ un primo p). ♣ Teorema 5. entonces gP g −1 ≤ gKg −1 = K. aba−1 ∈ NG (aHa−1 ) y aNG (H)a−1 ⊂ NG (aHa−1 ). (a/a0 )(b/b0 ) < ab. NG (aHa−1 ) ⊂ aNG (H)a−1 . M´as a´ un. ♣ Teorema 5. entonces G = KNG (P ) Demostraci´on. sea n ∈ NG (aHa−1 ). k −1 g ∈ NG (P ).5. y por lo tanto existe k ∈ K con kP k −1 = gP g −1 .2. de orden a. Si G es un grupo soluble de orden ab. es NG (H) = {a ∈ −1 G : aHa = H}. Hall Primer teorema de Hall Los principales resultados de esta secci´on son generalizaciones de los teoremas de Sylow (que lo mira por TV) que valen para grupos solubles finitos. A tiene orden (a/a0 )|H| = ab0 < ab. G/H es un grupo soluble de orden (a/a0 )(b/b0 ) (por Lagrange).1. porque K C G. Demostraci´on. Sea aba−1 ∈ aNG (H)a−1 . As´ı. entonces a = b = 1 y G es el grupo trivial. b) = 1 y 25 . En este caso. por hip´otesis inductiva. Entonces. Su u ´nico subgrupo es ´el mismo. notado NG (H). 5. Existencia. Entonces. Entonces. Proposici´ on 5. donde (a. entonces G contiene un subgrupo de orden a. Definici´ on 5. Por lo que la factorizaci´on buscada es g = k(k −1 g).

1. donde existen x. Afirmamos que |N ∗ | = a. tenemos que b no divide al orden de H. |N ∗ | = |G||N | |G||N ||H ∩ N | = |K| |H||N | |G| = |H ∩ N | = a|H ∩ N | |H| 26 . Como H ≤ AH. Primer teorema de Hall 5. h ∈ H} H = {xahx−1 H : x ∈ G. y H es el u ´nico subgrupo normal minimal en G. As´ı. a. En efecto. Entonces. Sea N ∗ = NG (Q) := {a ∈ G : aQa−1 = Q} y sea N = N ∗ ∩ K = NK (Q). Si no estamos en el caso 1. entonces el Teorema 4. h ˜ = h0 porque H C G. si H es un subgrupo normal minimal. existe a0 ∈ A y ¯ Entonces. pero entonces β|b0 . xAHx−1 = A0 H. El problema ahora se reduce al siguiente caso. y por lo tanto |K| = pm q n . Por lo tanto. |AH||aa0 b0 . Por el Teorema de Correspondencia.. xH A0 H AH −1 x H= H H Notemos que xH AH −1 x H = {xHahHx−1 H : x ∈ G. Sea ahora a0 h ∈ A0 H. Hall A ≤ AH. podemos asumir que b = pm . K C G. |HQ| = |H||Q| = pm q n = |K|. As´ı.5. tenemos que a|αβ. tenemos KN ∗ ∼ N ∗ N∗ G = = = ∗ K K N ∩K N Entonces. Por lo tanto. Por el Argumento de Frattini. tenemos que a0 b0 |αβ. entonces a|α. para alg´ un primo q 6= p. por hip´otesis inductiva. Sea xahx−1 ∈ xAHx−1 . xAHx−1 ⊂ A0 H. G = KN ∗ . AH/H y A0 H/H son subgrupos de G/H de orden a/a0 . Entonces ¯ ∈ H tales que xahx−1 = a0 h. a ∈ A. x−1 hx xAx−1 y A0 son subgrupos de A0 H de orden a. entonces |K/H| = q n . entonces K = HQ. y por lo tanto son conjugados. Y por otro lado. G tiene un p-subgrupo de Sylow normal abeliano H. La normalidad de H fuerza que sea u ´nico (pues todos los p-subgrupos de Sylow son conjugados. a = α. Teoremas de P. Si K/H es un subgrupo normal minimal de G/H. Concluimos que |AH| = k = ab0 . vemos que tambi´en |A0 H| = ab0 . Pero K = HQ y Q ≤ N ≤ K nos dice que K = HN . Caso 2: |G| = apm . Si Q es un q-subgrupo de Sylow de K. estos subgrupos son conjugados (por hip´otesis inductiva). h ¯ yh ˜ tales que a0 h = xahx ¯ −1 h ˜ = xahx ¯ −1 hxx ˜ −1 = xahh ¯ 0 x−1 = xahx ˆ −1 . An´alogamente. Entonces. y usando el Segundo Teorema del Isomorfismo. i. Como |G/H| = (a/a0 )(b/b0 ). h ∈ H} Veamos que xAHx−1 = A0 H. por lo que H es un p-subgrupo de Sylow de G.e. a ∈ A. |N ∗ | = |G||N |/|K|. H ∩ Q = 1.9 nos dice que H es un p-grupo elemental abeliano. Existencia. As´ı. Eso completa el primer caso. |K| = |HN | = |H||N |/|H ∩ N |. y hh ¯ 0=h ˆ pues H es subgrupo. para alg´ un primo p. por lo que b0 |β. HQ < K. Por la f´ormula del producto.2. Sin embargo. Como 1 ∈ H. donde p no divide a a. podemos asumir que b||H| para todo subgrupo normal propio H. El grupo G/H es un grupo soluble de orden a (pues H es un p-subgrupo de Sylow). como H C K. por un xH ∈ G/H. As´ı.

expresar los divisores primos del orden de un grupo. Teoremas de P. para algunos λ. 1. Como x conmuta con h. Definici´ on 5. A es conjugado a N ∗ .2. Entonces. AK ∼ A G = = K K (A ∩ K) y |A ∩ K| = q n Por el teorema de Sylow. entonces un grupo G es un π-grupo si el orden de cada uno de sus elementos es un π-n´ umero. Por lo tanto. Si π es un conjunto de primos. y entonces a = |N ∗ | = |NG (A ∩ K)|. Pero (xsx−1 )s−1 ∈ Q. todo k ∈ K = HQ es de la forma k = hs. Z(K) car K. xs = sx. Si Z(K) 6= 1. Como A∩KCA (por el segundo teorema del isomorfismo). Por la Proposici´on 5. Q car K. con q 6= p). Rec´ıproca del teorema de Hall La siguiente definici´on est´a hecha en tributo a este teorema. [G : H]) = 1). H ∩ N = 1 y |N ∗ | = a. porque H es normal. Usaremos la notaci´on de la prueba de existencia.2. 27 . el complemento de π se nota π 0 .2. entonces un subgrupo H de G se dice que es un subgrupo de Hall si su orden e ´ındice son primos relativos (i. es suficiente mostrar que x conmuta con s. Recordemos que N ∗ = NG (Q) tiene orden a. Z(K) C G.2. para h ∈ H y s ∈ Q. ♣ 5. 2. Conjugaci´on. Entonces. Por lo tanto. y un π 0 -n´ umero es un entero n tal que ning´ un primo de su factorizaci´on est´a en π. entonces un π-n´ umero es un entero n tal que los primos de su factorizaci´on est´an en π. Hall Si probamos que H ∩ N = 1.2. y as´ı A = NG (A ∩ K) (pues ambos tienen orden a). Como Z(K) C K.e. H ≤ Z(K). y por el Lema 4.1. Si G es un grupo finito. Pero en ese caso.2. (|H|. a veces. Un grupo es un π 0 -grupo si el orden de cada uno de sus elementos es un π 0 -n´ umero.3. Rec´ıproca del teorema de Hall 5. entonces contiene un subgrupo minimal que debe ser un subgrupo minimal normal de G. Por Lema 4. pm divide a λ (pues p no divide a a). N ∗ = NG (Q) y NG (A ∩ K) son conjugados. Sea A otro subgrupo de G de orden a.. Z(K) = 1. x ∈ Z(K) y H ∩ N ≤ Z(K). Es conveniente. y x(sx−1 s−1 ) ∈ H.1. porque H es abeliano. xsx−1 s−1 ∈ Q ∩ H = 1. A ∩ K es conjugado de Q. Sea x ∈ H∩N . tenemos que |AK| = aλ = pm q n µ. Veremos que H ∩ N = 1 en dos etapas: H ∩ N ≤ Z(K) y Z(K) = 1. AK = G. H ≤ Q (por ser minimal). Por lo tanto. Como K = HQ.5. Como |AK| es divisible por a y por |K| = pm q n .2. As´ı. y eso es absurdo (pues Q es un q-subgrupo de Sylow y H es un p-subgrupo de Sylow. tenemos que |N ∗ | = a. Entonces. porque x normaliza a Q (x ∈ N ). Q C G. tenemos que A ≤ NG (A∩K). Si π es un conjunto de primos. pues H es el u ´nico subgrupo minimal de G.2. Por lo tanto. luego |AK| = apm = |G|. Definici´ on 5. µ ∈ Z.3.

Como H1 es soluble. |P | = pn . Por otro lado. [G : P ] no tiene a p en su factorizaci´on. Entonces. entonces 1. Entonces. y entonces r = j. xi ∈ Hi . As´ı. Sea M un subgrupo normal minimal de H1 .3. Ahora bien. P1 ⊂ P x . En efecto. Luego. todo p-subgrupo de Sylow en un grupo finito es un p-subgrupo de Hall. Demostraci´on. Definici´ on 5. entonces un p-complemento de G es un subgrupo de orden a. entonces todo grupo de orden pm q n es soluble. [G : H ∩ K] = [G : H][G : K] 2. por lo que asumamos que no divide a [G : H2 ].” Teorema 5.2. Llamemos g = |G|.2. Sean los subgrupos H1 . por el teorema de Sylow. Esto fuerza a que r = 1. p no puede dividir a los ´ındices de H2 y H3 . para alg´ un x x ∈ G. Podemos reemplazar H2 por H2 sin afectar la hip´otesis. g = |G| ≥ |HK| = |H||K||H ∩ K|−1 = amnr2 . As´ı. entonces los π-grupos son simplemente los p-grupos.4. Sin embargo. podemos asumir que H1 6= 1. Entonces. [G : P ]) = 1. ♣ El siguiente resultado (debido a Burnside) escapa a los alcances de este trabajo. Hall Por supuesto que si a es un π-n´ umero y b es un π 0 -n´ umero. donde a es un p0 n´ umero. entonces |G| = [G : H1 ]. y cada x ∈ G es de la forma x = x1 x2 . El teorema de Hall dice que en grupos finitos solubles siempre existen π-subgrupos de Hall. Lema 5. Entonces. Por el Lema 5.5. pues M C H1 . Si π consiste de un s´olo primo p. G = H1 H2 . por lo que (|P |. As´ı. Luego. Si p es primo y G es un grupo finito de orden apn . Sea G un grupo finito. m = [G : H]. tenemos que [G : H2 ] = 1 y H2 = G es soluble. g = ahm = akn. mientras que los p∗ -grupos no tienen elementos de orden alguna potencia de p.2. y como ([G : H1 ]. Rec´ıproca del teorema de Hall 5. H2 . Si H y K son subgrupos de un grupo G tal que ([G : H]. HK = G. entonces G tiene un p-complemento (un q-subgrupo de Sylow) y tiene un q-complemento (un p-subgrupo de Sylow). k tales que |H| = ah y |K| = ak (pues H ∩ K es un subgrupo de H y de K). g = amnr. digamos P . Si G tiene tres subgrupos solubles cuyos ´ındices son dos a dos coprimos. M x = M x2 ⊂ H2 (pues M C H1 ). Sea P1 un p-subgrupo de Sylow de H1 . por lo que h = nr y k = mj. entonces G es soluble. los π-subgrupos de Hall (con |π| ≥ 2) de un grupo G no tienen por qu´e existir. entonces son primos relativos. y entonces |HK| = amn = g. M es un p-grupo elemental abeliano. [G : H2 ]) = 1. que tambi´en es un p-subgrupo de Sylow de G.5. y H2 contiene un p-subgrupo de Sylow no trivial. pn ||G| pero pn+1 no divide a |G|. n) = 1. por lo que solamente lo enunciamos: “Si p y q son primos. M ⊂ H1 ∩ H2 . n divide a h y m divide a k. As´ı. r. Si G es un grupo de orden pm q n . Teoremas de P. H2 contiene a la clausura 28 . a diferencia de los p-subgrupos de Sylow. [G : H ∩ K] = mn = [G : H][G : K]. si P es un p-subgrupo de Sylow de un grupo finito G. para algunos enteros j. Si H1 = 1.4. El teorema de Hall implica que un grupo finito soluble tiene un p-complemento para todo primo p. Luego. G = HK Demostraci´on. existen enteros positivos h. [G : K]) = 1. Tambi´en. Como (m. p divide a |H2 |. As´ı.2. P1 ⊂ P y M ⊂ P . n = [G : K] y a = |H ∩ K|. por Lagrange. Pero eso significa que nrm = mjn. para alg´ un primo p. H3 .2. As´ı. lo que implica que hm = kn.

entonces el conjunto SX = {f : X −→ X biyectivas} es un grupo bajo la composici´on de funciones. . Si G es un grupo finito con un p-complemento para todo primo p. As´ı. Un elemento i ∈ X = {1. puede ser escrito de forma u ´nica (salvo el orden) como producto de ciclos disjuntos de longitud ≥ 2. . llamado grupo sim´etrico de X o grupo de permutaciones de X.1. Por inducci´on. H1 ∩ Hj es un pj complemento de H1 . . el resultado se desprende del teorema anterior.2. . y entonces G es soluble. ir ). . basta mostrar que cada Hi es soluble.1. . Definici´ on 6. H1 ∩ Hj es un π-subgrupo de Hall de G. Todo α ∈ Sn es producto de transposiciones. Ap´endice: El grupo alternado normal de M en G. G es un p1 -grupo y as´ı es soluble. H1 es soluble. Veremos que en la mayor´ıa de los casos (cuando n ≥ 5) el grupo alternado An es simple. . . ir } ∩ {j1 . . para 1 ≤ i ≤ n. Preliminares 6. anotamos Sn en vez de SX . 2. . Corolario 6. ya que si n = 1. K es soluble. . . . Por el Lema 5. n}.. El r-ciclo α es anotado (i1 . Un 2-ciclo es llamado transposici´on.1. . . . con π = π(G) − {p1 . Demostraci´on. Teorema 6. js ) son disjuntos si {i1 . . . . .4.1. G/K es soluble.1. . y si n = 2.6. pαnn . Ciclos disjuntos conmutan. pj }.2. Por lo tanto. para 2 ≤ j ≤ n. Ap´ endice: El grupo alternado En esta parte demostraremos un resultado que nombramos al pasar y que merece un poco m´as de detalle. el Teorema de Burnside garantiza que G es soluble. . Cuando X = {1. Por hip´otesis inductiva. lo que demuestra el teorema. n} es fijado por α ∈ Sn si α(i) = i. con pi 6= pj si i 6= j. La demostraci´on es por inducci´on en el orden de G. Sea Hi un pi -complemento de G. Todo α ∈ Sn .1. . 29 . .1. .2. Si X es un conjunto. . ir ∈ X tales que α(i1 ) = i2 α(i2 ) = i3 . 1937). i2 .5. Decimos que α ∈ Sn es un r-ciclo si existen r enteros i1 . Sea G = pα1 1 . entonces G es soluble. Luego.4.6 (P. 6. se prueba que cada Hi es soluble. Dos ciclos α = (i1 . . . Hall. ♣ 6. que existe por hip´otesis.1. js } = φ Lema 6. α 6= e. ir ) y β = (j1 .3. . Podemos suponer que n > 2. Preliminares Definici´ on 6. 2. Como H2 es soluble. . α(ir−1 ) = ir α(ir ) = i1 y tal que α fija a los dem´as i ∈ X. los subgrupos KHi /K de G/K est´an en las hip´otesis del teorema. Como [G : Hi ] = pαi i . . . . ♣ Teorema 5. De la misma manera. ..

.2. . . . por lo que sgn : Sn −→ {1. ak ) = σ = στ τ −1 = τ στ −1 = (τ (a1 ). Rec´ıprocamente.6. . Supongamos que N es normal. a1 . . . Ap´endice: El grupo alternado Proposici´ on 6. τ (ak )) = (a1 . . Simplicidad del grupo alternado Proposici´ on 6. Entonces. . entonces ρ es una potencia de σ. N es normal sii N es uni´on de clases de conjugaci´on. notado sgn(α). Definimos el signo de α.2. i. entonces C ⊂ N . .9. Proposici´ on 6. .1. . supongamos que N es uni´on de clases de conjugaci´on y tomemos x ∈ N . 1.10. Dos permutaciones α.1. . como ( 1 si α es par sgn(α) = −1 si α es impar La proposici´on anterior muestra que una permutaci´on no puede ser al mismo tiempo par e impar. es un subgrupo normal de Sn .1. ak ) = (ai+1 . x est´a en alguna clase de conjugaci´on de las que forman a N . . entonces αβα−1 es el r-ciclo (α(i1 ). llamado grupo alternado y notado An . . Sea G un grupo y N ⊂ G un subgrupo. . Cualesquiera dos r-ciclos en Sn son conjugados. es un morfismo de grupos. 0 ≤ i < k. −1} est´a bien definida. .1. Decimos que dos permutaciones α y β tienen la misma estructura de ciclos si sus factorizaciones en ciclos disjuntos tienen el mismo n´ umero de r-ciclos para cada r. Si σ es un k-ciclo de Sk y ρ conmuta con σ. entonces (a1 . . 2. El n´ umero de transposiciones en una factorizaci´on de una permutaci´ on como producto de transposiciones es siempre par o siempre impar. Si τ σ = στ .7.6.8. . ai ) 30 . Si α ∈ Sn y β = (i1 . Demostraci´on.2. . . ir ) es un r-ciclo. . porque todo conjugado de x est´a en N (por ser N normal). α(ir )).1. . . . Entonces. Definici´ on 6. . tal que (τ (a1 ). Definici´ on 6. Una permutaci´on α ∈ Sn es par si α puede escribirse como producto de un n´ umero par de transposiciones. τ (ak )) Pero entonces existe i. Demostraci´on. . Si x ∈ N est´a en una clase de conjugaci´on C. .e. ♣ Proposici´ on 6.2. Simplicidad del grupo alternado 6. . Pero entonces cualquier conjugado de x est´a en N . As´ı.1. . el conjunto de permutaciones pares. α es impar si puede escribirse como producto de un n´ umero impar de transposiciones. . Corolario 6. ak .. M´as a´ un. β ∈ Sn son conjugadas sii tienen la misma estructura de ciclos. . El kernel de sgn. N es la uni´on de las clases de conjugaci´on a donde pertenecen sus elementos. 6.2.

2)(1. 5) como ejemplo. i. Si φ es par. ai . pues el n´ umero que falta (el punto fijo) puede ser elegido de 5 maneras distintas. 4. 31 . los conjuntos P e I tienen el mismo n´ umero de elementos. 2). 2)(3. 2)(3. reemplazando φ por φ ◦ (4. nada nos garantiza que uno pueda elegir esa φ para que sea una permutaci´on par. puesto que hay 52 = 10 maneras de elegir los 3 elementos del ciclo. 3. Esto es par. En efecto. Adem´as. ρ pertenece a la clase de conjugaci´on de (1. 4.6. ak . Consideremos σ i : σ i = (a1 . Estas permutaciones son todas conjugadas en A5 . 2)(3. El problema que se presenta es que dos elementos ρ. lo que es imposible por la Proposici´on 6. 4. 4) ◦ φ−1 = ρ As´ı. La clase de S5 se divide en dos subconjuntos: P = {ρσρ−1 | ρ par} I = {ρσρ−1 | ρ impar} Es claro que si uno toma dos elementos en uno de los dos conjuntos. 4) ◦ φ−1 . 3. ρ0 ∈ A5 pueden ser conjugados en S5 sin serlo en A5 . 4)(1. 2)(3. Los elementos de A5 (las permutaciones pares de S5 ) pueden clasificarse de la siguiente forma: 1. Los 3-ciclos. La identidad. Los 5-ciclos. ρ = φ ◦ (1. . Hay 20 elementos. Ap´endice: El grupo alternado Luego. ♣ Ahora analicemos qu´e pasa con la conjugaci´on en el caso de A5 ≤ S5 . El producto de dos ciclos disjuntos. . Asumamos que ρ es conjugado a (1.2. 2)(3. veremos que la clase de conjugaci´on en S5 se divide en dos clases en A5 . Hay 15 permutaciones de este tipo.) As´ı. Si uno no puede. Por otro lado. y por lo tanto es par. 2. y cada una puede ser ordenada de dos formas distintas. pues podemos asumir que arrancamos siempre con un 1. σ i y τ deben ser el mismo k-ciclo. con ρ par y φ impar y α par. 3) como ejemplo. por la Proposici´on 6. En efecto. Es an´alogo al caso anterior. Por lo tanto. porque si α es una permutaci´on impar. Estas permutaciones son todas conjugadas en A5 . 2.2. τ στ −1 ∈ I. 4) en A5 . no hay “conjugaci´on cruzada” entre ellos en A5 . si φρφ−1 = ρ0 con φ ∈ S5 . entonces φ−1 α−1 ρ es impar y conmuta con σ. cada una con 12 elementos.2. reemplazamos φ por φ ◦ (1.e.2. y el resto se puede dividir en pares de 3 maneras distintas. entonces (τ ρ−1 )ρσρ−1 (ρτ −1 ) = τ στ −1 y τ ρ−1 ∈ A5 . si ρσρ−1 = α(φσφ−1 )α−1 . Hay 4! = 24 permutaciones de ese tipo. 2.  3. 5). ai+1 . entonces son conjugados en A5 : Si tomamos ρσρ−1 . todo piola.2. . . 2) ◦ φ−1 = φ ◦ (1.. con (1. τ (a1 ) = ai+1 y τ (ak ) = ai . 4) como ejemplo. Si no. 4) en S5 . . 2)(3. toda permutaci´on que conmute con σ = (1. entonces la conjugaci´on por α manda a P en I. P e I son clases de conjugaci´on diferentes en A5 . con (1. 2. y viceversa. 5) es una potencia de σ. y entonces φ ◦ (1. Esta S5 -clase se divide en dos A5 -clases. En efecto. con (1. . . Simplicidad del grupo alternado 6.

Supongamos que N ⊂ A5 es un subgrupo normal. entonces tiene al menos 21 (n − 2)! elementos. y φ = φ0 . Hacemos inducci´on y concluimos que C contiene al menos (n − k)k elementos.6.1) y ver que no encajan. no existe tal subgrupo normal N . Lema 6.2. Demostraci´on. la lista de posibles ´ordenes es 2. 12.2. Ap´endice: El grupo alternado Teorema 6. ♣ Lema 6. Si C contiene un n-ciclo o un (n − 1)-ciclo. Demostraci´on. los elementos de C son productos de ciclos disjuntos de longitud menor o igual que n − 2. existir´ıan dos diferentes permutaciones en N con φ(1) = φ0 (1). 10. Simplicidad del grupo alternado 6. 20.4. y A5 es simple. la aplicaci´on N −→ In que manda φ 7→ φ(1) no ser´ıa inyectiva. Sea C una clase de conjugaci´on. 3.2. 12. ya que no hay elementos no triviales en N con puntos fijos. Si ning´ un elemento no trivial de un subgrupo N ⊂ An tiene un punto fijo. Si no. 12. Los o´rdenes de las cinco clases de conjugaci´on de A5 los calculamos arriba: 1. que es claramente m´as grande que n cuando n ≥ 5. 20 Las pocas combinaciones de esos n´ umeros cuya suma no es mayor a 30 son 1 1 + 12 + 12 1 + 12 1 + 12 + 15 1 + 15 1 + 20 El problema es que no hay ninguna coincidencia entre los posilbes o´rdenes de las dos listas. Como |A5 | = 4 · 3 · 5 = 60. Por lo tanto. 6. La idea es contar el posible n´ umero de elementos de N de dos maneras distintas (usando el teorema de Lagrange y usando la Proposici´on 6. donde k ≥ 2. 30 Por otro lado. El grupo alternado An es simple si n ≥ 5. el orden del supuesto subgrupo normal N debe dividir al orden de A5 .2. Si n ≥ 5. ♣ Para el caso general necesitamos dos lemas m´as.3. ♣ Teorema 6. 15. 5. Por Lagrange. Entonces. entonces N tiene menos de n elementos.5. Demostraci´on. Pero entonces φ−1 φ0 fijar´ıa a 1. 4. Si N tuviese m´as de n elementos.6. entonces ninguna clase de conjugaci´on de An tiene menos que n elementos.2. la proposici´on anterior nos dice que N es uni´on de clases de conjugaci´on. 15. A5 no es un grupo simple. 32 . y su orden debe ser igual a la suma de los cardinales de las clases.2.

donde (a. Como N C An . Simplicidad del grupo alternado 6. todo elemento de An puede escribirse como producto de ciclos disjuntos. entonces (c.4.2. . Adem´as. el subgrupo Ga de An . b)(c. Veremos que eso lleva a una contradicci´on.4.2. . d) son disjuntos (parece irrelevante. N tiene menos que n elementos. d) fija a b. Aplicamos inducci´on en n. .5. en cuyo caso N = An (pues por el Teorema 6. . pero (c. El caso base ya lo cubrimos en el teorema anterior. d) tiene que estar para hacer que la permutaci´on por la que conjugamos sea par). ninguna permutaci´on no trivial en N tiene un punto fijo. Ap´endice: El grupo alternado Demostraci´on.6. es isomorfo a An−1 . ♣ 33 . b) y (c. 2. Pero por el Lema 6. Como es usual. no trivial y propio. En este u ´ltimo caso. o bien son todos triviales. y cada ciclo est´a en alg´ un Ga y Ga ⊂ N ∀a). las intersecciones N ∩ Ga son normales en Ga . que consiste de todas las permutaciones que fijan a a.1.2. y esto contradice que N es la uni´on de las clases de conjugaci´on de sus elementos (pues es normal). y por inducci´on o bien son todos iguales a Ga . n}. Entonces. Asumamos que N ⊂ An es un subgrupo normal. ninguna clase de conjugaci´on de An tiene menos que n elementos. b) ◦ φ ◦ (a. Para cualquier a ∈ In . anotamos In = {1. por el Lema 6. d)(a. son todos conjugados: si φ fija a a.

Universidade Federal de Minas Gerais. y Lindstrøm P. O Teorema de P. Universitetet i Oslo. (1995). R. M. New York. (2003). (1992).Referencias [1] Adkins. Hall. [4] Haugnæss S. J. P. Springer-Verlag. Most alternating groups are simple. (2013). (2010). [3] Cohn. H. Z. Prentice Hall. Springer-Verlag. Belo Horizonte. Further Algebra and Applications. W y Weintraub S. Springer-Verlag. 34 . [2] Bezerra dos Santos. Advanced Modern Algebra. London. J. (2003). An Introduction to the Theory of Groups. [6] Rotman J. Oslo. Algebra: An Approach via Module Theory. New York. [5] Rotman J.