Curso de Algebra Moderna PDF

Notas de Algebra
Moderna
Enrique Rodrguez Castillo
Contenido
Grupos
I.1 Definici
on y ejemplos . . . . . . . . . .
I.2 Subgrupos . . . . . . . . . . . . . . . .
I.3 El grupo simetrico . . . . . . . . . . .
I.4 El Teorema de Lagrange . . . . . . . .
I.5 Acciones de grupos en conjuntos . . .
I.6 Subgrupos normales . . . . . . . . . .
I.7 Homomorfismos . . . . . . . . . . . . .
I.8 Grupos cclicos . . . . . . . . . . . . .
I.9 Mas aplicaciones de acciones de grupos
I.10 Teorema de Sylow . . . . . . . . . . .
I.11 El grupo alternante . . . . . . . . . . .
I.12 Automorfismos . . . . . . . . . . . . .
I.13 Productos directos . . . . . . . . . . .
I.14 Productos semidirectos . . . . . . . . .
I.15 Grupos libres . . . . . . . . . . . . . .
II Anillos
II.1 Definici
on y ejemplos . . . . . . .
II.2 Dominios enteros . . . . . . . . .
II.3 Anillos cocientes . . . . . . . . .
II.4 Adjunci
on de elementos . . . . .
II.5 Polinomios en Z[x] y Q[x] . . . .
II.6 Dominios de factorizaci
on u
nica .
II.7 Modulos . . . . . . . . . . . . . .
II.8 Matrices y bases . . . . . . . . .
II.9 Matriz de cambio de base . . . .
II.10 Matrices de presentaci
on . . . . .
II.11 Sumas directas de modulos . . .
II.12 Aplicaciones a operadores lineales
3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
5
8
10
14
17
23
25
27
29
31
33
36
39
41
48
.
.
.
.
.
.
.
.
.
.
.
.
53
53
56
63
64
68
72
77
79
80
87
89
91
4
III Campos y Teora de Galois
III.1 Campos . . . . . . . . . . . . . . . . . . . . .
III.2 Teora de Galois . . . . . . . . . . . . . . . .
III.3 Campos de descomposicion . . . . . . . . . .
III.4 Teorema Fundamental de la Teora de Galois
III.5 Solubilidad por radicales . . . . . . . . . . . .
CONTENIDO
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
99
99
106
111
113
116
CAPITULO
Grupos
Las raices histoicas de la Teora de Grupos surgen en la Geometra al comienzo

del siglo XIX, en la Teora de N
umeros y en la Teora de Ecuaciones Algebraicas
al final del siglo XVIII. El matematico frances E. Galois (1811-1832) fue quien
introdujo por primera vez el concepto de Grupo al que-hacer matematico y
definio las nociones de subgrupos normales y grupos cocientes; su trabajo fue el
inspirador para crear toda esta teora.
La primera definicion de grupo abstracto se debe al
matematico brit
anico A. Cayley (1821-1895) quien
hacia enfacis en la necesidad de tener una definicion abstracta de lo que es un
grupo, pues en aquel tiempo, s
olo se consideraban grupos de permutaciones y
Cayley demostr
o que los grupos abstractos que el definio eran algebraicamente
equivalentes a subgrupos de algun grupo de permutaciones; la definicion antual
de grupo fue dada por primera vez por el matematico aleman W. von Dyck
(1856-1934).
I.1. Definici
on y ejemplos
Definici
on I.1.1. Un grupo es un conjunto G provisto de una operaci
on binaria : G G G tal que
(G1) La operaci
on es asociativa, es decir, para cualesquiera tres elementos a,
b y c de G se satisface que a (b c) = (a b) c.
(G2) Existe un elemento e G tal que e a = a = a e para todo a G.
(G3) Para cada a G existe un elemento b G tal que a b = e = b a.
N
otese que, por (G2), un grupo es no vaco. Al grupo que consta de un s
olo
elemento se le llama grupo trivial.
Si tomamos cuatro elementos de un grupo G, digamos a, b, c y d, podemos
preguntarnos de cu
antas maneras diferentes podemos asociarlos para formar
productos de estos cuatro elementos? Se puede ver que las siguientes son todas
5
Grupos
las maneras diferentes en que podemos poner parentesis a los productos de

cuatro elementos en un grupo:
a (b (c d)),
a ((b c) d),
((a b) c) d,
(a b) (c d),
(a (b c)) d.
N
otese que siempre se tiene un que queda fuera de los parentesis. Encontraremos una formula recursiva para determinar el n
umero de maneras diferentes
de introducir parentesis a un producto de una cantidad finita de elementos de
un conjunto no vaco con una operaci
on binaria:
Sea cn el n
umero de maneras distintas de poner parentesis para multiplicar
los elementos a1 , a2 , . . . , an+1 . Es claro que c0 = 1. c1 = 1, ya que a1 a2 es
el u
nico producto que podemos formar. c2 = 2 pues tenemos a1 (a2 a3 ) y
(a1 a2 )a3 . En general, para multiplicar a los n+1 elementos, podemos primero
contar el n
umero de maneras en que el producto se asocia a1 (a2 an+1 ) y
el parentesis lo podemos asociar de cn1 maneras distintas; luego, contamos los
productos que se ven (a1 a2 ) (a3 an+1 ) y nuevamente, tenemos c1 cn2 y
as sucesivamente; al final, se tiene la formula
cn = c0 cn1 + c1 cn2 + + cn1 c0 =
n1
X
ci cn1i .
i=1
A los n
umeros cn , se les conoce como n
umeros de Catalan. Ahora veremos
una consecuencia de la asociatividad de la operaci
on en un grupo.
Lema I.1.1. Cualquier manera de asociar a1 , a2 , . . . , an para multiplicarlos con
una operaci
on binaria asociativa en el orden dado da el mismo resultado.
Demostraci
on. Probaremos el Lema por induccion a partir de n = 3. La asociatividad de la operaci
on binaria nos da el primer paso, as que supondremos
que el resultado es v
alido para todo entero positivo menor que n. Sea P el
resultado de una manera de asociar a1 , a2 , . . . , an . Como antes lo mencionamos,
existe un que queda fuera de los parentesis, podemos concluir que existe
1 i n 1 tal que P = (a1 ai ) (ai+1 an ). Por hip
otesis inductiva,
el producto (ai+1 an ) nos da el mismo resultado de cualquier forma que lo
asociemos, as que (ai+1 an ) = (ai+1 an1 ) an y por la asociatividad se
sigue que
(a1 ai ) [(ai+1 an1 ) an ] = [(a1 ai ) (ai+1 an1 )] an .
Nuevamente, por la hip
otesis inductiva, (a1 ai ) (ai+1 an1 ) lo podemos
asociar de cualquier forma as que P = (a1 an1 ) an , donde en (a1 an1 )
no importa como se asocie el producto.
Ejercicio. Sea G un grupo. Muestre que existe un u
nico elemento e G tal
que e a = a = a e. Tambien muestre que para cada a G existe un u
nico
elemento b tal que a b = e = b a.
I.1 Definici
on y ejemplos
Definici
on I.1.2. Al elemento e lo llamaremos elemento identidad del grupo
y lo denotaremos por 1. Si a G, el elemento b que satisface a b = 1 = b a
lo llamaremos inverso de a y lo denotaremos por a1 .
Al usar notaci
on aditiva, al elemento identidad se le suele denotar por 0
y al elemento inverso de a por a. A continuacion, presentamos dos de las
propiedades basicas de los inversos.
Ejercicio. Sea G un grupo. Si a G, muestre que (a1 )1 = a; tambiben
muestre que si b G, entonces (a b)1 = b1 a1 .
def
Definici
on I.1.3. Sea G un grupo. Definimos a0 = 1 y para cada n
umero
n def n1
n
1 n
natural n, a = a
a y a = (a ) .
Hemos definido as las potencias enteras de elementos de un grupo. En
notaci
on aditiva, las potencias seran los m
ultiplos de elementos del grupo y se
denotaran por na en lugar de an . En el siguiente ejercicio, se enuncian las leyes
de los exponentes.
Ejercicio. Sean G un grupo, a G y m, n Z. Muestre que am an = am+n y
(am )n = amn .
Ahora, veremos una de las consecuencias de la existencia de inversos en un
grupo.
Lema I.1.2. (Leyes de cancelaci
on). Sea G un grupo y a, b y c tres elementos
de G.
1. Si a b = a c, entonces b = c.
2. Si b a = c a, entonces b = c.
La demostraci
on quer
a como ejercicio.
Definici
on I.1.4. Un grupo G se llama abeliano si a b = b a para todo
a, b G.
En un grupo abeliano G se tiene que (a b)n = an bn para a, b G y para
todo entero n. Adem
as, si (a b)n = an bn para todo par de elementos de un
grupo G y tres enteros consecutivos, entonces G debe ser un grupo abeliano.
Esta proposicion queda como un ejercicio.
Definici
on I.1.5. El orden de un grupo G es su cardinal y se denota por |G|.
Diremos que G es un grupo finito si |G| es finito; de lo contrario, diremos que
G es un grupo infinito.
Ejemplo:
1. El conjunto de los n
umeros enteros Z con la operaci
on binaria + es un
grupo abeliano infinito.
Grupos
2. Los campos Q, R y C son grupos abelianos aditivos infinitos.

3. Definimos F = F {0}, donde F es un campo. Los conjuntos F son
def
grupos abelianos multiplicativos. Tambien, R+ = {x R : x > 0} es un

grupo abeliano multiplicativo infinito.
4. Si n es un n
umero natural, definimos el conjunto
def
Cn = {ei
2k
n
: k Z}.
Cn es un grupo abeliano multiplicativo finito.

5. El conjunto de n
umeros complejos de modulo 1 se denota por S1 , el cual
es un grupo abeliano multiplicativo infinito.
6. Si X es un conjunto no vaco, definimos
def
S(X) = {f : X X | f es biyectiva}.
S(X) es un grupo llamado grupo sim
etrico en X. En general, S(X) no
def
es abeliano. Definimos [n] = {1, 2, . . . , n} y al grupo S([n]) lo denotamos

simplemente por Sn y lo llamamos grupo sim
etrico de grado n.
7. Sea F un campo y definamos el conjunto de matrices de nn con entradas
en el campo F como el conjunto
def
Mn (F) = {(aij )nn : aij F}.

El conjunto de todas las matrices invertibles en Mn (F) lo denotaremos
por GLn (F) y se llama grupo lineal general.
8. Sean G y H dos grupos y formemos su producto cartesiano, G H. Definamos en G H un producto componente-a-componente:
def
(g1 , h1 ) (g2 , h2 ) = (g1 g2 , h1 h2 ).

G H se llama el grupo producto de G y H.
De ahora en adelante, se omitir
a la notacion a b para el producto del elemento
a con el elemento b y se denotara al producto simplemente por ab.
El concepto de subgrupo es muy u
til en el estudio de grupos,
pues algunas de las propiedades que poseen los subgrupos son
transferidas al grupo.
I.2. Subgrupos
Definici
on I.2.1. Sea G un grupo. Un subconjunto H de G se llama subgrupo
si
(S1) para todo a, b H se tiene que ab H,
I.2 Subgrupos
(S2) el elemento identidad de G es elemento de H,

(S3) cada elemento de H tiene su inverso en H.
En el caso cuando H es subgrupo de un grupo G, lo denotaremos por el
smbolo H G. Si H es un subconjunto propio de G y es un subgrupo de G,
lo denotaremos por H < G.
Ejercicio. Si H es un subgrupo de un grupo G, muestre que H es un grupo.
Observe que la familia de subgrupos de un grupo G es no vaca, pues al menos
{1} es un subgrupo de G. Si G es no trivial, entonces la familia de subgrupos
de G tiene al menos dos elementos, el grupo trivial y G mismo.
Lema I.2.1. Sean I un conjunto T
de ndices y {Hi : i I} una familia de
subgrupos de un grupo G, entonces iI Hi G.
La demostraci
on queda como un ejercicio.
Definici
on I.2.2. Sea S G. El subgrupo generado por S es el subgrupo
de G m
as peque
no que contiene a S y lo denotamos por hSi.
De la definicion anterior, vemos que si H G y S H, entonces hSi H.
Por tanto, tenemos que
\
hSi =
H.
SHG
Ejercicio. Sea S G. Muestre que

hSi = {1} {s11 s22 skk : k N, 1 i k, si S, i = 1}.
Definici
on I.2.3. Un grupo G se llama cclico si existe un elemento g G
tal que G = h{g}i. En tal caso, h{g}i lo denotamos por hgi. Al elemento g lo
def
llamamos generador de G. El orden de un elemento a G es o(a) = | hai |.

Observe que hgi = g 1 para todo elemento g.
Proposici
on I.2.2. Sea a un elemento de orden finito de un grupo G, entonces
o(a) es el mnimo entero positivo k para el cual ak = 1.
Demostraci
on. Si a = 1, entonces o(a) = 1. Si a 6= 1 tomemos m N tal
que 1, a, a2 , . . . , am1 son elementos distintos de G y existe 0 i < m tal
que am = ai . Si i > 0, entonces ami = 1 con 0 < m i < m, lo que es
absurdo, por la elecci
on de m; por lo que i = 0, es decir, am = 1. Ahora,
sea k Z, por el algoritmo de la divisi
on, existen enteros q y r tales que
k = mq + r con 0 r < m; luego, tenemos que ak = aqm+r = (am )q ar = ar y
as, hai = {1, a, a2 , . . . , am1 }.
10
Grupos
Ejemplo:
1. El grupo aditivo Z es cclico infinito generado por 1. Si n Z, hni < Z
tambien es infinito.

1 n
2. Sea H = An GL2 (Q) : An =
, n Z . H es un subgrupo
0 1
cclico infinito de GL2 (Q).
3. El grupo Cn es un subgrupo cclico finito del subgrupo infinito S1 del
grupo multiplicativo C .
4. El grupo R+ es un subgrupo de R .
def
5. El conjunto SLn (F) = {A GLn (F) : det A = 1} es un subgrupo de

GLn (F). Se le llama grupo lineal especial.
6. Los conjuntos G {1} y {1} H son subgrupos de G H.
El primer matematico que estudio las permutaciones
fue el frances J. L. Lagrange (1736-1813) en su trabajo
sobre Teora de Ecuaciones Algebraicas al estudiar como actuaban las permutaciones de las raices de una ecuaci
on c
ubica. El matematico frances A. L. Cauchy
(1789-1857) realiz
o uno de los trabajos mas importantes sobre permutaciones
en el siglo XIX al estudiar las permutaciones de las raices de una ecuacion algebraica, lo que lo condujo a estudiar las permutaciones por s mismas. A Cauchy
se le atribuyen los conceptos de orden de una permutaci
on, potencias enteras de
permutaciones, la notacion ciclica y el concepto de permutaciones conjugadas.
Una forma usual de escribir una permutacion Sn es

1
2
n
;
=
(1) (2) (n)
I.3. El grupo simetrico
tambien podemos omitir el primer rengl

on y los parentesis para escribir a la
permutacion como una palabra: = (1)(2) (n).
Definici
on I.3.1. Sean X un conjunto no vaco, finito y S(X). Diremos
que fija a un elemento a X si (a) = a; diremos que mueve a un
elemento a X si (a) 6= a. Si k es un n
umero natural mayor que 1, decimos
que es un k-ciclo si existen k elementos distintos de X, digamos a1 , a2 , . . . , ak ,
tales que
1. para 1 i < k se tiene (ai ) = ai+1 ,
2. (ak ) = a1 ,
3. fija a todo elemento de X {a1 , a2 , . . . , ak }.
Si es un k-ciclo, lo denotaremos por (a1 a2 ak ). Esta notacion no es
u
nica, de hecho, hay k formas distintas de escribir el mismo k-ciclo.
11
I.3 El grupo sim

etrico
Definici
on I.3.2. Un 2-ciclo se llama transposici
on. Dos ciclos (a1 a2 ak )
y (b1 b2 bm ) son disjuntos si {a1 , a2 , . . . , ak } {b1 , b2 , . . . , bm } = .
Ejercicio. Muestre que dos ciclos disjuntos conmutan entre si. Adem
as, el
orden de un k-ciclo es k.
Ejemplo: Sea X = [7] y
=

1
1
2 3
5 7
4 5
4 3

6 7
,
6 2
entonces = 1574362 = (2537) es un 4-ciclo de S7 .

A continuacion veremos la importancia que tienen los ciclos en Sn .
Proposici
on I.3.1. Sea X un conjunto finito y no vaco. Toda permutaci
on
distinta de la identidad es un ciclo o un producto de ciclos disjuntos.
Demostraci
on. Sea m el n
umero de elementos en X que mueve y hagamos
induccion sobre m. Como 6= 1, entonces m > 1. Si m = 2, entonces
mueve s
olo dos elementos de X y as, es una transposicion. Supongamos que
la proposicion es v
alida para todas las permutaciones que mueven menos de m
elementos y sea a1 X un elemento al que mueve, si definimos ai = (ai1 )
para i 2 sabemos que existe un entero positivo k tal que
k = min{i N : ai+1 {a1 , a2 , . . . , ai }};
ahora, mostremos que (ak ) = a1 : sabemos que existe 1 i k tal que
(ak ) = ai y si i 6= 1 tendramos que (ak ) = ai = (ai1 ) lo que contradice la
inyectividad de . Definamos ahora las siguientes permutaciones:
= (a1 a2 ak )
y
(a) =
a
(a)
si a {a1 , . . . , ak }
en otro caso
As, = y mueve menos elementos que . El resultado se sigue de aplicar

la hip
otesis inductiva a .
Ejercicio. Muestre que la factorizaci
on en ciclos disjuntos de una permutacion
es u
nica, salvo el orden en que aparecen los ciclos. Adem
as, muestre que el
n(n1)(nk+1)
n
umero de k-ciclos en Sn es
.
k
Definici
on I.3.3. Sea Sn . Una inversi
on de es una pareja ordenada
(i, j) [n] [n] tal que i < j y (i) > (j). El n
umero de inversiones de lo
def
denotaremos por inv(). Definimos el signo de como sgn() = (1)inv() .
12
Grupos
Ejemplo: La permutacion identidad no tiene inversiones, por lo que inv(1) = 0

y sgn(1) = 1.
def
Definici
on I.3.4. Para 1 k < n definimos k = (k(k + 1)) y le llamamos
transposici
on simple.
Observe que inv(k ) = 1 para todo 1 k < n.
Lema I.3.2. Sea Sn , entonces inv(k ) = inv() 1 para toda 1 k < n.
Demostraci
on. Denotemos por i = (i) y escribamos

1 k k + 1
n
=
.
1 k k+1 dots n
Si k < k+1 , entonces (k, k + 1) no es inversion de y si es inversion de k
ya que

1
k
k + 1
n
;
k =
1 k+1
k
dots n
De aqu se sigue que inv(k ) = inv() + 1. Ahora, si k > k+1 , entonces
(k, k + 1) es inversion de pero no es inversion de k por lo que se tiene
inv(k ) = inv() 1.
Corolario I.3.3. Para Sn y 1 k < n se tiene sgn() = sgn(k ).
as, si = i1 i2 i1 =
Si = i1 i2 il , entonces sgn() = (1)l . Adem
j1 j2 jm , entonces l m mod 2.
Ahora, veremos que papel juegan las transposiciones en Sn .
Proposici
on I.3.4. Toda permutaci
on en Sn es producto de transposiciones.
Demostraci
on. Sea Sn . Si = 1, entonces 1 = (12)(12). Si 6= 1, sabemos
que es un producto de ciclos disjuntos, as que bastara probar el resultado
para ciclos. Podemos ver que el k-ciclo (a1 a2 ak ) se puede expresar como el
producto (a1 ak )(a1 ak1 ) (a1 a2 ).
Teorema I.3.5. Sn est
a generado por el conjunto de transposiciones simples.
Demostraci
on. Bastara mostrar que toda transposicion se puede expresar como
producto de transposiciones simples. Sea = (ij), con i < j. Podemos ver que
= i j3 (j2 j1 j2 )j3 i
Este resultado nos dice que a pesar de que Sn es un grupo muy grande, de
n! elementos, posee un conjunto muy peque
no de generadores, el n
umero de
transposiciones simples en Sn es n 1.
Corolario I.3.6. Sean , Sn , entonces sgn() = sgn() sgn().
13
I.3 El grupo sim

etrico
Demostraci
on. Supongamos que = i1 i2 il y = j1 j2 jm , entonces
= i1 i2 il j1 j2 jm y as
sgn() = (1)l+m = (1)l (1)m = sgn() sgn().
Ejercicio. Sea = (a1 a2 ak ) y Sn . Muestre que

1 = ((a1 )(a2 ) (ak )).
Corolario I.3.7. Para toda permutaci

on Sn , sgn() = sgn( 1 ).
Definici
on I.3.5. Decimos que una permutaci
on Sn es par si sgn() = 1;
en otro caso, decimos que es impar. Definamos el conjunto
def
An = { Sn : es par}.
Teorema I.3.8. Para cada n N, An Sn y es llamado grupo alternante.
Ejercicio. Muestre que |An | =
n!
2 .
Ahora, estudiaremos un concepto ligado al de inversion de permutaciones.

Definici
on I.3.6. Una expresi
on reducida para Sn es un producto de
transposiciones simples = i1 i2 il de longitud mnima. La longitud de
6= 1, denotada por (), es la longitud de cualquier expresi
on reducida para .
def
Definimos (1) = 0.
Ejemplo: Considere
=
1 2
3 2

3
= (13).
1
Es claro que = (23)(12)(23) y tambien = (12)(23)(12). En este caso vemos

que inv() = 3 y as sgn() = 1; esto nos dice que se expresa como un
producto de un n
umero impar de transposiciones, y como no es una transposicion simple, las expresiones dadas para son expresiones reducidas y por
tanto, () = 3.
Lema I.3.9. Si Sn , entonces inv() ().
Demostraci
on. Sea k = (), sabemos que existen k transposiciones simples,
on reducida
digamos i1 , i2 , . . . , ik Sn , tales que i1 i2 ik es una expresi
para . Recordemos que inv(ij ) = 1 y por el Lema I.3.2, inv(i1 i2 ) 2.
14
Grupos
Probaremos por induccion que inv(i1 ij ) j: el caso j = 1 es claro; si

suponemos cierta la afirmaci
on para todo entero menor que j, vemos que
inv(i1 ij1 ij ) = inv(i1 ij1 ) 1 (j 1) + 1 = j.
Por tanto, inv() k = ().
Teorema I.3.10. Para cada Sn se tiene que inv() = ().
Demostraci
on. Si = 1 es claro. Supongamos que 6= 1 y por el Lema anterior,
basta demostrar que () inv(): sean k = inv() y (i, j) una u inversion de
, entonces i < j y (i) > (j). Definamos ahora
def
m = min{r : i < r j, (i) > (r)}

para tener que (i, m) es una inversion de y (i) (m 1), de donde se concluye que (m 1, m) es una inversion de . Sabemos que inv(l1 ) = inv() 1,
donde l1 = m 1. Si inv(l1 ) = 0, entonces inv() = 1 y esto nos dice
que es una transposicion simple por lo que inv() = (); si inv(l1 ) > 0,
podemos repetir el proseso anterior k-veces para obtener transposiciones simples
l2 , . . . , lk tales que inv(l1 l2 lk ) = 0. As, vemos que l1 l2 lk = 1 y
se obtiene una expresi
on para como el producto lk lk1 l1 de transposiciones simples. Por tanto, k = inv() ().
Ejercicio. Sea a < b. Calcule inv( ), donde = (ab). Si es el k-ciclo
(a1 a2 ak ), calcule sgn(). Tambien, muestre que el conjunto
{1, (12)(34), (13)(24), (14)(23)}
es un subgrupo de S4 .
El matematico suizo L. Euler (1707-1783) estudio la aritmetica modular y aun que no la relaciono con el concepto de grupo, dio la demostraci
on de un caso particular del
Teorema de Lagrange as como algunas concecuencias de tal Teorema aplicado
a grupos ciclicos.
La relaci
on de congruencia en el conjunto de n
umeros enteros motiva la
siguiente definicion, que es la adaptacion para grupos de dicha relaci
on.
I.4. El Teorema de Lagrange
Definici
on I.4.1. Sean G un grupo, H G y a, b G. Decimos que a es
congruente con b m
odulo H si a1 b H y lo denotamos por a H b.
Lema I.4.1. La relaci
on de congruencia m
odulo un subgrupo es una relaci
on
de equivalencia en G.
Demostraci
on. Como H es subgrupo de G, tenemos que a1 a = 1 H para
todo elemento a G. Si a H b, entonces a1 b H y tambien su inverso
b1 a H por lo que b H a. Si a H b y b H c, entonces tanto a1 b
como b1 c estan en H y por la cerradura del producto de H, tenemos que
a1 c = (a1 b)(b1 c) H.
15
I.4 El Teorema de Lagrange
Definici
on I.4.2. Sean G un grupo, H G y a G. Una clase lateral
izquierda de H en G es el conjunto
def
aH = {ah : h H}.
Al conjunto de clases laterales izquierdas de H en G lo denotaremos por G/H.
Lema I.4.2. Para cada a G, tenemos aH = {g G : g H a}.
Demostraci
on. Sea g aH, entonces existe h H tal que g = ah y as, a1 g =
h H. Ahora, si g H a, entonces a1 g H y as, existe h H tal que
a1 g = h y se obtiene as la otra contenci
on.
Este resultado nos dice que el conjunto de clases laterales forma una particion
de G y as, las clases laterales son disjuntas y cubren a todo el grupo. Vemos
que H es una clase lateral ya que H = 1H y es la u
nica clase lateral que es un
subgrupo de G, pues 1 H.
Corolario I.4.3. Sean G un grupo, H G y R un conjunto de representantes
de la relaci
on de congruencia m
odulo H, entonces
G
G=
aH,
aR
donde
denota uni
on disjunta.
Tambien podemos definir la relaci

on de congruencia modulo un subgrupo en
otra forma:
Definici
on I.4.3. Sean G un grupo, H G y a, b G. Diremos que a es
congruente por derecha con b m
odulo H si ab1 H y lo denotaremos
por aH b.
Ejercicio. Muestre que la relaci
on de congruencia por derecha modulo un subgrupo es una relaci
on de equivalencia en G. Si a G y H G, definamos el
conjunto
def
Ha = {ha : h H}
y llamemoslo una clase lateral derecha de H en G. Al conjunto de clases
laterales derechas de H en G lo denotaremos G\H. Muestre que para cada
a G se tiene Ha = {g G : gH a}. Adem
as, muestre que los conjuntos
G/H y G\H tienen la misma cardinalidad.
Definici
on I.4.4. Sea H G. El ndice de H en G es el n
umero de clases
laterales de H en G y se denota por [G : H].
Lema I.4.4. Sean G un grupo, H G y a, b G, entonces existe una biyecci
on
entre los conjuntos aH y bH. En particular, si H es finito, |aH| = |bH|.
16
Grupos
Demostraci
on. Considere la funcion f : aH bH definida por g 7 ba1 g.
Vemos que f (g1 ) = f (g2 ) si y s
olo si ba1 g1 = ba1 g2 y multiplicando ambos
1 1
lados por (ba ) tenemos que g1 = g2 , por lo que f es inyectiva. Para cada
ge bH, digamos ge = be
h con e
h H, tenemos que g = ae
h aH y
f (g) = ba1 g = ba1 (ae
h) = be
h = ge,
por lo que f es suprayectiva.
Corolario I.4.5. Sea G un grupo. Si H G, entonces |G| = [G : H]|H|.

Demostraci
on. Si expresamos aP
G como uni
on disjunta de clases laterales de H
en G podemos ver que |G| = aR |aH|, donde R es un conjunto de representantes
P de clases laterales de H en G. Por el Lema I.4.4, |aH| = |H| y as,
|G| = aR |H| = [G : H]|H|.
Teorema I.4.6. (Lagrange). Si H es un subgrupo de un grupo finito G, entonces |H| divide a |G|.
El Teorema de Lagrange tiene varias consecuencias interesantes para grupos
finitos.
Corolario I.4.7. Sea G un grupo finito. Para cada a G, o(a) divide a |G|.
Ejercicio. Sea a G un elemento de orden finito. Muestre que ak = 1 si y
s
olo si o(a) divide a k.
Corolario I.4.8. Sea G un grupo finito. Si a G, entonces a|G| = 1.
Ejercicio. Sean p un n
umero primo y G un grupo de orden p. Muestre que G
es cclico y que cualquier elemento distinto de 1 genera a G.
Un resultado aritmetico sobre los ndices es el siguiente
Teorema I.4.9. Sean K H G, entonces [G : K] = [G : H][H : K].
Demostraci
on. Si F
expresamos a H como uni
on disjunta
F de clases laterales de
K tenemos H = iI hi K; del mmismo modo, G = jJ gj H y se concluye

F
F
que G puede ser expresado como jJ gj
iI hi K y como las uniones son
disjuntas,
G
G=
gj h i K
jJ
iI
que es una expresi

on de G en clases laterales de K. Por tanto, [G : K] =
|J I| = |J| |I| = [G : H][H : K].
I.5 Acciones de grupos en conjuntos
17
Las acciones de grupos son una de las herramientas modernas de la Teora de Grupos. Algunas
de sus aplicaciones se encuentran en la Topologa
Algebraica, en la Geometra, en Combinatoria y en la misma Teora de Grupos
como veremos mas adelante.
I.5. Acciones de grupos en
conjuntos
Definici
on I.5.1. Sea G un grupo y X un conjunto no vaco. Una acci
on
de G en X es una aplicaci
on G X X que asocia a cada pareja (g, x) un
elemento g.x X tal que
(Ac1) 1.x = x para todo x X,
(Ac2) g.(h.x) = (gh).x para todo par de elementos g, h G y todo x X.
Diremos que G act
ua en X, o bien X es un G-conjunto, si existe una acci
on
de G en X.
Ejemplo: Sea G un grupo.
1. G act
ua en G/H para cualquier subgrupo H por translaci
on: definimos
G G/H G/H por g.(xH) = (gx)H.
2. G act
ua en s mismo por conjugacion: definimos G G G por g.x =
gxg 1 .
3. G act
ua en si mismo por translaci
on: definimos G G G por g.x=gx.
4. Sea H G y X un G-conjunto, entonces X es un H-conjunto por restricci
on de la accion.
Definici
on I.5.2. Sea X un G-conjunto y g G. Definimos g : X X por
g (x) = g.x.
Ejercicio. Muestre que
1. 1 = idX ,
2. g h = gh para todo g, h G,
3. g1 es la funcion inversa de g para todo g G.
Teorema I.5.1. Sean G un grupo y X un conjunto no vaco. Existe una
biyecci
on entre las acciones de G en X y los homomorfismo de G en S(X).
18
Grupos
Demostraci
on. Sea G X X una accion y definamos X : G S(X) por
g 7 g . Por el ejercicio anterior, X es un homomorfismo de grupos. Ahora, sea
: G S(X) un homomorfismo de grupos y definamos la aplicacion GX X
por g.x = (g)(x). Veamos que esto define una accion: si x X, entocnes
1.x = (1)(x) = idX (x) = x y si g, h G, entonces
g.(h.x) = g.(h)(x) = (g) (h)(x) = (gh)(x) = (gh).x,
por lo que G act
ua en X. Resta ver que estas asignaciones son inversas: Si G
act
ua en X, entonces la accion que induce de X es la misma ya que X (g)(x) =
g (x) = g.x; del mismo modo, sea un homomorfismo de grupos de G en S(X),
la accion que define este homomorfismo es g.x = (g)(x), pero el homomorfismo
(X) se define por X (g) = g la cual a cada x le asocia g.x = (g)(x).
Ejemplo:
1. Sea F un campo, entonces GLn (F) act
ua en Fn : definimos GLn (F)Fn
n
F por A.x = Ax, donde la operaci
on de la derecha es la multiplicaci
on
de matrices, viendo a x como una matriz de n 1.
2. Para cada n N, Sn act
ua en [n] por evaluaci
on: definimos Sn [n] [n]
por .i = (i).
3. Tambien, Sn act
ua en Fn permutando coordenadas: sea Sn y B =
{e1 , e2 , . . . , en } la base can
onica de Fn ; definimos .ei = e(i) y para cada
n
x F , tenemos
def
.x =
n
X
xi e(i) =
(j)
ej .
j=1
i=1
As, tenemos .(x1 , x2 , . . . , xn ) = (x
n
X
(1)
, x
(2)
, . . . , x
(n)
).
Ejemplo:
Definici
on I.5.3. Denotemos por O(n) al conjunto de todas las matrices en
GLn (R) que satisfacen AT A = Id, es decir,
def
O(n) = {A GLn (R) : AT A = Id}.

A los elementos de O(n) se les llaman matrices ortogonales.
Teorema I.5.2. El conjunto O(n) es un subgrupo de GLn (R) llamado grupo
ortogonal.

a b
y se tiene
Estudiaremos el caso n = 2: Si A O(2), entonces A =
c d

2

a b
a c
a + b2 ac + bd
AT A = Id = AAT =
=
c d
b d
ca + db c2 + d2
19

2
En consecuencia, se tiene que k(a, b)k = 1 = k(c, d)k2 y h(a, b), (c, d)i = 0.
Por tanto, los renglones de la matriz A forman una base ortonormal de
R2 ; como AT = A1 O(2), se sigue que las columnas de A tambien
forman una base ortonormal para R2 .
Ahora, si A O(2), entonces
1 = det Id = det(AT A) = det(AT ) det A = (det A)2 ,
por lo que det A = 1. Sea A O(2); analicemos estos casos por separado.
det A = 1. Como la primera columnas de A tiene norma 1, existe
[0, 2) tal que su primera columna es de la forma (cos , sen ). Sabemos que la segunda columna de A tiene norma 1 y es ortogonal a la
primera, por lo que se tienen las siguientes dos posibilidades:

cos( + ), sen( + ) = ( sen , cos )
2
2

Ae2 =
cos( + 3 ), sen( + 3 ) = (sen , cos )
2
2
Como det A = 1, la segunda posibilidad no es v
alida y por tanto

cos sen
A=
R .
sen
cos
R se llama matrz de rotaci
on por un
angulo .
det A = 1. En este caso, vemos que A toma la forma

cos
sen
Rx ,
A=
sen cos
donde x es un vector ortogonal a la recta con pendiente . Rx se
llama matrz de reflexi
on a travez de la recta con pendiente
.
Sea R una matriz de rotacion por un angulo y supongamos que existen
x, y R2 tal que R x = y, entonces y se encuentra al rotar a x un angulo
en el sentido contrario a las manecillas del reloj.
Definici
on I.5.4. Para cada n N definimos el conjunto
def
SO(n) = {A O(n) : det A = 1}.

Teorema I.5.3. Para cada n N, el conjunto SO(n) es un subgrupo de O(n)
llamado grupo ortogonal especial.
Ahora, estudiaremos la din
amica que presenta una accion de grupo.
20
Grupos
Definici
on I.5.5. Sea X un G-conjunto y x X. La G-
orbita de x es el
conjunto
def
OG (x) = {g.x : g G}.
El estabilizador de x es el conjunto
def
Gx = {g G : g.x = x}.
Ejercicio. Sea X un G-conjunto y x X. Muestre que Gx G.
Ejemplo:
1. Sea = (a1 a2 ak ) Sn y H = hi, entonces H act
ua en [n] por
restricci
on de la accion de Sn . Vemos que i (a1 ) = a1+i y as, es claro
que OH (ai ) = {a1 , a2 , . . . , ak }.
2. Considere la accion de GL2 (R) en R2 , entonces O(2) act
ua en R2 por
restricci
on. Si x = (r, 0), para r > 0, vemos que
OO(2) (x) = {y R2 : kyk = r}.
3. Considere la accion de Sn en [n] por evaluaci
on. Si x = n, entonces
(Sn )x = { Sn : (n) = n}.
Ejercicio. Sea X un G-conjunto, entonces para cada g G y x X tenemos
def
Gg.x = gGx g 1 . Aqu, gGx g 1 = {ghg 1 : h Gx }.
Definici
on I.5.6. Un G-conjunto X es transitivo si existe x X tal que
OG (x) = X, o equivalentemente, si X 6= y para toda pareja x, y X existe
g G tal que y = g.x.
Ejercicio. Muestre que las dos definiciones dadas en la Definicion I.5.6 son
equivalentes.
Observemos que si X es un G-conjunto y definimos la relaci
on x G y si y
s
olo si existe g G tal que y = g.x, entonces G es una relaci
on de equivalencia
en X y las clases de equivalencia son las distintas orbitas en X. Si R es un
conjunto de representantes de las orbitas en X, entonces
G
X=
OG (x);
xR
adem
as, cada
orbita es un G-conjunto transitivo.
Ejemplo:
21
1. G/H es un G-conjunto transitivo.

2. [n] es un Sn -conjunto transitivo.
3. La accion de G en si mismo por conjugacion no es transitiva, en este caso
las
orbitas OG (x) se llaman clases de conjugaci
on y se denotan por
def
conjG (x) = {gxg 1 : g G}.

4. La accion de G en s mismo por translaci
on es transitiva.
5. Considere la accion de GLn (F) en Fn . Dados x, y Fn {0} podemos
encontrar A GLn (F) tal que A.x = y. El procedimiento es el siguiente:
sean {x, x2 , . . . , xn }, {y, y 2 , . . . , y n } bases de Fn y A : Fn Fn la transformaci
on lineal definida por x 7 y y para 2 i n, xi 7 y i . Luego,
es claro que la matriz A asociada a la transformacion lineal A satisface
Ax = y y A GLn (F). Esto muestra que OGLn (F) (x) = Fn {0} para
cualquier x 6= 0.
Definici
on I.5.7. Sean X y Y dos G-conjuntos. Una aplicaci
on f : X Y es
un homomorfismo de G-conjuntos si para todo g G y x X se cumple
f (g.x) = g.f (x). Diremos que los G-conjuntos son isomorfos si existe un
homomorfismo de G-conjuntos f : X Y que sea biyectivo; en tal caso lo
denotaremos por X
=G Y .
Proposici
on I.5.4. Sean X un G-conjunto transitivo y x X, entonces X
=G
G/Gx , donde la acci
on de G en G/Gx es por translaci
on de clases laterales.
Demostraci
on. Definamos f : G/Gx X por gGx 7 g.x, la cual esta bien
definida y es inyectiva pues gGx = hGx h1 g Gx h1 .(g.x) =
(h1 g).x = x g.x = h.x. Ahora, al ser X un G-conjunto transitivo, para
cada y X existe g G tal que g.x = y y as, f (gGx ) = y.
Corolario I.5.5. Sean X un G-conjunto y x X, entonces OG (x)
=G G/Gx .
Si G es finito, entonces |OG (x)| = [G : Gx ].
Ahora, veremos algunas aplicaciones de acciones de grupos a la Teora de Grupos.
Definici
on I.5.8. Sea g G. El centralizador de g en G es el conjunto
def
CG (g) = {h G : hg = gh}.
Observe que para cada x G, CG (x) es el estabilizador de x cuando G
act
ua en s mismo por conjugacion y as, CG (x) G. Adem
as, se tiene que
G/C
(x)
y
si
G
es
finito,
|conj
(x)|
=
[G
:
C
(x)].
conjG (x)
=G
G
G
G
22
Grupos
Definici
on I.5.9. Sea S G. El centralizador de S en G es el conjunto
def
CG (S) = {g G : gs = sg para todo s S}.

El centro de G es el conjunto
def
Z(G) = {g G : gh = hg para todo h G}.

T
Observe que CG (S) = sS CG (s) G y Z(G) = CG (G) G. Adem
as,
g Z(G) CG (g) = G.
Recuerde que S (G) denota la familia de subgrupos de G y definamos una
accion de G en S (G) por g.H = gHg 1 llamada acci
on de G por conjugaci
on en su familia de subgrupos.
Ejercicio. Muestre que G S (G) S (G) definida por g.H = gHg 1 es una
accion de G en S (G).
Definici
on I.5.10. Sea H G. El normalizador de H en G es el conjunto
def
NG (H) = {g G : gH = Hg}.
N
otese que NG (H) es el estabilizador de H en la accion de G por conjugacion
en su familia de subgrupos, por lo que NG (H) G. Tambien tenemos que
umero de
{gHg 1 : g G}
=G G/NG (H) y si G es finito, [G : NG (H)] es el n
subgrupos de G conjugados a H.
Ejercicio.
on (H K) G G por

Sean H, K G y definamos la aplicaci
1
(h, k), g 7 hgk . Muestre que esta aplicaci
on define una accion de H K
en G.
Definici
on I.5.11. Sean H, K G y g G. Una clase lateral doble de H
y K en G es el conjunto
def
HgK = {hgk : h H, k K}.

Es claro que OHK (g) = HgK para todo g G.
Proposici
on I.5.6. Sea G un grupo finito y H, K G, entonces para todo
g G se tiene
|H| |K|
.
|HgK| =
|H gKg 1 |
Demostraci
on. Vemos que
(H K)g
def
=
=
=
{(h, k) H K : (h, k).g = g} = {(h, k) : hgk 1 = g}

{h H : g 1 hg K} = {(h, k) : g 1 hg = k}
{h H : h gKg 1 } = H gKg 1
23
I.6 Subgrupos normales
y as tenemos
|HgK| = |OHK (g)| = [H K : (H K)g ] =
|H K|
|H| |K|
=
.
|(H K)g |
|H gKg 1 |
def
Definici
on I.5.12. Sean S, T G. Definimos ST = {st : s S, t T }.
Corolario I.5.7. Si S, T G, entonces |ST | =
|S||T |
|ST | .
En el trabajo de E. Galois se presenta por primera

vez el concepto de subgrupo normal y es el primer
matematico que trabaja con cocientes de estructuras algebraicas. Esta nocion
tiene sus respectivos analogos en otras estructuras como lo veremos en anillos,
modulos y espacios vectoriales.
I.6. Subgrupos normales
Definici
on I.6.1. Sea N G. Diremos que N es un subgrupo normal de G
si para todo g G se tiene gN = N g. En tal caso, lo denotaremos por N E G.
N
otese que N E G si y s
olo si para todo g G se tiene gN g 1 = N .
Ejercicio. Todo subgrupo de ndice 2 es normal.
Lema I.6.1. Un subgrupo N de G es normal si y s
olo si gN g 1 N para todo
g G.
Demostraci
on. La necesidad es evidente. Para la suficiencia, sea b G, entonces
bN b1 N y tambien tenemos que b1 N b = (b1 )N (b1 )1 N , de donde se
concluye que N bN b1 .
Ejemplo:
1. Considere T2+ (Q) GL2 (Q) el grupo de matrices triangulares superiores
de orden 2 con entradas racionales y sea H el subgrupo cclico generado
por la matriz con entradas igales a 1, es decir,

1 1
hA1 i .
H=
0 1
Si A es la matriz diagonal con entradas 2, 1 y An = (A1 )n H, se tiene
que AAn A1 = A2n . De aqu vemos que A1
/ AHA1 y por tal raz
on,
+
H no es un subgrupo normal de T2 (Q).
2. En S4 considere el 4-grupo de Klein
V = {1, (12)(34), (13)(24), (14)(23)}.
Si V {1}, entonces su factorizaci
on en ciclos disjuntos se conforma
del producto de dos transposiciones disjuntas y como todos los posibles
24
Grupos
productos de dos transposiciones disjuntas en S4 son los elementos de V , se

tiene que V contiene a todas las permutaciones con tipo cclico (2, 2). Por
un ejercicio anterior, sabemos que todos los conjugados tienen el mismo
tipo cclico as que V contiene a todos los conjugados de cada uno de sus
elementos. Por tanto, V E S4 .
3. Si G es un grupo abeliano, H E G para todo H S (G).
4. Considere SLn (F) GLn (F). Si A SLn (F), entonces para toda B
GLn (F) se tiene que
det(BAB 1 ) = det B det A (det B)1 = det A = 1.
Por tanto, BAB 1 SLn (F) y se concluye que SLn (F) E GLn (F).
Ejercicio. Sean H, K G. Muestre que HK G si y s
olo si HK = KH.
Proposici
on I.6.2. Sean H, K G.
(1) Si K E G, entonces HK G y H K E H.
(2) Si H, K E G, entonces HK E G y H K E G.
Demostraci
on. (1) Sea h H, entonces hK = Kh por ser K un subgrupo
normal de G y as, hK KH para todo h H. Por tanto, HK KH.
La otra contenci
on es similar. Por el ejercicio anterior, HK G.
Si h H y g H K, entonces hgh1 H, por ser g un elemento de H, y
tambien hgh1 K, por ser K normal en G. As, vemos que H K E H.
(2) Por la parte (1) se tiene HK G. Si g G y hk HK, entonces

g(hk)g 1 = (ghg 1 )(gkg 1 ) HK, por ser ambos subgrupos normales
de G. Por tanto, HK E G. El resto de la demostraci
on queda como
ejercicio.
Si N E G, definimos una operaci
on binaria en G/N :
def
(aN ) (bN ) = (aN )(bN ),
(I.1)
donde la operaci
on en el lado derecho es el producto de subconjuntos en G.
Observe que (aN ) (bN ) = (ab)N ya que (aN )(bN ) = a[(N b)N ] = a[(bN )N ] =
(abN ).
Teorema I.6.3. Sea G un grupo y N E G, entonces G/N es un grupo con la
operaci
on definida en (I.1).
Definici
on I.6.2. Sean G un grupo, N un subgrupo normal de G y G/N el
grupo definido en el Teorema I.6.3. El grupo G/N se llama grupo cociente
de G por N .
25
I.7 Homomorfismos
El matematico aleman C. Jordan (1838-1922) fue el primero en definir lo que es un isomorfismo de permutaciones y trabajo con series de composicion de grupos de permutaciones, despues,
el tambien matematico aleman O. H
older (1859-1937) generalizo el trabajo de C.
Jordan a grupos abstractos. Aqui estudiaremos las aplicaciones que preservan
la estructura de grupo.
I.7. Homomorfismos
Definici
on I.7.1. Sean G y H dos grupos. Una aplicaci
on : G H se llama
homomorfismo de grupos si para cualesquiera a, b G se tiene que
(ab) = (a)(b).
Un homomorfismo biyectivo se llama isomorfismo; en tal caso, decimos que
los grupos G y H son isomorfos y lo denotamos G
= H. Si : G G es un
isomorfismo, lo llamaremos automorfismo.
Observe que si : G H es un homomorfismo de grupos, entonces (1) = 1,
(a1 ) = (a)1 y para todo n Z se tiene que (an ) = (a)n .
Adem
as, si : G H y : H K son homomorfismo de grupos, entonces
: G K es tambien un homomorfismo de grupos; si es isomorfismo,
entonces 1 : H G es tambien un isomorfismo.
Teorema I.7.1. La relaci
on de isomorfismo de grupos es una relaci
on de equivalencia en la clase de grupos.
Ejemplo:
1. El grupo aditivo de los enteros es isomorfo al grupo

1 n
:nZ .
H=
0 1
2. Sea G un grupo y g G, entonces existe un u
nico homomorfismo de
grupos : Z G tal que (1) = g.
3. Sea N E G y definamos : G G/N por (a) = aN . se llama la
proyecci
on can
onica y es un homomorfismo de grupos.
4. La funcion det : GLn (F) F es un homomorfismo.
5. Sea X un conjunto con n elementos, entonces S(X)

= Sn .
6. Sean H, K G, entonces H
= K no implica que H y K sean conjugados.
7. Si H y K son dos subgrupos conjugados de G, entonces H

= K.
8. Sea a G y definamos a : G G como a (b) = aba1 , entonces a es

un automorfismo de G.
9. Si definimos G H como g 7 1, entonces esta aplicaci
on es un homomorfismo llamado el homomorfismo trivial y se denota por 0 : G H.
26
Grupos
Definici
on I.7.2. Sea : G H un homomorfismo de grupos. El n
ucleo de
es el conjunto 1 (1) y se denota por ker . La imagen de es el conjunto
(G) y se denota por Im.
Observe que Im H y ker E G.
Ejemplo:
1. ker det = SLn (F).
2. Si : G G/N , entonces ker = N .
Teorema I.7.2. (Teorema del homomorfismo). Sea : G H un homomorfismo de grupos y N E G. Si N ker , entonces existe un u
nico homomorfismo
de grupos : G/N H tal que = ,
donde : G G/N es la proyecci
on
can
onica.
G
z
G/N
/H
z=
z
z !
Demostraci
on. Definamos : G/N H por (aN
) = (a) y veamos que

esta bien definida: sabemos que
aN = bN b1 aN = N b1 a N ker
por lo que (b)1 (a) = (b1 a) = 1 y as, (a) = (b). Es claro que =
y como es un homomorfismo de grupos,

([aN
][bN ]) = ([ab]N
) = (ab) = (a)(b) = (aN
)(bN
).
Ahora, sea : G/N H un homomorfismo de grupos tal que = , entonces
(aN ) = (a) = (a) = (aN
)
para todo aN G/N .
Teorema I.7.3. (Primer Teorema de Isomorfismo). Sea : G H un homomorfismo de grupos, entonces G/ ker
= Im.
Teorema I.7.4. (Segundo Teorema de Isomorfismo). Sean G un grupo y N E
G. Si H G, entonces HN/N
= H/(H N ).
Teorema I.7.5. (Tercer Teorema de Isomorfismo). Sean H y K dos subgrupos
(G/K)
normales de un grupo G. Si K H, entonces G/H
= (H/K) .
27
I.8 Grupos cclicos
Teorema I.7.6. (Teorema de Correspondencia). Sea : G H un homomorfismo suprayectivo y definamos los conjuntos
def
S (G, ) = {K G : ker K},
def
S (H) = {L H : L H},
entonces la aplicaci
on f : S (G, ) S (H) definida por f (K) = (K) es
biyectiva y satisface
(1) f (1 (L)) = L para todo L S (H);
(2) para K1 , K2 S (G, ) se tiene K1 K2 si y s
olo si f (K1 ) f (K2 ).
Adem
as, [K2 : K1 ] = [f (K2 ) : f (K 1)];
(3) si K1 , K2 S (G, ), K1 E K2 si y s
olo si f (K1 ) E f (K2 ). Adem
as,
K2 /K1
= f (K2 )/f (K1 ).
La demostraci
on de estos teoremas queda como ejercicio.
Definici
on I.7.3. Sea X un G-conjunto y X : G S(X) el homomorfismo
inducido por la acci
on de G en X. Decimos que la acci
on es fiel si X es
inyectivo.
Teorema I.7.7. (Cayley). Todo grupo finito G es isomorfo a un subgrupo de
un grupo simetrico Sn .
Demostraci
on. Sabemos que G act
ua en s mismo por translaci
on. Esta
accion
define un homomorfismo de grupos G : G S(G) que esta definido por g 7
g : G h 7 gh G. Veamos que G es inyectivo: si g = idG , entonces
gh = g (h) = h lo que implica g = 1. Por tanto, la accion es fiel. Sea n = |G|,
entonces S(G)
= Sn .
= G (G) S(G)
= Sn y as G
En esta seccion veremos algunos resultados que fueron
descubiertos por L. Euler y por K. F. Gauss (1777-1855)
usando Teora de N
umeros, pero en el contexto de la Teora de Grupos. Uno de
los resultados mas importantes sobre grupos ciclicos fue demostrado por Gauss
al estudiar el orden de los elementos de un grupo cclico, aun que no usaba esta
terminologa.
I.8. Grupos cclicos
Lema I.8.1. Todo subgrupo de un grupo cclico es cclico.

Demostraci
on. Sea H un subgrupo de G = hai y definamos
m = min{i N : ai H}.
Como ejercicio queda mostrar que H = ham i.
Lema I.8.2. Sea G = hai un grupo cclico de orden n. Si d es un divisor de n,
entonces existe un u
nico subgrupo Hd de G tal que |Hd | = d.
28
Grupos
n
Demostraci
on. Si do = 1 entonces Hd = {1}. Si d > 1, entonces Hd = a d =
n
(d1)n
n
el cual es claramente un subgrupo de orden d de G. Sea
1, a d , . . . , a d
K G tal que |K| = d, entonces K = ham i para m = min{i N : ai K}

y se tiene (am )d = 1 por lo que n divide a md. As, existe un entero l tal que
nl = md y se concluye que
n
am = (a d )l Hd ,
de donde inferimos que K Hd , pero |K| = |Hd |. Por tanto, K = Hd .
Proposici
on I.8.3. Sea G = hai un grupo cclico de orden n. Si d1 y d2 son
dos divisores de n, entonces
(1) Hd1 Hd2 = H(d1 ,d2 ) ;
(2) Hd1 Hd2 = H[d1 ,d2 ] .
Demostraci
on. (1) Sea d = |Hd1 Hd2 |, entonces d divide tanto a d1 como a
d2 ya que Hd es subgrupo simultaneamente de Hd1 y Hd2 . Supongamos
que k es un divisor com
un de d1 y d2 , entonces existen enteros k1 y k2
tales que d1 = kk1 y d2 = kk2 . Sea m Z tal que n = md1 , entonces
n k 1
md1
n
Hd1
a k = a d1 /k1 = amk1 = a d1
por lo que Hk Hd1 ; similarmente, Hk Hd2 y se tiene que Hk

Hd1 Hd2 = Hd . De aqu que k sea un divisor de d y se concluye que
d = (d1 , d2 ).
(2) Sea d = |Hd1 Hd2 |, entonces tanto d1 como d2 son divisores de d ya que
Hd1 , Hd2 Hd .
Ejercicio. Verifique que [d1 , d2 ] divide a d.
n
Sea k N un m
ultiplo com
un de d1 y d2 , entonces (a d1 )k = 1 = (a d2 )k ;
n
como a d Hd1 Hd2 entonces
n
adk = ad
k
k
n
n
n
n
= a d1 s1 a d2 s2 = (a d1 s1 )k (a d2 s2 )k = 1
por lo que n divide a nd k. As, existe un entero positivo l tal que nl = nd k

y se concluye que dl = k, es decir, d divide a k. Por tanto, d = [d1 , d2 ].
Observe que si G es un grupo cclico infinito generado por a y m, n Z,
an = am si y s
olo si m = n.
Lema
I.8.4. Sea G un grupo cclico infinito generado por a. Si d N, entonces
ad es el u
nico subgrupo de G con ndice d.
29
I.9 Mas aplicaciones de acciones de grupos

Demostraci
on. Sea H = ad , entonces H, aH, . . . , ad1 H son una familia de
subconjuntos ajenos de G. Adem
as, si m Z existen q, r Z tales que m =
qd + r con 0 r < d y as,
am = aqd+r = ar (ad )q ar H.
Por tanto, H, aH, . . . , ad1 H son las clases laterales de H en G y as [G
: H]
= d.
Supongamos que K es un subgrupo de G con ndice d, entonces K = ak para
alg
un entero k y por lo anterior, k = [G : K] = d y se concluye que K = H.
Ejercicio. Sea G un grupo cclico infinito generado por a. Si d1 , d2 N,
muestre que

(1) ad1 ad2 = a[d1 ,d2 ] ;

(2) ad1 ad2 = a(d1 ,d2 ) .

Sea R un conjunto de representantes de las clases de
conjugacion de G. Observe que aP
Z(G) si y s
olo si
CG (a) = G y sabemos que |G| = aR |conjG (a)| =
y se tiene la ecuaci
on de clase:
I.9. Mas aplicaciones de

acciones de grupos
P
|G|
aR |CG (a)|
|G| = |Z(G)| +
aR
aZ(G)
/
|G|
.
|CG (a)|
(I.2)
Teorema I.9.1. Sea p un n

umero primo y G un grupo de orden pn , con n N,
entonces Z(G) 6= {1}.
Demostraci
on. Si a R y a
/ Z(G), entonces CG (a) < G y as, p divide a
|G|
y
como
p
divide
a
|G|,
entonces p debe de dividir a |Z(G)|. Por tanto,
|CG (a)|
Z(G) tiene al menos p > 1 elementos.
Sabemos que si b G, entonces Z(G) CG (b).
Corolario I.9.2. Si G es un grupo de orden p2 con p un n
umero primo, entonces G es abeliano.
Demostraci
on. Sea b G. Si Z(G) = CG (b), entonces b Z(G); si Z(G) <
CG (g), entonces 1 < |Z(G)| < |CG (b)| p2 por lo que |CG (b)| = p2 , es decir,
CG (b) = G lo que implica b Z(G). Por tanto, G = Z(G).
Teorema I.9.3. (Teorema de Cauchy para grupos abelianos). Sean G un grupo
abeliano de orden finito y p un n
umero primo. Si p divide a |G|, entonces existe
un elemento de G de orden p.
30
Grupos
Ps
Demostraci
on. Sea |G| = pn1 1 pns s y n = i=1 ni . Haremos induccion sobre
n: Si n = 1, entonces |G| = p y por tanto G es cclico de orden p y cualquier
elemento no trivial de G lo genera. Ahora, supongamos que n > 1 y que el
Teorema es v
alido para todo entero positivo m < n. Sea a G {1} y N = hai;
como G es abeliano, N es normal. Si p divide a |N |, entonces existe k N tal
que pk = |N | y se tiene ak 6= 1 pero (ak )p = apk = 1, es decir, o(ak ) = p; si
p no divide a |N |, entonces p divide a |G|/|N | = |G/N | y G/N es un grupo
de orden menor que G, por lo que tiene un n
umero menor de factores primos.
Por hip
otesis inductiva, G/N tiene un elemento de orden p, digamos bN por lo
que b
/ N pero bp N . Luego, vemos que (bp )|N | = 1 y definamos c = b|N | ;
si c = 1, entonces b|N | = 1 y se tiene que (bN )|N | = b|N | N = N por lo que p
divide a |N |, lo que es absurdo. Por tanto, c 6= 1 y se concluye que o(c) = p.
Teorema I.9.4. (Teorema de Cauchy para grupos). Sean G un grupo finito
y p un n
umero primo. Si p divide a |G|, entonces existe un elemento de G de
orden p.
Ps
Demostraci
on. (Primera demostraci
on) Sea |G| = pn1 1 pns s y n = i=1 ni .
Haremos induccion sobre n: El caso n = 1 es claro ahora. Supongamos v
alido
el Teorema para todo grupo cuyo n
umero de factores primos sea menor que
n > 1. Si existe H < G con p un divisor de |H| el resultado se sigue por
hip
otesis inductiva; si p no divide el orden de cualquier subgrupo propio de G,
entonces p no divide a |CG (a)| para todo a
/ Z(G) y por tal motivo, p debe de
para
todo
a
/
Z(G).
Como
p divide a |G| y por la ecuacion de
dividir a |C|G|
G (a)|
clase, se tiene que p divide |Z(G)| por lo que Z(G) no puede ser un subgrupo
propio de G, es decir, Z(G) = G. El resultado se sigue ahora por el Teorema
de Cauchy para grupos abelianos.
Demostraci
on. (Segunda demostraci
on) Sea X = G G G = Gp . Sabemos
que Sp act
ua en X permutando coordenadas y considere la accion de C =
h(12 p)i por restriccion en X. Definamos
Y = {a = (a1 , . . . , ap ) X : a1 ap = 1},
el cual es un conjunto no vaco pues (1, . . . , 1) Y . Es claro que |Y | = |G|p1 ya
que la u
ltima coordenada queda totalmente determinada por las primeras p 1
entradas. Veamos que C.Y Y : sea = (12 p), entonces i .(a1 , . . . , ap ) =
(ai , . . . , ap , a1 , . . . , ai1 ) y conjugando a a1 ap con ai ap se obtiene
(ai ap )(a1 ap )(ai ap )1
1
= ai ap a1 ap a1
p a1
= ai , . . . , ap , a1 , . . . , ai1 .
As, si a = (a1 , . . . , ap ) Y , entonces i .a Y para todo 1 i p, es decir,

Y es un C-conjunto. Luego, sabemos que las C-orbitas de Y son de tama
no 1
o p; si OC ((a1 , a2 , . . . , ap )) es de tama
no 1, entonces a1 = a2 = = ap y as,
ap1 = 1. Esto muestra que bastara con encontrar una C-orbita de tama
no 1:
31
I.10 Teorema de Sylow
sean A = {a Y : |OC (a)| = 1} y B = {b Y : |OC (b)| = p}, entonces

G
G
Y =
OC (a)
OC (b)
aA
bB
y como p divide a |G|, a |Y | y a |OC (b)|, se tiene que p debe de dividir a |A|.
Por tanto, |A| > 1, es decir, existe a A {(1, . . . , 1)} tal que ap1 = 1.
Ejercicio.
1. Muestre que (Z, +) es un subgrupo de (R, +) y R/Z
= (S1 , ).
2. Si F es un campo finito con q = pn elementos, calcule |GLn (F)| y |SLn (F)|.
Una de las herramientas fundamentales para el estudio de los grupos finitos son los llamados Teoremas de
Sylow, los cuales veremos aqui como un s
olo Teorema. El matematico noruego
L. Sylow (1832-1918) dedico gran parte de su vida a la docencia y a publicar los
articulos de su compatriota N. H. Abel (1802-1829), sin embargo, su aportacion
a la Teora de Grupos queda plasmada en las concecuencias del Teorema que
lleva su nombre.
I.10. Teorema de Sylow
Definici
on I.10.1. Sean G un grupo finito y p un n
umero primo que divide a
|G|. Denotemos por |G|p a la m
axima potencia de p que divide a |G|. Diremos
que g G es un p-elemento si o(p) es una potencia de p; G es un p-grupo si
|G| es una potencia de p. Diremos que un subgrupo H de G es un p-subgrupo
si es un p-grupo. Si H es un p-subgrupo de G tal que |H| = |G|p , diremos que
H es un p-subgrupo de Sylow de G.
Tn (F) = {(aij ) GLn (F) : aii = 1, aij = 0 si i > j}
es un p-subgrupo de Sylow de GLn (F) cuando F es un campo finito con q = pn
elementos.
Teorema I.10.1. (Sylow). Sea G un grupo finito y p un divisor de |G|, entonces
(1) G tiene al menos 1 p-subgrupo de Sylow;
(2) todos los p-subgrupos de Sylow de G son conjugados;
(3) cualquier p-subgrupo de G esta contenido en alg
un p-subgrupo de Sylow de
G;
(4) el n
umero de p-subgrupos de Sylow de G es congruente con 1 m
odulo p.
32
Grupos
Demostraci
on. Sea |G| = pn m con (p, m) = 1 y n > 0. Definamos el conjunto
X = {S G : |S| = pn }
el cual es un G-conjunto con la accion por translaci
on a la izquierda.
I. Hay una biyecci
on entre el conjunto de orbitas T de X tales que p no
divide a |T | y el conjunto de p-subgrupos de Sylow de G:
sea T una G-orbita de X tal que p no divide a |T | y tomemos A T . Si

1
/ A, sea a A y tomemos ahora el conjunto a1 A = A T ; por tanto,
podemos suponer que 1 A. Consideremos GA , el estabilizador de A, y
como 1 A se sigue que GA GA .A = A por lo que |GA | |A| = pn y
GA es un p-subgrupo de G. Sabemos que p no divide a |T | = [G : GA ]
y como |G| = |GA |[G : GA ] = |GA ||T |, se concluye que pn divide a |GA |
y por tanto, GA = A es un p-subgrupo de Sylow de G y T
=G G/GA .
Ahora, a cada T le asociamos GA , donde 1 A; notese que A es el u
nico
subgrupo de G en T . Recprocamente, sea P un p-subgrupo de Sylow de
G y definimos TP = G/P . Vemos que p no divide a |TP |.
II. El conjunto X = {S X : p no divide a |OG (S)|} es no vaco:
Escribamos a X X como uni

on disjunta de orbitas cuya cardinalidad
es un m
ultiplo de p por lo que p divide a |X X | = |X| |X |, es decir,
|X| |X | mod p. Es claro que np (G), el n
umero de p-subgrupos de Sylow
de G, coincide con el n
umero de orbitas de X contenidas en X y cada
una de estas
orbitas tiene cardinalidad m. Por tanto, np (G)m = |X |
|X| mod p y como (p, m) = 1 existen enteros a y b tales que 1 = ap + bm
por lo que

|G|
b np (G)(1 ap) np (G) mod p.
pn
N
otese que np (G) no depende de la estructura de G si no de |G|; en
particular, np (G) np (Cpn m ) = 1 mod p. As, hemos demostrado (1) y
(4).
III. Sean Q un p-subgrupo de G y P un p-subgrupo de Sylow de G. Es claro

que Q act
ua en Y = {gP g 1 : g G} por conjugacion y si R Y ,
entonces |OQ (R)| = [Q : QR ] = pk para alg
un k {0, 1, 2, . . . , n}, pero
|Y | = [G : NG (P )] que divide a m = [G : P ] = [G : NG (P )][NG (P ) : P ] de
donde concluimos que p no divide a |Y |. Como Y es una uni
on disjunta
de
orbitas, p no puede dividir a la cardinalidad de todas las orbitas por lo
que existe una orbita de cardinal 1, digamos OQ (P1 ) para alg
un P1 Y .
Por tanto, qP1 q 1 = P1 para todo q Q por lo que se tiene QP1 = P1 Q
lo que implica que QP1 G. Sabemos que
|QP1 | =
|Q| |P1 |
= |P1 |[Q : Q P1 ] = |P1 |pr ,
|Q P1 |
pues [Q : Q P1 ] divide a |Q|, por lo que QP1 es un p-subgrupo, pero

P1 QP1 de donde se tiene QP1 = P1 ; luego, Q = Q P1 P1 y P1 es
33
I.11 El grupo alternante
un p-subgrupo de Sylow de G. As, hemos mostrado (3) y para (2) tome

Q un p-subgrupo de Sylow de G.
Corolario I.10.2. np (G) divide a |G|/|G|p = m.

Demostraci
on. Sea P un p-subgrupo de Sylow de G, entonces np (G) es el
n
umero de subgrupos conjugados a P , es decir, np (G) = [G : NG (P )] que
es un divisor de [G : P ] = m.
Corolario I.10.3. (Teorema de Cauchy). Si p divide a |G|, entonces existe un
elemento de orden p en G.
Demostraci
on. Sean P un p-subgrupo de Sylow de G y a P {1}. Es claro
k1
que o(a) = pk , para alg
un k > 0. Ahora, el elemento g = ap
es un elemento
de orden p en G.
Ejercicio.
1. Sean G un grupo, P un p-subgrupo de Sylow de G y N un subgrupo
normal de G. Si p divide a |N |, entonces P N es un p-subgrupo de
Sylow de N y P N/N es un p-subgrupo de Sylow de G/N .
2. Sean H G y P un p-subgrupo de Sylow de G. Si p divide a |H|, entonces
existe g G tal que gP g 1 H es un p-subgrupo de Sylow de H.
3. Sean p y q dos n
umeros primos distintos. Muestre que Cp Cq es cclico.
Abel, en la primera mitad del siglo XIX, dio la
primera demostraci
on aceptada de la irresolubilidad de la ecuaci
on general de quinto grado al mostrar que el grupo A5 era un
grupo simple y por tal motivo, S5 no es un grupo soluble. Sin embargo, Galois
fue el primero en darse cuenta de que la estructura de un subgrupo de permutaciones asociado a una ecuaci
on algebraica estaba relacionado con la solubilidad
de tal ecuaci
on por radicales. De hecho, el concepto de grupo soluble se da gracias a la observaci
on de Galois. Adem
as, Galois mostr
o que el grupo simple no
abeliano mas peque
no tenia 60 elementos, que era isomorfo al grupo A5 .
Recordemos que An es el subgrupo de Sn que consta de todas las permutaciones pares de Sn . Considerando al grupo cclico C2 = {1}, sabemos que
I.11. El grupo alternante
sgn : Sn C2
es un homomorfismo suprayectivo con ker sgn = An , por lo que An E Sn y
[Sn : An ] = 2. Adem
as, Sn es la uni
on disjunta de An y (12)An .
Definici
on I.11.1. Un grupo G se llama simple si sus u
nicos subgrupos normales son {1} y G.
34
Grupos
En esta seccion veremos una de las propiedades mas notables del grupo
alternante: su simplicidad. Para esto, necesitaremos de los siguientes resultados.
olo si existe
Proposici
on I.11.1. Sea An . conjSn () = conjAn () si y s
una permutaci
on impar tal que = .
Demostraci
on. Sabemos que conjAn () conjSn ().
() Sea Sn An y como 1 = , entonces
1 = ( 1 )1 = ( )( )1
con An por lo que 1 conjAn ().
() Como (12)(12) conjAn (), existe An tal que 1 = (12)(12)
por lo que [(12)] = [(12)] con (12) Sn An .
Ejercicio. Si An no conmuta con ninguna permutacion impar, entonces
no con repreconjSn () se parte en dos clases de conjugacion del mismo tama
sentantes y (12)(12), respectivamente.
Lema I.11.2. An esta generado por todos los 3-ciclos.
Demostraci
on. Es claro que An esta generado por todos los productos de dos
transposiciones as que basta con demostrar que cada uno de estos generadores
de An se pueden expresar como producto de 3-ciclos. Sea (ab)(cd) un producto
de dos transposiciones,
Caso 1. Si (ab) = (cd), entonces (ab)(cd) = 1 = (abc)(cba).
Caso 2. Si |{a, b} {c, d}| = 1, supongamos que a = c y b 6= d. As, tenemos
que (ab)(ad) = (abd).
Caso 3. Si las transposiciones son disjuntas, entonces (ab)(cd) = (cad)(abc).
Teorema I.11.3. Para n 3, el grupo An es simple.

Demostraci
on. Sea N E An y supongamos que N 6= {1}. Por el Lema I.11.2,
bastara con demostrar que cada 3-ciclo esta en N .
Hecho 1. Si N contiene un 3-ciclo, entonces contiene a todos los 3-ciclos.
Como n 5, entonces (abc) conmuta con (de) y por la Proposicion I.11.1,
conjSn = conjAn N , por ser N normal en An .
Ahora, analizaremos por casos:
Caso 1. Supongamos que N contiene una permutacion cuya factorizacion en
ciclos ajenos contien un k-ciclo (a1 ak ), con k 4. Definamos =
(a1 a2 a3 ) y por la normalidad de N , 1 N . Luego, N 1 1 =
[ 1 , ] = (a1 a3 ak ). Por el Hecho 1, se tiene que N = An .
I.11 El grupo alternante
35

ciclos ajenos contiene al menos dos 3-ciclos, digamos (a1 a2 a3 ) y (a4 a5 a6 ).
Sea = (a1 a2 a4 ), entonces N [ 1 , ] = (a1 a4 a2 a6 a3 ) y por el Hecho 1,
N = An .
ciclos ajenos contiene s
olo un 3-ciclo y el resto son productos de transposiciones disjuntas. Sea = (abc) , con un producto de transposiciones
disjuntas entre si y disjuntas a (abc), entonces N 2 = (acb) y por el
Hecho 1, N = An .
Caso 4. Supongamos que N contiene una permutacion que se expresa como
un producto de transposiciones disjuntas, digasmo = (ab)(cd) , donde
es un producto de transposiciones disjuntas entre si y disjuntas a (ab)
y (cd). Sea = (abc), entonces N [ 1 , ] = (ac)(bd) y como n 5,
existe e [n] {a, b, c, d} por lo que = (ace) An . Luego, vemos que
N [[ 1 , ], ] = y por el Hecho 1, N = An .
Ejercicio. Sea A un grupo abeliano. Muestre que A es simple si y s

olo si A es
cclico de orden p, para alg
un n
umero primo p.
Teorema I.11.4. Cualquier grupo simple de orden 60 es isomorfo a A5 .
Demostraci
on. Sea G un grupo de orden 60 = 22 3 5. Veamos los siguientes
hechos:
Hecho 1. G no contiene subgrupos propios de ndice menor que 5.
Supongamos que existe H < G tal que [G : H] < 5. Sabemos que G/H
es un g-conjunto y sea H el homomorfismo inducido por la accion de G
en G/H; como H es un subgrupo propio de G, entonces ker H 6= G. Al
ser G un grupo simple, se debe de tener ker H = {1}, es decir, H es
inyectivo. Pero entonces, la imagen de G en S(G/H) es un subgrupo de
orden 60 en un grupo de orden a lo mas 4! = 24, lo que es absurdo.
Hecho 2. G contiene un subgrupo de ndice 5.
Supongamos que G no contiene subgrupos de ndice 5 y sea P un 2subgruop de Sylow, entonces [G : NG (P )] {1, 2, 5, 15} y por el Hecho 1
y nuestra suposicion, [G : NG (P )] = 15. Sea Q otro 2-subgrupo de Sylow
de G distinto de P y supongamos que P Q 6= {1}; sea g P Q {1},
entonces |CG (g)| > 4 y 4 | |CG (g)| por lo que [G : CG (g)] 5. Luego, se
tiene que G = CG (g) y as, g Z(G) E G y por la simplicidad de G, esto
forza a tener G = Z(G) lo que es absurdo. As, P Q = {1} lo que nos
da 15(4 1) = 45 elementos en G de orden 2 o 4.
Ahora, G contiene mas de un 5-subgrupo de Sylow y sea R uno de ellos,
entonces [G : R] = 12 y as, [G : NG (R)] {1, 2, 3, 4, 6, 12}; por el Hecho 1
36
Grupos
y nuestra hip
otesis, existen al menos 6 subgrupos de Sylow de G de orden
5 y se puede ver, como antes, que la interseccion de dos 5-subgrupos de
Sylow de G es trivial por lo que tenemos 6(5 1) = 24 elementos de orden
5. Pero esto nos da mas de 60 elementos en G, lo que es absurdo.
Sea H un subgrupo de ndice 5. Sabemos que G act
ua en G/H y tenemos
S
un homomorfismo de grupos H : G S(G/H)
= 5 , el cual es inyectivo,
pues H 6= 0 y G es simple. Identficando a G con su imagen en S5 , vemos que
G S5 con [S5 : G] = 2 por lo que G E S5 . Si suponemos que G 6= A5 , entonces
GA5 E S5 y
|G| |A5 |
|GA5 | =
> 60
|G A5 |
por lo que se tiene GA5 = S5 . Luego, |GA5 | = |G||A5 |/|GA5 | = (6060)/120 =

30 por lo que {1} < G A5 A5 lo que es absurdo.
Ejercicio.
1. Sea n 5. Si H es un subgrupo propio no trivial y normal de Sn , entonces
H = An .
2. Muestre que A4 no contiene subgrupos de orden 6.
3. Si n 3, entonces Z(Sn ) = {1}.
4. Sea G un grupo que satisface alguna de las siguientes condiciones:
(a) el orden de G es 2m pn , donde p es un n
umero primo impar y 2k 6
1 mod p, para cada 1 k m;
(b) el orden de G es 30;
(c) el orden de G es 105.

Muestre que G no es simple.
5. Muestre que si G/Z(G) es cclico, entonces G es abeliano.
Galois fue quien dio importancia al estudio de grupos
de automorfismos en su trabajo sobre Teora de Ecuaciones algebraicas al estudiar un subgrupo del grupo de automorfismos de una
extensi
on del campo de coeficientes de los polinomios.
Sabemos que la composicion de homomorfismos de grupos es nuevamente un
homomorfismo de grupos; adem
as, si : G G es un automorfismo, entonces
1 es tambien un automorfismo de G. Claramente, idG es un automorfismo
de G y es por tal motivo que
I.12. Automorfismos
def
Aut (G) = { : G G | es un automorfismo de G}

tiene estructura de grupo, con la composicion de funciones como operaci
on
binaria.
37
I.12 Automorfismos
Definici
on I.12.1. Al grupo Aut (G) se le conoce con el nombre de grupo de
automorfismo de G.
Ejercicio. Sea a G. Muestre que a : G G definida por g 7 aga1 es
un automorfismo de G. A los automorfismos a se les llama automorfismos
interiores. Adem
as, muestre que para todo automorfismo de G se tiene la
formula
a 1 = (a) ,
para todo a G.
Sabemos que a b = ab para todo a, b G y que 1 = idG , (a )1 = a1 .
As, el conjunto de todos los automorfismos interiores, que denotaremos por
Inn (G), de G es un subgrupo de Aut (G).
Definici
on I.12.2. El grupo Inn (G) se llama grupo de automorfismos interiores de G
Mas a
un, por el ejercicio anterior, Inn (G) E Aut (G). Si definimos : G
Aut (G) como a 7 a , el cual es un homomorfismo de grupos; es claro que
ker
= {a G : a = idG } = {a G : aba1 = b para todo b G}
= {a G : ab = ba para todo b G} = Z(G),
y por el Primer Teorema de Isomorfismo, G/Z(G)

= Inn (G).
def
Definici
on I.12.3. Definimos Out (G) = Aut (G)/Inn (G) y se llama grupo
de automorfismos exteriores de G; un automorfismo exterior de G es
un automorfismo en Aut (G) Inn (G).
Ejercicio. Calcule Aut (Z2 Z2 ).
Ejemplo:
1. Aut (Z)
= C2 .
2. Considere el grupo cclico Cn = hxi. Sean xm G, con 0 m < n, C =
hyi un grupo cclico infinito y m : C Cn definido por y k 7 xmk .
Vemos que hy n i ker m y as, existe un u
nico homomorfismo de grupos
m que hace conmutar el siguiente diagrama:
C
u
u
n
C / hy i
/ Cn
u:
por lo que m : Cn Cn definido por x 7 xm es un endomorfismo de

Cn . Ahora, es claro que Aut (Cn ) = {m : m 6= 0, (m, n) = 1}.
38
Grupos
Proposici
on I.12.1. Para cada n N, sea Zn el conjunto de unidades en Zn ,
entonces Aut (Cn )
= (Zn , ).
Ejercicio. Muestre que [m] 7 m esta bien definida.
Demostraci
on. Definamos : Zn Aut (Cn ) como [m] 7 m . Vemos que
([m])([k]) = m k = km = mk = ([m][k]),
por lo que es un homomorfismo de grupos. Es claro que es suprayectivo y
si ([m]) = idCn , entonces xm = x para todo x Cn de donde se concluye que
n divide a m 1, es decir, m 1 mod n. Por tanto, [m] = [1] y se sigue que
es inyectivo.
Corolario I.12.2. Si p es un n
umero primo, entonces Aut (Cp )
= Cp1 .
Sea Aut (G) y H G, entonces aplica H isomorfamente sobre (H).
Definici
on I.12.4. Diremos que Aut (G) fija a un subgrupo H de G si
(H) = H; diremos que L Aut (G) fija a un subgrupo H de G si todo
elemento en L fija a H. Diremos que un subgrupo H de G es caracterstico
en G si Aut (G) fija a H; en tal caso, denotamos H car G.
Ejemplo: Si N es un subgrupo normal de G, entonces Inn (G) fija a N .
N
otese que el ser caracterstico implica ser normal pero la conversa no es
v
alida en general.
Ejercicio. Muestre que Z(G) es caracterstico en G.
Lema I.12.3. Sean H, K G. Si H car G y K car H, entonces K car G.
La demostraci
Definici
on I.12.5. Sean a, b G. El conmutador de a con b es el elemento
def
aba1 b1 = [a, b]. El subgrupo derivado de G es el subgrupo
def
G = h[a, b] : a, b Gi .
Observe que [a, b]1 = [b, a] y para todo a G, [a, a] = 1. Adem
as, G es
abeliano si y s
olo si G = {1}.
Lema I.12.4. El subgrupo derivado de G es caracterstico en G.
Demostraci
on. Sean Aut (G), a y b dos elementos de G, entonces
([a, b]) = (aba1 b1 ) = (a)(b)(a)1 (b)1 = [(a), (b)]
por lo que (G ) G . Como 1 Aut , entonces tenemos 1 (G ) G y
aplicando a esta relaci
on, se tiene la otra contenci
on.
I.13 Productos directos
39
Proposici
on I.12.5. Sean G un grupo y N un subgrupo normal de G. G/N
es abeliano si y s
olo si G N .
Demostraci
on. Veamos primero que G/G es abeliano: como G car G, entonces
G E G. Luego, para a, b G tenemos

[aG , bG ] = aG bG a1 G b1 G = [a, b]G = G ,
es decir, (G/G ) = {G }.
() Supongamos que G N . Por el tercer Teorema de Isomorfismo,
tenemos que G/N
= (G/G )/(N/G ) con G/G abeliano, por lo que G/N es
abeliano.
() Si G/N es abeliano, entonces N = [aN, bN ] = [a, b]N para todo a, b G
por lo que [a, b] N para todo a, b G, es decir, G N .
Los productos son un concepto categorico que nos
ayudan a descomponer, en este caso a los grupos,
en grupos mas peque
nos y generalmente, mas amigables. Aqui, veremos cuales
son las condiciones para poder descomponer a los grupos en productos de sus
subgrupos.
Considere una familia de Q
grupos {Gi : i [n]} y tomemos el producto
n
cartesiano de tal familia G = i=1 Gi . Definamos una multiplicaci
on por componentes en G, la cual hace de G un grupo.
I.13. Productos directos
Definici
on I.13.1. El grupo G = G1 G2 Gn se llama producto
directo externo de los grupos G1 , G2 , . . . , Gn .
Qn
Qn
N
otese que |G| = i=1 |Gi | y si Sn entonces G
= i=1 G(i) .
Lema I.13.1. Sea G = G1 G2 Gn , entonces

(1) Hi = {(1, . . . , 1, gi , 1, . . . , 1) : gi Gi } E G;
ci Gn , donde G
ci indica que el factor Gi se
(2) G/Hi
= G1 G
omite;
(3) cada elemento g de G se escribe de manera u

nica como un producto g =
h1 h2 hn , con hi Hi para cada 1 i n.
La demostraci
on de este Lema se deja como ejercicio.
Lema I.13.2. Sean G un grupo y H1 , H2 , . . . , Hn G tales que
(i) Hi E G para cada 1 i n.
(ii) Para cada g G existen u
nicos elementos hi Hi , con 1 i n, tales
que g = h1 h2 hn .
Entonces
(iii) G = H1 H2 Hn ;
40
Grupos
ci Hn ] = {1};
(iv) Hi [H1 H
(v) si i 6= j, entonces hi hj = hj hi para todo hi Hi y hj Hj ;
hn ).
h1 ) (hn e
(vi) si g = h1 hn y ge = e
h1 e
hn , entonces ge
g = (h1 e
Demostraci
on. (iii) Es claro por (ii).
ci Hn ], entonces
(vi) Sea g Hi [H1 H
hi = g = h1 hbi hn = h1 hi1 1hi+1 hn ,
con hj Hj para cada 1 j n. Por la unicidad de la expresi

on en (ii),
tenemos hi = 1 y por tanto, g = 1.
1
1 1
(v) Por (i), hi (hj h1
i hj ) Hi y (hi hj hi )hj Hj . Por (vi), tenemos que
[hi , hj ] = 1 si i 6= j.
(vi) Se sigue de aplicar (v) y la asociatividad a la expresi

on
(h1 hn )(e
h1 e
hn )
Observe que si (i) y (ii) del Lema I.13.2 son v
alidas, entonces existe un
isomorfismo de grupos : G H1 Hn tal que
(Hi ) = {1} {1} Hi {1} {1}
para cada 1 i n.
Definici
on I.13.2. Si G es un grupo que satisface (i) y (ii) del Lema I.13.2,
decimos que G es el producto directo interno de los subgrupos H1 , . . . , Hn
y lo denotamos por G = H1 Hn .
Lema I.13.3. Sea G un grupo que satisface (i) del Lema I.13.2, entonces la
condici
on (ii) del Lema I.13.2 es equivalente a las condicniones (iii) y (iv) del
Lema I.13.2.
Demostraci
on. Solo falta ver que (iii) y (iv) implican (ii): es evidente que para
cada g G (iii) implica la existencia de elementos h1 H1 , . . . , hn Hn tales
que g = h1 hn . Supongamos que un elemento g G tiene otra representaci
on,
digamos k1 kn con ki Hi para cada 1 i n, entonces
(k1 kn1 )1 (h1 hn1 ) = kn h1
n Hn [H1 Hn1 ]
a
y por (iv) tenemos que kn h1
n = 1, es decir, kn = hn ; inductivamente, se tendr
(ii).
Lema I.13.4. Sea G un grupo con subgrupos normales H y K tales que G =
HK, entonces G/(H K) = [H/(H K)] [K/(H K)].
41
I.14 Productos semidirectos
Demostraci
on. Sea L = H K, entonces L E G. Por el Teorema de Correspondencia, H/L, K/L E G/L cumpliendose as (i) del Lema I.13.2. Adem
as,
tenemos H/L K/L = (H K)/L = {1} por lo que se satisface (vi) del Lema
I.13.2. Como G = HK, entonces G/L = (H/L) (K/L) con lo que se satisface
(iii) del Lema I.13.2.
Proposici
on I.13.5. Sean G un grupo finito y H1 , H2 , . . . , Hn G. Si G
es el producto directo de los subgrupos H1 , H, 2, . . . , Hn y (|Hi |, |Hj |) = 1 para
i 6= j, entonces cualquier subgrupo K G es producto directo de los subgrupos
K H 1 , K H 2 , . . . , K Hn .
Demostraci
on. Probaremos el resultado para n = 2 y un argumento inductivo
completara la prueba: es claro que K H1 , K H2 E K, pues H1 , H2 E G;
tambien es evidente que
(K H1 ) (K H2 ) = K (H1 H2 ) = K {1} = {1}.
Sabemos que los elementos de H1 conmutan con los elementos de H2 , por ser G
el producto directo de los subgrupos H1 y H2 ; si k K, entonces existen h1
H1 , h2 H2 tales que k = h1 h2 y veamos que h1 , h2 K: es claro que hh1 i
hh2 i = {1} por lo que o(k) = o(h1 h2 ) = [o(h1 ), o(h2 )] y como (|H1 |, |H2 |) = 1 y
o(hi )||Hi |, entonces [o(h1 ), o(h2 )] = o(h1 )o(h2 ); por tanto,
hh1 i hh2 i
= hh1 i hh2 i = hki K,
es decir, h1 , h2 K. As, K = (K H1 )(K H2 ).
Ahora, veremos una variacion de los productos
que nos permitiran generar grupos con propiedades importantes. Adem
as, aplicaremos aqui el estudio sobre automorfismo
hacho previamente.
I.14. Productos semidirectos
Definici
on I.14.1. Sean G un grupo con subgrupos N y H tales que
(PS1) N E G,
(PS2) G = N H,
(PS3) N H = {1}.
Decimos entonces que G es el producto semidirecto interno de los subgrupos N y H; en tal caso, lo denotamos por G = N H.
Observe que si H E G, entonces G es el producto directo de los subgrupos
N y H.
Ejemplo: Consideremos el grupo simetrico S3 y los subgrupos A3 y h(12)i.
Sabemos que A3 E S3 y que A3 h(12)i = {1}; por cardinalidades, tenemos
S3 = A3 h(12)i y por tanto, S3 = A3 h(12)i.
Supongamos que G = N H, entonces tenemos las siguientes consecuencias:
42
Grupos
por la condici
on (PS2), G/N
= (N H)/N ; por el Segundo Teorema de
on (PS3) se tiene
Isomorfismo, (N H)/N
= H/(H N ) y por la condici
que H/(H N )
= H.
Si G es finito, entonces |G| = |N ||H|, por (PS3).
Para cada g G existen elementos u
nicos n N y h H tales que
g = nh: la existencia se tiene por (PS2) y si g = n1 h1 para n1 N y
h1 H, entonces N n1 n1 = hh1
1 H por lo que n = n1 y h = h1 ,
por (PS3).
Sean g1 , g2 G y supongamos que g1 = n1 h1 y g2 = n2 h2 para algunos
n1 , n2 N y h1 , h2 H, entonces
g1 g2 = (n1 h1 )(n2 h2 ) = [n1 (h1 n2 h1
1 )][h1 h2 ],
donde n1 (h1 n2 h1
1 ) N por (PS1) y h1 h2 H.
Sea h H y definamos h : N N como n 7 hnh1 . Es claro que cada
h es un automorfismo de N y : H Aut (N ) definido por h 7 h es
un homomorfismo de grupos. El producto en G lo escribimos ahora como
g1 g2 = n1 h1 (n2 )h1 h2 .
Observe que si es el homomorfismo trivial, entonces G es el producto directo
de los subgrupos N y H. Adem
as, si no es trivial, entonces G no es abeliano:
existe un elemento h H tal que h 6= idN por lo que debe de existir un
elemento n N con h (n) 6= n, es decir, hnh1 6= n que es equivalente a tener
hn 6= nh.
Ejercicio.
1. Muestre que Aut (Z Z)
= GL2 (Z).
2. Sea G un grupo abeliano y a1 , a2 , . . . , an G. Muestre que existe un
u
nico homomorfismo de grupos : Zn G tal que (ei ) = ai , donde
ei = (0, . . . , 0, 1, 0, . . . , 0) para cada 1 i n.
Sean N y H dos grupos y : H Aut (N ) un homomorfismo de grupos.
Consideremos G = N H, el producto cartesiano de los conjuntos N y H, y
definamos una operaaci
on binaria de la siguiente manera:

def
(I.3)
(n1 , h1 ) (n2 , h2 ) = n1 [(h1 )][n2 ], h1 h2 .
Ejercicio. Muestre que es asociativa. Claramente, vemos que

(n, h) (1, 1) = n(h)(1), h 1 = n 1, h = (n, h);
43
Analogamente, tenemos

(1, 1) (n, h) = 1(1)(n), 1 h = 1 idN (n), h = (1 n, h) = (n, h)
de donde se concluye que (1,1) es el elemento identidad

en G para . Luego,

1
1
1
1
, por lo que G tiene estructura
podemos ver que (n, h) = (h )(n ), h
de grupos.
Definici
on I.14.2. Sean N y H dos grupos y : H Aut (N ) un homomorfismo de grupos. El conjunto G = N H con la operaci
on definida en (I.3) es
un grupo, el cual llamamos producto semidirecto externo de los grupos
N y H mediante el homomorfismo y se denota por G = N H.
Lema I.14.1. Sea G = N H y definamos N = N {1} y H = {1} H,
entonces
1. N E G y H G;
2. N
= H;
=N yH
3. G = NH;
4. N H = {(1, 1)};

5. (1,h) (n, 1) = (h)(n), 1 para todo n N y todo h H;
6. si H : H H y N : N N son los isomorfismos de grupos (1, h) 7 h

y (n, 1) 7 n, respectivamente, entonces existe un isomorfismo de grupos
N : Aut (N) Aut (N ) tal que hace conmutar el siguiente diagrama:
H
H

H
/ Aut (N)

N
/ Aut (N )
1. Si (n1 , 1), (n2 , 1) N, entonces

(n1 , 1) (n2 , 1) = n1 (1)(n2 ), 11 = n1 idN (n2 ), 1 = (n1 n2 , 1) N;
Demostraci
on.
analogamente, si (1, h1 ), (1, h2 ) H, entonces

(1, h1 ) (1, h2 ) = 1 (h1 )(1), h1 h2 = (1 1, h1 h2 ) = (1, h1 h2 ) H.
Ahora, si (n, h) G y (n1 , 1) N, entonces

(n, h) (n1 , 1) (n, h)1 =
n(h)(n1 ), h (h1 )(n1 ), h1

=
n(h)(n1 )(h)(h1 )(n1 ), 1

=
n(h)(n1 )n1 , 1 ,
por lo que N E G.
44
Grupos
2. Los isomorfismos estan dados por n 7 (n, 1) y h 7 (1, h). En la parte 1,

vemos que estas aplicaciones son homomorfismos de grupos y claramente
son biyectivas.
3. Para (n, 1) N y (1, h) H tenemos

(n, 1) (1, h) = n(1)(1), h = (n 1, h) = (n, h),
de donde concluimos que G = NH.
4. Es evidente.
5. Para (n, 1) N y (1, h) H se tiene

(1,h) (n, 1)
= (1, h) (n, 1) (1, h1 )

=
(h)(n), h (1, h1 )

=
(h)(n)(h)(1), hh1 = (h)(n), 1 .
1
6. Definimos N : Aut (N) Aut (N ) como 7 N
N y es claro que
1
N es un homomorfismo de grupos; vemos que (N )
se define por
1
7 N N y as, N es isomorfismo. Ahora, veremos que H = N :
sea (1, h) H, entonces si n N

1
N (1, h)(n) = N (1,h) N
(n) = N (1,h) (n, 1)

y por la parte 5, N (1,h) (n, 1) = (h)(n) = H (1, h)(n).
Observe que si tenemos dos homomorfismos , : H Aut (N ) entonces

N H no necesariamente debe de ser isomorfo a N H.
Ejemplo: Considere al grupo simetrico S3 con los subgrupos A3 y h(12)i. Tenemos dos posibilidades para : h(12)i Aut (A3 ) que son el homomorfismo
trivial y el homomorfismo que asocia a 1 el automorfismo idA3 y a (12) le asocia
el automorfismo

que a cada elemento de A3 lo transforma en su cuadrado, es
decir, (12) () = 2 para A3 . As, A3 h(12)i
= S3 y si = 0,
6 S3 .
entonces A3 0 h(12)i = C3 C2 = C6 , el cual es abeliano por lo que C6
=
as, muestre
Ejercicio. De un isomorfismo explcito de S3 en C3 C2 . Adem
que Sn = An h(12)i para toda n N.
D
E
Ejemplo: Sea D2n = R 2
,
S
O(2), donde
n

cos 2
sen 2
1
0
n
n
R=
,
S
=
.
0 1
sen 2
cos 2
n
n
45
Queda como ejercicio mostrar las siguientes igualdades:

1. o(R 2
) = n;
n
2. o(S) = 2;
S = R1
3. SR 2
2 ;
n
n
n1
, . . . , Rn1
4. D2n = {1, R 2
2 , S, R 2 S, . . . R 2 S}.
n
n
n
n
D
E
D
E
2
La parte 3 muestra que R 2
E
D
;
la
parte
4
muestra
que
D
=
R
hSi
2n
2n
n
n
E
D
E
D
hSi = {1}. Por tanto, D2n = R 2
hSi
y es claro que R 2
= Cn C2 ,
n
n
donde : C2 Cn esta definido por (1) : Cn b 7 b1 Cn .

Consideremos el conjunto de puntos en R2

2k
2k
Vn = (cos
, sen
):kZ ,
n
n
el cual tiene n elementos. Podemos ver que D2n act

ua en Vn lo que induce un
homomorfismo n : D2n Sn .
Ejercicio. Muestre que n es inyectiva y calcule las imagenes de los generadores de D2n bajo n .
Proposici
on I.14.2. Sean H un grupo cclico y N un grupo. Si , : H
Aut (N ) son dos homomorfisoms de grupos inyectivos tales que Im = Im,
entonces N H
= N H.
Demostraci
on. Sea H = hxi, entonces h(x)i = h(x)i Aut (N ) y as, existen
enteros k1 y k2 tales que (x)k1 = (x) y (x) = (x)k2 . Definamos
: N H (n, h) 7 (n, hk1 )N H
y veamos que es un homomorfismo de grupos: sean (n, h), (n1 , h1 ) N H,
entonces

(n, h) (n1 , h1 )
= (n(h)(n1 ), hh1 ) = n(h)(n1 ), (hh1 )k1

=
n(hk1 )(n1 ), hk1 hk11 = (n, hk1 ) (n1 , hk11 )

= (n, h) (n1 , h1 ) .
k2
De manera similar, : N H
(n,h) 7 (n, h ) N H es un homomor-
fismo de grupos y se tiene (n, h) = (n, hk1 k2 ), pero

(x) = (xk2 ) = (xk2 k1 )
y por la inyectividad de , x = xk1 k1 ; luego, = idN H . Analogamente, la

inyectividad de tiene como consecuencia que = idN H por lo que es
un isomorfismo de grupos.
46
Grupos
Proposici
on I.14.3. Sean N y H dos grupos y : H Aut (N ) un homomorfismo de grupos. Si : N N es un automorfismo de N y definimos
: Aut (N ) Aut (N ) como 7 1 , entonces N H
= N H.
Demostraci
on. Sea : N H N H definido como (n, h) 7 ((n), h).
Para (n, h), (n1 , h1 ) N H tenemos

(n, h) (n1 , h1 )
= (n(h)(n), hh1 ) = (n)(h)(n1 ), hh1

=
(n)(h)( 1 (n1 )), hh1

=
(n)(h) 1 ((n1 )), hh1

=
(n), h (n1 ), h1

= (n, h) (n1 , h1 ) ,
de donde concluimos que es un homomorfismo de grupos. Analogamente, si

definimos : N H N H como (n, h) 7 ( 1 (n), h), entonces es
un homomorfismo de grupos y se tiene que = idN H y = idN H
por lo que es un isomorfismo.
Proposici
on I.14.4. Sean s y t dos elementos de orden 2 en un grupo, entonces
hs, ti = hsti hsi y s : st 7 (st)1 .
Demostraci
on. Sean G = hs, ti, N = hsti y H = hsi. Como s y t tienen orden
2, entonces s2 = 1 y t = t1 as, tenemos
s (st) = s(st)s1 = s2 ts1 = ts1 = t1 s1 = (st)1 .
Cada elemento en G se escribe de alguna de las siguientes maneras:
(st)k
(st)k s (ts)k
(ts)k t,
para alg
un entero no negativo k. Vemos que (st)k N N H y (st)k s N H.
Ahora, como ts = (st)1 , vemos que (ts)k = (st)k N N H y por u
ltimo,
(ts)k t = (ts)k tss = (ts)k+1 s = (st)k1 s N H.
Supongamos que N H 6= {1}, entonces s N y as, existe un entero k tal
que s = (st)k ; luego, 1 = t(st)k2 st lo que implica 1 = (st)k2 s, es decir,
s = (st)k2 . Se infiere que (st)2 = 1 lo que nos dice que st = ts. Por tanto,
s = sk tk .
n 0 mod 2, se tiene entonces que s = 1 lo que es absurdo.
n 1 mod 2, se tiene que s = st y en consecuencia, t = 1, lo que es absurdo.
Por tanto, N H = {1} y se termina la prueba.
47
Ejercicio. Si o(st) = n < , muestre que hsti hsi

= D2n .
Proposici
on I.14.5. Sean p y q dos n
umeros primos con p > q.
(1) Si p 6 1 mod q, entonces todo grupo de orden pq es isomorfo a Cpq .
(2) Si p 1 mod q, entonces todo grupo abeliano de orden pq es isomorfo a
Cpq y existe un u
nico grupo no abeliano, salvo isomorfismo, de orden pq.
Ejemplo:
1. Si p > q = 2, entonces p 1 mod 2 y as, existen exactamente dos clases
de isomorfa de grupos de orden pq, a saber, C2p y D2p .
2. Si q = 3 y p = 5, entonces 5 6 1 mod 3 y as, s
olo existe un u
nico grupo
de orden 15, el cclico.
3. Si q = 3 y p = 7, entonces 7 1 mod 3 y existen dos clases de isomorfa de
grupos de orden 21; si G es un grupo de orden 21 y es abelinano, entonces
es isomorfo a C21 .
Lema I.14.6. Si G es un grupo de orden pq con p > q, entonces G es el
producto semidirecto de sus subgrupos de Sylow.
Demostraci
on. Sea G un grupo de orden pq y tomemos P un p-subgrupo de
Sylow de G, Q un q-subgrupo de Sylow de G. Por el Teorema de Lagrange,
el orden de P Q divide tanto a p como a q por lo que P Q = {1}; por
cardinalidades, G = P Q. Sea np el n
umero de p-subgrupos de Sylow de G,
entonces np 1 mod p y np divide a [G : P ] = q de donde se concluye que
np = 1 y P E G.
Lema I.14.7. Si p y q son dos n
umeros primos con p > q. Si q divide a p 1,
entonces existe un grupo no abeliano de orden pq.
Demostraci
on. Consideremos los grupos Cp = hai y Cq = hbi. Sabemos que
Aut (Cp )
= Cp1 y como q divide a p 1, entonces existe un automorfismo de
Cp , digamos : Cp Cp , de orden q, por el Teorema de Cauchy; definimos
: Cq Aut (Cp ) como ak 7 k , el cual es un homomorfismo de grupos.
N
otese que es inyectivo, pues Cq es simple. Ahora, formamos el producto
semidirecto G = Cp Cq y queda como ejercicio encontrar dos elementos en
G que no conmuten.
Demostraci
on. (Proposicion I.14.5). Sean P el p-subgrupo de Sylow de G, Q
un q-subgrupo de Sylow de G y nq el n
umero de q-subgrupos de Sylow de G,
entonces nq 1 mod q y divide a p. Ya sabemos que G = P Q.
(1) Si p 6 1 mod q, entonces nq = 1 y en tal caso, Q E G. Por tanto,
G=P Q
= Cpq .
= Cp Cq
48
Grupos
(2) Si p 1 mod q, tenemos dos casos:
Caso I. Si G es abeliano, entonces Q E G y G

= Cpq .
Caso II. Si G no es abeliano, entonces nq = p por lo que Q no es normal

en G. Sea : Q Aut (P ) el homomorfismo h 7 h : P P
definido por h (n) = hnh1 , el cual es inyectivo. Como P
= Cp y
Q
= Aut (Cp ) y podemos pensar que , :
= Cq , entonces Aut (P )
Cq Aut (Cp ), donde es el homomorfismo definido en el Lema
I.14.7. Vemos que G
= Cp Cq y como y son inyectivos,
Im, Im Aut (Cp ) con |Im| = |Im | = q; por ser Aut (Cp )
cclico, Im = Im . Por la Proposicion I.14.2, se tiene que G es
isomorfo al grupo construido en el Lema I.14.7.
El primero en dar una construccion de un grupo libre a

partir de generadores y relaciones fue von Dyck a fineles
del siglo XIX quien habia estudiado grupos con F. Klein (1849-1925).
I.15. Grupos libres
Definici
on I.15.1. Sean L un grupo abeliano y x1 , x2 , . . . , xn L. Decimos que
L es un grupo abeliano libre generado por x1 , x2 , . . . , xn si para todo grupo
abeliano A y cualesquier conjunto de n elementos en A, digamos a1 , a2 , . . . , an ,
existe un u
nico homomorfismo de grupos abelianos : L A tal que (xi ) = ai
para cada 1 i n. En tal caso, deicmos que L tiene rango n.
Ejemplo: Para cada n
umero natural n, el grupo Zn es un grupo abeliano libre
generado por los elementos ei = (0, . . . , 0, 1, 0, . . . , 0).
Ejercicio. Muestre que cualesquiera dos grupos abelianos libres de rango n
son isomorfos.
Podemos dar una definicion mas general de grupo abeliano libre.
Definici
on I.15.2. Sea L un grupo abeliano y X L. Decimos que L es un
grupo abeliano libre generado por X si para todo grupo abeliano A y toda
aplicaci
on f : X A existe un u
nico homomorfismo de grupos : L A
tal que (x) = f (x) para todo x X, es decir, hace conmutar el siguiente
diagrama:
X
_
~
L
/A
~>
Definici
on I.15.3. Sea X un conjunto no vaco y denotemos por X 1 al conjunto {x1 : x X}. Una palabra es una sucesi
on finita en el conjunto
X X 1 de la forma
xa1 1 xa2 2 xakk
49
I.15 Grupos libres
para alg
un n
umero natural k y para cada 1 i k, xi X X 1 y ai {1}.
Tambien es la palabra vaca. Una palabra se dice reducida si
es vaca,
a
i+1
es de la forma xx1 o bien x1 x.
ning
un par xai i xi+1
Dos palabras u y v son adyacentes, y lo denotamos u ady v, si existen palabras

r y s tales que
v = rxa xa s y u = rs;
decimos que son equivalentes, que lo denotamos por u v si existe una
sucesi
on de palabras w0 , w1 , . . . , wm tal que v0 = v, vi es adyacente a vi+1 y
vm = u.
Observe que es una relaci
on de equivalencia.
Ejemplo: Para cualquier x X, tenemos que x1 x xx1 ; mas a
un,
xx1 ady ady x1 x.
Denotaremos la clase de la palabra w por [w].
Lema I.15.1. La clase [w] tiene exactamente una palabra reducida.
Demostraci
on. Si w = xa1 1 xakk no es reducida, entonces existe un ndice i tal
ai ai+1
que xi xi+1 es de la forma xx1 o bien x1 x, por lo que
a
i+2
i1
w xa1 1 xi1
xakk .
xi+2
i+2
i1
xakk , entonces w w1 y la longitud de w es
xi+2
Sea w1 = xa1 1 xi1
menor que la de w1 ; si repetimos este procedimiento una cantidad grande, pero
finita, de veces obtendremos en alg
un momento una palabra reducida. Sea
on:
p = xb11 xbl l una palabra y definamos la siguiente sucesi
p0 = p1 = xb11
y pi+1 =

pi xbi+1
z
si pi 6= zxi+1i+1
en otro caso
y probemos por induccion que pi es una palabra reducida....Pendiente una parte

porque no le entiendo.
Sean u y v dos palabras reducidas en [w], entonces la palabra reducida
asociada a u es la misma que la palabra reducida asociada a v. Por tanto,
u = v.
Definici
on I.15.4. Sea LX el conjunto de clases de equivalencia de palabras
en X X 1 . Para [v], [w] LX definimos la operaci
on
def
[v] [w] = [vw].

Lema I.15.2. La operaci
on definida en I.15.4 esta bien definida.
50
Grupos
Demostraci
on. Supongamos que v v y w w , entonces existe una sucesi
on
de palabras v = v0 ady v1 ady ady vl = v por lo que vw v w. Similarmente, v w v w y por tanto, vw v w .
Teorema I.15.3. LX es un grupo con la operaci
on definida en I.15.4.
Demostraci
on. Sean [u], [v], [w] LX , entonces

[u] [v] [w] = [uv] [w] = [uvw] = [u] [vw]

= [u] [v] [w] .
def
Definamos 1 = [] y vemos que

1 [w] = [] [w] = [w] = [w];
del mismo modo, [w] 1 = [w] y concluimos que 1 es el elemento identidad en
k ak1
1
, entonces
xk1 xa
LX . Sean w = xa1 1 xa2 2 xakk y v = xa
1
k
k
1
] = [] = 1;
xa
[w] [v] = [wv] = [xa1 1 xakk xa
1
k
analogamente, tenemos que [v] [w] = 1.

Teorema I.15.4. LX es un grupo libre generado por X, es decir, para cada
grupo G y para cada aplicaci
on f : X G existe un u
grupos : LX G tal que = f , donde : X LX es la inclusi
on can
onica.
Demostraci
on. Sea [w] LX y supongamos que w = xa1 1 xa2 2 xakk . Definimos
: LX G como [w] 7 f (x1 )a1 f (x2 )a2 f (xk )ak y veamos que est
a bien
definida: si u = xb11 xb22 xbkk ....Luego le sigo porque no le entiendo.
Corolario I.15.5. Todo grupo es cociente de un grupo libre.
Demostraci
on. Sea {gx : x X} un conjunto de generadores de G y definamos
f : X G como x 7 gx . Como LX es libre, existe un u
nico homomorfismo :
LX G tal que = f y como {gx : x X} Im, entonces es suprayectiva.
Por el Primer Teorema de Isomorfismo, tenemos LX / ker
= G.
Teorema I.15.6. Sea K un grupo libre generado por X, entonces K
= LX .
Ejemplo: L{x}
= Z.
Definici
on I.15.5. Sea G un grupo y X G un conjunto de generadores. Un
conjunto completo de relaciones de G es un conjunto R LX tal que si N
es el menor subgrupo normal de LX que contiene a R, entonces existe un isomorfismo LX /N G tal que [x]N 7 x para todo x X. En tal caso, escribimos
G = (X, R) o bien G = (X; R) y decimos que esta es una presentaci
on de G.
51
I.15 Grupos libres
Ejemplo: Considere el grupo D2n = hR, Si; sabemos que

Rn = S 2 = SRS 1 R = 1.
Sea X = {R, S} y R = {Rn , S 2 , SRS 1 R}, entonces N = hRiE LX . Por ser
LX libre, sabemos que existe un u
nico homomorfismo de grupos : LX D2n
tal que ([R]) = R y ([S]) = S. Es claro que R ker y as, N ker .
Por el Teorema del Homomorfismo, existe un u
nico homomorfismo de grupos
: LX /N D2n tal que es suprayectivo y [R]N 7 R, [S]N 7 S; por la
suprayectividad tenemos |LX /N | 2n. Sean r = [R]N y s = [S]N , entonces
rn = s2 = srs1 r = 1
por lo que LX {1, r, . . . , rn1 , s, rs, . . . , rn1 s} de donde concluimos que
|LX /N | 2n. Por tanto, |LX /N | = 2n = |D2n | y como es suprayec
tivo, entonces es un isomorfismo. Adem
as, como D2n = LX / ker ,
entonces
N = ker . Una presentaci

on de D2n es {R, S}; {Rn , S 2 , SRS 1 R} .
Ejercicio.
1. Muestre que (x, xn ) es una presentaci
on de Cn .
2. Sea L = L{x,y} el grupo libre en dos generadores. Muestre que L/L

=
Z Z.
3.
Sea L{x,y} y definamos u = x2 , v = y 2 y w = xy. Muestre que K =
x2 , y 2 , xy es libre.

i
0
0 1
4. Sean A =
y B =
dos matrices en GL2 (C) y Q =
0 i
1
0
hA, Bi. Demuestre que A4 = Id y A2 = B 2 , BAB 1 = A3 = A1 .
Adem
as, muestre que |Q| = 8 y que
Q = {Id, A, A2 , A3 , B, B 3 , AB, AB 3 } = {Id, A, B, AB}.
Tambien, encuentre todos los subgrupos propios de Q y muestre que son
normales en Q y Q no es abeliano.
5. Muestre que (x, y; x4 , x2 y 2 , yxy 1 x) es una presentaci
on para Q.
6. Sean G un grupo, H G, X = G/H y X : G S(X) el homomorfismo asociado a la accion por translaci
on en X. Muestre que ker X =
T
1
gHg
.
gG
7. Sean p un n
umero primo, G un p-grupo finito y H G con ndice p.
Muestre que H E G.
52
Grupos
CAPITULO
II
Anillos
La Teora de Anillos es aun mas antigua que la Teora de Grupos y fue inspirada por el estudio de los anillos de polinomios y el dominio de los n
umeros
enteros. Los estudios realizados por Gauss en Teora de N
umeros al trabajar
con reciprocidad cuadr
atica, formas cuadr
aticas sobre los enteros desarrollaron
en gran medida el estudio de dominios de factorizaci
on u
nica.
Los anillos conmutativos aparecen de manera natural en la Geometra Algebraica y la Teora Algebraica de los N
umeros y adem
as, dan lugar a la Teora
de Campos y la Teora de Galois. En estas notas, nos concentraremos en este
tipo de anillos.
La axiomatizaci
on de la Teora de anillos fue hecha
por el matematico israeli A. Fraenkel (1891-1965)
quien tambien trabajo en Teora de Conjuntos. El concepto de anillo es debido
a D. Hilbert (1862-1943) y a R. Dedekind (1831-1916) quienes trabajaron con
estas entidades teniendo en cuenta la Teora de Campos numericos.
II.1. Definici
on y ejemplos
Definici
on II.1.1. Un anillo asociativo con uno es un conjunto R junto
con dos operaciones binarias, denotadas por + y , tales que
(A1) la pareja (R, +) es un grupo abeliano;
(A2) para cualesquiera a, b, c R se tiene
a(b + c) = ab + ac
y
(a + b)c = ac + bc.
(A3) la operaci
on es asociativa;
(A4) existe un elemento en R, denotado por 1, con la propiedad de que para
todo a R se tiene a 1 = a = 1 a.
53
54
Anillos
Al elemento identidad del grupo (R, +) se le denota por 0. Sean R un anillo

asociativo con uno y a R, entonces
0 a + 0 = 0 a = (0 + 0)a = 0 a + 0 a
y como (R, +) es un grupo, se debe de tener 0a = 0; del mismo modo, podemos
probar que a 0 = 0 para todo a R.
Si suponemos que 1 = 0, entonces a = 1 a = 0 a = 0 por lo que R = {0};
a este anillo se le conoce como anillo trivial.
Un moniode es un conjunto M con una operaci
on binaria que satisface
(A3) y (A4); as, un anillo es un grupo abeliano aditivo con una operaci
on que
se distribuye por ambos lados sobre la suma que hace del conjunto subyacente
un monoide.
Nota. En adelante, se evitara la frace anillo asociativo con unoy simplemente
diremos un anillo.
Definici
on II.1.2. Sea R un anillo. Un sobconjunto S de R es un subanillo
si es un subgrupo aditivo de R, 1 S y es cerrado bajo el producto
Observe que {0} es un subconjunto de cualquier anillo, pero si R no es el anillo
trivial, entonces {0} no es un subanillo, pues 1
/ {0}.
Proposici
on II.1.1. Todo subanillo de un anillo es a su vez un anillo.
Definici
on II.1.3. Decimos que R es un anillo conmutativo si para todo
a, b R se tiene ab = ba. Un campo es un anillo conmutativo R tal que
(R {0}, ) es un grupo.
Sean R un anillo no trivial y a R. Decimos que a es una unidad de R si
existe b R tal que ab = 1 = ba. Definamos
def
R = {a R : a es una unidad}
el cual es no vaco pues 1 R .
Proposici
on II.1.2. El conjunto R es un grupo con respecto al producto en
R. Tal grupo es llamado el grupo de unidades de R.
Se sigue que un anillo R es un campo si y s
olo si su grupo de unidades es
R {0}.
Ejemplo:
(1) El conjunto de n
umeros enteros Z con las operaciones usuales es un anillo
conmutativo que no tiene subanillos propios.
(2) Los conjuntos numericos Q, R y C son campos con las operaciones usuales.
(3) Sea R un anillo, entonces Mn (R), el conjunto de todas las matrices de
tama
no n n con entradas en R, es un anillo, que en general es no conmutativo. El grupo de unidades Mn (R) lo denotaremos por GLn (R).
55
II.1 Definici
on y ejemplos
Nota. Cuando R es un anillo conmutativo, entonces

GLn (R) = {A Mn (R) : det A R }.
def
(4) El conjunto Z[i] = {a + bi : a, b Z} es un subanillo de C; los elementos

de Z[i] se llaman enteros gaussianos.
def
(5) El conjunto Z[ 2] = {a + b 2 : a, b Z} es un subanillo de R.

(6) Los enteros modulo n, Zn = Z/nZ, es un anillo conmutativo. Si n es un
n
umero primo, entonces Zn es un campo; tal campo se denota por Fp ,
donde p es el n
umero de elementos del campo.
(7) Si R1 y R2 con dos anillos, R1 R2 es un anillo con las operaciones
componente-a-componente.
(8) Sean (M, ) un monoide y R un anillo. Definimos el conjunto
def
R[M ] = {f : M R | f 1 (R {0}) es un conjunto finito}

y dos operaciones binarias como sigue:
def
(f + g)(m) = f (m) + g(m)

y
def
(f g)(m) =
f (i)g(j).
2
i,jM
ij=m
Al pedir que el conjunto f 1 (R {0}) sea finito, aseguramos que casi

todos los elementos de M tienen imagen 0 en R por lo que
X
f (i)g(j)
i,jM 2
ij=m
es siempre una suma finita de elementos no nulos de R. Si f, g, h R[M ]

y m M , entonces
X
X X
[(f g) h][m] =
(f g)(i)h(z) =
f (x)g(y) h(z)
iz=m
iz=m
f (x)g(y)h(z) =
xyz=m
xj=m
xy=i
xj=m
f (x)
yz=j
f (x)(g h)(j) = [f (g h)][m].
g(y)h(z)
56
Anillos
Sea e el elemento identidad de M y definamos la funcion

def 1 si m = e
e (m) =
0 si m 6= e
la cual tiene satisface las propiedades e f = f = f e . Queda como
ejercicio probar las leyes distributivas. A R[M ] se le llama anillo de
monoide. Ahora, veremos algunos ejemplos particulares:
(8a) Si tomamos M = N {0} N0 con la operaci
on de suma, entonces
R[M ]
= R[x], donde R[x] es el anillo de polinomios en la variable x.
El isomorfismo est
a dado por
{a0 , a1 , . . . } 7
ai xi .
i=0
(8b) Tomemos M = Nn0 , entonces R[M ]

= R[x1 , x2 , . . . , xn ]. El isomorfismo esta dado por
X
a(i1 , . . . , in )xi11 xinn
a : Nn0 R 7
(i1 ,...,in )Nn
0
(8c) Si M = Z, entonces R[Z]

= R[x, x1 ] se llama anillo de polinomios
de Laurent.
(8d) Si M = G un grupo, entonces R[G] tambien se denota por RG y se
llama
algebra de grupo.
R. Dedekind fue quein enfatiz

o la importancia de los
anillos donde podiamos cancelar elementos no nulos y
los llamo dominios enteros. Tambien estudio los llamados dominios de ideales
principales.
II.2. Dominios enteros
Definici
on II.2.1. Sea R un anillo conmutativo con 1 6= 0. Decimos que R
es un dominio entero si para todo a, b R, ab = 0 implica que a = 0 o bien
b = 0.
Observe que si D es un dominio entero, a D {0} y ab = ac, entonces
b = c.
Ejemplo:
(1) Z es un dominio entero. Zn es un dominio entero si y s
olo si n es un
n
umero primo.
(2) Si D es un dominio entero, entonces D[x] es un dominio entero.
(3) Si D es un dominio entero finito, entonces D es un campo.
57
II.2 Dominios enteros
Teorema II.2.1. Sea D un dominio entero, entonces existe un campo C y un

homomorfismo de anillos : D C inyectivo tal que si F es un campo y :
D F es un homomorfismo de anillos, entonces existe un u
nico homomorfismo
de campos : C F tal que
D
~
C
/F
~>
es un diagrama conmutativo.
Demostraci
on. En D (D {0}) definimos la relaci
on
(a, b) (c, d) si ad = bc.
Queda como un ejercicio el demostrar que es una relaci
on de equivalencia.
Sea C = D (D {0})/ y definimos las operaciones
[(a, b)] + [(c, d)]
def
[(ad + bc, bd)]
[(a, b)][(c, d)]
def
[(ac, bd)].
Queda como ejercicio probar que las operaciones no dependen de los representantes y que C es un campo. Ahora, definimos : d 7 [(d, 1)] y queda como
ejercicio mostrar que es un homomorfismo de anillos inyectivo. Sea F un
campo y : D F un homomorfismo de anillos; definimos e : C F como
e
([(a,
b)]) = (a)(b)1 y veamos que es un homomorfismo de campos:
e ([(a, b)] + [(c, d)])
e
= ([(ad
+ bc, bd)]) = (ad + bc)(bd)1
= [(a)(d) + (b)(c)][(b)(d)]1
= (a)(b)1 + (c)(d)1
e
e
= ([(a,
b)]) + ([(c,
d)]).
e
e
e
Similarmente, ([(a,
b)][(c, d)]) = ([(a,
b)])([(c,
d)]). Luego, es claro que
e
(a)
e
= ([(a,
1)]) = (a)(1)1 = (a)
y si : C F es otro homomorfismo de campos tal que = , entonces

([(a, b)])
= ([(a, 1)][(1, b)]) = ([(a, 1)])([(b, 1)])1

= (a)[(b)]1 = (a)(b)1
e
= ([(a,
b)])
de donde se sigue la unicidad.
58
Anillos
Ejercicio. Calcular el campo de fracciones de C[x], donde C es un campo.

Si D es un dominio entero y f (x), g(x) D[x], entonces grad(f (x)g(x)) =
grad(f (x)) + grad(g(x)).
Ejemplo: Sea R un anillo conmutativo, entonces Mn (R) es un anillo.
Observe que si C es un campo, entonces el campo de fracciones de C, usualmente denotado por Q(C), es isomorfo a C.
En adelante, salvo excepciones, trabajaremos con anillos conmutativos.
Definici
on II.2.2. Sean R y S dos anillos. Un homomorfismo de anillos
es una aplicaci
on : R S que satisface para a, b R las siguientes tres
condiciones:
(HA1) (a + b) = (a) + (b);
(HA2) (ab) = (a)(b);
(HA3) (1R ) = 1S .
Un isomorfismo de anillos es un homomorfismo biyectivo.
Ejemplo:
1. Sea R un anillo, entonces a 7 (a, 0) no es un homomorfismo de anillos
entre R y R R.
Pn
Pn
2. Sea a R, entonces eva : R[x] R definido por i=0 ai xi 7 i=0 ai ai
es un homomorfismo de anillos.
Proposici
on II.2.2. Sea : R S un homomorfismo de anillos.
(1) Para cada s S existe un u
nico homomorfismo de anillos s : R[x] S
tal que s |R = y (x) = s.
(2) Para cualesquiera s1 , s2 , . . . , sn S existe un u
anillos s1 ,s2 ,...,sn : R[x1 , x2 , . . . , xn ] S tal que s1 ,s2 ,...,sn |R = y para
cada 1 i n tenemos que s1 ,s2 ,...,sn (xi ) = si .
Demostraci
on. Probaremos solamente (2): para cada i Nn0 definimos
ci = ci1 ,i2 ,...,in R
y xi = xi11 xi22 xinn .
P
P
Sean p = p(x1 , x2 , . . . , xn ) = iNn ci xi y (p) = iNn (ci )ai11 ai22 ainn .

0
0
Veamos que es un homomorfismo de anillos: el ver la aditividad queda como
59
ejercicio. Ahora, vemos que si q = q(x1 , x2 , . . . , xn ) =

(pq)
"
X

k+
l=i
(ck )ai11 ai22
(p)(q).
ck dl x
ainn
#"
X
i
i
i di x ,

k+
l=i
(dl )ai11 ai22
entonces
(ck dl ) ai11 ai22 ainn
ainn
El resto de la demostraci
on, queda de ejercicio.
Ahora, veremos algunas aplicaciones de este resultado.
1. Sea : Z Zp Fp dado por a 7 [a]. Por la Proposicion anterior,
se
P
i
extiende
a
un
homomorfismo
de
anillos
:
Z[x]
F
[x]
tal
que
a
x
7
p
i
i
P
i
i [ai ]x .
2. Sean x = (x1 , x2 , . . . , xn ), y = (y1 , y2 , . . . , yn ). Existe un u

nico homomorfismo de anillos R[x, y] R[x][y] que es la identidad en R y que aplica a
cada xi en xi y cada yi en yi para todo 1 i n.
Demostraci
on. Sabemos que R es un subanillo de R[x] el cual a su vez
es un subanillo de R[x][y] por lo que R R[x][y]. Sea : R R[x][y]
la inclusi
on, entonces (por la Proposicion anterior) existe un u
nico homomorfismo de anillos : R[x, y] R[x][y] tal que |R = y (xi ) = xi ,
(yi ) = yi . Ahora, es claro que R[x] es un subanillo de R[x, y] y sea
: R[x] R[x, y] la inclusi
on, entonces existe un u
nico homomorfismo
de anillos : R[x][y] R[x, y] tal que |R[x] = idR[x] y (yi ) = yi para
todo 1 i n. Luego, vemos que
()|R = (|R ) = = |R = |R ,
pero |R es la inclusi
on de R en R[x, y]. Por lo que = idR[x,y] y de
manera similar, = idR[x][y] .
3. Sea C(Rn ) = {f : Rn R | f es continua}, entonces existe una aplicacion
: R[x1 , x2 , . . . , xn ] C(Rn ) dada por p(x1 , x2 , . . . , xn ) 7 p : Rn R,
donde p se define por a 7 p(a), la cual es un homomorfismo de anillos
inyectivo.
Demostraci
on. Sea : R C(Rn ) la aplicaci
on definida por r 7 r :
Rn R, donde r es la funcion constante. Consideremos las funciones
xi 7 fi (x1 , x2 , . . . , xn ) donde fi (a1 , a2 , . . . , an ) = ai , entonces existe un
homomorfismo de anillos : R[x1 , x2 , . . . , xn ] C(Rn ) tal que |R = idR
y (xi ) = fi . Sea p R[x1 , x2 , . . . , xn ] tal que (p) = 0.
60
Anillos
Observaci
on En R[x1 , x2 , . . . , xn] podemos
definir derivadas parciales

formales y estas satisfacen xi p = xi (p).
Supongamos que p 6= 0 y sea ci un coeficiente de grado maximo de p,

entonces existe una sucesi
on de derivadas parciales xj , . . . , xj tales
l
que xj xj p = mci con m 6= 0. Por tanto, mci = (mci ) =

1
l

xj xj p = xj xj (p) = 0 por lo que mci = 0, lo que
1
1
l
l
es absurdo.
Ejercicio. Si R es un anillo, entonces existe un u
nico homomorfismo de anillos
ZR
Pn
def
En R, tiene sentido hablar de n = n.1 = i=1 (1), dependiendo si n < 0 o
si n > 0.
Definici
on II.2.3. Sea R un anillo. Un ideal de R es un subconjunto I que
satisface
(I1) para a, b I, a + b I;
(I2) para r R y a I, ra I.
N
otese que 1 R y as, a = (1)a I. Por tanto, I es un subgrupo de
R. Adem
as, es claro que la interseccion de ideales es nuevamente un ideal.
Definici
on II.2.4. Un ideal es principal si es de la forma
def
hai = {ra : r R} = Ra,

para alg
un a R. El ideal generado por a1 , a2 , . . . , an R es
( n
)
X
def
ha1 , a2 , . . . , an i =
ri ai : ri R .
i=1
Ejercicio. Sea R una anillo no nulo. Muestre que R es un campo si y s

olo si
sus u
nicos ideales son R y {0}. De aqui que cualquier homomorfismo de anillos
: C S con C un campo y S 6= {0} es inyectivo.
Proposici
on II.2.3. Todo ideal de Z es principal.
Demostraci
on. Sea I un ideal de Z. Si I = {0} ya esta. Si no, entonces I es
un subgrupo de Z pero Z es cclico por lo que existe un elemento n Z tal que
hni = I.
Sea R un anillo no nulo y : Z R el u
nico homomorfismo de anillos. Sea
n N0 tal que ker = hni. Decimos que n es la caracterstica de R y lo
denotamos por car R. Si n > 0, entonces n = min{m N : m.1 = 0}
61
Teorema II.2.4. Sean R un anillo y f (x), g(x) R[x]. Si el coeficiente principal de f (x) es una unidad en R, entonces existen q(x), r(x) R[x] tales que
g(x) = f (x)q(x) + r(x) con grad r(x) grad f (x); si adem
as, R es un dominio
entero, entonces q(x) y r(x) son u
nicos.
Demostraci
on. Si g(x) = 0 o si grad g(x) < grad f (x), entonces q(x) = 0 y
r(x) = g(x). Si n = grad g(x) grad f (x) = m, sea
gn
r1 (x) = g(x)
f (x)
fm
para tener que el coeficiente de grado n de r1 (x) es
gn
fm = 0,
r1,n = gn
fm
por lo que grad r1 (x) < grad g(x). Sea q1 (x) =
gn nm
,
fm x
entonces es claro que
g(x) = f (x)q1 (x) + r1 (x).

Si r1 (x) = 0 o bien grad r1 (x) < grad f (x) ya terminamos; si grad r1 (x)
grad f (x), aplicando el mismo procedimiento, podemos encontrar polinomios
q2 (x) y r2 (x) con grad r2 (x) < grad r1 (x) tales que
r1 (x) = f (x)q2 (x) + r2 (x).
Despues de un n
umero finito de pasos, encontramos polinomios qk (x) y rk (x)
tales que rk1 (x) = f (x)qk (x) + rk (x) y grad rk (x) < grad f (x). As, tenemos
que
g(x) = f (x)(q1 (x) + q2 (x) + + qk (x)) + rk (x).
Si R es un dominio entero y g(x) = f (x)q(x) + r(x) = f (x)e
q (x) + re(x) con
grad r(x), grad re(x) < grad f (x), entonces
f (x)[q(x) qe(x)] = r(x) re(x).
Si r(x) re(x) 6= 0, entonces q(x) qe(x) 6= 0. Luego,

grad[r(x) re(x)]
= max{grad r(x), grad re(x)} < grad f (x)

grad f (x)[q(x) qe(x)] = grad[r(x) re(x)],
lo que es absurdo, de donde concluimos que r(x) = re(x). Como f (x) 6= 0 y R

es un dominio entero, entonces q(x) = qe(x).
Corolario II.2.5. Sea g(x) R[x]. Si R tal que g() = 0, entonces x

divide a g(x) en R[x].
Demostraci
on. Por el Teorema anterior, existen q(x), r(x) R[x] tales que
g(x) = (x )q(x) + r(x)
con grad r(x) < grad(x ) = 1 por lo que r(x) es un polinomio constante.
Como g() = 0, entonces 0 = ( )q() + r() y as, r() = 0 de donde se
concluye que r(x) = 0.
62
Anillos
Proposici
on II.2.6. Sea C un campo, entonces todo ideal de C[x] es principal.
Demostraci
on. Sea I un ideal en C[x] y supongamos que I 6= {0}. Sabemos que
existe un elemento f (x) I tal que
grad f (x) grad g(x)
para todo g(x) I {0} y veamos que I = hf (x)i: sea g(x) I {0}, entonces
grad g(x) grad f (x) y por el algoritmo de la divisi
on, existen q(x), r(x) C[x]
tales que
g(x) = f (x)q(x) + r(x)
con r(x) = 0 o bien, grad r(x) < grad f (x), pero r(x) I por lo que grad r(x)
grad f (x) o bien r(x) = 0. As se concluye que r(x) = 0 y g(x) hf (x)i.
Ejercicio.
1. No todo ideal de Z[x] es principal, por ejemplo h2, xi.
2. No todo ideal de R[x, y] es principal, por ejemplo hx, yi
Corolario II.2.7. Sean C un campo y f (x), g(x) C[x] no ambos cero, entonces existe un u
nico polinomio m
onico d(x) C[x] tal que
(1) hd(x)i = hf (x), g(x)i;
(2) d(x) divide tanto a f (x) como a g(x);
(3) si h(x) es un polinomio que divide tanto a f (x) como a g(x), entonces
h(x) divide a d(x);
(4) existen p(x), q(x) C[x] tales que d(x) = f (x)p(x) + g(x)q(x).
e
Demostraci
on. Como C[x] es un D. I. P., entonces existe un polinomio d(x)
C[x] tal que
D
E
e
hf (x), g(x)i = d(x)
;
e
al multiplicar por unaDunidad
E en C[x] a d(x) obtenemos un polinomio monico
e
d(x) tal que hd(x)i = d(x) y se sigue entonces que d(x) divide tanto a f (x)
como a g(x). Si existiera otro polinomio p(x) tal que hp(x)i = hf (x), g(x)i,
entonces p(x) y d(x) seran asociados y al ser monicos ambos, tenemos que
p(x) = d(x). Ahora, si h(x) es un polinomio que divide tanto a f (x) como a
g(x), entonces hd(x)i = hf (x), g(x)i hh(x)i por lo que h(x) divide a d(x).
Luego, (4) se tiene por definicion de hf (x), g(x)i y por (1).
63
II.3 Anillos cocientes
La matematica alemana E. Noether (1882-1935) impulso fuertemente el trabajo sobre concientes de estructuras algebraicas iniciado por E. Galois y tembien, el Primer Teorema de Isomorfismo es conocido como el Teorema de Noether, en honor a esta matematica.
Sea I un ideal de R, entonces I es un subgrupo aditivo de R y el grupo
cociente R/I = {a + I : a R} es un grupo abeliano aditivo.
II.3. Anillos cocientes
Teorema II.3.1. Sea I un ideal de R, entonces existe una u

nica estructura de
anillo en R/I tal que la aplicaci
on : R R/I dada por a 7 a + I es un
homomorfismo de anillos.
def
Demostraci
on. Definamos en R/I la operaci
on (a + I)(b + I) = ab + I; tal
definicion queda forzada por la condici
on de que es un homomorfismo de
anillos. Veamos que la operaci
on esta bien definida: sean i, j I, entonces
(a + i + I)(b + j + I) = (a + i)(b + j) + I = (ab + aj + ib + ij) + I,
pero como I es bilateral, aj, ib, ij I. El resto se sigue inmediatamente.
Teorema II.3.2. (del Homomorfismo). Sean : R S un homomorfismo de
anillos con n
ucleo I y J I un ideal de R. Si J : R R/J es la proyecci
on
natural, entonces existe un u
nico homomorfismo de anillos : R/J S que
hace conmutar el diagrama
/S
R
|=
|
J
|
|
R/J
Teorema II.3.3. (Primer Teorema de Isomorfismo). Con la notaci
on del Teorema del homomorfismo, si I = J, entonces : R/J Im es un isomorfismo.
Ejercicio.
1. (Segundo Teorema de Isomorfismo). Si I, J R son ideales, entonces
I/(I J)
= (I + J)/J.
2. (Tercer Teorema de Isomorfismo). Si I J, entonces R/J
=
R/I
J/I .
la proyecci
Teorema II.3.4. (de correspondencia). Sea : R R/J R
on
natural, entonces existe una correspondencia biyectiva entre los conjuntos
{I R : I es un ideal de R, J I}
y
R
:K
es un ideal de R}
{K
7 1 (K)
y para J I R, J 7 (J). Adem
dada por K
as, R/I
= R/(I).
64
Anillos
Ejemplo: Demostraremos que Z[i]/ h1 + 3ii es isomorfo a Z10 : definamos la

aplicaci
on
: Z Z/ h1 + 3ii como a 7 a + h1 + 3ii ,
el cual es un homomorfismo de anillos. Denotemos por a a la clase de a en
Z[i]/ h1 + 3ii; vemos que 1 = (1) y como 1 + 3i = 0, entonces 1 = 3i y al
multiplicar por i tenemos que i = 3 = (3) por lo que 1, i Im, es decir, es
suprayectiva pues Z[i] = h1, ii. Finalmente, vemos que
(10) = 10 = 1 + 3 3 = 1 + 3i = 1 + 3i = 0,
por lo que h10i ker ; si n ker , entonces n h1 + 3ii y as, existen enteros
a y b tales que n = (a+bi)(1+3i) de donde obtenemos que n = (a3b)+(3a+b)i.
Luego, vemos que 3a + b = 0 por lo que b = 3a y as
n = a 3b = a 3(3a) = a + 9a = 10a h10i .
El resto es trabajo del Primer Teorema de Isomorfismo.
Definici
on II.3.1. Un ideal I de R es maximal si I 6= R y para todo ideal
I J R se tiene que I = J. Decimos que I es primo si para todo a, b R
tal que ab I se tiene que a I o bien b I.
Ejercicio.
1. Un ideal I es maximal si y s
olo si R/I es un campo.
2. Un ideal I es primo si y s
olo si R/I es un dominio entero.

3. Muestre que R[x]/ x2 + 1 es isomorfo a C.
Ahora, estudiaremos una manera de generar extensiones de anillos al a
nadir un elemento abstracto que, por lo general, no pertenece a nustro anillo inicial.
II.4. Adjuncion de elementos
Definici
on II.4.1. Si R es un subanillo de R , diremos que R es una extensi
on de R.
Usaremos otra palabra distinta de subanillo porque es un enfoque distinto.
Definici
on II.4.2. Sean R una extensi
on de R y R . Definimos R[]
como el mnimo subanillo de R que contiene a R y a .

Lema II.4.1. R[] = {rn n + + r1 + r0 : n N0 , r0 , r1 , . . . , rn R}.
La demostraci
on del Lema queda como ejercicio. Esta es una manera intrnseca de ver a R[].
65
II.4 Adjunci
on de elementos
Proposici
on II.4.2. Sean R un anillo y f (x) un polinomio m
onico en R[x] de
grado n > 0, entonces existe un isomorfismo de grupos (de hecho, de R-m
odulos)
entre Rn y R[x]/ hf (x)i dado por
(r0 , r1 , . . . , rn1 ) 7
n1
X
i=0
ri xi + hf (x)i .
Demostraci
on. La correspondencia : R R[x]/ hf (x)i dada por
(r0 , r1 , . . . , rn1 ) 7
n1
X
i=0
ri xi + hf (x)i
preserva sumas por lo que es un homomorfismo de grupos. Ahora, veamos que

es suprayectivo: sea g(x) R[x] y supongamos que grad g(x) grad f (x),
entonces existen q(x), r(x) R[x] tales que
g(x) = f (x)q(x) + r(x) con grad r(x) < grad f (x).
Luego, g(x) + hf (x)i = r(x) + hf (x)i y as, el vector de coeficientes de r(x)
es preimagen bajo de g(x) + hf (x)i. Si (r0 , r1 , . . . , rn1 ) = 0, entonces
Pn1
i
i=0 ri x = 0 por lo que r0 = r1 = rn1 = 0 de donde concluimos que es
inyectivo.
2
Observe
que
R[x]/
x
+
1
es
un
campo
y
R[x]/
x no es dominio entero
2 2
pues x + x 6= 0 y (x + x ) = 0; sin embargo, como grupos abelianos son
iguales.
Ejemplo: Sean a R y R = R[x]/ hax 1i, entonces R consiste en agregar a
R el inverso de a ya que si [b] denota la clase de b en R[x]/ hax 1i, tenemos
que
[a][x] [1] = [ax 1] = [0]
por lo que [a][x] = [1].
Z[x]/ h2x 1i = Z
n
o
1
a
.
=
:
a
Z,
n
N
0
2
2n
Lema II.4.3. Sea = [x] R[x]/ hax 1i, donde a R {0}, entonces todo
elemento de R[x]/ hax 1i es de la forma k r, donde k N0 y r R.
La Demostracion del Lema queda como ejercicio.
Ejemplo: Sea R = C[t], donde C es un campo. Si R = C[t, x]/ htx 1i,
entonces R
= C[Z].
= C[t, t1 ]
66
Anillos
Ejercicio. Construir explcitamente el isomorfismo entre los polinomios de

Laurent y R .
Observe que si C es un campo y f (x), g(x) C[x] son dos polinomios que
no tienen factores comunes, excepto por unidades, entonces existen r(x), s(x)
C[x] tales que 1 = f (x)r(x) + g(x)s(x).
Definici
on II.4.3. Un polinomio f (x) en C[x] es irreducible si es de grado
positivo y sus u
nicos divisores de grado menor son constantes.
Teorema II.4.4. Si p(x) C[x] es irreducible y p(x) divide a un producto
f (x)g(x), entonces p(x) divide a uno de los factores.
Demostraci
on. Supongamos que p(x) no divide a f (x), entonces los factores
comunes de p(x) y f (x) son unidades en C[x] y por la observaci
on anterior,
sabemos que existen r(x) y s(x) en C[x] tales que
1 = p(x)r(x) + f (x)s(x);
multiplicando por g(x) en ambos lados de la igualdad anterior, tenemos que
g(x) = p(x)r(x)g(x) + f (x)g(x)s(x).
Claramente p(x) divide al primer sumando del lado derecho de la igualdad
anterior y por hip
otesis, p(x) divide al producto f (x)g(x) con lo que se concluye
que p(x) divide a g(x).
Teorema II.4.5. Todo polinomio no nulo f (x) en C[x] se escribe de manera
u
nica, salvo el orden, como un producto
f (x) = cp1 (x)p2 (x) pk (x),
donde c C y los polinomios p1 (x), p2 (x), . . . , pk (x) C[x] son m
onicos irreducibles.
Demostraci
on. Supongamos que el grado de f (x) es positivo y hagamos induccion sobre el: si grad f (x) = 1, entonces f (x) es irreducible. Si grad f (x) > 1
y f (x) es irreducible, ya est
a; si no, existen polinomios de grado positivo
g(x), h(x) C[x] tales que f (x) = g(x)h(x). Como grad g(x), grad h(x) <
grad f (x), por hip
otesis de induccion, sabemos que g(x) y h(x) se expresan
como dice el Teorema y por tanto, tambien f (x) se expresa de tal manera.
Ahora, supongamos que existe otra expresi
on para f (x), digamos
f (x) = c q1 (x)q2 (x) ql (x),
entonces es inmediato que c = c ya que es el coeficiente principal de f (x), ya
que cada polinomio es monico. Luego, cada pi (x) es irreducible y
pi (x) | q1 (x)q2 (x) ql (x),
67
II.4 Adjunci
on de elementos
por el Teorema anterior, existe un ndice 1 j l tal que pi (x) | qj (x) pero
qj (x) es irreducible y monica al igual que pi (x), por lo que pi (x) = qj (x). Al
ser C[x] un dominio entero, podemos eliminar estos factores y aplicar el mismo
procedimiento para cada 1 i k y as demostramos que k = l y, despues de
un reindexamiento, pi (x) = qi (x).
Ahora, haremos un peque
no resumen del caso particular C = C y C = R:
C=C
Todo polinomio de grado positivo f (x) en C[x] tiene una raz C.

As, x | f (x).
Los polinomios irreducibles monicos en C[x] son de la forma x
para alg
un C.
La factorizaci
on de f (x) en irreducibles es
f (x) = c(x 1 )(x 2 ) (x n )
C=R
En R[x], hay dos tipos de polinomios irreducibles monicos: los de

grado uno, x a con a R, y los de grado dos, x2 + bx + c con
b2 < 4c. En el segundo caso, el polinomio tiene un para de raices
complejas conjugadas.
Si f (x) R[x] y C es una raz de f (x), entonces
tambien es
raz de f (x). Si C R, entonces 6=
y as, vemos que
(x )(x
) |C[x] f (x),
pero (x )(x )
= x2 ( + )x
+
R[x] por lo que la factorizaci
on de f (x) en C[x] en factores lineales nos da una factorizacion
de f (x) en R[x] en factores lineales y cuadr
aticos:
f (x) =
k
Y
i=1
(x i )(x i )
donde C R y R y
f (x) =
k
Y
i=1
l
Y
j=1
(x j ) C[x],
(x2 [i +
i ]x + i
i)
l
Y
j=1
(x j ) R[x].
Proposici
on II.4.6. Sean C un campo y f (x) C[x] de grado n, entonces
f (x) tiene a lo mas n races en C.
La demostraci
Ejemplo: En Z8 [x] el polinomio x2 1 lo podemos escribir como
(x 1)(x + 1)
y tambien como
(x 3)(x + 3).
Luego, x2 1 tiene al menos 4 races en Z8 y la factorizaci

on en irreducibles no
es u
nica.
68
Anillos
Uno de los matematicos que estudio con profundidad este tipo de polinomios fue K. Gauss
quien utilizaba resultados de Teora de N
umeros para sus trabajos con tales polinomios o bien, los resultados que tena al estudiar polinomios enteros los usaba
para trabajar con Teora de N
umeros.
II.5. Polinomios en Z[x] y Q[x]
Definici
on II.5.1. Un polinomio f (x) = a0 + a1 x + + an xn se llama primitivo en Z[x] si sus coeficientes no tienen factores comunes, excepto 1, y
an > 0.
Lema II.5.1. Todo polinomio f (x) Q[x] {0} se escribe como un producto
f (x) = cf f0 (x),
donde cf Q y f0 (x) es un polinomio primitivo en Z[x]. Adem
as, esta expresi
on
es u
nica.
Demostraci
on. Supongamos que f (x) tiene la siguiente expresi
on
a0
a1
an n
+ x + +
x ,
b0
b1
bn
as, multiplicando por [b0 , b1 , . . . , bn ] b y dividiendo por (ba0 , ba1 , . . . , ban ) a
tenemos que
b
1
f (x) = [bf (x)].
a
a
Si definimos f0 (x) = ab f (x), entonces f0 (x) es primitivo en Z[x]; luego, es claro
que f (x) = ab f0 (x) y ab Q.
Ahora, si f (x) = c g(x) con c Q y g(x) un polinomio primitivo en Z[x],
eliminando denominadores, podemos suponer que c , cf Z. Sean 0 , 1 , . . . , n
los coeficientes de f0 (x) y 0 , 1 , . . . , n los coeficientes de g(x), entonces
cf i = c i
para todo 1 i n. Como 1 = (0 , 1 , . . . , n ), entonces
cf = (cf 0 , cf 1 , . . . , cf n );
similarmente,
c = (c 0 , c 1 , . . . , c n )
por lo que cf = c lo que implica n = n , pero n , n > 0 as que n = n .

Luego, cf = c y se sigue entonces que i = i para 1 i < n. Por tanto,
f0 (x) = g(x).
Definici
on II.5.2. El n
umero cf del Lema anterior se llama contenido de
f (x).
Observaciones:
II.5 Polinomios en Z[x] y Q[x]
69
(1) El polinomio f (x) pertenece a Z[x] si y s

olo si cf Z. En este caso,
|c| = (a0 , a1 , . . . , an ) y sgn c = sgn an .
(2) Si f (x) Z[x], entonces cf |Z[x] f (x).
(3) El polinomio f (x) es primitivo si y s
olo si cf = 1.
Teorema II.5.2. (Lema de Gauss). Un producto de polinomios primitivos en
Z[x] es primitivo.
Demostraci
on. Sea f (x) y g(x) dos polinomios primitivos en Z[x] y definamos
h(x) = f (x)g(x), entonces el coeficiente principal de h(x) es positivo pues los de
f (x) y de g(x) lo son. Sean p un n
umero primo y : Z[x] Zp [x] el homomorfismo de anillos que aplica a 1 en [1] y a x en x. Veamos que (h(x)) 6= 0: como
tanto f (x) como g(x) son primitivos, p no puede dividir a todos sus coeficientes
as que no pueden estar en el n
ucleo de y al ser este un homomorfismo de
anillos tenemos
(h(x)) = (f (x)g(x)) = (f (x))(g(x)) 6= 0,
pues Zp es un campo y por lo tanto, Zp[x] es un dominio entero. Luego, p no es
factor comun de los coeficientes de h(x) y por tal motivo, el contenido de h(x)
es 1, es decir, h(x) es primitivo.
Proposici
on II.5.3. (1) Sean f (x) y g(x) dos polinomios en Q[x] y f0 (x)
y g0 (x) sus polinomios primitivos asociados en Z[x]. Si f (x) |Q[x] g(x),
entonces f0 (x) |Z[x] g0 (x).
(2) Sean f (x), g(x) Z[x] con f (x) primitivo. Si f (x) |Q[x] g(x), entonces
f (x) |Z[x] g(x).
(3) Sean f (x), g(x) Z[x]. Si f (x) y g(x) tienen un factor com
un de grado
positivo en Q[x], entonces tienen un factor com
un de grado positivo en
Z[x].
Demostraci
on. (2) Sea q(x) Q[x] tal que g(x) = f (x)q(x) y supongamos
que q0 (x) y cq son el polinomio primitivo y el contenido de q(x) respectivamente. Por el Lema de Gauss, f (x)q0 (x) es primitivo por lo que
g0 (x) = f (x)q0 (x) y cq = cg . Como g(x) Z[x], entonces cg = cq Z y
as, q(x) Z[x].
(1) Sea q(x) Q[x] tal que f (x)q(x) = g(x). Como f (x) = cf f0 (x), entonces
f0 (x) |Q[x] g(x) y por (2), sabemos que f0 (x) |Z[x] g(x). Ahora, observemos que
cg g0 (x) = g(x) = f (x)q(x) = cf cq f0 (x)q0 (x)
y por unicidad, tenemos cg = cf cq y g0 (x) = f0 (x)q0 (x).
(3) Sea h(x) Q[x] un factor com
un de f (x) y g(x) de grado positivo, entonces
h(x) |Q[x] f (x) y h(x) |Q[x] g(x). Podemos suponer ahora que h(x) Z[x]
y es primitivo y as, el resultado se sigue de (2).
70
Anillos
Definici
on II.5.3. Sea D un dominio entero. Un polinomio p(x) D[x] {0}
es irreducible si sus u
nicas factorizaciones son de la forma
p(x) = a(x)b(x),
donde a(x) o bien b(x) son unidades en D[x].
Corolario II.5.4. Sea f (x) un polinomio en Z[x] de grado positivo. Si f (x) es
irreducible en Z[x], entonces es irreducible en Q[x].
La demostraci
on del Corolario queda como ejercicio.
Proposici
on II.5.5. Sea f (x) Z[x] con coeficiente principal positivo, entonces f (x) es irreducible en Z[x] si y s
olo si
(1) f (x) es un n
umero primo.
(2) f (x) es un polinomio primitivo que es irreducible en Q[x].
Demostraci
on. () Es claro que los n
umeros primos son irreducibles en Z[x].
Ahora, si f (x) es irreducible en Q[x] y primitivo en Z[x], entonces f (x)
no es constante y no es divisible por ningun polinomio racional de grado
menor y positivo; luego, sus u
nicos divisores son constantes en Q[x]. Si
f (x) tiene un divisor en Z[x] de grado positivo, entonces tiene un divisor
de grado positivo en Q[x], lo que no es posible. Si un polinomio constante
en Z[x] divide a f (x), entonces divide a todos sus coeficientes, lo que no
puede ser pues f (x) es primitivo, a menos que el divisor sea 1 Z[x] .
Por tanto, f (x) es irreducible.
() Como f (x) = cf f0 (x) es irreducible en Z[x], entonces cf Z[x] y por
tener coeficiente principal positivo, cf = 1 y f (x) es entonces primitivo en
Z[x]. Adem
as, por el Corolario anterior, f (x) es irreducible en Q[x].
Veamos algunas factorizaciones explcitas de polinomios.
Proposici
on II.5.6. Sean f (x) = an xn + + a1 x + a0 Z[x] y p un n
umero
primo que no divide a an . Si [f (x)]p es irreducible en Zp [x], entonces f (x) es
irreducible en Q[x].
Demostraci
on. Podemos suponer que f (x) es primitivo. Supongamos tambien
que f (x) no es irreducible en Q[x], entonces existen polinomios g(x) y h(x)
de grado positivo en Q[x] tales que f (x) = g(x)h(x) y por un Corolario anterior, f (x) = g(x)h(x) en Z[x]. Adem
as, p no divide a an y as, grad[f (x)]p =
grad f (x), pero tambien tenemos [f (x)]p = [g(x)]p [h(x)]p = [g(x)h(x)]p . Sean
bk el coeficiente principal de g(x) y cl el coeficiente principal de h(x), entonces
an = bk cl y p no divide a bk ni a cl . Por tanto, grad[g(x)]p , grad[h(x)]p > 0 lo
que es absurdo.
Veamos algunos polinomios irreducibles en Z2 [x] de grado peque
no:
71
II.5 Polinomios en Z[x] y Q[x]
Grado 1. Es claro que x y x + 1 son irreducibles.

Grado 2. Los polinomios
x2 = x x
x2 + 1 = (x + 1)2
y x2 + x = x(x + 1)
no son irreducibles en Z2 [x]. As, el u

nico polinomio irreducible de grado
2 es x2 + x + 1.
x3 = x x x
x3 + x = x(x + 1)2
x3 + x2 + x = x(x2 + x + 1)
x3 + x2 = x2 (x + 1)
x3 + 1 = (x + 1)(x2 + x + 1)
x3 + x2 + x + 1 = (x + 1)3
no son irreducibles por lo que los irreducibles de grado 3 son x3 + x2 + 1

y x3 + x + 1.
x4
4
= xxxx
x + x = x(x + 1)(x2 + x + 1)
x4 + x2 = x2 (x + 1)2
x4 + x3 = x3 (x + 1)
x4 + x2 + x = x(x3 + x + 1)
x4 + x3 + x = x(x3 + x2 + 1)
x4 + x3 + x2 + x = x(x + 1)3
x4 + x3 + x2 + x = x(x + 1)3
x4 + 1
x +x +x+1
=
=
(x + 1)4
(x + 1)(x3 + x2 + 1)
x4 + x3 + x + 1
x4 + x3 + x2 + 1
=
=
(x + 1)2 (x2 + x + 1)
(x + 1)(x3 + x + 1)
no son irreducibles por lo que los irreducibles de grado 4 son

x4 + x + 1
x4 + x2 + 1
x4 + x3 + 1 x4 + x3 + x2 + x + 1.
Ejemplo: Consideremos el polinomio f (x) = x4 6x3 + 12x2 3x + 9 Q[x].
Vemos que [f (x)]2 = x4 + x + 1 el cual es irreducible en Z2 [x] por lo que f (x)
es irreducible en Z[x] y al tener contenido 1, es irreducible en Q[x].
Teorema II.5.7. (Criterio de Eisenstein). Sean f (x) = an xn + + a1 x + a0
Z[x] y p un n
umero primo tal que p no divide a an , p | ai para 0 i < n y p2
no divide a a0 , entonces f (x) es irreducible en Q[x].
72
Anillos
Demostraci
on. Por hip
otesis, grad f (x) > 0. Vemos que [f (x)]p = [an ]p xn
Zp [x] con [an ]p 6= 0. Supongamos que f (x) es reducible en Q[x] y por tanto, en
Z[x]; si f (x) = g(x)h(x) con grad g(x), grad h(x) > 0, tendramos que
[f (x)]p = [g(x)h(x)]p = [g(x)]p [h(x)]p ,
por lo que [g(x)]p y [h(x)]p dividen a [an ]p xn . Luego, [g(x)]p y [h(x)]p son
monomios. As, los coeficientes de g(x) son todos divisibles por p excepto el
coeficiente principal y similarmente para h(x); si b0 y c0 son los coeficientes
constates de g(x) y h(x) tenemos que a0 = b0 c0 y por tanto, p2 | a0 , lo que es
absurdo.
Ejercicio. Sea f (x) Z[x]. Muestre que si f (x) es reducible en Q[x], entonces
es reducible en Z[x] y sus factores son de grado positivo.
Definici
on II.5.4. Sea p un n
umero primo. El polinomio
cp (x) = xp1 + xp2 + + x + 1,
se llama polinomio ciclot
omico.
Vemos que (x 1)cp (x) = xp 1 por lo que las raices de cp (x) son las races
2ki
p-esimas de la unidad de la forma pk = e p para 1 k p 1.
Teorema II.5.8. El polinomio ciclot
omico es irreducible en Q[x].
Demostraci
on. Consideremos : Z[x] Z[y] dado por (1) = 1 y (x) = y +1,
entonces cp (x) sera irreducible en Q[x] si y s
olo si (cp (x)) es irreducible en Q[y]:
vemos que
y(cp (x))
= ([x 1]cp (x)) = (xp 1) = (x)p 1 = (y + 1)p 1

p
X

=
(pi ) y pi 1 = y p + (p1 ) y p1 + + pp1 y
i=0
= y y p1 + py p2 + + p(p 1)y + p
y como Q[y] es un dominio entero, tenemos que (cp (x)) = y p1 + py p2 + +

p(p 1)y + p que es irreducible en Q[y] por el criterio de Eisenstein.
R. Dedekind estudio los dominios de factorizaci
on u
nica cuando trabajo en los anillos de
enteros de un campo de n
umeros algebraicos
al tratar de reparar los problemas del trabajo de A. L. Cauchy sobre el Ultimo

Teorema de Fermat. Aqui veremos algunos resultados importantes sobres la
relaci
on que guarda la factorizaci
on u
nica de elementos en irreducibles con la
noci
on de elementos primos, as como lo hizo Gauss al estudiar los enteros gaussianos.
II.6. Dominios de factorizacion
u
nica
73

on u
nica
Definici
on II.6.1. Sean D un dominio entero y p D D .
(1) Decimos que p es un elemento primo si para cada a, b D, p | ab implica
que p | a o bien p | b.
(2) Un elemento p es irreducible si para cada a, b D con p = ab se tiene
que a D o bien b D .
Decimos que D es un dominio de factorizaci
on u
nica(DFU) si se satisface
las siguientes condiciones
(F) para todo a D ({0} D ) existen p1 , p2 , . . . , pk D irreducibles tales
que a = p1 p2 pk ,
(U) para todo a D ({0} D ), si a = p1 p2 pk = q1 q2 ql son dos
factorizaciones en irreducibles, entonces k = l y existe una permutaci
on
Sk tal que pi es asociado a q(i) para cada 1 i k.
Ejemplos de tales dominios son Z y si C es un campo, C[x] tambien es DFU.
Proposici
on II.6.1. Sea D un dominio que satisface (F), entonces D es DFU
si y s
olo si todo irreducible es primo.
Demostraci
on. () Sea d D un elemento irreducible y sean a, b D tales
que d | ab, entonces existe c D el cual satisface dc = ab. Supongamos
que a = p1 pn , b = q1 qm y c = r1 rl son las factorizaciones en
irreducibles, respectivamente, entonces
dr1 rl = p1 pn q1 qm .
Por la unicidad de las factorizaciones en irreducibles, existe 1 i n tal
que d = pi o bien existe 1 j m tal que d = qj . Por tanto, d | a o bien
d | b.
() Sea a D tal que a = p1 pn = q1 qm don dos factorizaciones en
irreducibles. Como cada pi es primo y pi y pi | q1 qm , entonces existe
un ndice 1 j m tal que pi | qj ; como qj es irreducible, entonces pi y
qj son asociados. Luego, despues de un n
umero finito de pasos, se muestra
que n = m y despues de un reindexamiento, pi es asociado a qi para todo
1 i n.
Ejemplo: Sea R = Z[ 5] C. En
on u
nica ya que
R no hay factorizaci
6 = 2 3 y tambien 6 = (1 + 5)(1 5) son factorizaciones en irreducibles.
Observe que R ={1, 1}. Aqui,
2 es irreducible pero no es primo pues 2 divide
al producto (1 + 5)(1 5) y 2 no divide a ninguno de los factores.
74
Anillos
Definici
on II.6.2. Sea D un dominio entero con 1 6= 0. Decimos que a divide
a b si existe q D tal que b = aq; en tal caso lo denotamos por a | b. Decimos
que a es una unidad en D si a | 1; si b = aq con a, q
/ D , decirmos que a
divide propiamente a b; decimos que a y b son asociados si a | b y b | a.
Proposici
on II.6.2. Dos elementos a y b en un dominio entero no trivial son
asociados si y s
olo si existe una unidad u tal que a = ub.
Demostraci
on. () Sean k1 , k2 D tales que a = bk1 y b = ak2 , entonces
b = ak2 = (bk1 )k2 = b(k1 k2 ),
por lo que k1 k2 = 1 y as, k1 , k2 D .
() Sea u D tal que a = ub, entonces b | a y como u es unidad, existe v tal
que vu = 1 y as
va = v(ub) = (vu)b = 1b = b,
por lo que b | a. Por tanto, a y b son asociados.
Proposici
on II.6.3.
(1) a es unidad si y s
olo si (a) = (1) = D.
(2) a y b son asociados si y s

olo si (a) = (b).
(3) a | b si y s
olo si (a) (b).
(4) a es un divisor propio de b si y s
olo si (b) (a) (1).
Demostraci
on. (1) () Sea b D tal que ba = 1, entonces 1 (a) y as, para
d D tenemos
d = d 1 = d(ba) = (db)a (a),
por lo que (a) = D.
() Como (a) = D y 1 D, entonces existe b D tal que ba = 1.
(3) () Sea x (b), entonces existe y D tal que x = by. Como a | b, existe
z D tal que b = az y as, x = a(zy) (a).
() Como (b) (a), entonces b (a) y as, existe q D tal que b = aq
por lo que a | b.
(2) Es inmediato de (3).

(4) () Como a no es unidad, tenemos que (a) (1) y como a | b, entonces
b = aq para alg
un q D por lo que (b) (a). Si (b) = (a), entonces
q es unidad y as, a no es un divisor propio de b, lo cual es absurdo.
() Por (3) tenemos que a | b y como (a) (1), vemos que a no es
unidad. Sea q D tal que b = aq; si q D , entonces (b) = (a).
75

on u
nica
Ejercicio.
1. Sea D un D. I. P. Muestre que a es irreducible si y s
olo si (a) es maximal.
2. Sea D un dominio entero. Muestre que si a es primo, entonces a es irreducible.
3. Sea D un D. I. P. Muestre que todo irreducible es primo.
Proposici
on II.6.4. Sea D un D. I. P., entonces cualquier cadena ascendente
de ideales
I1 I2 Ik
se detiene, es decir, existe m N tal que Ik = Im para todo k m.
Demostraci
on. Sea I =
n=1 In . Afirmamos que I es un ideal en D. Como D
es D. I. P., existe un elemento a D tal que (a) = I; luego, existe m N tal
que a Im por lo que I Im I.
Teorema II.6.5. Todo DIP es DFU.
Demostraci
on. Basta probar la existencia de una factorizaci
on en irreducibles
para cada elemento en un DIP D: supongamos que existe a D {0} que no
se puede expresar como producto de irreducibles, entonces a no es irreducible
por lo que existen p1 , q1 D tales que
a = p1 q 1
es una factorizaci
on en divisores propios. Luego, al menos uno de los elementos
p1 o q1 no se puede expresar como producto de irreducibles, digamos p1 , por lo
que existen p2 , q2 D tales que
p1 = p2 q 2 ,
la cual es una expresi
on para p1 como producto de divisores propios. Siguiendo
con este procedimiento, encontramos una cadena de ideales
(p1 ) (p2 ) (pk )
que claramente no se detiene.
Proposici
on II.6.6. Todo elemento irreducible en Z[x] es primo.
Demostraci
on. Sea f (x) Z[x] un elemento irreducible y supongamos que
f (x) | g(x)h(x).
Caso 1. Si grad f (x) = 0, entonces f (x) Z y f (x) es un n
umero primo.
Supongamos que g(x) = cg g0 (x) y h(x) = ch h0 (x) con g0 (x) y h0 (x)
primitivos; como g0 (x)h0 (x) es primitivo, entonces f (x) no puede dividir a
todos los coeficientes de g0 (x)h0 (x), sea a uno de tales coeficientes, y como
f (x) | cg ch a entonces f (x) | cg o bien f (x) | ch . Por tanto, f (x) | g(x) o
bien f (x) | h(x).
76
Anillos
Caso 2. Si grad f (x) > 0, entonces f (x) es primitivo e irreducible en Q[x] por lo
que es primo en Q[x]. Como f (x) | Q[x] g(x)h(x), entonces f (x) | Q[x] g(x)
o bien f (x) | Q[x] h(x) y al ser f (x) primitivo, entonces f (x) | Z[x] g(x) o
bien f (x) | Z[x] h(x).
Teorema II.6.7. Z[x] es DFU.
Demostraci
on. Basta probar la existencia de una factorizacion: escribamos a
f (x) como cf f0 (x) con cf Z y f0 (x) el primitivo asociado, entonces cf =
p1 p2 pk con pi irreducibles en Z. Si f0 (x) es irreducible ya esta, si no, entonces
existen g(x), h(x) Z[x] ({0} Z[x] ) tales que
f0 (x) = g(x)h(x);
como f0 (x) es primitivo, entonces g(x) y h(x) no son constantes por lo que
tienen grado positivo. Si g(x) no fuese primitivo, entonces g(x) = cg g0 (x) con
g0 (x) primitivo y como f0 (x) = cg g0 (x)h(x), entonces cg | f0 (x) por lo que
divide a todos sus coeficientes, lo que es absurdo; luego, tanto g(x) como h(x)
son primitivos y de grado menor que f (x). Repitiendo este argumento en un
n
umero finito de pasos, terminamos con la prueba.
Teorema II.6.8. Sean D un DFU y Q su campo de cocientes, entonces
(1) Sea f (x), g(x) Q[x], f0 (x), g0 (x) D[x] sus primitivos asociados. Si
f (x) | Q[x] g(x), entonces f0 (x) | D[x] g0 (x).
(2) Sean f (x) un polinomio primitivo en D[x] y g(x) cualquier polinomio en
D[x]. Si f (x) | Q[x] g(x), entonces f (x) | D[x] g(x).
(3) Sean f (x), g(x) D[x], si f (x) y g(x) tienen un factor com
un de grado
positivo en Q[x], entonces tienen un factor com
un de grado positivo en
D[x].
(4) Si f (x) D[x] es de grado positivo en irreducible en D[x], entonces f (x)
es irreducible en Q[x].
(5) D[x] es DFU.
Corolario II.6.9. Z[x1 , x2 , . . . , xn ] y C[x1 , x2 , . . . , xn ], con C un campo, son
DFU.
Demostraci
on. Inducci
on sobre n. Para n = 1 ya esta. Para n > 1, sabemos
que
Z[x1 , x2 , . . . , xn1 ][xn ]
= Z[x1 , x2 , . . . , xn ].
Por hip
otesis inductiva, Z[x1 , x2 , . . . , xn1 ] es DFU y por (5) del Teorema anterior, Z[x1 , x2 , . . . , xn1 ][xn ] es DFU. Similarmente, C[x1 , x2 , . . . , xn ] es DFU.
77
II.7 M
odulos
Definici
on II.6.3. Sea D un dominio entero. Decimos que D es un dominio
euclidiano siexiste una aplicaci
on : (D{0}) N0 tal que para a, b D{0}
existen q, r D que satisfacen
b = aq + r
con r = 0 o bien (r) < (a).
Ejemplo:
1. Los enteros con = | |.
2. El anillo de polinomios C[x] con = grad.
3. El anillo de los enteros gaussianos Z[i] con = k k2 .
Proposici
on II.6.10. Todo dominio euclidiano es D. I. P.
Demostraci
on. Sea I un ideal en un dominio euclidiano D y supongamos que
I 6= {0}. Definamos
def
m = min{(a) : a I {0}},
y sea a I {0} tal que (a) = m. Si b I {0}, entonces existen q, r D tales

que b = aq + r con r = 0 o bien (r) < (a). Si r 6= 0, entonces r = b aq I
lo que es absurdo, pues (r) < m. Por tanto, r = 0 y as, b (a).
El concepto de modulo fue introducido por E. Noether y es
otra forma de ver lo que son las representaciones, pero con
otro lenguaje. Tambien se puede pensar que los modulos son una generalizacion
de los espacios vectoriales.
II.7. M
odulos
Definici
on II.7.1. Sea R un anillo asociativo con 1. Un R-m
odulo es un
grupo abeliano M con una multiplicaci
on R M M denotada por (r, m) 7
r.m que satisface
(M1) para r1 , r2 R y m M tenemos (r1 + r2 ).m = r1 m + r2 m;
(M2) para r1 , r2 R y m M se tiene (r1 r2 ).m = r1 .(r2 .m);
(M3) para r R y m1 , m2 M se tiene r.(m1 + m2 ) = r.m1 + r.m2 ;
(M4) para todo m M tenemos 1.m = m.
Observe que si R = C un campo, entonces M es un C-espacio vectorial.
Ejemplo:
def
1. Si M = Rn y definimos r.(m1 , . . . , mn ) = (rm1 , . . . , rmn ), entonces M es

un R-modulo.
78
Anillos
2. Si M es cualquier grupo abeliano y R = Z, entonces M es un R-modulo:

si r > 0 definimos
def
r.m = m + m + + m;
|
{z
}
r-veces
si r < 0 definimos
def
r.m = m m m
{z
}
|
r-veces
def
y si r = 0 definimos 0.m = 0. Vemos as que tanto (M1) como (M3) se

cumplen pues son las leyes de los exponentes en notacion aditiva. Adem
as,
es calro que 1.m = m y como M es abeliano, se cumple (M2).
Observe que esta es la u
nica estructura de Z-modulo para M .
Definici
on II.7.2. Sea M un R-m
odulo. Un subm
odulo de M es un subgrupo
aditivo abeliano N de M tal que R.N N .
Proposici
on II.7.1. Los subm
odulos de R1 son los ideales de R.
Definici
on II.7.3. Sean M y N dos R-m
odulos. Un homomorfismo de Rm
odulos o bien, un R-morfismo es una aplicaci
on : M N que satisface
(HM1) es un homomorfismo de grupos abelianos.
(HM2) para todo r R y todo m M tenemos (r.m) = r.(m).
Un R-morfismo biyectivo se llama isomorfismo de R-m
odulos y se denota
def
ucleo de se define por ker = {m M : (m) = 0} y la

por M =R N . El n
def
imagen de es Im = {(m) : m M }.
Observe que ker es un submodulo de M y Im es submodulo de N .
Ejercicio. Todo homomorfismo : Rn Rm de R-modulos es multiplicaci
on
por una matriz con entradas en R.
Definici
on II.7.4. Sea N un subm
odulo de M . El R-m
odulo cociente es el
def
grupo cociente M/N con la multiplicaci
on r.(m + N ) = r.m + N . La aplicaci
on
: M M/N definida por m 7 m+N es un R-morfismo llamado proyecci
on
natural.
Teorema II.7.2. (Teorema del homomorfismo). Sean : M L un Rmorfismo y N un subm
odulo de M . Si N ker , entonces existe un u
nico
homomorfismo de R-m
odulos : M/N L tal que
M
z
M/N
/L
z=
z
z !
79
II.8 Matrices y bases
Ejercicio. Enuncie y demuestre el Primer Teorema de Isomorfismo y el Teorema de Correspondencia para R-modulos.
II.8. Matrices y bases
imos
Sabemos que Mn (R) es un anillo asociativo con 1 no

conmutativo. Si denotamos A = (aij ) Mn (R), defindef
det A =
Sn
sgn()a1(1) a2(2) an(n) .
Podemos ver que el determinante tiene las siguientes propiedades:

1. si A, B Mn (R), entonces det(AB) = det A det B,
2. si A GLn (R), entonces AA1 = Id y as, det A det A1 = 1 por lo que
det A R .
3. si det A R , entonces A GLn (R) y A1 = (det A)1 adj A, donde
def
def
adj A = (ij )T con ij = (1)i+j det Aij y aqui, la matriz Aij se obtiene
de A al eliminar el rengl
on i y la columna j.
Definici
on II.8.1. Sean M un R-m
odulo y S M . Decimos que S genera
a M si todo elemento de M es combinaci
on lineal de elementos de S; decimos
que M es finitamente generado si es generado por un conjunto finito.
Ejemplo: El R-modulo R[x1 , x2 , . . . , xn ] no es finitamente generado.
Definici
odulo finitamente generado. Decimos que
M es libre si existe n N tal que M
=R Rn .
Ejemplo: Sabemos que Zn es un Z-modulo que es finitamente generado pero
no es libre.
Definici
on II.8.3. Un subconjunto {v1 , v2 , . . . , vk } M es linealmente independiente si para cada combinaci
on lineal nula r1 v1 + +rk vk = 0 tenemos
que r1 = r2 = = rk = 0. Un subconjunto B M es una base de M si B
genera a M y es linealmente independiente.
Sea R un anillo asociativo, conmutativo y con 1. Ahora, tomemos n vectores
v 1 , v 2 , . . . , v n Rm , digamos que v j = (v1j , v2j , . . . , vnj ) con vij R, para
formar la matriz A = (vij ) Mmn (R). La aplicaci
on LA : Rn Rm dada
por
n
X
def
xi v i
x 7 Ax =
i=1
es un R-morfismo. Esta construccion se generaliza de la siguiente manera: sea

n
M un R-m
Pondulo y B = {v 1 , v 2 , . . . , v n } M , entonces LB : R M definida
por x 7 i=1 xi v i es un R-morfismo.
80
Anillos
Observe que B es linealmente independiete si y s

olo si LB es inyectiva; B
genera a M si y s
olo si LB es suprayectiva. Por tanto, B es base si y s
olo si
LB es un isomorfismo de R-modulos.
Teorema II.8.1. Un R-m
odulo M tiene una base si y s
olo si M es libre.
Definici
on II.8.4. Sean B una base de M y v M . El vector de coordenadas de v con respecto a la base B es el vector
def
[v]B = L1
B (v),
es decir, si v =
Pn
i=1
v i v i , entonces [v]B = (v 1 , v 2 , . . . , v n ).
Sean M y N dos R-modulos libres, digamos M

=R Rn . Si
=R Rm y N
B = {v 1 , v 2 , . . . , v n } base de N y D = {w1 , w2 , . . . , wm } base de M , entonces
para cada R-morfismo T : N M tenemos
T (v j ) =
m
X
aij wi ,
i=1
def
y la matriz [T ]D
B = (aij ) se llama matriz de T asociada a las bases D y B.
Teorema II.8.2. Si S : M L y C es una base de L, entonces [ST ]C
B =
D
B
[S]C
[T
]
.
Adem
a
s,
la
matriz
[id
]
es
la
matriz
identidad.
N B
D
B
Las matrices de cambio de base no son mas
que las representaciones matriciales de automorfismos de modulos. As, la importancia de este concepto queda implcita.
II.9. Matriz de cambio de base
Definici
on II.9.1. Sean M un R-m
odulo libre, B y B bases de M . La matriz
B
[idM ]B se llama matriz de cambio de base.
Observa que para todo v M tenemos [v]B = [idM ]B

B [v]B .
Proposici
odulo libre, entonces cualesquiera dos bases
tienen la misma cardinalidad.
Demostraci
on. Sean B y C dos bases de M y supongamos que
|B| = m < n = |C |,
C
entonces A = [idM ]B
C Mmn (R) y B = [idM ]B Mnm (R). Luego, vemos
que AB = Id Mm (R) y similarmente, BA = Id Mn (R). Como m < n,
tenemos

A
e
e
= BA = Id,
BA = B 0
0
e A)
e = det B
e det A
e = 0, lo que es absurdo pues
por lo que 1 = det Id = det(B
R 6= {0}. Del mismo modo, m > n nos conduce a una contradicci
on similar.
Por tanto, m = n.
81
II.9 Matriz de cambio de base
Definici
odulo libre. El rango de M es la cardinalidad de una base de M y se denota por rango M .
Corolario II.9.2. Si Rn
=R Rm , entonces n = m.
Observe que si B1 y B2 son bases de N , C1 y C2 son bases de M , entonces
para cada R-morfismo T : N M tenemos
C2
C1
B2
C1 1
2
[T ]C
,
B2 = [idM ]C1 [T ]B1 [idN ]B1 = Q[T ]B1 P
donde Q es la matriz de cambio de base entre C1 y C2 , P es la matriz de cambio

de base entre B1 y B2 .
Teorema II.9.3. Sea D un D. I. P., entonces todo D-subm
odulo de Dn es libre
de rango m n.
Demostraci
on. Haremos la demostraci
on por induccion sobre n: para n = 0 ya
est
a. Supongamos que n > 0 y sea S un submodulo de Dn . Sea
{e1 , e2 . . . , en }
una base de Dn e identifiquemos a Dn1 con el submodulo generado por los
u
ltimos n 1 elementos de esta base. Si S Dn1 el resultado se sigue por
hip
otesis inductiva; si no, definimos
I = {b D : y Dn1 tal que be1 + y S},
el cual es no vaco y es claro que I es un ideal en D. Por ser D un D. I. P., existe
un elemento d tal que I = (d) y as, existe y 1 Dn1 tal que f 1 = de1 +y 1 S.
Ahora, sea T = S Dn1 el cual es un submodulo de Dn1 y por hip
otesis
inductiva, tiene una base {f 2 , f 3 , . . . , f m } con m 1 elementos, para alg
un
m < n.
Veamos que B = {f 1 , f 2 , . . . , f m } es una base para S: sea x S, entonces
existen b D y y Dn1 tales que x = be1 + y por lo que b I y as, existe
a1 D tal que b = a1 d. Luego, vemos que
x a1 f 1 = (be1 + y) (ade1 + ay 1 ) = y ay 1 T,
por lo que existen a2 , a3 , . . . , am D tales que
x a1 f 1 = a2 f 2 + + am f m .
Pm
Por tanto, B genera a S. Supongamos que i=1 ai f i = 0, entonces
a1 de1 + a1 y 1 +
m
X
ai f i = 0
i=2
y como y 1 , f 2 , . . . , f m Dn1 , existen b2 , b3 , . . . , bm D tales que

a1 de1 +
m
X
i=2
bi ei = 0.
82
Anillos
Como {e1 , e2 . . . , en } es una base, entonces es linealmente independiente por lo

que a1 d = b2 = = bm = 0P
y como d 6= 0 y D es un dominio entero, entonces
m
a1 = 0. Luego, tenemos que i=2 ai f i = 0, pero {f 2 , . . . , f m } es base de T por
lo que es linealmente independiente. Se concluye as que a2 = a3 = = am = 0
y por tanto, B es linealmente independiente.
Definici
on II.9.3. Sean D un D. I. P. y A Mmn (D). Definimos para cada
1 i m y 1 j n las matrices
def
Eij = (eij
kl ),
k l
donde eij
kl = i j ,
las cuales tienen un 1 en la entrada ij y ceros en el resto de las entradas. Para

cada b D definimos la matriz
def
Di = Idm + (b 1)Eii ,
donde Idm Mm (D).
Operaciones elementales:
(1) Sumar un m
ultiplo a D del rengl
on j al renglon i,
aRj + Ri ,
con i 6= j.
def
Consideremos la matriz Tij (a) = Idm + aEij , la cual es invertible

pues
2
Tij (a)Tij (a) = (Idm + aEij )(Idm aEij ) = Idm a2 Eij
= Idm .
La operaci
on elemental (1) aplicada a la matriz A equivale a multiplicar Tij (a)A.
(2) Sea b D . Multiplicar el rengl
on i de una matriz A por b equivale
a multiplicar Di (b)A, adem
as, vemos que det Di (b) = b D .
(3) Intercambiar los renglones i y j de la matriz A equivale a multiplicar
Pij A, donde Pij es la matriz que se obriene de Idm intercambiando
los renglones i y j. Vemos que det Pij = 1 D .
Las operaciones analogas para columnas son:
(1) ATij (a),
(2) ADi (b),
(3) APij .
Definici
on II.9.4. Decimos que dos matrices A y B en Mmn (D) son equivalentes si existen matrices P GLm (D) y Q GLn (D) tales que B = P AQ.
83
Teorema II.9.4. (Forma normal de Smith). Sean D un dominio euclidiano y

A Mmn (D), entonces A es quivalente a una matriz diagonal de la forma
d1
0
..
.
.
..
0
0
d2
..
.
..
.
0
0
..
.
0
0
..
.
..
.
dr
0
..
.
0
0
.. . .
.
.
0
0
.. . .
.
.
0
0
0
..
.
0
,
0
..
.
0
donde d1 , d2 , . . . , dr D {0} y para cada 1 i r 1 tenemos di | di+1 .

Demostraci
on. Si A = 0 ya est
a. Si no, procederemos por pasos:
Paso 1. Permutando renglones y columnas llevamos a una entrada x 6= 0 de A
con (x) mnimo a la posicion 1, 1. Nombremos A a la nueva matriz que
se obtiene.
Paso 2. Anulamos el resto del primer rengl
on y columna como sigue: si existe
k > 1 con a1k 6= 0, dividiendo tenemos a1k = a11 bk + b1k con b1k = 0
o bien (b1k ) < (a11 ); restamos bk veces la columna 1 a la columna
k y obtenemos una matriz equivalente a A cuya entrada en la posicion
1k es b1k . Si b1k = 0 se sigue anulando el resto de las entradas y si
(b1k ) < (a11 ), entonces regresamos al paso 1.
Repitiendo alternadamente los pasos 1 y 2, despues de un n
umero finito
de ellos, obtenemos una matriz equivalente a A de la forma

a1 0
0 B
Paso 3. Si a1 no divide a todas las entradas de la matriz B, digamos que a1
no divide a bij , entonces sumamos la columna j a la primera columna y
dividimos para obtener bij = a1 q1 +r1 , donde r1 = 0 o bien (r1 ) < (a1 ).
Regresamos al paso 2 y encontramos una matriz equivalente a A con una
entrada r con (r) < (a1 ).
Repitiendo los pasos 1, 2 y 3 obtenemos una matriz equivalente a A de la forma

d1 0
0 B
tal que d1 divide a todas las entradas de la matriz B. Finalmente, aplicamos
los pasos 1, 2 y 3 a la matriz B para obtener la matriz diagonal. Despues de
cada operaci
on elemental realizada a B, el elemento d1 sigue dividiendo a todas
las entradas.
84
Anillos
Definici
on II.9.5. La matriz
d1 0
0 d2
..
..
.
.
0 0
0 0
.
..
..
.
0
..
.
0
0
..
.
0
0
..
.
..
.
..
.
dr
0
..
.
0
0
..
.
..
.
0
0
..
.
0
,
0
..
.
0
se llama forma normal de Smith de A y los elementos d1 , d2 , . . . , dr se

llaman factores invariantes de A.

2 1
, entonces
Ejemplo: Sean D = Z y A =
1
2

1
A
0 1 2
1 0
Aqui, Q =
1 2

0
1 1
2
1
2

1 2
1 0 0
yP =
0
1
2 1 1

0
1
0
= B,
5 1 0 0 5
2 1

1
.
0
Observe que
1. Si D = Z, podemos elegir di > 0;
2. si D = C[x], con C un campo, podemos escoger di polinomio monico;
3. si A es una matriz cuadrada de rengo maximo, det A y d1 d2 dr difieren
en una unidad.
Definici
on II.9.6. Sea R un anillo (asociativo, conmutativo con 1). Si A
Mmn (R) y LA : Rn Rm es el R-morfismo asociado a la matriz A, definimos
def
el rengo de A como rango A = rango ImLA .
Ejercicio. Si A es equivalente a B, entonces rango A = rango B.

Ejemplo: Sean D = C[t], con C un campo, y
A=
t2 3t + 2
(t 1)3

t2
.
t2 3t + 2
85
Vemos que t2 3t + 2 = (t 1)(t 2) y as, podemos diagonalizar la matriz A

como sigue:

R2 (t1)R1
(t 1)(t 2) t 2 R1 R2 (t 1) t 2
(t 1)2
0
(t 1)2
0

1
0
1
t2
2
(t 1)2 (t 2)
(t 1)2
0
C1 +C2
C2 +(t2)C1 (t 1)

(1)R1 1
R2 +(t1)2 R1
0
1
0
0 (t 1)2 (t 2)
0 (t 1)2 (t 2)
Teorema II.9.5. Sean D un dominio euclidiano, M y N dos D-m

odulos libres
y T : N M un D-morfismo, entonces existen bases B de N y C de M tales
que
d1 0 0 0 0
0 d2 0 0 0
..
.. . .
.. .. . .
..
.
.
.
.
. .
.
[T ]B = 0 0 dr 0 0
.
0 0 0 0 0
.
.. . .
. . ..
.
..
. .. ..
. ..
.
0
La demostraci
on queda como ejercicio.
Teorema II.9.6. Sean D un dominio euclidiano, A Mmn (D), r = rango A

y para cada 1 i r definimos i como un m
aximo com
un divisor de los
menores de A de tama
no i, entonces cualquier conjunto de factores invariantes
de A difiere por unidades del conjunto
e1 = 1 ,
e2 =
2
,
1
...
er =
r
.
r1
Demostraci
on. Sea P Mn (D).
Las columnas de AP son combinaciones lineales de las columnas de A;
sea d un menor de AP de tama
no i, entonces d es combinacion lineal de
los menores de tama
ni i de A: i | d. Luego, i divide al maximo com
un
divisor de los menores de AP de tama
no i.
Si Q Mm (D), se siguen obresvaciones similares. Ahora, si B = QAP con
P GLn (D) y Q GLm (D), entonces i divide a los menores de tama
no i
de B y tambien a su maximo com
un divisor i . Como P y Q son invertibles,
tenemos que A = Q1 BP 1 por lo que i | i y as, i y i son asociados.
En particular, si B = diag(d1 , d2 , . . . , dr , 0, . . . , 0), con d1 , d2 , . . . , dr D
Qi
{0} y di | di+1 para 1 i r 1, entonces i = j=1 dj y como hemos
86
Anillos
visto, i es asociado a i por lo que tenemos las siguientes parejas de elementos

asociados:
2
1
1 es asociado a 1 = d1
para cada 1 i r 1
i+1
i
es asociado a
es asociado a
2
1
i+1
i
d1 d2
d1 = d2 ,
d1 d2 di+1
d1 d2 di =
di+1 .
Corolario II.9.7. Dos matrices A y B son equivalentes si y s

olo si tienen los
mismos factores invariantes, salvo unidades.
Teorema II.9.8. Sean D un dominio euclidiano y M un D-m
odulo libre con
S M un D-subm
odulo de M , entonces existen {w1 , w2 , . . . , wm } base de M y
{v1 , v2 , . . . , vn } base de S tales que
(1) n m;
(2) para cada 1 j n existe dj D tal que vj = dj wj ;
(3) para cada 1 j n 1, dj | dj+1 .
Demostraci
on. Sea C = {x1 , x2 , . . . , xm } una base de M . Por resultados anteriores, sabemos que rango S = n m; sea B = {y1 , y2 , . . . , yn } una base
de S y consideremos la aplicaci
on T : S M definida como T (s) = s, la
cual es un D-morfismo. Vemos que la matriz de T con respecto a las bases
C y B es A Mmn (D) cuyo rango es n pues T es inyectivo. Sabemos
que existen matrices P GLm (D) y Q GLn (D) tales que B = QAP 1 =
diag(d1 , d2 , . . . , dn , 0, . . . , 0) donde di son los factores invariantes de A; luego,
existe una base B de S para la cual P = [idS ]B
B y del mismo modo, existe una
.
Por
tanto,
B
= [T ]C
base C de M tal que Q = [idM ]C
B y si B = {v1 , v2 , . . . , vn }
C
y C = {w1 , w2 , . . . , wm }, entonces tenemos
T (vj ) = Bvj = dj wj
para todo 1 j n.
Ejemplo: Sean D = Z y M = Z2 . Supongamos que S = h(2, 1), (1, 2)i y
tomemos las bases C = {(1, 0), (0, 1)} de M y B = {(1, 2), (1, 2)} de S. En
este
caso,
on s 7 s y A = [T ]C
B =
m = n = 2. Sea T : S M la inclusi

2 1
; luego, diagonalicemos como sigue:
1
2

1 0 R2 3R1 1 0
1 1
,
A
0 5
2 C2 +C1 3 5
C1 +C2 3

1 1
1 0 1 1
1 0
1
; luego, B = QAP 1 =
=
yP =
as que Q =
1 2
1 1 0 1
3 1
diag(1, 5) y tenemos el siguiente sistema para encontrar la base B:

v1 = (2, 1) + (1, 2) = (1, 3)
v2 = (2, 1) + 2(1, 2) = (0, 5)
87
II.10 Matrices de presentaci

on
1 0
= [idM ]C
y por tanto, podemos encontrar los vecC
3 1
tores de la base C :

w1 = (1, 3)
w2 = (0, 1)
Vemos que Q1 =
Sean R un D. I. P. y M un R-modulo finitamente generado con {v1 , v2 , . . . , vm } un conjunto de generadores de M . SupongamosP

que f : Rm M es el R-morfismo
m
suprayectivo asociado (x1 , x2 , . . . , xm ) 7 i=1 xi vi y sea N = ker f , entonces
m
R /N
=R M y N es un submodulo libre de rango n m. Sean {w1 , w2 , . . . , wn }
un conjunto de generadores de N y g : Rn N el R-morfismo suprayectivo
asociado; si : Rn Rm es el R-morfismo g, donde : N Rm es la inclusi
on n 7 n, entonces existe A Mmn (R) tal que = LA . Luego, tenemos
M
=R Rm /(ARn ).
=R Rm /N
II.10. Matrices de presentacion
Definici
on II.10.1. Cualquier matriz A que satisfaga M
=R Rm /ARn , para
alg
unos m, n N, se llama matriz de presentaci
on de M .
Ejemplo:
1. Sean R = Z y M = Z5 , entonces M = Z/5Z por lo que [5] M1 (Z) es
una matriz de presentaci
on para Z5 .

2 1
2
2
2. Sean R = Z y M = Z /AZ , donde A es la matriz
. Vemos que
1
2
f
Z2 = Rn N Rm M
donde los R-morfismos son
(1, 0)
(0, 1)
(2, 1) 7 (2, 1)
(1, 2) 7 (1, 2)
y N = ker f = hw1 = (2, 1), w2 = (1, 2)i. Si v1 = f (1, 0) y v2 = f (0, 1)

son los generadores de M , entonces
0 = f (w1 ) = f (2(1, 0) + (0, 1)) = 2v1 + v2
0 = f (w2 ) = f (1(1, 0) + 2(0, 1)) = 1v1 + 2v2 ,
de donde obtenemos las relaciones v2 = 2v1 y sustituyendo en la seguna
ecuaci
on, vemos que 5v1 = 0. As, M est
a generado por un elemento v1
de orden 5 y por tanto, M
=R Z5 .
Proposici
on II.10.1. Sean R un D. I. P., M un R-m
odulo y A Mmn (R)
una matriz de presentaci
on de M , entonces
88
Anillos
(1) para toda Q GLm (R) y toda P GLn (R) la matriz B = QAP 1
tambien presenta a M .
(2) Si B se obtiene de A quitando una columna de ceros, entonces B presenta
a M.
(3) Si la j-esima columna de A es ei y B es la matriz que se obtiene de A
eliminando la columna j y el rengl
on i, entonces B presenta a M .

1 0 0
2
3
, entonces M
Ejemplo: Si M =Z Z /AZ con A =
=Z Z2 /BZ2 con
0
5
0

1 0
B=
y tambien, M
=Z Z5 .
=Z Z/CZ con C = [5]. Por tanto, M
0 5
Demostraci
on.
(1) Sea N = ARn , entonces tenemos el siguiente diagrama:

LA
RO n
/ Rm
LP 1
LQ
Rn
LB
/ Rm
Como P 1 Rn = Rn , entonces N = AP 1 Rn y del mismo modo, QN =

QAP 1 Rn = BRn ...PENDIENTE.
(2) Considere el siguiente diagrama:
Rn
/ / N
/2 R m
LA
Si ci (A) es el vector que corresponde a la i-esima columna de A, entonces

N = hc1 (A), c2 (A), . . . , cn (A)i = hc1 (B), c2 (B), . . . , cn1 (B)i = ImLB
por lo que tenemos
LB
Rn1E
EE
EE
EE
E" "
/ Rm
{=
{
{
{{
. {{{
As, vemos que Rm /BRn1 = Rm /N

=R M .
(3) Por simplicidad de notacion, supondremos que i = m por lo que em =
cj (A) N . Sean : Rm Rm /N la proyecci
on can
onica y vi = (ei )
89
II.11 Sumas directas de m

odulos
para 1 i m, entonces hv1 , v2 , . . . , vm i = Rm /N . Como em N , tenemos que vm = 0 y por tanto hv1 , v2 , . . . , vm1 i = Rm /N ; luego, tenemos
el siguiente diagrama:
Rn1E
EE
EE
EE
E" "
LB
/ Rm1
y<
yy
y
yy
- yy
= ImLB = BRn1 . Probaremos que Rm1 /N

donde N
=R
=R M
m
m1
m
R /N : sea T : R
R la inclusi
on y T = T , entonces ker T =
. Como T es suprayectivo, tenemos que Rm1 /N

T (Rm1 ) N = N
=R
m
R /N y as, B presenta a M .
Esta es una manera de generar nuevos modulos a
partir de modulos ya conocidos. Adem
as, prepararemos el camino para uno de los resultados fundamentales de la teora de modulos finitamente generados.
II.11. Sumas directas de
modulos
Definici
on II.11.1. Sean S1 , S2 , . . . , Sk subm
odulos de un R-m
odulo M . La
suma de S1 , S2 , . . . , Sk es
def
S1 + S2 + + Sk = {w1 + w2 + + wk : wi Si }.
Proposici
on II.11.1. S1 + S2 + + Sk es un subm
odulo de M .
Definici
on II.11.2. Sean Si subm
odulos de M . Decimos que M es suma
directa de los subm
odulos S1 ,S2 , . . . , Sk si
(SD1) M = S1 + S2 + + Sk ,
(SD2) para wi Si tales que w1 + w2 + + wk = 0 se tiene que w1 = w2 =
= wk = 0.
En tal caso, lo denotaremos por M = S1 S2 Sk .
Si M = S1 S2 Sk y m M , entonces existen elementos u
nicos
wi Si tales que m = w1 + w2 + + wk .
Definici
on II.11.3. Un R-m
odulo es cclico si existe v M tal que M = hvi.
Observe que, en tal caso, M
=R R/I, donde I = {a R : av = 0}. Si R es
un D. I. P., entonces existe d R tal que I = (d) y por tanto, M
=R R/(d). Si
R = Z, entonces Z/(d)
= Zd .
odulo finitamente generado, entonces M es una suma directa de m
odulos cclicos. De manera mas precisa, existen d1 , d2 , . . . , dk D ({0} D ) tales que di | di+1 y
existe r N0 tal que
M
=D D/(d1 ) D/(d2 ) D/(dk ) Dr .
90
Anillos
Demostraci
on. Sea A una matriz de presentaci
on de M . Sabemos que existen
Q y P , matrices invertibles, y elementos d1 , d2 , . . . , dk D {0} con di | di+1
para 1 i k 1 tales que QAP 1 = diag(d1 , d2 , . . . , dk , 0, . . . , 0) y que
QAP 1 tambien presenta a M . Podemos suponer que di
/ D . Sea B =
k
m
diag(d1 , d2 , . . . , dk ) Mmk (D), entonces LB : D D , N = ImLB = BDk
onica de Dm y vi =
yM
=D Dm /N ; luego, si {e1 , e2 , . . . , em } es la base can
f (ei ), entonces M = hv1 , v2 , . . . , vm i, donde f es el D-morfimso
Dm Dm /N D M.
Como di ei N , entonces di vi = 0 para todo 1 i k. Definamos
Pk Ci =
hv
i
para
1
k
y
L
=
hv
i
para
j
k;
es
claro
que
M
=
j
j
i=1 Ci +
Pim
Pm
L
y
tomemos
w
C
y
w
L
tales
que
w
=
0,
entonces
i
i
j
j
j=k+1 j
i=1Pi
m
existen r1 , r2 , . . . , rm D tales que ri vi = wi por lo que
i=1 ri vi = 0, es
decir, r = (r1 , r2 , . . . , rm ) N , pero N = hd1 e1 , d2 e2 . . . , dk ek i as que existen
Pk
a1 , a2 , . . . , ak D con r = i=1 ai di ei por lo que
r = (a1 d1 , a2 d2 , . . . , ak dk , 0, . . . , 0).
Como ri (di ) para i k y ri = 0 si i > k, tenemos que wi = 0 para i > k y

wi = ai di vi = 0 para i k. Por tanto, M es la suma directa de tales submodulos
cclicos.
Ahora, sea i k y i : D Ci definido por r 7 rvi . Es claro que i es un
D-morfismo suprayectivo y vemos que ker i = (gi ) = Ji (di ); por otra parte,
sabemos que gi vi = 0, entonces gi ei N y as, gi ei hdi ei i por lo que gi | di .
Luego, se concluye que Ci
=D D/(di ).
Finalmente, sea j > k y consideremos el D-morfismo j : r 7 rvj . Si
Jj = ker j = (gj ), entonces 0 = j (gj ) = gj vj por lo que gj ej N . As,
Pk
existen g1 , g2 , . . . , gk D tales que gj ej = i=1 gi di ei lo que implica gj = 0.
Por tanto, j es inyectivo y Lj
=D D.
Observe que todo D-modulo finitamente generado M es suma directa de dos
submodulos T y L, donde T es de torsi
on y L es libre.
Ejercicio.
1. Sea R un anillo asociativo, conmutativo con 1. Si I1 , I2 , . . . , InTson ideales
n
de R, entonces existe un homomorfismo inyectivo : R/ ( k=1 Ik )
R/I1 R/I2 R/Ik .
T

2. Con la notaci
on anterior, si Ij +
= R para todo 1 j n,
k6=j Ik
entonces es suprayectivo.
3. Si R es un D. I. P. y d1 , d2 , . . . , dn R son primos relativos entre s,
entonces R/(d1 , d2 , . . . , dn )
= R/(d1 ) R/(d2 ) R/(dn ).
mk
1 m2
Si d D y d = pm
1 p2 pk , con pi no asociado a pj si i 6= j, entonces
m
m
m
D/(d)
= D/(p1 1 ) D/(p2 2 ) D/(pk k ). As, existen p1 , p2 , . . . , pn
91
D primos, posiblemente repetidos, y m1 , m2 , . . . , mn N tales que M

=D
m2
r
mn
1
)
D
,
donde
r
N
.
)
D/(p
)
D/(p
D/(pm
0
n
2
1
Corolario II.11.3. Todo grupo abeliano finito es
(1) suma directa de grupos cclicos finitos.
(2) suma directa de p-grupos cclicos finitos.
odulo finitamente generado. Si M
=D D/(d1 ) D/(d2 ) D/(dk ) Dr con di | di+1
para 1 i k 1, r N0 y M
=D D/(g1 ) D/(g2 ) D/(gl ) Dt con
gi | gi+1 para 1 i l 1 y t N0 , entonces k = l, r = t y los elementos di y
gi son asociados.
Demostraci
on. Ver Basic Algebra, Vol. 1 de N. Jacobson en las paginas 189192.
Ahora, aplicaremos los resultados de las secciones anteriores para estudiar los operadores lineales en espacios vectoriales de dimen
sion finita y obtener algunos resultados clasicos del Algebra
Lineal.
Sea C un campo y V un C-espacio vectorial. Denotemos por End (V ) al
espacio
{T : V V | T es lineal}
II.12. Aplicaciones a operadores
lineales
y observe que (End (V ), +, ) es un anillo asociativo con unidad que, en general,

no es conmutativo.
Observe que si T End (V ), entonces T : C[t] End (V ) definido por
7 y t 7 T es el u
nico homomorfismo de anillos.
Proposici
on II.12.1. Hay una biyecci
on entre los conjuntos End (V ) y
M = { : C[t] V V | induce una estructura de C[t]-modulo en V }
Demostraci
on. Sea f : End (V ) M definido por T 7 f (T ), donde
f (T ) : C[t] V V se define como f (T )(g(t), v) = g(T )(v).
Si f (T1 ) = f (T2 ), entonces g(T1 )(v) = g(T2 )(v) para todo v V y as, T1 = T2 .
Por tanto, f es inyectiva. Ahora, sea : C[t]V V una aplicaci
on que induce
una estructura de C[t]-modulo en V , entonces podemos definir T : V V como
v 7 (t, v) = t.v. Como induce una estructura de C[t]-modulo, entonces T es
lineal y vemos que f (T )(g(t), v) = (g(t), v), por lo que f es suprayectiva.
Teorema II.12.2. (Forma racional). Sean V un C-espacio vectorial de dimensi
on finita n y T End (V ). Si T induce una estructura de C[t]-m
odulo
92
Anillos
cclico en V , entonces existe
0
1
..
.
0
0
una base B de V tal que [T ]B es de la forma
0 0 0
a0
0 0 0
a1
..
.. ..
.. . .
. . .
.
.
0 0 0 an3
0 1 0 an2
0 0 1 an1
Demostraci
on. Sean w0 V un generador como C[t]-modulo y : C[t] V
definido por f (t) 7 f (t).w0 . Vemos que es un C[t]-morfismo suprayectivo y
ker es un submodulo de C[t], es decir, un ideal. Como C[t] es un D. I. P.,
existe f (t) C[t] tal que ker = hf (t)i y as, tenemos C[t]/ hf (t)i
=C[t] V .
En particular, tenemos un isomorfismo de C-espacios
vectoriales.
Sea
m =
Pm1
grad f (t), entonces la aplicaci
on (c0 , c1 , . . . , cm1 ) 7 i=0 ci ti + hf (t)i es un
isomorfismo de C-espacios vectoriales. Por tanto, m = dimC V = n. Ahora,
es claro que {[1], [t], . . . , [tn1 ]} es una base de C[t]/ hf (x)i y por tanto, B =
{w0 , t.w0 , . . . , tn1 .w0 } es una base de V . Finalmente, si wi = ti .w0 para 0
Pn1
i < n, entonces B = {w0 , w1 , . . . , wn1 } y si f (t) = tn + i=0 ai ti , entonces
T (wi ) = t.wi = wi+1 para 0 i n 1
Pn1
y f (t).w0 = 0 por lo que 0 = tn .w0 + i=0 ai ti .w0 , es decir,
tn .w0 =
n1
X
ai ti .w0 .
i=0
Teorema II.12.3. Sean V un C-espacio vectorial de dimensi

on finita y T :
V V un operador lineal, entonces existe una base B de V tal que [T ]B se
divide en bloques diagonales B1 , B2 , . . . , Bk , donde cada bloque Bi esta en su
forma racional.
Demostraci
on. Sabemos que T induce una estructura de C[t]-modulo en V y
como n = dimC V , entonces V es finitamente generado como C[t]-modulo. Por
tanto,
mk
1
:V
=C[t] C[t]/(pm
1 ) C[t]/(pk ),
donde p1 , p2 , . . . , pk C[t] son irreducibles y monicos. Sabemos que dimC C[t] =

y as, V no tiene sumandos cclicos isomorfos a C[t]. Sean Vi submodulos de
V tales que (Vi ) = C[t]/(pi ) para cada 1 i k, entonces
V = V1 V2 Vk ;
al ser Vi un submodulo de V , tenemos que t.Vi Vi por lo que T (Vi ) Vi .
Adem
as, cada Vi es cclico y por el Teorema anterior, [T |Vi ] esta en su forma
Sk
racional para alguna base Bi de Vi . Definimos ahora B = i=1 Bi para obtener
la base deseada.
93
Ejercicio. Sea A una matriz en su forma racional, entonces el polinomio

Pn1
def
caracterstico de A A (t) = det(tId A) tiene la forma k=0 ak tk + tn .
Sean T End (V ) e I = {f (t) C[t] : f (T ) = 0} = ker T . Como C[t] es

un D. I. P., existe un polinomio monico mT (t) C[t] tal que I = hmT (t)i.
Definici
on II.12.1. El polinomio mT (t) se llama polinomio mnimo de T .
Teorema II.12.4. Sea T End (V ), entonces existen polinomios m
onicos y de
grado positivo f1 (t), f2 (t), . . . , fk (t) tales que
(1) fi (t) | fi (t),
(2) V
=C[t] C[t]/ hf1 (t)i C[t]/ hf2 (t)i C[t]/ hfk (t)i.
Aqu, fi (t) es el polinomio mnimo de T |Vi , donde Vi = 1 (C[t]/ hfi (t)i) con
el C[t]-isomorfismo de la parte (2).
Demostraci
on. Sabemos que (1) y (2) se cumplen, pues V es de dimension finita
y as, no tiene parte libre. Sean
: V C[t]/ hf1 (t)i C[t]/ hf2 (t)i C[t]/ hfk (t)i
el isomorfismo de C[t]-modulos y Vi V tales que (Vi ) = C[t]/ hfi (t)i, entonces cada Vi es cclico y Ti = T |Vi es un operador lineal en Vi . Sea mi (t) el
polinomio mnimo de Ti , como
fi (t).x = fi (T )(x)
fi (t).Vi = fi (t).(C[t]/ hfi (t)i) = 0,
entonces fi (t) anula al operador Ti por lo que fi (t) hmi (t)i; por otra parte,
si vi es un generador como C[t]-modulo de Vi y consideramos el C[t]-morfismo
suprayectivo asociado g(t) 7 g(t).vi , entonces tal morfismo tiene n
ucleo hfi (t)i
y como mi (t).vi = mi (T )(vi ) = 0, tenemos que mi (t) hfi (t)i. Al ser ambos
polinomios monicos y asociados, debemos de tener mi (t) = fi (t).
Probaremos ahora que fk (t) = mT (t): sea x V , entonces existen xi Vi
tales que
x = x1 + x2 + + xk
y esta expresi
on es u
nica. Luego, vemos que
fk (t).x = fk (T )(x) = fk (T )(x1 ) + fk (T )(x2 ) + + fk (T )(xk ),
como mi (t) = fi (t) | fk (t) para todo i, entonces cada fk (T )(xi ) = 0 por lo que
fk (t) hmT (t)i. Finalmente, sabemos que mT (t).Vk mT (t).V = 0 de donde
concluimos que mi (t) hfk (t)i.
Corolario II.12.5. Sea T End (V ), entonces mT (t) | T (t).
94
Anillos
Demostraci
on. Por los dos Teoremas anteriores, sabemos que
V
=C[t] C[t]/ hf1 (t)i C[t]/ hf2 (t)i C[t]/ hfk (t)i ,
donde fi (t) es un polinomio monico de grado positivo para 1 i k y
fi (t) | fi+1 (t) para 1 i < k, adem
as, existe una base de V para la cual,
la matriz del operador T tiene una forma diagonal en bloques Bi de la forma
0 0 0
ai0
1 0 0
ai1
.. ,
Bi = ... ... . . . ...
.
0 0 0 ain 2
i
0 0 1 aini 1
con fi (t) = tni +
Pni 1
s=0
ais ts . Luego, vemos que
T (t) = B1 (t)B2 (t) Bk (t) = f1 (t)f2 (t) fk (t)

y como fk (t) = mT (t), se sigue el resultado.
Corolario II.12.6. (Teorema de Cayley-Hamilton). T (T ) = 0.
Corolario II.12.7. Sea T End (V ), entonces V es C[t]-cclico con la estructura inducida por T si y s
olo si T (t) = mT (t).
Proposici
on II.12.8. Sean T End (V ) y p(t) un polinomio irreducible en
C[t]. p(t) | mT (t) si y s
olo si p(t) | T (t).
Demostraci
on. () Es inmediato.
() Sabemos que existen polinomios f1 (t), f2 (t), . . . , fk (t) monicos de grado
positivo tales que fi (t) | fi+1 (t) para 1 i < k y
T (t) = f1 (t)f2 (t) fk (t).
Como en C[t] todo irreducible es primo, existe i tal que p(t) | fi (t). Como
fk (t) = mT (t), se tiene el resultado.
Teorema II.12.9. Sean V un C-espacio vectorial de dimensi
on finita y T
End (V ), entonces existe una base B de V tal que [T ]B se descompone en bloques
de Jordan.
Demostraci
on. Existen a1 , a2 , . . . , ak C y n1 , n2 , . . . , nk N tales que
V
=C[t] C[t]/ h(t a1 )n1 i C[t]/ h(t a2 )n2 i C[t]/ h(t ak )nk i ,
Lk
lo que induce una suma directa V = i=1 Vi con Vi un C[t]-submodulo de V .
As, basta probar que W = C[t]/ h(t a)n i tiene una base B tal que [T |W ]B
95

def
es un bloque de Jordan: escribamos [f (t)] = f (t) + h(t a)n i. Sabemos que

{[1], [t], . . . , [tn1 ]} es una base para W por lo que
B = {[1], [t a], . . . , [(t a)n1 ]}
tambien es base de W . Sean wi = [(t a)i ] para 0 i < n, entonces
T (wi ) = t.wi = (t a + a).wi = (t a).wi + awi = wi+1 + awi
para todo 0 i < n 1 y si i = n 1 tenemos
T (wn1 ) = (t a)n .w0 + awn1 = awn1 .
a 0
1 a
Si Ja = . . .
..
.. ..
0 0
0
0
.. , entonces [T |W ]B = J.
.
Ejemplo:

1. Si V = C[t]/ (t 1)2 C[t]/ ht 2i, entonces existe una base B de V
tal que
1
= 1
0
0 0
1 0 .
0 2
1 2
1
0
1 1
6
3
4
[T ]B
2. Sean V = Q3 , A la matriz
t+1
y T = LA . Consideremos tId A = 1
1
2 6
t 3 M3 (Q[t]) y
1 t4
96
Anillos
calculemos sus factores invariantes:
t+1
2
6
0
t 1 t + 1
tId A
R2 R3
1
1
t4
1
1
t4
0
t 1 t + 1
R1 R3
t+1
2
6
1
0
t4
C2 C1
0
t 1 t + 1
t + 1 t + 1
6
1
0
t4
0 t 1
t + 1
R3 (t+1)R1
0 t + 1 (t 1)(t 2)
1
0
0
C3 (t4)C1
0 t 1
t + 1
0 t + 1 (t 1)(t 2)
1
0
0
C3 +C2
0 t 1
0
0 t + 1 (t 1)2
1
0
0
0 t 1
0
R3 +R2
0
0
(t 1)2
1
0
0
0 t 1
0 .
0
0
(t 1)2
As, los factores invariantes son d1 = 1, d2 = t 1 y d3 = (t 1)2 . Como

Q[t]-modulo, vemos que

Q3
=Q[t] Q[t]/ ht 1i Q[t]/ (t 1)2
de donde obtenemos
mT (t) = (t 1)2 = t2 2t + 1
y
T (t) = (t 1)3 = t3 3t2 + 3t 1.
Luego, obtenemos la forma racional de T
1 0
0
0 0 1
0 1
2
y su forma de Jordan
1 0 0
0 1 0 .
0 1 1
97
Ejercicio.
1. Si V es un C-espacio vectorial y T End V , entonces el polinomio mnimo
de T no tiene races m
ultiples si y s
olo si T es diagonalizable.
2. (Teorema Chino del Residuo). Sean n1 , n2 , . . . , nk enteros positivos primos
relativos entre si y n = n1 n2 nk . Si m Z, denotamos por [m]n su clase
modulo n. Muestre que la aplicaci
on [x]n 7 ([x]n1 , [x]n2 , . . . , [x]nk ) es un
isomorfismo de anillos.

Q
k
3. Sean A1 , A2 , . . . , Ak anillos conmutativos. Muestre que
=
A
i=1 i
Qk
i=1 Ai .
4. La funci
on de Euler se define para cada n N como
def
(n) = |{a Z : 1 a n, (a, n) = 1}| = |Zn |.

Muestre que
(a) si m y n son primos relativos, entonces (mn) = (m)(n);
(b) si p es un n
umero primo y m N, entonces (pm ) = pm1 (p 1);

Q
(c) si n N, entonces (n) = n p | n 1 p1 .
98
Anillos
CAPITULO
III
Campos y Teora de Galois
En este captulo estudiaremos campos y sus extensiones con el fin de poder

introducirnos a una de las Teoras mas elegantes de las matematicas: la Teora de
Galois, la cual dio soluci
on a uno de los problemas matematicos mas persegidos
por los muchos de los mejores matematicos de la historia y adem
as, fue el origen
de la Teora de Grupos.
III.1. Campos
En esta parte, permitiremos considerar campos de caracterstica arbitraria, a menos que se especifique lo contrario en algunas
ocaciones.
Definici
on III.1.1. Una extensi
on de un campo C es un campo E tal que C
es un subcampo de E y lo denotaremos por C E. Si C es un subcampo de E
y E, decimos que es algebraico sobre C si existe f (x) C[x] tal que
f () = 0; en otro caso, decimos que es trascendente sobre C.
Observe que 2i es algebraico sobre R pero trascendente sobre Q. Adem
as,
si C, entonces es algebraico sobre C.
Sean E una extensi
on del campo C y E un elemento algebraico sobre C.
Si : C[x] E se define por f (x) 7 f (), entonces ker 6= 0 y como C[x]
es un D. I. P., sabemos que existe un u
nico polinomio monico m (x) C[x] tal
que ker = hm (x)i.
Definici
on III.1.2. El polinomio m (x) se llama polinomio mnimo de
sobre C.
Vemos que m (x) no puede ser un polinomio constante pues (1) = 1 y
que el polinomio mnimo depende tanto de como del campo C.
Ejemplo: Sean C = Q[i] y = i = 22 (1 + i). El polinomio mnimo de

sobre Q es x4 + 1 pero sobre Q[i] es x2 i.
99
100
Observe que el polinomio mnimo de un elemento es irreducible, pues

si m (x) = p(x)q(x) con p(x) y q(x) polinomios de grado positivo en C[x],
tendramos que
0 = m () = p()q()
y al ser C un dominio entero, vemos que p() = 0 o bien q() = 0 con
grad p(x), grad q(x) < grad m (x), lo que es absurdo.
Ejemplo: El polinomio mnimo de 0 es x en cualquier campo.
Definici
on III.1.3. Sean C E y E. La extensi
on generada por ,
denotada por C(), es el subcampo de E mas peque
no que contiene a C y a .
Ejercicio. Los elementos de C() son de la forma
Pn
i
i=0 ai
Pm
,
j
j=0 bj
donde a1 , a2 , . . . , an , b1 , b2 , . . . , bm C y
Pm
j=0 bj
6= 0.
Observe que C() es el campo de cocientes de C[].

Mas generalmente, si 1 , 2 , . . . , n E denotaremos por C(1 , 2 , . . . , n )
al mnimo subcampo de E que contiene a C y a los elementos 1 , 2 , . . . , n .
Similarmente, C[1 , 2 , . . . , n ] es el mnimo subanillo de E que contiene a C y
a los elementos 1 , 2 , . . . , n .
Proposici
on III.1.1. Si E es trascendente sobre C, entonces : C[x]
C[] definido por f (x) 7 f () es un isomorfismo de anillos.
Demostraci
on. Si ker 6= 0, entonces existe un polinomio m (x) C[x] con
m () = 0 lo que contradice la trascendencia de . Por tanto, es un homomorfismo inyectivo. Como claramente es suprayectivo, tenemos C[x]
= C[].
En consecuencia, al ser C() el campo de cocientes de C[], se tiene que
C(x)
= C().
Corolario III.1.2. Si y son elementos de E trascendentes sobre C, entonces C()
= C().
Q() ya que en analisis se prueba que tanto e como son
Ejemplo: Q(e) =
trascendentes sobre Q.
Por tal motivo, estudiaremos los elementos algebraicos de un campo C en
una extensi
on E y sus extensiones.
Proposici
on III.1.3. Sean un elemento algebraico sobre C y m(x) su polinomio mnimo o irreducible, entonces C[x]/ hm(x)i
= C[] y C[] = C().
101
III.1 Campos
Demostraci
on. Sabemos que ker = hm(x)i y que es suprayectivo. Por el
Teorema de Isomorfismo, tenemos C[x]/ hm(x)i
= C[]. Ahora, como m(x) es
irreducible y C[x] es un D. I. P. sabemos que hm(x)i es un ideal maximal en
C[x] por lo que C[x]/ hm(x)i es un campo y as, C[] coincide con su campo de
cocientes C().
2
Ejemplo: Consideremos
2
el polinomio x + 1 R[x], el cual es irreducible.
Vimos que R[x]/ x + 1 = C por lo que C

= R(i) = R[i].
Mas adelante, veremos que existe un campo A que es extensi

on de Q pero
no est
a contenido en R.
Ejercicio. Si 1 , 2 , . . . , n E son elementos algebraicos sobre C, entonces
C[1 , 2 , . . . , n ] = C(1 , 2 , . . . , n ).
Proposici
on III.1.4. Sean C E una extensi
on, E un elemento algebraico sobre C, m(x) el polinomio irreducible de sobre C y n = grad m(x),
entonces {1, , 2 , . . . , n1 } es una C-base de C[] como espacio vectorial.
Demostraci
on. Es un caso particular de la identificacion de R-modulos R[x]/(m)
y Rn .
Ejemplo: Sea d Z y supongamos que d no es cuadrado de ningun entero,
entonces x2 d es irreducible en Z[x] y por tener contenido 1, es irreducible
sobre Q. Luego, tenemos
Q[x]/(x2 d)
= Q( d) = Q[ d] = {a + b d : a, b Q}.
Proposici
on III.1.5. Sean E y F dos extensiones de un campo C, E
y F elementos algebraicos sobre C. Existe un isomorfismo de campos
: C() C() tal que |C = idC y alpiqu en si y s
olo si los polinomios
irreducibles de y son los mismos.
Demostraci
on. Sean m (x) y m (x) los polinomios irreducibles de y sobre
C, respectivamente.
() Si m = m sabemos que C()
= C[x]/(m ) y en
= C[x]/(m ) y C()
estos isomorfismos, al restringirnos a C obtenemos idC ; adem
as, es claro
que es aplicado a .
() Supongamos que existe tal isomorfismo de campos . Sabemos que
C (x)i
[x]/ hm
/ C()
x + hm (x)i
/
/ C()
/ C[x]/ hm (x)i
/
/ x + hm (x)i
102
por lo que tenemos 0 = m (x) + hm (x)i 7 m (x) + hm (x)i por lo que

m (x) | m (x); similarmente, m (x) | m (x) por lo que son asociados y
al ser ambos monicos, tenemos la igualdad.
Definici
on III.1.4. Sean E y F dos extensiones de un campo C. Decimos que
las extensiones son isomorfas si existe un isomorfismo de campos : E F
tal que |C = idC .
Proposici
on III.1.6. Sean : E F un isomorfismo de extensiones de C.
Si E es una raz de un polinomio p(x) C[x], entonces () tambien es
raz de p(x). Por tanto, aplica elementos algebraicos en elementos algebraicos
y trascendentes en trascendentes.
Demostraci
on. Sea p(x) = a0 + a1 x + + an xn , entonces
p (())
n
X
ai ()i =
i=0
n
X
i=0
ai i
n
X
i=0
(ai )()i =
n
X
(ai i )
i=0
= (p()) = (0) = 0.
Observe que es tambien un isomorfismo de espacios vectoriales.

Corolario III.1.7. Sean : E E un isomorfismo de extensiones de C y
p(x) C[x], entonces permuta las races de p(x) en E.
Ejemplo:
Consideremos el polinomio x3 2 Q[x], el cual es irreducible. Si
3
= 2 R y = e2i/3 C, entonces las races de x3 2 son , y 2 por
lo que existe un isomorfismo de extensiones Q
= Q() tal que 7 . Vemos
que Q() R pero Q() no.
Definici
on III.1.5. Sea E una extensi
on de C. El grado de la extensi
on,
def
denotado por [E : C], se define como [E : C] = dimC E.
Ejemplo:
1. [C : R] = 2.
2. [Q( 3 2) : Q] = 3
3. [Q() : Q] = .
Proposici
on III.1.8. Si E es algebraico sobre C, entonces [C() : C] =
grad m (x).
103
III.1 Campos
Definici
on E de un campo C se llama finita si [E : C]
es finito; de lo contrario, decimos que la extensi
on es infinita. Si [E : C] = 2
(resp. 3), decimos que la extensi
on es cuadr
atica (resp. c
ubica).
Teorema III.1.9. Si C E F son extensiones, entonces [F : C] = [F :
E][E : C].
Demostraci
on. Sean B = {xi : i I} una C-base de E y C = {yj : j J} una
E-base de F . Queda como ejercicio mostrar que D = {xi yj : (i, j) I J} es
una C-base de F . Luego, vemos que
[F : C] = |D| = |I J| = |I| |J| = [E : C][F : E].
Corolario III.1.10. Sean E una extensi
on finita de C y E, entonces es
algebraico sobre C y grad m (x) | [E : C].
Demostraci
on. Sabemos que C C() E por lo que [E : C] = [E :
C()][C() : C] de donde observamos que [C() : C] es finito y as, es
algebraico sobre C. Adem
as, sabemos que [C() : C] = grad m (x) de donde
se tiene que grad m (x) | [E : C].
Corolario III.1.11. Sean E una extensi
on del campo C de grado p, con p
un n
umero primo. Si E C, entonces grad m (x) = p y tenemos que
C() = E.
Corolario III.1.12. Todo polinomio irreducible en R[x] es de grado uno o dos.
Demostraci
on. Sea p(x) un polinomio irreducible en R[x]. Por el Teorema Fun
damental del Algebra,
sabemos que existe C tal que p() = 0 y como
[C : R] = 2, entonces grad p(x) {1, 2}.
Proposici
on III.1.13.
(1) Sea C un campo con car 6= 2, entonces cualquier extensi
on de campo E de
grado dos se obtiene adjuntando una raz cuadrada.
(2) Sean C E y r E C tal que r2 C, entonces C(r) es una extensi
on
cuadr
atica.
Definici
on III.1.7. Las extensiones del tipo que se describen en (1) se llaman
extensiones radicales.
Demostraci
on. (1) Sea E una extensi
on cuadr
atica de C. Si E C,
entonces {1, } es una C-base de E y as, E = C(). Luego, como 2 E
sabemos que existen b, c C tales que 2 = b c y as, es raz del
polinomio cuadr
atico x2 + bx + c C[x]. Como sabemos que 0 6= 1 + 1 = 2
en C, tenemos que

p
1
=
b b2 4c ;
2

digamos que = 12 b + b2 4c y sea r = 2 + b E C, entonces
E = C(r) y adem
as, r2 = b2 4c C.
104
(2) Vemos que x2 r2 es irreducible en C[x] y as

r
/ C[r] = C(r)
nn6
=nnnn
nnn
nnn

C[x]/(x2 r2 )
C[x]
de donde podemos ver que [C(r) : C] = grad x2 r2 = 2.

Ejemplo:
1. Considere = 3 2 y = 4 5 y sea E = Q(, ). Calculemos [E : Q]: es

claro que x3 2 es el polinomio irreducible de sobre Q y as, [Q() :
Q] = 3 y tenemos que 3 | [E : Q]. Similarmente, 4 | [E : Q] por lo que
12 | [E : Q]. Como x4 5 Q()[x] y E = Q()(), al ser una raz
de x4 5 debemos de tener que [E : Q()] 4; luego, se concluye que
[E : Q] = [E : Q()][Q() : Q] 4 3 = 12.
2. Sea f (x) = x4 + 2x3 + 6x2 + x + 9 Z[x] y su reduccion en F2 [x], [f (x)]2 =
x4 + x + 1 el cual es irreducible; luego, f (x) es irreducible en Z[x] y al
tener contenido uno, es irreducible en Q[x].
Supongamos que es una
raz de f (x), entonces [Q() : Q] = 4. Si = 3 2, podra ser elemento
de Q()? Sabemos que [Q() : Q] = 3 y si suponemos que Q(),
deberamos de tener 3 | 4, lo que es absurdo.
Teorema III.1.14. Sean C E una extensi
on de campos y A = { E :
es algebraico sobre C}, entonces A es un subcampo de E.
Demostraci
on. Sean , A, entonces [C() : C] es finito y como es algebraico sobre C(), pues lo es sobre C, tenemos que [C(, ) : C()] es tambien
finito. Luego, concluimos que [C(, ) : C] es finito y en C(, ) no existen
elementos trascendentes. As, todo elemento de C(, ) es algebraico y como
+ , y son elementos de C(, ), vemos que A es cerrado bajo sumas,
restas y productos. Si 6= 0, entonces 1 es elemento de C(, ) por lo que
A es cerrado bajo divisi
on. Por tanto, A es un subcampo de E.
def
El subcampo A = { C : es algebraico sobre Q} se llama el campo de

los n
umeros algebraicos. Cantor demostr
o que A es numerable (ver Theory
of sets. Kampen, Dover.) y tambien se ouede ver que [A : Q] = pues el
polinomio xn 2 es irreducible sobre Q para cada n 2.
Definici
on C E se llama algebraica si todo elemento de E es algebraico sobre C.
Teorema III.1.15. Sean C E F extensiones de campos. Si F es algebraica
sobre E y E es algebraica sobre C, entonces F es algebraica sobre C.
105
III.1 Campos
Demostraci
on. Sea F , entonces existen elementos a0 , a1 , . . . , an1 E tales
que 0 = n + an1 n1 + + a1 + a0 en F por lo que es algebraico sobre
C(a0 , a1 , . . . , an1 ). Como en cada extensi
on de la cadena
C C(a0 ) C(a0 , a1 ) C(a0 , a1 , . . . , an1 , )
se adjunta un n
umero finito de elementos, vemos que cada extensi
on es algebraica y por tanto, finita. Luego, concluimos que [C(a0 , a1 , . . . , an1 , ) : C] es
finito y as, es algebraico sobre C.
Teorema III.1.16. Sean C un campo y f (x) un polinomio m
onico de grado
positivo en C[x], entonces existe una extensi
on de campos E tal que f (x) se
descompone en factores lineales en E[x].
Demostraci
on. Por induccion sobre grad f (x). Si grad f (x) = 1 ya est
a. Si
grad f (x) > 1 y f (x) tiene una raz C, entonces existe q(x) C[x] tal
que f (x) = (x )q(x) con grad q(x) < grad f (x) y por hip
otesis de induccion,
existe una extensi
on E donde q(x) se descompone en factores lineales y en tal
extensi
on, f (x) tambien se descompone en factores lineales. Ahora, si f (x) no
tiene races en C, sea p(x) C[x] un factor irreducible en C[x] de f (x) (el
cual debe de tener grado mayor a uno), entonces la extensi
on de C dada por
E = C[x]/ hp(x)i contiene la raz = [x] de p(x). Luego, x divide a p(x)
en E[x] y caemos en el caso anterior.
El siguiente lema se presenta sin demostraci
on, la cual se puede revisar en
el libro de Artin, en el pen
ultimo captulo.
Lema III.1.17. Sean E una extensi
on de C y f (x), g(x) C[x], entonces
(1) el residuo de dividir a f (x) entre g(x) es el mismo en C[x] y en E[x];
(2) g(x) |
C[x] f (x)
g(x) |
E[x] f (x);
(3) mcdC[x] (f (x), g(x)) = mcdE[x] (f (x), g(x));

(4) si f (x) y g(x) tienen una raz com
un en E, entonces no son primos relativos en C[x];
(5) si f (x) y g(x) no son primos relativos en C[x], entonces existe una extensi
on F de C donde f (x) y g(x) tienen una raz com
un;
(6) si f (x) es irreducible en C[x] y f (x) tiene una raz en com
un con g(x) en
E, entonces f (x) | g(x).
Proposici
on III.1.18. Sea f (x) C[x]. Existe una extensi
on E de C tal que
f (x) tiene una raz m
ultiple en E si y s
olo si f (x) y su derivada no son primos
relativos.
Demostraci
on. () Sea E una extensi
on tal que f (x) tiene una raz m
ultiple
E. Por un ejercicio, sabemos que es raz de f (x) y el resto se
deduce del Lema anterior parte 4.
106
() Si f (x) y f (x) no son primos relativos, por la parte 5 del Lema anterior, existe una extensi
on E donde tienen una raz com
un y por el mismo
ejercicio citado anteriormente, f (x) tiene una raz m
ultiple.
Proposici
on III.1.19. Sea f (x) un polinomio irreducible en C[x], entonces
f (x) no tiene raices m
ultiples en ninguna extensi
on a menos que f (x) = 0. En
particular, si car C = 0, entonces f (x) no tiene raices m
ultiples en ninguna
extensi
on.
Demostraci
on. Supongamos que f (x) 6= 0. Basta probar que f (x) y f (x)
son primos relativos: si g(x) es un factor com
un de f (x) y f (x) de grado
positivo, entonces grad g(x) grad f (x) < grad f (x), pero esto contradice la
irreducibilidad de f (x).
Ahora, si f (x) = 0, entonces cualquier raz de f (x) es raz de su derivada
por lo que f (x) y f (x) tienen una raz com
un lo que implica que f (x) tiene una
raz m
ultiple.
Ejercicio. Si C es un campo y car C 6= 0, entonces car C es un n
umero
primo.
Uno de los problemas mas apacionantes del algebra fue
la resoluci
on de ecuaciones algebraicas por medio de
radicales. Muchos matematicos se introdujeron en esta problematica obteniendo
resultados favorables en los casos de ecuaciones de grado menor que cinco. Sin
embargo, Abel mostro que existen ecuaciones de quinto grado que no se podian
solucionar por radicales.
A pesar de que Abel dio la primera prueba de este hecho, el trabajo que
Galois realiz
o fue de mucha mas trascendencia que la soluci
on del problema en
si. Aqui estudiaremos un poco del trabajo de Galois y daremos un ejemplo de
un polinomio con coeficientes racionales cuyas raices no pueden ser expresadas
por radicales.
Todos los campos tratados aqui seran de caracterstica cero.
III.2. Teora de Galois
Definici
on III.2.1. Sea E una extensi
on del campo C. Un C-automorfismo
de E es un automorfimos : E E tal que |C = idC . Denotaremos por
Gal (E : C) al grupo de C-automorfismos de E y se llamar
a grupo de Galois
de E.
Ejemplo:
1. Sea C = R y E = C. Si : z 7 z, entonces Gal (E : C). Ahora, sea
Gal (E : C), entonces
(i)2 = (i2 ) = (1) = 1,
107
III.2 Teora de Galois
por lo que (i) es raz de x2 + 1; luego, (i) {i} y se tiene que

idE si (i) = i
=
si (i) = i
por lo que Gal (E : C) = {idE , }
= C2 .
2. Si C E es una extension cuadr
atica, sabemos que C() = E para todo
E C; luego, existen b, c C tales que 2 = b c y es raz
del polinomio x2 + bx + c C[x]. Como
/ C vemos que x2 + bx + c es
irreducible sobre C y la otra raz es = b

/ C. As, tenemos que
C( ) = E y como los polinomios mnimos de y son iguales, sabemos
que existe un C-automorfismo de E que aplica a en , digamos .
Ahora, sabemos que 6= y + = b por lo que
+ = b = (b) = ( + ) = () + ( ) = + ( ),
de dodnde se concluye que ( ) = y por tanto, 2 = idE . Si
Gal (E : C), entonces ()2 {, } por lo que Gal (E : C) = {idE , }
=
C2 .
Definici
on III.2.2. Sea p(x) un polinomio m
onico de grado positivo en C[x].
Un campo de descomposici
on de p(x) sobre C es una extensi
on E de C
tal que p(x) se descompone en factores lineales
f (x) = (x r1 )(x r2 ) (x rn )
en E[x] y E = C(r1 , r2 , . . . , rn ).
Proposici
on III.2.1. (1) Sean C E una extensi
on, p(x) C[x] y
Gal (E : C). Si es raz de p(x) en E, entonces () tambien es raz de
p(x) en E.
(2) Sean E = C(1 , 2 , . . . , n ) y Gal (E : C). Si para todo 1 i n se
tiene que (i ) = i , entonces = idE .
(3) Si p(x) C[x] y E es un campo de descomposici
on de p(x) sobre C,
entonces Gal (E : C) act
ua fielmente en el conjunto de races.
Demostraci
on. (1) ya est
a. Para ver (2), recordemos que cada elemento de
C[1 , 2 , . . . , n ] es un polinomio en 1 , 2 , . . . , n con coeficientes en C y si
satisface la hip
otesis, tenemos que |C[1 ,2 ,...,n ] = idC[1 ,2 ,...,n ] por lo
que = idC(1 ,2 ,...,n ) ya que C(1 , 2 , . . . , n ) es el campo de cocientes de
C[1 , 2 , . . . , n ].
Finalmente, sea X = {1 , 2 , . . . , n } el conjunto de raices de p(x) en E.
Por (1), Gal (E : C) actua en X y por (2), la accion es fiel.
Observe que existe un homomorfismo inyectivo X : Gal (E : C) S(X)
= Sn .
108
Definici
on E de C se llama bicuadr
atica si
(EB1) [E : C] = 4,
(EB2) existen , E que son raices de polinomios cuadr
aticos irreducibles
sobre C tales que E = C(, ).
Ejercicio. Si C E es una extensi
on bicuadr
atica, entonces existen , E
que son races cuadradas de elementos de C tales que E = C(, ).
Ejemplo: Sean C E y , como en el ejercicio, entonces
C()
II
{
IIx2 b
{
{
II
{
II
{
{
I
{
{
C(, )
CC
CC
uu
CC
uu
u
C
u
CC
u 2
x2 b
uu x a
C()
x2 a
Podemos observar que 6= y que a 6= b; adem

as, el polinomio x2 b es
2
irreducible sobre C() y similarmente, x a es irreducible sobre C(). Ahora,
sabemos que existe Gal (E : C()) tal que () = y 2 = idE ; del
mismo modo, existe Gal (E : C()) tal que () = y 2 = idE . Luego,
vemos que , Gal (E : C) y queda como ejercicio mostrar que Gal (E : C) =
h, i
=V.
Teorema III.2.2. (Teorema del elemento primitivo). Sean C un campo de
caracterstica cero y E una extensi
on finita de C, entonces existe un elemento
E tal que E = C().
Demostraci
on. Sabemos que E = C(1 , 2 , . . . , n ) as que haremos la prueba
por induccion sobre n: si n = 1 no hay nada que probar. Ahora, si n >
1, sabemos que C C(1 , 2 , . . . , n1 ) C(1 , 2 , . . . , n ) y por hip
otesis
inductiva, existe E tal que C(1 , 2 , . . . , n1 ) = C() por lo que E =
C(, n ) y de este modo, vemos que s
olo es necesario demostrar el resultado
para n = 2.
Supongamos que E = C(, ) y sean m (x) y m (x) el polinomio irreducible
de y sobre C, respectivamente. Si E es una extensi
on de E donde m (x)
y m (x) se descomponene en factores lineales en E [x], entonces las raices de
m (x) son distintas entre s, al igual que las raices de m (x) por ser C un
campo de caracterstica cero y los polinomios ser irreducibles. Supongamos que
{1 = , 2 , . . . , n } y {1 = , 2 , . . . , m } son las raices de m (x) y m (x),
def
respectivamente y definamos c = + c para c C {0}. Mostraremos que

para casi toda elecci
on de c, tenemos que E = C(c ), por lo que bastara con
109
III.2 Teora de Galois
probar que C(c ) ya que as, = c c C(c ): como es raz de m (x),

entonces (x ) | E [x] m (x) y ahora, definamos el polinomio
h(x) = g(c cx) C(c )[x];
observe que es raz de h por lo que (x ) | E [x] h(x). Por un Lema anterior,
sabemos que el maximo com
un divisor de m (x) y h(x) en C(c )[x] es el mismo
que en E [x] por lo que x tambien divide al tal maximo com
un divisor en
E [x]. Ahora, r es raz de h(x) si y s
olo si c cr es raz de m (x) si y s
olo si
existe 1 j m tal que c cr = j por lo que las raices en E de h(x) son
j + c
+ c j
j
=
=
+ ;
c
c
c
j =
vemos que 1 = y para j > 1, deseamos que j 6= i por lo que debemos

escoger c tal que satisfaga la relaci
on
c 6=
j
i
para 1 i n y 1 j m.
Como Q C, existe una infinidad de elementos c C {0} que cumplan con

tal condici
on. Si elegimos uno de tales c, tenemos que mcd(m (x), h(x)) = x
y as, x C(c )[x] por lo que C(c ).
Ejercicio.
1. Calcule el grado de la extensi

on Q Q( 3 2, i).
2. Sea n = e2i/n . Muestre que 1 + n + n2 + + nn1 = 0.
3. Sea p un n
umero primo. Calcule el campo de descomposicion del polinomio
ciclot
omico cp (x) Q[x].
Definici
on III.2.4. Sean E un campo y G un subgrupo de Aut (E). El campo
fijo de G, se denota por E G , y se define como
def
E G = {a E : (a) = a para todo G}.

Proposici
on III.2.3. Sean E un campo, G un subgrupo finito de Aut (E),
C = E G , E y X = {1 = , 2 , . . . , n } la G-
orbita de en E, entonces
(1) es algebraico sobre C;
(2) el polinomio mnimo de sobre C es m (x) = (x1 )(x2 ) (xn );
(3) n | |G|.
110
Pn
Demostraci
on. Sea f (x) = (x 1 )(x 2 ) P
(x n ) = i=0 ai xi con an =
n
i
1 y tomemos G, entonces .f (x) =
i=0 (ai )x = (x (1 ))(x
(2 )) (x (n )) = f (x) por lo que debemos de tener que (ai ) = ai
para todo 1 i n. As vemos que ai C por lo que f (x) C[x] y hemos
mostrado entonces la parte (1).
Ahora, si m (x) es el polinomio mnimo de sobre C, entonces tanto
como () son races de m (x) para todo G pues cada elemento de G es
un C-automorfismo de E; luego, concluimos que f (x) | m (x) y como m (x) es
irreducible tenemos que f (x) = m (x) con lo que probamos (2).
Finalmente, n = grad f (x) = |X| = |OG ()| | |G| con lo que hemos terminado.
Ejemplo: Sea E = Q( 2, i), entonces [E : Q] = 4 y Gal (E : Q)

= V . Ahora,
calcularemos E G , donde G = Gal (E : Q): sea a
E G , entonces existen
G tal
r1 , r2 , r3 , r4 Q tales que
a = r1 + r2 i + r3 2 + r4 2i. Sea
que
(i) = i y ( 2) = 2, entonces a = (a) = r1 r2 i + r3 2 r4 2i de
donde
que r2 = r4 = 0; de modo similar, si G tal que (i) = i y
se concluye
( 2) = 2 obtenemos que r3 = 0 por lo que a = r1 Q. Como Q E G se

tiene entonces la igualdad.
Ahora, sea = 2 + i, entonces

OG ()= { 2 i}y el polinomio
mnimo
de sobre Q es m (x) = [x( 2i)][x( 2+i)][x( 2i)][x( 2+i)] =
x4 2x2 + 9.
Teorema III.2.4. Sea E un campo y G un subgrupo finito de Aut (E), entonces
[E : E G ] = |G|.
Demostraci
on. Por la Proposicion anterior, todo elemento de E es algebraico
sobre E G y el grado de su polinomio mnimo divide a |G|. Sea C = E G y veamos
que E = C() para alg
un E apropiado: sea 1 E C. Si E = C(1 ) ya
est
a; si no, existe 2 E E1 = C(1 ) y sabemos que E2 = C(1 , 2 ) es una
extensi
on para la cual existe 2 E con E2 = C(2 ) por lo que [E2 : C] |G|
y [E1 : C] < [E2 : C]. Continuando de esta manera, obtenemos una cadena de
extensi
ones
C E1 E2 Ei Ei+1 E,
tales que [Ei : C] |G| y [Ei : C] < [Ei+1 : C]; esta cadena debe ser finita por
lo que existe j N tal que Ej = E. As, vemos que [E : C] |G| y E = C()
para alg
un E.
Finalmente, veamos que |OG ()| = |G|: sea G , el estabilizador de en
G, entonces = idE ya que |C = idC y () = (recuerde que E = C()).
As, G = {1} y se tiene |OG ()| = |G|. Luego, por la Proposicion anterior
tenemos
[E : C] = grad m (x) = |OG ()| = |G|.
III.3 Campos de descomposici

on
111
Teorema III.2.5. Sea E una extensi

on finita de C, entonces |Gal (E : C)|
divide a [E : C].
Demostraci
on. Sea G = Gal (E : C). Por el Teorema del elemento primitivo,
existe E tal que E = C() y sea m (x) el polinomio mnimo de sobre
C. Para cada G, sabemos que () es raz de m (x) por lo que ()
s
olo puede tomar un n
umero finito de valores por lo que cada elemento de G
est
a determinado por su valor en ya que son C-automorfismos de E = C().
Luego, concluimos que G es finito y tenemos C E G E y por el Teorema
anterior, sabemos que |G| = [E : E G ] | [E : C].
Definici
on finita E de un campo C se llama extensi
on
de Galois si [E : C] = |Gal (E : C)|.
Observe que si C E es una extensi
on de Galois y G = Gal (E : C), entonces
E G = C.
Corolario III.2.6. Sea G un subgrupo finito de Aut (E), entonces E es una
extensi
on de Galois de E G y G = Gal (E : E G ).
Demostraci
on. Sea C = E G , entonces G Gal (E : C) y [E : C] es finito por
lo que |G| |Gal (E : C)| [E : C] = |G|. As, vemos que G = Gal (E : C) y
E es una extensi
on de Galois de C.
Corolario III.2.7. Sean C E una extensi
on de Galois y f (x) un polinomio
m
onico e irreducible en C[x]. Si f (x) tiene una raz en E, entonces f (x) se
descompone en factores lineales en E[x].
Demostraci
on. Sea G = Gal (E : C), entonces C = E G . Si E es raz
de f (x), entonces OG () son las raices de f (x) en E y el polinomio m (x) =
Q
onico en C[x]. Como
aOG () (x a) E[x] es un polinomio irreducible y m
m (x) | f (x) y f (x) es irreducible, tenemos que f (x) = m (x).
Ahora, estudiaremos algunos resultado sobre campos de descomposicion que nos seran de mucha utilidad en lo posterior.
Comenzaremos haciendo dos observaciones:
III.3. Campos de
descomposicion
e se extiende a un isomorfismo
(1) Cualquier isomorfismo de campos : C C
e tal que |
de anillos : C[x] C[x]
C = y x 7 x. Por tanto, si f (x) =
Pn
i
def (x)) = Pn (ai )xi
i=0 ai x es irreducible en C[x], entonces f (x) = (f
i=0
e
es irreducible en C[x].
(2) Sea f (x) un polinomio irreducible en C[x] y una raz de f (x) en alg
una
e de C,
e
extensi
on E de C. Si
e es raz de f(x) en alguna extensi
on E
e ) tal que
entonces existe un u
nico isomorfismo de campos : C() C(e
|C = y aplica a en
e.
112
Demostraci
on. Se sigue de los isomorfismos

e ).
e
f(x)
C()
= C(e
= C[x]/
= C[x]/ hf (x)i
e un isomorfismo de campos, f (x) un poliTeorema III.3.1. Sean : C C
e
e son los
nomio en C[x] de grado positivo y f(x) su imagen en C[x].
Si E y E
campos de descomposici
on de f (x) y f (x), respectivamente, entonces existe un
e tal que |C = . En particular, si C = C
ey
isomorfismo de campos : E E
= idC , entonces las extensiones son isomorfas.
Demostraci
on. Si f (x) se descompone en factores lineales en C[x], entonces
e
e = C
e y = . De lo
f(x) tambien lo hace en C[x]
por lo que E = C, E
conterio, sea g(x) un factor irreducible de f (x) en C[x] (de grado al menos
e
2), entonces g(x) = (g(x))
es un factor irreducible de f(x) en C[x].

Sean
e
e1 = C(e
e ),
una raz de g(x) en E y
e una raz de g(x) en E, C1 = C() y C
e1 tal que 1 |C = y
entonces existe un isomorfismo de campos 1 : C1 C
aplica a en
e y por la observaci
on (1), se puede extender a un isomorfismo
e1 [x]. Adem
e1 [x]
de anillos 1 : C1 [x] C
as, existen q(x) C1 [x] y q(x) C
tales que g(x) = (x )q(x) y g(x) = (x
e)
q (x) y como E es el campo de
e es el campo de descomposicion de q(x), podemos
descomposicion de q(x) y E
proceder por induccion para obtener el resultado.
e un isomorfismo de campos, : C[x] C[x]

e
Lema III.3.2. Sean : C C
su extensi
on a un isomorfismo de anillos, f (x) un polinomio en C[x] de grado
e
e los correspondientes campos de
positivo, f(x) su imagen bajo en C[x],
EyE
descoposici
on de f (x) y f (x), entonces
e | |C = , es un isomorfismo}| = [E : C].
|{ : E E
Este Lema muestra el siguiente Teorema, que sera muy importante en lo posterior.
Teorema III.3.3. Sean f (x) C[x] y E el campo de descomposici
on de f (x),
entonces E es una extensi
on de Galois de C.
Demostraci
on. (Lema) Lo haremos por induccion sobre grad f (x): si [E : C] =
1, entonces E = C y = es la u
nica extensi
on posible. Si [E : C] > 1,
supondremos que para campos de descomposicion de grado menor, se vale el
resultado. Sean g(x) un factor irreducible de f (x) de grado al menos 2, una
e que
raz de g(x) y C1 = C(), entonces cualquier isomorfismo : E E
e1 de E
e y a lo aplicar
extiende a aplicar
a a C1 en alg
un subcampo C
a en
e1 = C(e
e ).
alguna raz
e de g(x); as, tenemos que C
Recprocamente, como en la demostraci
on del Teorema anterior, para extene1 = C(e
e ).
der a , escogemos una raz
e de g(x) y extendemos a 1 : C1 C
e1 de es igual al grado de g(x), el cual
El n
umero de extensiones 1 : C1 C
113
e1
a su vez es igual a [C1 : C]. Ahora, para cada extensi
on dada 1 : C1 C
existen [E : C1 ] posibles extensiones a E, por hip
otesis de induccion; por tanto,
hay [E : C] = [E : C1 ][C1 : C] n
umero de extensiones de a todo E.
Teorema III.3.4. Sea E una extensi
on de Galois de C, entonces E es el campo
de descomposici
on de alg
un polinomio f (x) en C[x].
Demostraci
on. Como [E : C] es finito, existen 1 , 2 , . . . , n E tales que E =
C(1 , 2 , . . . , n ). Si mi (x) es el polinomio mnimo de i sobre C, Q
entonces cada
n
mi (x) se descompone en factores lineales en E[x] y as, f (x) = i=1 mi (x)
C[x] tambien lo hace.
Corolario III.3.5. Sea E una extensi
on finita del campo C. Las siguientes
afirmaciones son equivalentes:
(1) E es una extensi
on de Galois,
(2) E es el campo de descomposici
on de un polinomio irreducible en C[x],
(2 ) E es el campo de descomposici
on de un polinomio en C[x],
(3) C es el campo fijo de su grupo de Galois,
(3 ) existe un sobgrupo finito de Aut (E) tal que C es su campo fijo.
Demostraci
on. Por resultados anteriores y del hecho que los goupos de Galois
son grupos finitos, s
olo hay que mostrar (2 ) (2): sea E = C(1 , 2 , . . . , n )
el campo de descomposicion de f (x) C[x]. Por el Teorema del elemento
primitivo, existe E tal que E = C() y supongamos que m (x) es el
polinomio mnimo de sobre C. Como E es una extensi
on de Galois de C, todas
las raices de m (x) estan en E por lo que E es el campo de descomposicion de
m (x), el cual es irreducible.
Ahora, estudiaremos el resultado que establece una fuerte coneccion entre la Teora de
campos y la Teora de grupos. En escencia,
el Teorama Fundamental de la Teora de Galois establece la existencia de una
correspondencia biunvoca entre subcampos intermedios de una extensi
on de
Galois y los subgrupos del grupo de Galois de la extensi
on.
III.4. Teorema Fundamental de
la Teora de Galois
Proposici
on III.4.1. Toda extensi
on finita esta contenida en una extensi
on
de Galois.
Demostraci
on. Sea E una extensi
on finita de C, entonces existen elementos
1 , 2 , . . . , n E tales que E = C(1 , 2 , . . . , n ). Si mi (x) es el polinomio
mnimo de i sobre C, tomemos f (x) = m1 (x)m2 (x) mn (x) y sea F el campo
de descomposicion de f (x) sobre E, entonces tenemos que C E F y as, F
es el campo de descomposicion de f (x) sobre C. Por un Corolario anterior, F
es una extensi
on de Galois.
114
Corolario III.4.2. Sean C E una extensi

on de Galois y F un campo intermedio, entonces F E es una extensi
on de Galois.
Ejemplo: Sea = 3 2 R. Sabemos que el polinomio mnimo de sobre Q es

x3 2 y sus raices son , , 2 , donde = e2i/3 . Como grad(x3 2) = 3 vemos
que [Q() : Q] = 3 y {1, , 2 } es una Q-base de Q(). Si K1 = Gal (Q() : Q)
y K1 , entonces () es una raz de x3 2; al tener que Q() R concluimos
que () = y as, = idQ() por lo que K1 = {1}. Luego, vemos que Q() no
es una extensi
on de Galois de Q; adem
as, Q() no es el campo de descomposicion
de x3 2.
Del mismo modo, podemos ver que [Q() : Q] = 3 y {1, , 2 2 } es una
Q-base de Q(). Si K2 = Gal (Q() : Q) y tomamos : Q() Q() como
el u
nico isomorfismo de campos que aplica a en y |Q = idQ , entonces la
aplicaci
on : K1 K2 definida por 7 1 es un isomorfismo de grupos.
De aqui concluimos que K2 = {1} y 2
/ Q().
Similarmente, Q( 2 ) tiene grupo de Galois trivial y por tanto, Q( 2 ) no
es una extensi
on de Galois de Q.
Ahora, consideremos el polinomio
(x )(x 2 ) = x2 + x + 2
recuerde que 1 + + 2 = 0,
el cual es irreducible en C()[x]. Afirmamos que Q()() = Q(, ): para

ver esto, basta mostrar que Q()(). Luego, podemos ver que [Q(, ) :
Q()] = 2 y Q(, ) es el campo de descomposicion de x3 2 por lo que es una
extensi
on de Galois de Q. Adem
as, es claro que
[Q(, ) : Q] = [Q(, ) : Q()][Q() : Q] = 2 3 = 6,
por lo que G = Gal (Q(, ) : Q) tiene orden 6. Como G act
ua fielmente en
las raices X = {, , 2 }, tenemos un homomorfismo inyectivo X : G
S(X)
= S3 y por el calculo anterior, este es un isomorfismo de grupos.
Sea 1 : Q()() Q()( 2 ) tal que 1 |Q() = idQ() y aplique a en
2 , entonces 1 () = 2 ya que 1 () = y 1 es un isomorfismo de campos;
luego, vemos que 1 ( 2 ) = ( 2 )2 = 4 = por lo que 12 = idQ()() y
concluimos as que Q()() es una extensi
on de Galois de Q(). Por tanto,
debemos de tener |Gal (Q(, ) : Q())| = 2 y H1 = Gal (Q(, ) : Q()) =
h1 i G.
Ahora, sabemos que [Q() : Q] = 2 pues es raz del ciclot
omico x2 +x+1, el
cual es irreducible sobre Q. Una Q-base para Q() es {1, } y si K = Gal (Q() :
Q), entonces |K| = 2 por lo que Q() es una extensi
on de Galois de Q; luego, el
polinomio mnimo de sobre Q() sigue siendo x3 2 ya que
/ Q(). Ahora,
si H = Gal (Q(, ) : Q()), al ser Q(, ) una extensi
on de Galois de Q(),
sabemos que |H| = 3. Sea H tal que () = , como () = , tenemos
que () = 2 y ( 2 ) = . As, tiene orden 3 por lo que H = hi G.
Vemos que el polinomio (x )(x 2 ) = x2 + ()x + ()2 es irreducible
en Q()[x] y existe as, 2 H2 que permuta a 2 con y H2 = Gal (Q(, ) :
Q()) = h2 i; similarmente para H3 = Gal (Q(, ) : Q( 2 )).
115
as, los subgrupos Hi son conjugados

N
otese que H E G y K
= G/H. Adem
en G.
Teorema III.4.3. (Teorema Fundamental de la Teora de Galois). Sean C un
campo de caracterstica cero, E una extensi
on de Galois de C y G = Gal (E :
C), entonces existe una correspondencia biunvoca entre el conjunto de campos
intermedios
def
S = {D E : C D E}
y el conjunto de subgrupos de G, S (G). Adem

as, esta correspondencia esta
dada por las aplicaciones
: D 7 Gal (E : D)
: H 7 E H ,
y satisface las siguientes dos propiedades:

(1) si H = Gal (E : D), entonces [E : D] = |H| y [D : C] = [G : H],
(2) D D si y s
olo si Gal (E : D ) Gal (E : D).
Demostraci
on. Sea H = Gal (E : D). Sabemos que D E es una extensi
on
de Galois, pues C E lo es, por lo que E H = D. Ahora, si H G, entonces
H Gal (E : E H ) y por un Teorema anterior, [E : E H ] = |H|. Concluimos
as que E H E es una extensi
on de Galois y |H| = |Gal (E : E H )| por lo que
H
H = Gal (E : E ). Las propiedades (1) y (2) son claras.
Definici
on III.4.1. Si Aut (E) y D E, entonces D se llama campo
conjugado de D.
Teorema III.4.4. Sean C E una extensi
on de Galois y D un campo intermedio. Si H = Gal (E : D) y G = Gal (E : C), entonces
(1) el campo conjugado de D se corresponde con H 1 .
(2) C D es una extensi
on de Galois de C si y s
olo si H E G. En tal caso,
Gal (E:C)
tenemos Gal (D : C) = Gal (E:D) .

Demostraci
on. (1) Sean D = D y H, entonces 1 Aut (E) y si
d D, tenemos que (d) D = D por lo que

1 ((d)) = ( )(d) = (d),
por lo que D E H
. La otra contensi
on es similar.
(2) () por (1) y la correspondencia de Galois, basta probar que D = D

para todo G: sabemos que D es el campo de descomposicion
de alg
un polinomio f (x) C[x], as, podemos suponer que D =
C(1 , 2 , . . . , n ) donde i son las raices de f (x). Si G, entonces
.f (x) = f (x) por lo que (i ) es una raz de f (x) para todo 1
i n y se tiene entonces D D. Similarmente, tenemos que
1 D D y multiplicando por se tiene la otra contensi
on. Por
tanto, H E G.
116
() Para cada G sabemos que H = H 1 por lo que D = D.

Luego, consideremos el homomorfismo : G Gal (D : C) dado
por 7 |D , el cual esta bien definido y tiene ker = H. Por el
primer Teorema de isomorfismo para grupos, tenemos G/H
= Im
Gal (D : C), pero sabemos que
|Gal (D : C)| [D : C] =
[E : C]
|G|
=
|Gal (D : C)|,
[E : D]
|H|
por lo que |Gal (D : C)| = [D : C] y concluimos que G/H

= Gal (D :
C). Por tanto, D es una extensi
on de Galois de C.
Ahora, aplicaremos las herramientas construidas en las secciones anteriores para encontrar
un polinomio de grado cinco cuyas raices no pueden ser expresadas por radicales
sobre el campo de los racionales.
def
Sean Q C C y p un n
umero primo. Definimos = e2i/p y supondremos
que C. El polinomio f (x) = xp a C[x], con a 6= 0, tiene como races a las
raices p-esimas de a. Si es una de tales raices, sabemos que { i : 0 i p1}
es el conjunto de raices de f (x). Por tanto, C() es el campo de descomposicion
de f (x).
III.5. Solubilidad por radicales
Proposici
on III.5.1. Sean C C tal que Q() C y a C un elemento que
no es potencia p-esima de alg
un elemento en C, entonces el campo de descomposici
on del polinomio xp a tiene grado p sobre C y su grupo de Galois es
cclico de orden p.
Demostraci
on. Sea E una raz de xp a, entonces
/ C por lo que
[E : C] > 1 y la extensi
on C E es una extensi
on de Galois por lo que
|Gal (E : C)| > 1. As, existe Gal (E : C) tal que () 6= por lo que
debemos de tener que () = k para alg
un 1 k p 1. Como () = ,
vemos que i () = ik para todo n
umero natural i; al ser p un n
umero primo,
o() = p y por tanto, |Gal (E : C)| p. Por otro lado, E = C() y es
raz del polinomio xp a por lo que debemos de tener [E : C] p. Luego,
concluimos que |G| = p y en consecuencia, tenemos que G es cclico de orden p
y el polinomio xp a es irreducible en C[x].
Definici
on III.5.1. Sea f (x) un polinomio en C[x]. El grupo de Galois de
f (x) es el grupo de Galois de su campo de descomposici
on.
Observe que si p = e2i/p , con p un n
umero primo, entonces
|Gal (Q(p ) : Q)| = p 1.
Proposici
on III.5.2. Sea p un n
umero primo.
(1) Gal (Q(p ) : Q) = Fp .
117
III.5 Solubilidad por radicales
(2) para todo subcampo C de C, el grupo Gal (C(p ) : C) es cclico.

Demostraci
on. Sea G = Gal (C(p ) : C) y definamos la aplicaci
on : G Fp
como sigue: si G, sabemos que (p ) es una raz del polinomio ciclot
omico
cp (x) = xp1 + xp2 + + x + 1, digamos que (p ) = pk con 1 k p 1;
as, definimos
def
() = [k]p ,
donde [k]p es la clase de congruencia de k modulo p. Ahora, si G, digamos
que (p ) = pl , entonces (p ) = pkl por lo que tenemos
( ) = [kl]p = [k]p [lp ] = ()( );
luego, si ker , entonces (p ) = p y como fija al campo C, entonces
= idC(p ) por lo que es un homomorfismo de grupos inyectivo. Como Fp
es un grupo cclico, entonces todos sus subgrupos son cclicos, en particular la
imagen de G bajo . Sabemos que cuando C = Q, G tiene orden p 1 por lo
que, en tal caso, es un isomorfismo de grupos.
Definici
on III.5.2. Sea C un subcampo de los n
umeros complejos. Decimos
que C se expresa por radicales sobre C si existe una sucesi
on de campos
C = C0 C1 C2 Cm C
con las siguientes dos propiedades:
(1) Cm ,
(2) para cada 1 j m existe un elemento j Cj tal que Cj = Cj1 (j ) y
n
existe un n
umero natural nj tal que j j Cj1 .
Observe que si n = p
rs y es una raz n-esima de un elemento b en un
r s
b. Por tal motivo, agregando eslabones a la cadena
campo C, entonces =
de campos descrita en la definicion anterior, podemos suponer que las races
agregadas en cada extensi
on son raices p-esimas para algunos n
umeros primos
p.
Proposici
on III.5.3. Sea C un subcampo de C y C. Si se expresa por
radicales sobre C, entonces existe una cadena de campos
C = C0 C1 C2 Cm C
tal que cumple (1) y (2) de la definici
on y adem
as,
(3) para todo 1 j m, el campo Cj es una extensi
on de Galois del campo
Cj1 y su grupo de Galois es cclico.
Demostraci
on. Sabemos que existe una cadena de campos
C = C0 C1 Ck C
118
que satisface (1) y (2), por lo que debemos tener que Ck = C(1 , 2 , . . . , k )
y por la observaci
on anterior, podemos suponer que existen n
umeros primos
p
p1 , p2 , . . . , pk tales que j j Cj1 . Ahora, formaremos una cadena mas larga
como sigue: si pi = e2i/pi , entonces definimos
C0 = C,
C1 = C(p1 ),
Ck = Ck1 (pk ),
y para 1 j k definimos
Ck+j = Ck+j1 (j ).
Por una Proposicion anterior, al adjuntar una raz p-esima de la unidad, obtenemos extensiones de Galois cuyo grupo de Galois es cclico. Por otro resultado
previo, sabemos que al adjuntar una raz p-esima de un elemento a un campo
que contiene una raz p-esima de la unidad se obtiene una extensi
on de Galois
con grupo cclico.
Sean f (x) y g(x) dos polinomios en C[x] y E el campo de descomposicion
de f (x)g(x), entonces E contiene un subcampo E que es el campo de descomposicion de f (x) y del mismo modo, contien un subcampo F que es el campo
de descomposicion de g(x).
Proposici
on III.5.4. Con el escenario anterior, sean H = Gal (E : C), K =
Gal (F : C) y G = Gal (E : C), entonces
(1) H y K son cocientes de G.
(2) G es isomorfo a un subgrupo de H K.
Demostraci
on. Como E y F son campos de descomposicion, son extensiones de
Galois de C y por tanto, H
= G/Gal (E : F ).
= G/Gal (E : E) y K
Ahora, sea : G H la aplicaci
on definida como 7 |E y : G K
la definimos analogamente, 7 |F ; luego, definimos : G H K como
7 ((), ()), el cual resulta ser un homomorfismo de grupos. Si () =
(idE , idF ), entonces fija a las raices de f (x) por estar en E y a las raices de
g(x) por estar en F . As, fija a todo elemento de E por lo que = idE y
es un homomorfismo de grupos inyectivo.
Proposici
on III.5.5. Sean f (x) C[x] tal que su grupo de Galois H es simple
no abeliano y C una extensi
on de Galois de C con grupo de Galois abeliano. Si
E es el campo de descomposici
on de f (x) sobre C , entonces Gal (E : C )
= H.
Demostraci
on. Dividiremos la prueba en dos casos:
1 Supongamos que [C : C] = p con p un n
umero primo. Sean 1 , 2 , . . . , r
E las raices de f (x) sobre C y definamos el campo E = C(1 , 2 , . . . , r ),
119
entonces E es el campo de descomposicion de f (x) sobre C y tenemos el

siguiente diagrama:
> E' `BBL L

~
~~ $ BBBB
BB 6
~~
"
B0 P
/ ~~~
G
E `A
C
|
5 AAA

|
|
A AAA ||||
LA0 P ||r K
H
C
Sean G, K, H y L los grupos de Galois de las correspondientes extensiones
del diagrama. Como C es una extensi
on de Galois de grado primo, entonces K tiene orden primo p. Sabemos que existe un homomorfismo de
grupos inyectivo : G H K definido por (1 , 2 ), donde 1 y 2 las
aplicaciones 1 : 7 |E y 2 : 7 |C . Observemos que |H| divide
a |G| y tambien tenemos que |G| divide al orden del grupo H K por
lo que |G| | p|H|; de aqui, concluimos que |G| {|H|, p|H|}. Si G
= H,
entonces E = E y C E por lo que
Cp
= H/L,
= G/L
=K
pero H es un grupo simple, por lo que Cp no puede ser cociente de H. Por
tanto, debemos de tener que G
= H Cp . Finalmente, si L
= H K
con 1 () = idE , entonces fija tanto a C como a E puntualmente y
as, = idE por lo que 1 |L es un homomorfismo de grupos inyectivo.
Luego, realizamos el siguiente calculo
|L| = [E : C ] =
[E : C]
|G|
p|H|
=
=
= |H|,
[C : C]
|K|
p
para concluir as que L

= H.
2 Ahora, definamos L1 K tal que K/L1 es un grupo cclico de orden p. Si
C1 es el subcampo de C tal que Gal (C : C1 ) = L1 , entonces C1 es una
extensi
on de Galois de C ya que por ser K abeliano, tenemos L1 E K;
luego, concluimos que Gal (C1 : C)
= Cp . Sea E1 el campo de
= K/L1
descomposicion de f (x) sobre C1 , entonces Gal (E1 : C)
= H y como
[C : C1 ] < [C : C], podemos aplicar induccion sobre el grado de la
extensi
on y reemplazar a E por E1 y C por C1 .
Teorema III.5.6. Sean C un subcampo de C y f (x) un polinomio de quinto

grado en C[x]. Si el grupo de Galois de f (x) es A5 o S5 , entonces las raices de
f (x) no se expresan por radicales sobre C.
Demostraci
on. Sea E el campo de descomposicion de f (x), entonces [E : C] =
|Gal (E : C)| |G|. Nuevamente, haremos esta prueba por casos:
120
G
= S5 . Sabemos que [E : C] = 120 y sean r1 , r2 , . . . , r5 las raices de f (x),
entonces
Y
D=
(ri rj )2
1i<j5
es el discriminante de f (x), el cual es una funci

on sim
etrica en las
raices de f (x) por lo que D es un polinomio en los coeficientes de f (x).
As, concluimos que D C (revisar Galois theory de Jean-Pierre Escofier
para la afirmaci
on anterior). Supongamos que existe C tal que 2 =
2
D, entonces x D = (x )(x + ) y si definimos
def
1i<j5
(ri rj ) E,
tenemos que x2 D = (x )(x + ) por lo que = C por lo que

cualquier permutacion de las raices deja fijo a , pues tales permutaciones
son elementos de G por lo que dejan fijo puntualmente al campo C; sin
embargo, es claro que si es una transposicion en G, entonces . =
por lo que debemos de tener = 0. Esto implica que existe una raiz
repetida y as, el grupo de Galois de f (x) permuta menos de 5 objetos
distintos, lo que es absurdo. Ahora, como
/ C, tenemos C C() E
y 2 = D C por lo que C() es una extensi
on cuadr
atica de C y por
tanto, [E : C()] = 60. Es claro ahora que Gal (E : C())
= A5 por lo que
basta mostrar que las raices de f (x) no se expresan por radicales sobre
C().
G
= A5 . Supongamos que es una raz de f (x) que puede ser expresada por
radicales sobre C, entonces existe una sucesi
on de campos
C = C0 C1 C2 Cm C
tal que Cm , las extensiones Cj Cj+1 son extensiones de Galois y
tienen grupo de Galois cclico. Como el grupo de Galois de f (x) es simple,
por la Proposicion anterior tenemos que para todo 1 i m el grupo de
Galois de f (x) sobre Ci es A5 . En particular, el grupo de Galois de f (x)
sobre Cm es A5 , pero Cm por lo que f (x) =Cm [x] (x )g(x) para
alg
un g(x) Cm [x]. Luego, G deja fijo a y permuta el resto de las raices
de f (x) por lo que G S4 , lo que es absurdo pues |G| = 60 y |S4 | = 24.
Sean f (x) un polinomio irreducible de grado cinco en Q[x], G su grupo

de Galois y 1 , 2 , . . . , 5 sus raices en C, las cuales son todas distintas pues
f (x) es irreducible y car C = 0. Si E = Q(1 , 2 , . . . , 5 ) es el campo de
descomposicion de f (x), entonces
(1) 5 | |G|.
121
Demostraci
on. Por ser f (x) irreducible, G act
ua transitivamente en el
conjunto X = {i } y el homomorfismo inducido por la accion X : G S5
es inyectivo por lo que 5 = |OG (1 )|, el cual es un divisor de |G|.
(2) Si G contiene una transposicion, entonces G
= S5 .
Demostraci
on. Despues de reordenar las raices, podemos suponer que =
(12345) G y sea una transposicion en G. Reordenando ciclicamente las
raices, podemos suponer que = (1i), entonces i1 = (1ia3 a4 a5 ). Luego,
reordenamos las raices nuevamente para escribir = (12) y = (12345)
y como S5 = h, i, se sigue el resultado.
Corolario III.5.7. Sean f (x) = x5 + a4 x4 + + a1 x + a0 un polinomio
irreducible en C[x], con C un subcampo de C, 1 , 2 , 3 , 4 , 5 las raices de
f (x) y E el campo de descomposici
on de f (x). Si C(1 , 2 , 3 ) E, entonces
Gal (E : C)
= S5 .
Demostraci
on. Sea C = C(1 , 2 , 3 ), entonces la u
nica permutacion en S5
{1} que fija a 1 , 2 , 3 es una transposicion. Como C E, entonces Gal (E :
C ) tiene mas de un elemento y tal transposicion existe. Ahora, aplicamos la
observaci
on (2) para obtener el resultado.
Corolario III.5.8. Sea f (x) un polinomio irreducible de grado cinco en Q[x]
que tiene exactamente tres raices reales, entonces su grupo de Galois es S5 .
Demostraci
on. Sabemos que 1 , 2 , 3 R y 4 , 5 C R por lo que
Q(1 , 2 , 3 ) R; luego, si E = Q(1 , . . . , 5 ), entonces E 6 R de donde
concluimos que Q(1 , 2 , 3 ) E.
Ejemplo: Consideremos el polinomio x5 16x = x(x2 4)(x2 + 4), el cual tiene
exactamente tres raices reales 0 y 2. Sin embargo, tal polinomio claramente
no es irreducible sobre Q.
Ahora, si f (x) = x5 16x + 2, podemos ver que f (x) es irreducible sobre Q
(Eisenstein) y adem
as, sigue teniendo exactamente tres raices reales: vemos que
f (3) < 0 mientras que f (2) > 0 por lo que existe 1 R tal que f (1 ) = 0 y
3 < 1 < 2; similarmente, f (1) < 0 y f (2) > 0 por lo que existen 2 (2, 1)
y 3 (1, 2) que son raices de f (x). Ahora, veamos que no hay mas races reales
de f (x), para esto, consideremos la derivada de f que es f (x) = 5x4 16 y as,
vemos que f q
(x) tiene s
olamente un maximo relativo y un mnimo relativo en
los puntos 4
16
5 .

Curso de Algebra Moderna PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Curso de Algebra Moderna PDF

Cargado por

Copyright:

Formatos disponibles

Notas de Algebra

Las raices histoicas de la Teora de Grupos surgen en la Geometra al comienzo

las maneras diferentes en que podemos poner parentesis a los productos de

2. Los campos Q, R y C son grupos abelianos aditivos infinitos.

grupos abelianos multiplicativos. Tambien, R+ = {x R : x > 0} es un

Cn es un grupo abeliano multiplicativo finito.

es abeliano. Definimos [n] = {1, 2, . . . , n} y al grupo S([n]) lo denotamos

Mn (F) = {(aij )nn : aij F}.

(g1 , h1 ) (g2 , h2 ) = (g1 g2 , h1 h2 ).

(S2) el elemento identidad de G es elemento de H,

Ejercicio. Sea S G. Muestre que

llamamos generador de G. El orden de un elemento a G es o(a) = | hai |.

5. El conjunto SLn (F) = {A GLn (F) : det A = 1} es un subgrupo de

tambien podemos omitir el primer rengl

I.3 El grupo sim

entonces = 1574362 = (2537) es un 4-ciclo de S7 .

As, = y mueve menos elementos que . El resultado se sigue de aplicar

denotaremos por inv(). Definimos el signo de como sgn() = (1)inv() .

Ejemplo: La permutacion identidad no tiene inversiones, por lo que inv(1) = 0

I.3 El grupo sim

Ejercicio. Sea = (a1 a2 ak ) y Sn . Muestre que

Corolario I.3.7. Para toda permutaci

Ahora, estudiaremos un concepto ligado al de inversion de permutaciones.

Es claro que = (23)(12)(23) y tambien = (12)(23)(12). En este caso vemos

Probaremos por induccion que inv(i1 ij ) j: el caso j = 1 es claro; si

m = min{r : i < r j, (i) > (r)}

I.4 El Teorema de Lagrange

Tambien podemos definir la relaci

por lo que f es suprayectiva.

Corolario I.4.5. Sea G un grupo. Si H G, entonces |G| = [G : H]|H|.

que es una expresi

I.5 Acciones de grupos en conjuntos

As, tenemos .(x1 , x2 , . . . , xn ) = (x

O(n) = {A GLn (R) : AT A = Id}.

I.5 Acciones de grupos en conjuntos

SO(n) = {A O(n) : det A = 1}.

I.5 Acciones de grupos en conjuntos

1. G/H es un G-conjunto transitivo.

conjG (x) = {gxg 1 : g G}.

CG (S) = {g G : gs = sg para todo s S}.

Z(G) = {g G : gh = hg para todo h G}.

HgK = {hgk : h H, k K}.

{(h, k) H K : (h, k).g = g} = {(h, k) : hgk 1 = g}

I.6 Subgrupos normales

En el trabajo de E. Galois se presenta por primera

productos de dos transposiciones disjuntas en S4 son los elementos de V , se

(2) Por la parte (1) se tiene HK G. Si g G y hk HK, entonces

(aN ) (bN ) = (aN )(bN ),

5. Sea X un conjunto con n elementos, entonces S(X)

7. Si H y K son dos subgrupos conjugados de G, entonces H

8. Sea a G y definamos a : G G como a (b) = aba1 , entonces a es

) = (a) y veamos que

y como es un homomorfismo de grupos,

) = (ab) = (a)(b) = (aN

I.8 Grupos cclicos

S (G, ) = {K G : ker K},

Lema I.8.1. Todo subgrupo de un grupo cclico es cclico.

K G tal que |K| = d, entonces K = ham i para m = min{i N : ai K}

por lo que Hk Hd1 ; similarmente, Hk Hd2 y se tiene que Hk

por lo que n divide a nd k. As, existe un entero positivo l tal que nl = nd k

I.9 Mas aplicaciones de acciones de grupos

(1) ad1 ad2 = a[d1 ,d2 ] ;

(2) ad1 ad2 = a(d1 ,d2 ) .

de donde se concluye que (1,1) es el elemento identidad