Grupos Anillos Modulos

Captulo 2
Grupos
2.1. Recuerdos
Antes de comenzar con el curso propiamente tal, recordaremos algunos
temas de cursos anteriores, que utilizaremos durante este semestre, que es
importante tener a la mano.
2.1.1. Relaciones de Equivalencia
Dado un conjunto A, denimos una relacion en A, como un subconjunto R
de A A. Si (a, b) R anotaremos a R b y diremos que a esta relacionado
con b.
Diremos que la relacion es reeja si todo elemento esta relacionado consigo
mismo. Es decir, R es releja si para cada a A implica que a R a.
Diremos que la relacion es simetrica si cada vez que a esta relacionado con
b, entonces b esta relacionado con a. Es decir, R es simetrica si para cada
a, b A con a R b, implica que b R a.
Diremos que la relacion es transitiva si cada vez que a esta relacionado con
b y b esta relacionado con c, entonces a esta relacionado con c. Es decir, R
es transitiva si para cada a, b, c A con a R b y b R c, implica que a R c.
Si una relacion es reeja, simetrica y transitiva, entonces diremos que
es una relacion de equivalencia.
4
Ejemplo 2.1.1 Sean z y w en C denimos la relacion z w si y solo
si |z| = |w|. Es una relacion de equivalencia ([Ejercicio]). Por ejemplo, 0
esta relacionado solamente con el mismo, en cambio 1 esta relacionado con
todos los n umeros complejos del crculo unitario S
1
= {z C/ |z| = 1} y
solamente con ellos. En general el complejo z esta relacionado con todos los
complejos del crculo de centro en el origen que pasa por z. Ademas para cada
x, y reales no negativos distintos, x no esta relacionado con y, mas a un cada
n umero complejo esta relacionado con uno y solo un elemento de [0, ) C.
Ejemplo 2.1.2 Sean p(x) y q(x) en R[x] el conjunto de polinomios con coe-
cientes en R denimos la relacion p(x) q(x) si y solo si r(x) = x
2
+ 1,
divide la diferencia p(x)q(x). Es una relacion de equivalencia ([Ejercicio]).
Por ejemplo, 1 es equivalente al polinomio x
2
. Ademas cada polinomio es
equivalente a un unico polinomio de grado a lo mas 1. ([Ejercicio])
Ejemplo 2.1.3 Fijemos 0 < m N y sean a y b en Z cualesquiera. De-
nimos la relacion a b si y solo si m divide a b a. Es una relacion de
equivalencia.([Ejercicio]) Si m = 1 entonces, todo n umero entero es equiva-
lente a cualquier otro n umero entero. Si m = 2 entonces todo n umero entero
es equivalente 0 o a 1. Mas generalmente, para cualquier n umero entero m,
todo n umero entero esta relacionado con uno y solo uno de los n umeros del
conjunto {0, 1, 2, 3, . . . , n 2, n 1}.
Ejemplo 2.1.4 Consideremos A = N N = {(a, b)/ a, b N} y la relacion
(a, b) (m, n) si y solo si a+n = b+m.

Esta es una relacion de equivalencia.
Por ejemplo (0, 0) (m, m) para todo m N.
Ejemplo 2.1.5 Consideremos A = Z Z
= {(a, b)/ a, b Z, b = 0} y
la relacion (a, b) (m, n) si y solo si an = bm.

Esta es una relacion de
equivalencia.([Ejercicio]) Por ejemplo (1, 1) (m, m) para todo m Z
.
Ejemplo 2.1.6 Si [x] denota la parte entera de x R, denida por [x] =
sup{n Z/ n x}. En R denimos la relacion x y si y solo si [x] = [y].
Esta es una relacion de equivalencia.([Ejercicio]) Para cada x R existe

un unico n Z tal que x n. El conjunto de todos los elementos de R que
son equivalentes a x es [[x], [x] + 1).
Ejemplo 2.1.7 Si A = R
2
\ {0} = {v R
2
/ v = (0, 0)}. Denamos en A la
relacion v u si y solo si existe R
tal que u = u.

Esta es una relacion
5
de equivalencia.([Ejercicio]) Para cada elemento v A existe un elemento
u de S
1
= {u R
2
/ ||u|| = 1} tal que v u. Sin embargo, tal u no es unico.
Existe un subconjunto S de S
1
tal que cada elemento de A esta relacionado
con uno y solo un elemento de S.([Ejercicio])
Ejemplo 2.1.8 Si A = R
3
\ {0} = {v R
3
/ v = (0, 0, 0)}. Denamos en
A la relacion v u si y solo si existe R
tal que u = u.

Esta es una
relacion de equivalencia.([Ejercicio]) Para cada elemento v A existe un
elemento u de S
2
= {u R
2
/ ||u|| = 1} tal que v u. Sin embargo, tal
u no es unico. Existe un subconjunto S de S
2
tal que cada elemento de A
esta relacionado con uno y solo un elemento de S.([Ejercicio])
A continuacion recordaremos algunas propiedades de las relaciones de equiv-
alencia.
2.1.2. Propiedades de las Relaciones de Equivalencia.
Conjunto Cuociente.
En lo que sigue A sera un conjunto no vaco y una relacion de equivalencia
en A.
Dado a A, al conjunto de todos los elementos de A que son equivalentes
con a se llama la clase de equivalencia de a y se denota por [a] o a. Es decir,
[a] = {x A/ x a}
Como es simetrica se tiene que:
[a] = {x A/ x a} = {x A/ a x}
Consideremos dos clases de equivalencia, digamos [a] y [b]. Si z [a] [b]
quiere decir que a z y z b, entonces por transitividad se tiene que a b.
Consideremos ahora x [a], es decir x a y como a b, entonces por
transitividad se tiene que x b es decir x [b]. Reciprocamente si y [b] y
a b, entonces y [a]. Es decir
Propiedad 2.1.1 Sean a, b A entonces:
i) [a] = [b] si y solo si a b
6
ii) [a] [b] = si y solo si a b
Como la relacion es reeja, entonces se tiene que todo x A pertenece a
alguna clase de equivalencia (x [x]). Por lo tanto las clases de equivalencias
cubren todo A.
Por ejemplo, para la relacion en Z denida por a b si y solo si 3 divide
a b a, existen solo 3 clases de equivalencia, a saber son las clases [0], [1]
y [2]. Es importante notar que los representantes de las clases son escogidos
arbitrariamente, es decir, podemos decir que las clases [300], [12001] y [962]
son las mismas clases que las anteriores. Como para cualquier n umero entero
a se tiene que existe un n umero entero q y un entero r tal que
a = 3q + r, con 0 r < 3
Entonces a 0, o a 1 o a 2. Es decir,
Z =
2
_
i=0
[i]
Ademas esta union es disjunta
Observacion 2.1.1 (IMPORTANTE) En general A es la union disjunta
de las clases de equivalencia.
Al conjunto de todas las clases de equivalencias de A va la relacion se
llama el conjunto cuociente y lo denotamos por
A/ = {[a]/ a A}
Ejemplo 2.1.9 Para la relacion de equivalencia del ejemplo (2.1.2), pode-
mos observar que [x
2
] = [1], ademas se tiene que existe una relacion bi-
unvoca entre R[x]/ con el conjunto de los n umeros complejos C denida
por
: R[x]/ C
denida por ([ax+b]) = a+bi. Si denimos en R[x]/ la suma [p(x)]+[q(x)]
como [p(x) + q(x)] y la multiplicacion [p(x)][q(x)] como [p(x)q(x)], se tiene
que tanto la suma como la multiplicacion estan bien denidas ([Ejercicio])
y ademas [x]
2
= [1], ademas ([p(x)] + [q(x)]) = ([p(x)]) + ([q(x)]) y
ademas ([p(x)][q(x)]) = ([p(x)])([q(x)]). Es decir, en cierto sentido que
precisaremos mas adelante C y R[x]/ son la misma cosa.
7
mos denir una suma en le cuociente N N/ como [(m, n)] + [(a, b)] =
[(m+a, n+b)], esta es una suma que esta bien denida ([Ejercicio]). Ademas
notamos que [(m, 0)] = [(n, 0)] si y solo si m = n y ademas [(m, 0)]+[(n, 0)] =
[(m+ n, 0)]. Tambien podemos denir una multiplicacion
[(m, n)][(a, b)] = [(ma + nb, mb + na)]
Esta multiplicacion esta bien denida ([Ejercicio]) y al igual que con la suma
se observa que [(m, 0)(n, 0)] = [(mn, 0)]. Es decir, la funcion:
i : N N N/
denida por i(m) = [(m, 0)] es inyectiva y ademas i(m) + i(n) = i(m + n)
y i(m)i(n) = i(mn). Es decir, podemos decir que en N N/ existe una
copia de N, a saber los elementos de la forma [(m, 0)]. La clase [(0, 0)]
es neutro aditivo y [(1, 0)] es neutro multiplicativo. Lo interesante es que
[(m, 0)] +[(0, m)] = [(m, m)] = [(0, 0)]. Es decir el inverso aditivo de [(m, 0)]
existe y es [(0, m)]. Es decir, lo elementos de N tienen inversos aditivos en
N N/ , mas a un todo elemento de N N/ tiene inverso aditivo, de
hecho [(a, b)] +[(b, a)] = [(0, 0)]. De hecho, una forma de construir Z a partir
de N es deniendo Z como N N/ .
mos denir una suma en le cuociente Z Z
/ como [(m, n)] + [(a, b)] =

[(bm+an, nb)], esta es una suma que esta bien denida ([Ejercicio]). Ademas
notamos que [(m, 1)] = [(n, 1] si y solo si m = n y ademas [(m, 1)] +[(n, 1)] =
[(mn, 1)]. Tambien podemos denir una multiplicacion
[(m, n)][(a, b)] = [(ma, nb)]
Esta multiplicacion esta bien denida ([Ejercicio]) y al igual que con la suma
se observa que [(m, 1)(n, 1)] = [(mn, 1)]. Es decir, la funcion:
i : Z Z Z
/
denida por i(m) = [(m, 1)] es inyectiva y ademas i(m) + i(n) = i(m + n)
y i(m)i(n) = i(mn). Es decir, podemos decir que en Z Z
/ existe una
copia de Z, a saber los elementos de la forma [(m, 1)]. La clase [(0, 1)]
es neutro aditivo y [(1, 1)] es neutro multiplicativo. Lo interesante es que
8
[(m, 1)][(1, m)] = [(m, m)] = [(1, 1)]. Es decir el inverso multiplicativo de
[(m, 1)] existe y es [(1, m)]. Es decir, lo elementos de Z tienen inversos adi-
tivos en Z Z
/ , ademas todo elemento no neutro aditivo de Z Z
/
tiene inverso multiplicativo, de hecho [(a, b)][(b, a)] = [(ab, ab)] = [(1, 1)].
De hecho, una forma de construir Q a partir de Z es deniendo Q como
Z Z
/ .
Ejemplo 2.1.12 Para la relacion de equivalencia del ejemplo (2.1.7), al cuo-
ciente R
2
\ {0}/ se la recta proyectiva real y es lo mismo que cuocientar
el crculo S
1
= {u R
2
/ ||u|| = 1} por la relacion u v si y solo si u = v
o u = v. ([Ejercicio])
Ejemplo 2.1.13 Para la relacion de equivalencia del ejemplo (2.1.8), al cuo-
ciente R
3
\ {0}/ se le llama el plano proyectivo real y es lo mismo que
cuocientar la esfera S
2
= {u R
3
/ ||u|| = 1} por la relacion u v si y solo
si u = v o u = v. ([Ejercicio])
Ejemplo 2.1.14 (Ejemplo de una suma mal denida) Para la relacion
de equivalencia del ejemplo (2.1.6), (x, y R, x y [x] = [y]) . En el
cuociente R/ uno estara tentado a sumar las clases como la suma de los
representantes. Esto es:
x + y = x + y
Pero esta suma no esta bien denida, pues por ejemplo 0, 5 = 0, 25 = 0 y en
cambio
0, 5 + 0, 5 = 1 = 0 = 0, 25 + 0, 25
Es por esto que cuando uno dene operaciones, o funciones en el cuociente a
partir de los representantes, se debe demostrar que estas estan bien denidas.
2.1.3. Z
m
Si 0 < m N es jo, consideramos la relacion de equivalencia en Z denida
por a b si y solo si m divide a b a. En este caso diremos que a es
congruente a b modulo m y anotaremos
a b mod m
Si a Z entonces existen q y r enteros tales que:
a = mq + r, con 0 r < m
Como a r = mq es divisible por m se tiene que r b mod m. Es decir,
9
Todo n umero entero es congruente modulo m a un n umero natural menor
que m.
Ademas si 0 r < r
< m, entonces 0 < r
r < m, luego m no divide a

r
r, es decir, r r
mod m. Es decir
Todo n umero entero es congruente modulo m a un unico n umero natural
menor que m.
En este caso al conjunto de todas las clases de equivalencia lo anotamos por
Z
m
. As tenemos
Z
m
= Z/ = {[0], [1], [2], . . . , [m1]}
En Z
m
denimos una suma, por
[a] + [b] = [a + b]
Tenemos que mostrar que esta suma esta bien denida, esto es, si tomamos
otro representante de la clase de [a] y otro representante de la clase de [b],
debemos mostrar que producen la misma suma en el cuociente.
Notemos que x [a], es equivalente a decir que existe q Z tal que
x = a + mq.
Del mismo modo y [b] es equivalente a decir que existe p Z tal que
y = b + mp,
por lo tanto
x + y = a + mq + b + mp = a + b + m(q + p) [a + b].
Por lo tanto [x + y] = [a +b].
Esta suma de clases, esta estrechamente relacionada con la suma de Z, por

ejemplo [a] +[0] = [a], es decir la clase del cero es el neutro de la suma recien
denida. Como la clase [m] es igual a la clase [0], entonces se tiene que:
[ma] + [a] = [m] = [0]
Es decir, la clase [m a] es el inverso aditivo de [a] en Z
m
. Ademas como
la suma es asociativa y conmutativa en Z y como la suma en Z
m
se dene a
partir de la suma en Z, se tiene que la suma en Z
m
tambien es conmutativa
y asociativa. En resumen:
10
Propiedad 2.1.2 La suma denida en Z
m
como [a] + [b] = [a + b] es aso-
ciativa y conmutativa. Hay un elemento neutro, a saber la clase del cero y el
inverso de [a] es [ma].
Del mismo modo como denimos la suma, podemos denir la multiplicacion:
[a][b] = [ab]
Al igual que antes mostraremos que esta multiplicacion est a bien denida.
Notamos que decir que a
[a] es lo mismo que decir que a
= a + mk para
cierto k Z. Del mismo modo, b
[b] es equivalente a b
= b + mt para
cierto t Z. Por lo tanto
a
= (a +mk)(b + mt) = ab + m(at + kb +mkt) [ab]

Es decir
[a
] = [ab]
Notamos que [a][1] = [a] para cualquier a Z, por lo tanto la multiplicacion
denida como arriba en Z
m
, tiene un elemento neutro, a saber la clase [1].
Ademas como la multiplicacion es conmutativa y asociativa en Z, entonces:
Propiedad 2.1.3 La multiplicacion denida en Z
m
como [a][b] = [ab] es
asociativa y conmutativa. Hay un elemento neutro, a saber la clase del uno.
Por ejemplo, a continuacion mostramos la tabla de la suma y de la multipli-
cacion de Z
6
= {[0], [1], [2], [3], [4], [5]}
+ [0] [1] [2] [3] [4] [5]
[0] [0] [1] [2] [3] [4] [5]
[1] [1] [2] [3] [4] [5] [0]
[2] [2] [3] [4] [5] [0] [1]
[3] [3] [4] [5] [0] [1] [2]
[4] [4] [5] [0] [1] [2] [3]
[5] [5] [0] [1] [2] [3] [4]
Por ejemplo, el inverso aditivo de [2] es [4], o dicho de otro modo [2] = 4.
Tambien [3] = [3] y [5] = [1]
11
[0] [1] [2] [3] [4] [5]
[0] [0] [0] [0] [0] [0] [0]
[1] [0] [1] [2] [3] [4] [5]
[2] [0] [2] [4] [0] [2] [4]
[3] [0] [3] [0] [3] [0] [3]
[4] [0] [4] [2] [0] [4] [2]
[5] [0] [5] [4] [3] [2] [1]
Notamos que [2] no tiene inverso multiplicativo, ni tampoco [3], ni tampoco
[4]. Los unicos que tienen inversos son [1] y [5], (de hecho cada uno de ellos
es su propio inverso). Notamos ademas que [3]
2
= [3] = [3], tambien [2]
2
=
[4] = [2] y para no ser menos [5]
2
= [1] = [5]. Es decir, la ecuacion
x
2
+ x = 0 tiene mas de dos soluciones en Z
6
.
Mas generalmente, si m = pq con p > 1 y q > 1, entonces, p < m y q < m.
Es decir, [p] = [0] = [q] y sin embargo
[p][q] = [m] = 0
Si [p] tuviera inverso multiplicativo en Z
m
, existiran r y k enteros tales que
pr = 1 +km
pr km = 1
p(r kq) = 1
Pero no existe ning un n umero entero mayor que 1 que divida a 1. Por lo
tanto tal r y tal k no existen. Es decir, [p] no tiene inverso multiplicativo en
Z
m
.
En cambio si p es primo y si 1 n < p, entonces n y p no tienen divisores
comunes. Es decir, el MCD(p, n) = 1, por lo tanto existen s y t enteros tales
que:
sp + tn = 1
tn = 1 + (s)p
Es decir [t][n] = [1], o lo que es lo mismo, [t] es el inverso multiplicativo de
[n] en Z
p
. En resumen:
12
Propiedad 2.1.4 Todo elemento no nulo en Z
p
tiene inverso multiplicativo
si y solo si p es primo.
Tambien vale la pena tener presente que:
Propiedad 2.1.5 La multiplicacion denida en Z
p
, con p primo, es asocia-
tiva y conmutativa. Hay un elemento neutro, a saber la clase del uno y todo
elemento no nulo tiene inverso multiplicativo.
2.2. Preliminares
En esta seccion daremos las deniciones basicas de teora de grupos y los
primeros resultados. Tambien acordaremos algunas notaciones que en general
no son del todo universales.
Para nosotros un grupo es un conjunto no vaco G provisto de una operacion
binaria, que anotaremos por yuxtaposicion, la cual es asociativa, esto es
g(hk) = (gh)k, g, h, k G (2.1)
Existe un elemento unidad, esto es
Existe 1 G tal que 1g = g1 = g, g G (2.2)
Todo elemento tiene inverso, esto es
Para todo g G, existe g
1
G tal que gg
1
= g
1
g = 1 (2.3)
Un grupo abeliano o conmutativo es un grupo que ademas satisface
gg
= g
g g, g
G (2.4)
Comunmente para grupos abelianos utilizaremos la notacion aditiva y en vez
de 1 utilizaremos 0 para denotar al neutro de la operacion. Por ejemplo,
(Z, +) es un grupo, que a menos que se diga otra cosa denotaremos por Z y
tambien Z
m
con la suma modulo m es un grupo, que a menso que se diga
otra cosa anotaremos por Z
m
.
Observacion 2.2.1 Si 1 y e son neutros de un grupo G, entonces 1e = 1
pues e es neutro, pero por otra parte 1e = e, pues 1 es neutro. Por lo tanto
1 = 1e = e. Es decir, el neutro de un grupo es unico.
13
Observacion 2.2.2 Si z y y son inversos de x, un elemento de un grupo G.
Es decir, estamos suponiendo que xy = yx = xz = zx = 1. Entonces
z = 1z = (yx)z = y(xz) = y
Es decir, el inverso de un elemento de un grupo es unico.
Si G tiene un n umero innito de elementos decimos que G es innito o
que tiene orden innito y anotamos |G| = . Si G tiene un n umero nito
de elementos, digamos n, decimos que G es un grupo nito de orden n y
anotamos |G| = n.
Si H es un conjunto no vaco contenido en un grupo G tal que bajo la
operacion de G es un grupo, diremos que es un subgrupo de G y anotamos
H G. Por ejemplo, G es subgrupo de G y {1} son subgrupos de G y los
llamaremos los subgrupos triviales de G. Si G es subgrupo de G y H = G,
entonces diremos que H es un subgrupo propio de G.
Observacion 2.2.3 Sea H es un conjunto no vaco en un grupo G. Si H
es cerrado bajo la operacion de G, entonces la asociatividad de los elementos
de H se hereda de G, es decir x(yz) = (xy)z para todos los tros de a, b, c
de H, pues son elementos de G. Entonces si H es un subconjunto de G,
que contiene al 1 de G, es cerrado bajo la multiplicacion y tiene los inversos
multiplicativos de todos sus elementos, entonces H G.
Ejemplo 2.2.1 Sea H un subgrupo no trivial de Z. Si h H entonces su
inverso aditivo tambien esta en H, es decir, H siempre tiene n umeros posi-
tivos. Ademas si h H y 0 = m N entonces mh = h+h+h+ +h H,
tambien 0h = 0 H y por ultimo mh = (h) +(h) + +(h) H. Es
decir, si h H, entonces mh H para cada m Z. Sea a el menor entero
positivo de H, y sea b H. Por algoritmo de la division en Z se tiene que
existen m y r enteros tales que:
b = ma +r, con 0 r < a
Pero como tanto b y ma estan en H se tiene que r = b + (ma) H, si
r es positivo contradice la minimalidad de a, por lo tanto r = 0. Es decir,
para cada b H se tiene que existe m Z tal que b = ma. Es decir, todo
elemento de H es un m ultiplo de a. Es decir, si H es un subgrupo no trivial
14
de Z, entonces H es el conjunto de los m ultiplos de un entero jo. Como Z
son los m ultiplos de 1 y {0} son los m ultiplos de 0. Entonces todo subgrupo
de Z es de la forma
aZ = {ak/ k Z}
Si H es un subgrupo de G tal que gHg
1
H para cualquier elemento
g G, diremos que H es un subgrupo normal de G y anotamos HG. Todo
subgrupo de un grupo abeliano es normal.
Observacion 2.2.4 Si H G entonces para cualquier g G se tiene que
gHg
1
H, por lo tanto H g
1
Hg g G. Como g
1
recorre todo G
si g lo hace, entonces H gHg
1
g G. Es decir, H G si y solo si
H = gHg
1
, g G.
Observacion 2.2.5 Si H G, y g G. Tomemos gh gH, entonces gh =
ghg
1
g, como ghg
1
H, entonces (ghg
1
)g Hg. Por lo tanto gH Hg.
De forma similar se puede mostrar que Hg gH. Es decir, HG implica que
gH = Hg para cualquier g G. El recproco tambien es cierto.[Ejercicio]
Observacion 2.2.6 Si G es un grupo y N es un subgrupo normal de G y H
un subgrupo de G que contiene a N, entonces N es normal en H.[Ejercicio]
Si G es un grupo, el conjunto de los elementos que conmutan con todos los
elementos de G se llama el centro de G y se anota por Z(G) (o simplemente
Z si el grupo esta subentendido), esto es
Z(G) = {x G/ xg = gx, g G},
ademas el centro de G es un subgrupo abeliano normal en G. [Ejercicio]
Si H G, entonces la relacion g k k
1
g H, es una relacion de
equivalencia en G. De hecho, como H es subgrupo de G, entonces 1 H, por
lo tanto g
1
g = 1 H, es decir g g. Hemos comprobado que es reeja.
Por otra parte g k es equivalente a k
1
g H, como H es subgrupo de G,
se tiene que g
1
k = (k
1
g)
1
H, o sea k g. Hemos probado que es
simetrica.
15
Ademas g k es equivalente a k
1
g H, y k t es equivalente a t
1
k H,
como H es subgrupo de G, se tiene que (t
1
k)(k
1
g) H, pero
(t
1
k)(k
1
g) = t
1
(kk
1
)g = t
1
g H
es decir g t. Hemos probado que es transitiva.
A la cantidad de distintas clases de equivalencia se le llama el ndice de H en
G, y anotamos |G : H| o tambien [G : H]. La clase de g es gH = {gh/ h H},
ademas notamos que si gh = gh
entonces h = h
, es decir la funcion
: H gH
denida por (h) = gh, es una funcion inyectiva. Ademas por denicion de
gH tambien es epiyectiva. Es decir, gH tiene tantos elementos como H. En
particular si G es nito y como G es la union disjunta de clases laterales, se
tiene que |G| = m|H| donde m = [G : H] es la cantidad de clases distintas,
luego se tiene que si G es nito
[G : H] =
|G|
|H|
y ademas |H| divide a |G|, a este resultado se le conoce como el teorema de
Lagrange, que enunciamos a continuacion:
Teorema 2.2.1 (Teorema de Lagrange) El orden de un subgrupo de un
grupo nito divide al orden del grupo.
Observacion 2.2.7 Si G es nito y K H G, entonces
[G : K] =
|G|
|K|
=
|G|
|H|

|H|
|K|
= [G : H] [H : K]
Si [G : H] y [H : K] son nitos, entonces el resultado sigue siendo cierto,
aunque G no sea nito.[Ejercicio]
Observacion 2.2.8 Si h H G, entonces hH H. Ademas si h
H
entonces h
1
h
H, pues H es subgrupo de G. Por lo tanto h
= hh
1
h
hH. Es decir hH = H.
Ejemplo 2.2.2 Todo subgrupo de ndice dos en un grupo G es normal en G.
16
Demostracion:
Sea G un grupo y H un subgrupo de ndice 2. Entonces si g / H, se tiene
que gH es el conjunto de los elementos que no estan en H, pues si gh H
con h H implicara que g H. Lo mismo ocurre con Hg. Luego si g / H
se tiene que gH = Hg = G\H, es decir que gHg
1
= H y si g H entonces
se tiene trivialmente que gHg
1
= H, luego para todo g G se tiene que
gHg
1
= H.
En el caso en que H es normal en G se tiene que la operacion
g
1
Hg
2
H = g
1
g
2
H
esta bien denida en G/ , de hecho si g
1
H = g
1
H y g
2
H = g
2
H, entonces
existen h
1
y h
2
tales que g
1
h
1
= g
1
y g
2
h
2
= g
2
. As tenemos:
g
1
g
2
H = g
1
h
1
g
2
h
2
H = g
1
h
1
g
2
H
Como H es normal en G se tiene que g
2
H = Hg
2
, por lo tanto:
g
1
g
2
H = g
1
h
1
g
2
h
2
H = g
1
h
1
g
2
H = g
1
h
1
Hg
2
= g
1
Hg
2
De nuevo, como H es normal en G se tiene que g
2
H = Hg
2
, por lo tanto:
g
1
g
2
H = g
1
h
1
g
2
h
2
H = g
1
h
1
g
2
H = g
1
h
1
Hg
2
= g
1
Hg
2
= g
1
g
2
H
Ademas H es el neutro de G/H y g
1
H es el inverso de gH. As tenemos
que G/ es un grupo, al que llamamos el grupo cuociente y denotamos por
G/H.
Ejemplo 2.2.3 Como Z es abeliano, todo subgrupo de Z es normal en Z,
ademas todo subgrupo de Z es de la forma mZ, en este caso el cuociente
Z/mZ es Z
m
.
Sean G y G
dos grupos y sea 1 el neutro de G y 1
el neutro de G
y sea
ademas f una funcion f : G G
que satisface
f(gh) = f(g)f(h) g, h G
y ademas
f(1) = 1
,
17
entonces diremos que f es un homomorsmo (de grupos) o morsmo (de
grupos), o simplemente morsmo si la estructura se subentiende. Si f es
inyectivo, diremos que es un monomorsmo. Si f es epiyectivo, diremos que
f es un epimorsmo. Si f es biyectivo, diremos que f es isomorsmo, en ese
caso diremos que G es isomorfo a G
y anotaremos G

= G
.
Ejemplo 2.2.4 Si X es un conjunto cualquiera, el conjunto de todas las
biyecciones de X en si mismo con la operacion composicion es un grupo,
llamado el grupo de permutaciones de X, cuyo neutro es la funcion id
X
. A
tal grupo lo denotaremos por
X
. Si existe una biyeccion : X Y entonces
para cada
X
la funcion () =
1
es un elemento de
Y
, ademas
dene un isomorsmo entre
X
y
Y
. Es decir, el grupo de permutaciones
solo depende de la cardinalidad de X, y no de los elementos de X, en particu-
lar si X es nito, digamos que tiene n elementos entonces
X
lo denotamos
por
n
y sin restriccion podemos pensar que X = {1, 2, 3, 4, . . . , n}. El orden
de
n
es n!.
Si X = {1, 2, 3, . . . , n} y si
n
, entonces denotaremos
=
_
1 2 3 . . . n
(1) (2) (3) . . . (n)
_
Por ejemplo la funcion de {1, 2, 3} en s mismo que lleva el 1 al 2, el 2 al 3
y el 3 al 1, la denotamos por
=
_
1 2 3
2 3 1
_
Los seis elementos de
3
son:
id =
_
1 2 3
1 2 3
_
,
_
1 2 3
2 1 3
_
,
_
1 2 3
1 2 3
_
_
1 2 3
3 2 1
_
,
_
1 2 3
2 3 1
_
,
_
1 2 3
3 1 2
_
.
Para denotar la funcion que ja a 3 y permuta al 1 con el 2 lo denotamos
tambien por (12). Mas generalmente, si
n
es tal que (k
1
) = k
2
, (k
2
) =
k
3
, (k
3
) = k
4
, . . . (k
r
) = k
1
, y funciona como la identidad en el resto de
elementos de {1, 2, 3, . . . n} entonces lo denotaremos por (k
1
k
2
k
3
k
4
. . . k
r
) y
lo llamaremos un ciclo de largo r. Seg un esta notacion, se tiene que:
18
3
= {(1), (12), (13), (23), (123), (132)}
A la identidad la anotaremos por 1.
Notamos que {1, (12)}, {1, (13)}, {1, (23)}, son los unicos subgrupos de
orden 2 y H = {1, (123), (132)} es el unico subgrupo de orden 3. Ademas el
ndice de H en G es 2, por lo tanto H G.
Ademas notemos que (12)(13) = (132), en cambio (13)(12) = (123) por lo
tanto
3
no es conmutativo. Mas a un, si n 3 consideremos los ciclos de
largo 2, (12) y (13) en
n
, entonces
(12)(13) = (13)(12).
Es decir,
n
no es abeliano para n 3.
Ademas
2
= {1, (12)} y
1
= {1}, ambos claramente abelianos. Es decir,
n
es conmutativo si y solo si n = 1 o n = 2.
Observacion 2.2.9 Si x es un elemento de un grupo G tal que xx = x,
entonces xxx
1
= xx
1
por lo tanto x = 1. Es decir, en un grupo el 1 es el
unico elemento idempotente.
1
Observacion 2.2.10 Si ab = 1, entonces ba = b(ab)a = (ba)
2
por lo ante-
rior se tiene que ba = 1. Es decir, el inverso izquierdo ( o derecho) de un
elemento es el inverso del elemento.
Observacion 2.2.11 Si G y G
son grupos con neutros 1 y 1
, respectiva-
mente y si f : G G
es tal que f(xy) = f(x)f(y) para cualesquiera

x, y G, entonces f(1) = f(1 1) = f(1)f(1). Por la observacion anterior
tenemos que f(1) = 1
. Es decir, f es un morsmo.
Observacion 2.2.12 Si G y G
son grupos con neutros 1 y 1
, respectiva-
mente y si f : G G
es un morsmo, entonces
1
= f(1) = f(xx
1
) = f(x)f(x
1
)
Entonces f(x
1
) = (f(x))
1
.
1
Un elemento e se dice idempotente si e
2
= e. Por ejemplo, [3] es idempotente en Z
6
.
Por ejemplo,
_
1 0
0 0
_
es idempotente en M
2
(R). Lo que muestra que tanto M
2
(R) como
Z
6
no son grupos con la multiplicacion.
19
Sea G un grupo y f : G G un isomorsmo, en este caso le llamamos un
automorsmo. El conjunto
Aut(G) = {f : G G/ f es automorsmo}
es un grupo con la operacion composicion. [Ejercicio]
Si G es un grupo y g G entonces la funcion f
g
: G G denida por
f
g
(x) = gxg
1
es un automorsmo, de hecho f
g
1 es la inversa de f
g
y se
llama un automorsmo interior de G. El conjunto
Inn(G) = {f
g
/ g G}
es un subgrupo de Aut(G).[Ejercicio]
Observacion 2.2.13 Una observacion inmediata es que H es normal en G
si y solo si f
g
(H) = H, para cualquier automorsmo interior.
Un subgrupo H de un grupo G que es invariante por cualquier automorsmo
Aut(G), esto es (H) H, se llama un subgrupo caracterstico.
Observacion 2.2.14 Todo subgrupo caracacterstico es normal.
Observacion 2.2.15 Si H es un subgrupo caracterstico de un grupo nito
G, entonces (H) = H Aut(G). De hecho, podemos denir por restric-
cion un morsmo de : H H, como es inyectivo, entonces |Im()| =
|H| pero como (H) H y H es nito, se tiene que Im() = (H) = H.
Observacion 2.2.16 Si H es el unico subgrupo de orden |H| en G, con G
nito, entonces H es caracterstico.[Ejercicio]
Observacion 2.2.17 Si H es el unico subgrupo de orden |H| en G, con G
nito, entonces H es normal en G.[Ejercicio]
Proposicion 2.2.1 Si H G y K es caracterstico en H, entonces K es
normal en G.
20
Demostracion:
Sea f
g
un automorsmo interior de G, cualquiera, como H es normal, f
g
dene un automorsmo de H por restriccion, sea esa restriccion, es decir,
Aut(H).
Como K es caracterstico en H se tiene que (K) K, luego gKg
1
K.
Si f : G G
es un morsmo de grupos, entonces el conjunto Ker(f) =

{g G/ f(g) = 1} se llama el kernel de f, el cual es un subgrupo normal de
G. De hecho,
1 Ker(f).
Si x, y Ker(f) entonces f(xy) = f(x)f(y) = 1 1 = 1, luego
xy Ker(f)
Si x Ker(f), entonces 1 = f(xx
1
) = f(x)f(x
1
) = 1 f(x
1
) =
f(x
1
). Luego x
1
Ker(f).
Observacion 2.2.18 Si : G G
es un morsmo de grupos que no es

inyectivo, entonces existen x = x en G tales que (x) = (x
), o equiva-
lentemente (x)((x
))
1
= (xx
1
) = 1
. Es decir, 1 = xx
1
Ker().
Reciprocamente si 1 = z Ker(), entonces (z) = 1
= (1), luego no es
inyectiva. Es decir:
: G G
morsmo de grupos es inyectivo si y solo si Ker() = {1}.

Si f : G G
es morsmo de grupos, el conjunto Im(f) = {f(g)/ g G}

es un subgrupo (no necesariamente normal) de G. [Ejercicio]
Proposicion 2.2.2 Todo subgrupo normal es el kernel de alg un morsmo.
Demostracion:
Sea H G y consideremos el grupo cuociente G/H, para terminar la
demostracion basta notar que la proyeccion canonica
: G G/H
denida por (g) = gH, es un morsmo, de hecho
(gg
) = gHg
H = gg
H = (gg
) g, g
G
cuyo kernel es H.
21
Observacion 2.2.19 Si K y H son subgrupos entonces H K es un sub-
grupo de G. [Ejercicio]
Si S es un subconjunto de G entonces la interseccion de todos los subgrupos
de G que contienen a S es un subgrupo de G, llamado el subgrupo generado
por S y lo denotamos por < S > . En particular, si S = {g} entonces < S >
se llama el subgrupo cclico generado por g, y lo denotamos por < g >, al
orden de < g > le llamamos el orden de g. Si existe g G tal que G =< g >,
entonces decimos que G es un grupo cclico.
Si g G, donde G es un grupo. Si denimos g
0
= 1 e inductivamente
g
n
= gg
n1
para 0 < n N, entonces tenemos todas las potencias naturales
de g. Ademas si n es entero positivo, entonces denimos g
n
por (g
1
)
n
.
As tenemos denidas todas las potencias enteras de g.
Observacion 2.2.20 Si G es un grupo y g G, entonces para cada n, m Z
se tiene que g
n+m
= g
n
g
m
= g
m
g
n
. Ademas (x
m
)
n
= x
mn
para cualesquiera
m, n Z. ([Ejercicio])
Observacion 2.2.21 Si G es un grupo y g G, entonces < g >= {g
n
/ n
Z}. De hecho 1 = g
0
, y por la observacion anterior se tiene que g
n
g
m
= g
n+m
y por denicion g
n
g
n
= 1. Entonces {g
n
/ n Z} es un grupo y g
1
= g
{g
n
/ n Z}. Entonces < g > {g
n
/ n Z}. Reciprocamente si g H G
entonces g
n
H, n Z por lo tanto {g
n
/ n Z} H, es decir
{g
n
/ n Z}
gHG
H =< g > .
Observacion 2.2.22 Si g G de orden nito. Entonces < g >= {g
k
/ k
Z} tiene un n umero nito de elementos. Entonces existen k y k
enteros
distintos tales que g
k
= g
k
, sin restriccion supondremos que k > k
, entonces
g
kk
= 1. Si denotamos m = k k
> 0 entonces g
m
= 1. Sea n el menor
entero positivo tal que g
n
= 1, entonces H = {1, g, g
2
, g
3
, . . . , g
n1
} es el
grupo generado por g. De hecho, 1 es su propio inverso y si 0 < k < n
consideremos g
k
H entonces g
nk
H y g
nk
= (g
k
)
1
. Ademas si g
k
y g
k
con k + k
< n, son elementos de H cuyo producto g

k
g
k
= g
k+k
es
tambien un elemento de H. Si k + k
n, se tiene que 0 k + k
n < n,
entonces
g
k
g
k
= g
k+k
= g
n+(k+k
n)
= g
n
g
k+k
n
= g
k+k
n
elemento que vive en H.
22
Observacion 2.2.23 Si g G de orden nito. Entonces el orden de g es el
menor entero positivo n tal que g
n
= 1.
Observacion 2.2.24 Si g G de orden nito y g
n
= 1, entonces n es un
m ultiplo del orden de g. [Ejercicio]
Observacion 2.2.25 Si 1 = g G y p primo tal que g
p
= 1, entonces p es
el orden de g.
Observacion 2.2.26 Si g G de orden innito. Entonces no existe entero
n = 0 tal que g
n
= 1.
Observacion 2.2.27 Por el teorema de Lagrange se tiene que el orden de
un elemento de un grupo nito divide al orden del grupo.
Observacion 2.2.28 Si G es nito y g G, entonces g
|G|
= 1.
Observacion 2.2.29 Si G es cclico con < g >= G, entonces G =< g
1
> .
([Ejercicio])
Ejemplo 2.2.5 Si p es primo entonces Z
p
el conjunto de los elementos no
nulos de Z
p
es un grupo con la multiplicacion. Ademas Z
p
tiene p 1 ele-
mentos. Por la observacion anterior se tiene que para todo [x] Z
p
se tiene
que:
[x]
p1
= [1]
o dicho de otra forma
Si x Z y p no divide a x entonces x
p1
1 mod(p).
El anterior resultado se conoce con el nombre de Peque no Teorema de Fer-
mat.
Ejemplo 2.2.6 Si G es un grupo cuyos elementos satisfacen x
2
= 1. En-
tonces si x, y G se tiene que
(xy)
2
= 1 = x
2
y
2
es decir
(xy)(xy) = (xx)(yy)
23
multiplicando por x
1
= x por la izquierda se tiene que:
yxy = xyy
multiplicando por y
1
= y por la derecha se tiene que:
yx = xy
Es decir, G es abeliano.
En particular consideremos G un grupo de orden 4. Entonces si en G hay
un elemento x de orden 4, entonces G =< x > . Si G no tiene elementos de
orden 4, entonces todos sus elementos, distintos del neutro, tienen orden 2,
por lo de arriba se tiene que G es abeliano.Es decir, todo grupo de orden 4
es abeliano.
Observacion 2.2.30 Si |G| = p con p primo, consideremos 1 = g G,
entonces < g > es un subgrupo no trivial de G. Por el teorema de Lagrange,
se tiene que |g| divide a p y no es 1. Por lo tanto |g| = p es decir G =< g > .
Es decir, todo grupo de orden primo es cclico.
Observacion 2.2.31 Si G es un grupo cclico innito, digamos G =< g >,
y consideremos el grupo Z con la suma, entonces denamos la funcion:
: Z G
por (n) = g
n
. Esta funcion es un morsmo, pues g
n
g
m
= g
n+m
para
cualesquiera n, m Z, que es epiyectivo, pues todo elelemnto del grupo
cclioc generado por g e suna potencia de g. Ademas es inyectivo, pues si
n Ker(), quiere decir que g
n
= 1, pero como g es de orden innito, se
tiene que n = 0. Luego G es isomorfo a Z. Es decir:
Salvo isomorsmo, Z es el unico grupo cclico innito.
Si H y K son subgrupos de un grupo G, el conjunto KH = {kh/ k K, h
H} no es necesariamente un subgrupo de G. Por ejemplo, H = {1, (12)} y
K = {1, (2, 3)} son subgrupos de
3
y
KH = {1, (23), (12), (132)}
no es subgrupo de
3
. El siguiente resultado da condiciones necesarias y
sucientes para que KH sea subgrupo de G.
24
Proposicion 2.2.3 Si H y K son subgrupos de G, entonces KH es subgrupo
de G si y solamente si KH = HK.
Demostracion:
()Sean k K y h H, entonces k
1
h
1
KH, como KH es un grupo se
tiene que hk = (k
1
h
1
)
1
KH, luego HK KH.
Por otra parte sea z KH, mostraremos que z esta en HK. Sea w =
z
1
KH, pues KH es subgrupo de G, entonces w = kh para ciertos k K
y h H, entonces
z = w
1
= (kh)
1
= h
1
k
1
HK
Es decir, KH HK y como ya tenamos que HK KH, entonces HK =
KH.
() Como H y K contienen a 1, entonces 1 HK = KH. Sean ahora k, k
K y h, h
H, entonces kh KH, luego h

1
k
1
= (kh)
1
HK = KH,
luego (kh)
1
KH.
Ademas
(kh)(k
) = k(hk
)h
como HK = KH se tiene que hk
= k
1
h
1
, para ciertos k
1
K y h
1
H,
luego
(kh)(k
) = k(k
1
h
1
)h
= kk
1
(h
1
h
)
denotemos por k
2
= kk
1
K y por h
2
= h
1
h
H, entonces tenemos
(kh)(k
) = k
2
h
2
KH,
luego KH es un subgrupo de G.
Corolario 2.2.1 Si G es un grupo, H G y N G, entonces NH G
Demostracion:
Como N es normal, para cada g G se tiene que gN = Ng, en particualr
si h H G se tiene que hN = Nh. Por lo tanto HN = NH y por el
resultado anterior, tenemos que HN G.
25
2.3. Teoremas de Isomorsmos y Accion de
Grupos.
En esta seccion estudiaremos los primeros resultados importantes de la Teora
de Grupos y estudiaremos algunos ejemplos de grupos con cierto detalle.
El primer teorema que estudiaremos es un teorema de isomorsmos, que es
identico, al primer teorema del isomorsmo para espacios vectoriales, que se
estudia en un curso de

Algebra Lineal, pero ahora en contexto de grupos. En
el siguiente captulo estudiaremos el correspondiente a este Teorema, para
Anillos.
Teorema 2.3.1 (Primer Teorema del Isomorsmo) Sea : G G
un morsmo de grupos entonces G/Ker() es isomorfo a Im().

Demostracion:
Denotemos por K = Ker() y denamos (gK) = (g) de G/K en Im().
Primero que nada debemos mostrar que esta bien denida. Esto es, si gK =
g
K, entonces debieramos tener que (gK) = (g
K). Para ello notemos que

gK = g
K signica que exsite k Ker() tal que g
= gk, por lo tanto:

(g
) = (gk) = (g)(k),
pero como (k) = 1, se tiene que:
(g
K) = (g
) = (gk) = (g)(k) = (g) = (gK)

Es decir, es efectivamente una funcion, que por la denicion de Im() es
epiyectiva.
Ademas (gKg
K) = (gg
K) = (gg
) = (g)(g
), es decir es un mors-
mo de grupos. Para nalizar la demostracion, tomemos gK Ker( ), equiva-
lentemente, (g) = 1
, es decir, g Ker() = K. Es decir, si K = Ker( ), o

sea, Ker( ) contiene solamente al neutro de G/K, por lo tanto es inyectiva.
Es decir es un isomorsmo
Ejemplo 2.3.1 Sea g G un elemento de un grupo. Denamos
g
: G G
por conjugacion, esto es,
g
(x) = gxg
1
para cada x G, notamos que
g
1
es la funcion inversa de
g
, por lo tanto,
g
es biyectiva. Ademas
g
(x)
g
(x
) = (gxg
1
)(gx
g
1
) = gx(g
1
g)x
g
1
) = gxx
g
1
=
g
(xx
)
26
Por lo tanto
g
es un morsmo biyectivo. En la seccion anterior llamamos a
g
un automorsmo interior de G y al conjunto de todos los automorsmos
interiores lo denotamos por Inn(G). Ademas notamos que
g
(x) =
g
(g
xg
1
) = g(g
xg
1
)g
1
= gg
x(gg
)
1
=
gg
(x) x, g, g
G
Es decir,
g
g
=
gg
. Por lo tanto : G Aut(G) denida por (g) =
g
es un morsmo de grupos, ademas Im() = Inn(G).
Por otra parte
Ker() = {g G/
g
= id
G
} = {g G/
g
(x) = x x G}
= {g G/ gxg
1
= x x G} = {g G/ gx = xg x G} = Z(G)
Entonces por el primer T. del isomorsmo se tiene que:
G/Z(G)

= Inn(G)
Ejemplo 2.3.2 Sea G un grupo nito y H un subgrupo de ndice p, donde
p es el menor primo que divide a G, entonces H es normal en G.
Demostracion:
Sea el conjunto de todas las clases laterales de H en G, entonces || =
p, luego para cada g
G denimos
g
de en si mismo por
g
(gH) =
g
(gH) = (g
g)H, la cual es una biyeccion de en si mismo. Pues si
g
(g
1
H) =
g
(g
2
H) (g
g
1
)H = (g
g
2
)H g
1
2
g
1
g
g
1
H
g
1
2
g
1
H g
1
H = g
2
H
Por lo tanto
g
es inyectiva. Como
g
va de en si mismo y es nito,
entonces
g
es biyectiva.
Mas a un : g

g
es un morsmo de G en
que es isomorfo a
p
que
tiene orden p!. Luego el kernel de ,K = {x G/ xgH = gH g G}
esta contenido en H, pues si x K, en particular xH = H y ademas K es
normal en G, pues es el kernel de un homomorsmo. Luego por el primer
teorema del isomorsmo se tiene que G/K es isomorfo a un supgrupo de
p
,
luego [G : K], que es un divisor de |G|, divide a p!.
27
Tenemos que [G : K] = [G : H][H : K], por lo tanto [G : K] = pq por lo
tanto q = [H : K] es un divisor de (p 1)!, por lo tanto si r es un divisor
primo de q, entonces r < p y como q = [H : K] divide a |H| y este a |G|, y
p es el menor primo divosor de |G|, entonces tal r no existe, luego q = 1, es
decir [H : K] = 1. Es decir, H = K y como K es el kernel de un morsmo,
entonces H = K es normal en G.
Ejemplo 2.3.3 Sea G cclico nito, y sea G =< g > . Denamos (n) = g
n
una funcion de Z en G. Como g
n+m
= g
n
g
m
se tiene que es morsmo,
ademas es epiyectivo. Ademas sabemos que no es inyectivo, por lo tan-
to existe m entero positivo tal que mZ = Ker(). Por primer teorema del
isomorsmo se tiene que
Z
m

= Z/mZ
= G.
Ademas como Z
m

= Z
n
si y solamente si n = m, entonces para cada m
entero positivo, existe un unico grupo cclico, salvo isomorsmos, de orden
m.
El siguiente resultado es un corolario del Primer Teorema del Isomorsmo.
Teorema 2.3.2 (Segundo Teorema del Isomorsmo) Sean K y N sub-
grupos de G, con N normal en G, entonces NK es un subgrupo de G y NK
es normal en K, ademas se tiene K/(N K) es isomorfo a NK/N.
Demostracion:
Como N es normal en G, entonces NK = KN, de lo que se desprende que
NK es un subgrupo de G. Ademas como K contiene al 1, se tiene que N
NK, por tanto NNK. Consideremos el cuociente NK/N y nkN NK/N,
como N es normal en G tenemos que:
nkN = kk
1
nkN = kN
Es decir, toda clase lateral de N en NK tiene un representante de K. Es decir,
si gN es un elemento de NK/N entonces existe k K tal que gN = kN. Es
decir el conjunto {kN/ k K} es el conjunto de todas las clases laterales de
N en NK.
28
Por lo tanto la funcion : K NK/N denida por (k) = kN es una
funcion epiyectiva. Ademas
(kk
) = kk
N = (kN)(k
N) = (k)(k
)
Por lo tanto es un morsmo. Ademas
Ker() = {k K/kN = N} = {k K/k N} = N K
Por lo tanto N K K y ademas por el P. T del isomorsmo:
K/(N K)

= NK/N
El siguiente tambien es un corolario del primer teorema del isomorsmo.
Teorema 2.3.3 (Tercer Teorema del Isomorsmo) Sean K y H sub-
grupos normales de G, y K H, entonces H/K es un subgrupo normal de
G/K y ademas se tiene que (G/K)/(H/K) es isomorfo a G/H.
Demostracion:
Primero que nada notemos que si gK = g
K es equivalente a decir que existe

k K tal que g
= gk, pero como K H se tiene que g
= gk con k H,
por lo tanto gH = g
H. Es decir la funcion : G/K G/H denida por

(gK) = gH esta bien denida. Ademas notamos que es epiyectiva. Por otra
parte
((gK)(g
K)) = (gg
K) = gg
H = gHg
H = (gK)(g
K)
Por tanto es un morsmo y como notamos antes, es epiyectivo. Para ter-
minar la demostracion necesitamos conocer el Ker().
Ker() = {gK G/K / gH = H} = {gK G/K / g H} = H/K
Por lo tanto H/K es normal en G/K y por primer teorema del isomorsmo
se tiene que:
(G/K)/(H/K)

= G/H
29
Cuidado
En el enunciado del anterior teorema aparece H, K normales en G y ademas
K H. Alguien podra decir, que es lo mismo que decir que K H G.
Pero eso es falso, hay ejemplos de K H G, pero K no es normal en G.
Ejemplo 2.3.4 Consideremos el grupo de simetras del cuadrado, D
4
=
{id = 1, R, R
2
, R
3
, S, T, U, V }, donde R es la rotacion en un angulo recto
y como centro la interseccion de las diagonales del cuadrado. La rotacion en
un angulo extendido es R
2
, y la rotacion en un angulo de 270
es R
3
. La
reexion respecto a una de las diagonales es S, la reexion respecto a la otra
diagonal es T. Las reexiones respecto a la recta que pasa por los puntos
medios de lados paralelos las denotamos por U y V. Tenemos ademas que
S
2
= T
2
= U
2
= V
2
= (R
2
)
2
= 1
Si en el cuadrado inicial, numeramos los vertices con los n umeros del con-
junto {1, 2, 3, 4}, como se muestra abajo:
Entonces cada una de las simetras del cuadrado la podemos ver como una
permutacion de {1, 2, 3, 4}. As R transforma 1 2, 2 3, 3 4 y 4
30
1. Es decir, R visto en
4
es (1234). Del mismo modo R
2
visto en
4
es
(13)(24), del mismo modo R
3
es (1432). En este mismo sentido, S es (24), T
corresponde a (13), U a (12)(34) y V a (14)(23). Por tanto podemos pensar
D
4
, llamado el grupo diedral de orden 8, como subgrupo de
4
.
D
4
= {1, (1234), (13)(24), (1432), (24), (13), (12)(34), (14)(23)}
4
El conjunto V
4
= {1, (13)(24), (12)(34), (14)(23)} es un subgrupo de D
4
lla-
mado el grupo de Klein (que es isomorfo al grupo de simetras del rectangulo
no cuadrado). Como el ndice de V
4
en D
4
es 2, entonces
V
4
D
4
Ademas H = {1, (12)(34)} es un subgrupo de V
4
. Como [V
4
: H] = 2 entonces
H V
4
. Pero
(1234)(12)(34)(1234)
1
= (1234)(12)(34)(1432) = (14)(23) / H
Es decir, H no es normal en D
4
, pese a que H V
4
y V
4
D
4
Fin al ejemplo de Cuidado
Otra observacion importante es reconocer la forma que tienen los subgrupos
del grupo cuociente G/H, donde H es un subgrupo normal de G. En el
tercer Teorema del Isomorsmo, el Ker() resulto ser K/H donde era un
morsmo de G/H en otro grupo y H K G. Entonces la pregunta que
surge es si todos los subgrupos de G/H tienen esa forma. Veamos:
Observacion 2.3.1 Consideremos un subgrupo K de G/H, donde H es un
subgrupo normal de un grupo G. Entonces los elementos de K son clases
laterales de H. Denotemos por K = {g/ gH K}. Como K es un subgrupo
de G/H, se tiene que K contiene al neutro de G/H es decir H, entonces
podemos armar que gH K para cada h H, es decir, H K.
31
Ademas si g y g
estan en K, esto es gH y g
H estan en K, entonces gHg
H =
gg
H K, pues K es subgrupo de G/H, entonces gg
K.
Para nalizar, si g esta en K, esto es gH esta en K, entonces (gH)
1
=
g
1
H K, pues K es subgrupo de G/H, entonces g
1
K. Por lo tanto K
es subgrupo de G que contiene a H. Es decir K = K/H.
Reciprocamente, si G es un grupo que tiene a H como subgrupo normal y K
es un subgrupo de G que contiene a H, entonces HK. Ademas K/H es un
grupo bajo la misma operacion que G/H es grupo. Entonces K/H G/H.
2.3.1. Accion de Grupos.
Sea X un conjunto y G un grupo a una funcion
GX X
denotada por yuxtaposicion se llama una accion de G en X, si se tiene las
siguientes condiciones
1x = x x X
g
(gx) = (g
g)x g, g
G x X.
Tambien diremos que X es un Gconjunto.
Si G act ua en X, esta accion dene una relacion de equivalencia en X, a
saber x x
existe g G tal que x
= gx. La clase de equivalencia de

x X se llama la orbita de x, y es [x] = orb(x) = Gx = {gx/ g G}. Para
x X denimos el conjunto {g G/ gx = x} como el estabilizador de x
y lo anotamos por Stab(x). El conjunto Stab(x) es un subgrupo de G. De
hecho, 1x = x por lo tanto 1 Stab(x), ademas si g, g
Stab(x), entonces
(gg
)x = g(g
x) = gx = x,
Por lo tanto gg
Stab(x). Por ultimo si g Stab(x) entonces gx = x, por

lo tanto
g
1
x = g
1
(gx) = (g
1
g)x = x,
entonces g
1
G, o sea, Stab(x) es efectivamente un subgrupo de G.
32
Proposicion 2.3.1 La orbita de x tiene tantos elementos como clases late-
rales de Stab(x) en G.
Demostracion:
Consideremos G un grupo actuando en el conjunto X, y consideremos x
X. Denotemos por Y al conjunto de todas las clases laterales izquierdas de
stab(x) en G, (recordemos que |Y | = [G : stab(x)]) y por H = stab(x). Ahora
denamos
: orb(x) Y, (gx) = gH
Primero que todo notamos que esta bien denida, pues si gx = g
x, entonces
g
1
gx = 1x = x, es decir g
1
g H = Stab(x), que es equivalente a decir
que gH = gH. Ademas notamos que por la denicion de , esta es epiyectiva.
Ahora bien, si (gx) = (g
x) tenemos que gH = g
H, es decir, existe h
H = stab(x) tal que g
= gh entonces
g
x = (gh)x = g(hx) = gx.

Es decir, hemos demostrado que si (gx) = (g
x), entonces g
x = gx, por
lo tanto es inyectiva. Por lo tanto es biyectiva o equivalentemente
|Orb(x)| = [G : stab(x)]
Corolario 2.3.1 Si G es nito la orbita de x es nita y
|Orb(x)| =
|G|
|Stab(x)|
Sea G un grupo y hagamos actuar G en si mismo por conjugacion, es decir
(g, g
) gg
g
1
, al estabilizador de g
bajo esta accion particular se le llama

el centralizador de g
, y lo anotamos por C
G
(g
) o simplemente C(g) y es el
conjunto C
G
(g
) = {g G/ gg
= g
g}. Notamos tambien que la orbita de g
tiene un solo elemento si y solo si g
Z.
Como G es la union disjunta de las orbitas y si suponemos que G es nito se
tiene que
|G| = z +
|G : C(g
)|
33
donde |Z| = z. A la de arriba se le llama la ecuacion de clases o formula de
clases.
Proposicion 2.3.2 Todo grupo cuyo orden es una potencia de un primo,
tiene un centro no trivial.
Demostracion:
Sea G de orden p
n
, con n n umero entero positivo y supongamos que |Z(G)| =
1, se tiene que para cualquier x = 1 C(x) = G, luego |G : C(x)| no es 1,
de hecho , es una potencia positiva de p, luego por la formula de clases se
tiene que |G| = 1 +kp para cierto k N, pero p divide a |G|, lo cual es una
contradiccion. Luego |Z(G)| > 1.
Proposicion 2.3.3 Si G/Z es cclico, entonces G es abeliano.
Demostracion:
Sea G/Z =< gH >, por lo tanto cualquier elemento de G se puede escribir
en la forma g
k
z con g G jo, k Z y z Z, luego si x = g
k
z y y = g
l
z
se
tiene que
xy = g
k
zg
l
z
= zg
k
g
l
z
= zg
l
g
k
z
= zg
l
z
g
k
= g
l
z
g
k
z = yx P
Corolario 2.3.2 Si p es primo entonces todo grupo de orden p
2
es abeliano.
Demostracion:[Ejercicio]
Ahora bien consideremos un grupo G y S el conjunto de todos los sub-
grupos de G. Hagamos actuar G en S, va conjugacion, esto es (g, H)
gHg
1
.

Esta es efectivamente una accion, pues gHg
1
es un grupo ya que
1 = g1g
1
gHg
1
, ademas (ghg
1
)(gh
g
1
) = ghh
g
1
gHg
1
, y por
ultimo (ghg
1
)
1
= gh
1
g
1
gHg
1
. Tambien se tiene que 1H1
1
= H
y ademas g(g
Hg
1)g
1
= (gg
)H(gg
)
1
. Al estabilizador de H bajo esta
accion particular se le llama el normalizador de H en G y se anota N
G
(H), o
simplemente N(H) y es el subgrupo mas grande en G en el cual H es normal,
a saber
N
G
(H) == N(H) = {g G/ gHg
1
= H}.
34
Observacion 2.3.2 Si H es un subgrupo de G y g G al grupo gHg
1
se le
llama un conjugado de H. Consideremos la funcion : H gHg
1
denida
por (h) = ghg
1
. Por denicion es epiyectiva. Ademas si (h) = (h
),
es decir, ghg
1
= gh
g
1
entonces h = h
, es decir es inyectiva. Por lo

tanto existe una biyeccion entre H y cualquier conjugado de el. Es decir,
|H| = |gHg
1
| para caulquier g G.
Observacion 2.3.3 Un subgrupo H de un grupo G es normal en G si y solo
si N(H) = G.
Sea G un grupo actuando en un conjunto X, denotemos por Fix
X
(G) al
conjunto de elementos de X que son jos por todos los elementos de G, esto
es, son aquellos elementos cuya orbita esta compuesta por un solo elemento,
equivalentemente, son aquellos que su estabilizador es todo G.
Proposicion 2.3.4 Si G es un grupo nito cuyo orden es una potencia de
un primo p, el cual act ua en un conjunto nito X, entonces
|Fix
X
(G)| |X| (mod p).
Demostracion:
Consideremos {X
1
, X
2
, X
3
, . . . , X
n
} el conjunto de todas las orbitas distintas.
Escojamos x
i
un representante de cada orbita. Sea 1 k n tal que x
i

Fix(G) si y solo si i k. Entonces |X
i
| = 1 para cada i k.
Por otra parte, como X es la union disjunta de las orbitas se tiene que:
|X| =
n
i=1
|X
i
| =
k
i=1
|X
i
| +
n
i=k+1
|X
i
| = |Fix(G)| +
n
i=k+1
[G : Stab(x
i
)]
Pero si i > k entonces x
i
/ Fix(G), es decir Stab(x) es un subgrupo propio
de G, es decir stab(x
i
) = G. Por lo tanto [G : Stab(x
i
)] = 1. Ademas como G
tiene orden una potencia de p, por teorema de Lagrange Stab(x) tiene orden
una potencia de p, por lo tanto
[G : Stab(x
i
)] =
|G|
|stab(x)|
35
es una potencia de p distinta de 1. Por lo tanto p divide a [G : Stab(x
i
)] para
cada i > k y por tanto p divide a
n
i=k+1
[G : Stab(x
i
)]. Por lo tanto la igualdad
|X| = |Fix(G)| +
n
i=k+1
[G : Stab(x
i
)]
nos dice que
|X| |Fix(G)| mod p
Corolario 2.3.3 Supongase que H es un subgrupo de orden una potencia de
un primo p de un grupo nito G, y supongase ademas que p divide a |G : H|,
entonces p divide a |N(H) : H|.
Demostracion:
Hagamos actuar H en el conjunto X de las clases laterales izquierdas de H
en G, por multiplicacion izquierda. Esto es
H X X
denida por (h, gH) (hg)H. As, por el resultado anterior, se tiene que
|Fix(H)| [G : H] mod p
Pero
Fix(H) = {gH/hgH = gH h H} = {gH/g
1
hg H h H}
= {gH/g N(H)}
Es decir, Fix(H) es el conjunto de las clases laterales de H en N(H). Por lo
tanto:
[N(H) : H] [G : H] mod p
Como [N(H) : H] 1 y por hipotesis p divide a [G : H] entonces, se
tiene que p divide a |N(H) : H|.
Un corolario evidente es el siguiente
Corolario 2.3.4 En un grupo de orden una potencia de un primo p, todo
subgrupo propio es un subgrupo propio de su normalizador.
36
Una consecuencia clara de lo anterior es el siguiente corolario:
Corolario 2.3.5 Sea p un n umero primo. En un grupo G de orden p
m
, todo
subgrupo de orden p
m1
es normal en G.
Teorema 2.3.4 (Teorema de Cauchy) Si G es un grupo nito y p un
primo que divide a |G|, entonces existe un elemento en G que tiene orden p.
Demostracion:
Consideremos S el conjunto de las puplas de elementos de G, para los cuales
el producto de todos los elementos de la pupla es 1. Esto es
S = {(a
1
, a
2
, a
3
, . . . , a
n
) G
p
/ a
1
a
2
a
3
a
p
= 1}
Consideremos ahora el ciclo de largo p, denido por = (12345 p 1)
p
.

Este es un elemento de orden p en
p
. Ahora bien, hagamos actuar el
grupo cclico generado por en S, del siguiente modo
(
i
, (a
1
, a
2
, a
3
, . . . , a
p
)) (a
i
(1)
, a
i
(2)
, a
i
(3)
, . . . , a
i
(p)
)
Recordemos que si ab = 1, entonces ba = 1, por lo tanto, si a = (a
1
, a
2
, a
3
, . . . , a
p
)
S, entonces a
1
a
2
a
3
a
p
= 1, es decir a
2
a
3
a
p
es el inverso de a
1
por lo
tanto a
2
a
3
a
p
a
1
= 1, es decir
(, a) = (a
(1)
, a
(2)
, a
(3)
, . . . , a
(p)
) S
Inductivamente se meustra que (
i
, a) S, ademas (1, a) = a y
(
i
j
, a) = (
i+j
, a) = (
i
, (
j
, a))
Por lo tanto, la funcion de arriba es efectivamente una accion de < > en
S. Por la Proposicion (2.3.4), se tiene que
|Fix(< >)| |S| mod p
37
Pero notemos que para escojer (a
1
, a
2
, a
3
, . . . , a
p
) S los primeros p 1
elementos, son cualesquiera de G y a
p
= (
p1
i=1
a
i
)
1
, por lo tanto |S| = |G|
p1
,
pero como p divide a |G| se tiene que p divide a |S|, es decir
|S| 0 mod p
Es decir,
|Fix(< >)| 0 mod p
Pero
Fix(< >) = {a S/ a
1
= a
2
= a
3
= = a
p
}
Como 1 = (1, 1, 1, . . . , 1) Fix(< >) y como |Fix(< >)| 0 mod p
se tiene que p divide a |Fix(< >)|, por lo tanto hay otro un elemento en
Fix(< >) distinto de 1. Sea x G, x = 1 y (x, x, x, x, . . . , x) Fix(<
>), es decir
p
k=1
x = 1 x
p
= 1
Como p es primo, y x = 1, entonces p es el orden de x
Observacion 2.3.4 Sea p un n umero primo. Un grupo en el cual todo ele-
mento tiene orden una potencia de p, se llama un p grupo. El Teorema de
Cauchy, permite asegurar que todo pgrupo nito tiene orden una potencia
de p.
Ejemplo 2.3.5 Si G tiene orden 6, entonces hay elementos de orden 2 y
elementos de orden 3 en G. Sean x, y G de orden 2 y de orden 3, respec-
tivamente. Notemos que xy = 1, pues si xy = 1 entonces x
1
= y = x, pero
un elemento no puede tener a la vez orden 2 y orden 3. Si G es abeliano,
entonces (xy)
2
= x
2
y
2
= y
2
= 1 del mismo modo (xy)
3
= x
3
y
3
= x
3
= 1, por
lo tanto xy tiene orden 6. Por lo tanto G es el grupo cclico de orden 6. Es
decir, existe un unico grupo abeliano de orden 6, salvo isomorsmos.
Si G no es abeliano, podemos armar que x y y no conmutan (Por que?).
Ademas como < y > es de ndice 2 en G, podemos armar que < y > es
normal en G. Por lo tanto
xyx
1
= xyx < y >
38
Si xyx = 1, entonces xy = x y y = 1, lo cual no puede ser.
Si xyx = y, entonces xy = yx, pero como x y y no conmutan, esto no puede
ser.
Entonces necesariamente xyx = y
2
o equivalentemente xy = y
2
x o equiva-
lentemente xy = y
1
x
1
, es decir (xy)
1
= xy. Tambien podemos decir que
yx = xy
2
que es lo mismo que decir que yx = x
1
y
1
, o sea, (yx)
1
= x
1
y
1
.
Entonces podemos armar que xy = yx y ademas ambos elementos son de
orden 2. Es decir, xyxy = yxyx = 1. Ademas ambos xy y yx son distinto de
x, pues y no es 1.
As tenemos que G = {1, x, y, y
2
, xy, yx}. Ademas notamos que como xyx =
y
2
, entonces xy
2
= yx, y como xy = y
2
x, entonces yxy = x y por lo mismo
y
2
xy = yx y tambien yxy
2
= xy. Por lo tanto, la tabla de multiplicacion de
G es:
1 x y y
2
xy yx
1 1 x y y
2
xy yx
x x 1 yx xy y
2
y
y y xy y
2
1 yx x
y
2
y
2
yx 1 y x xy
xy xy y x yx 1 y
2
yx yx y
2
xy x y 1
Por lo tanto existe un unico grupo de orden 6 no abeliano, salvo isomorsmo.
Es decir, salvo isomorsmos Z
3
y
3
son los unicos grupos con 6 elementos.
En el caso particular de
3
tenemos que x = (12) es de orden 2 y y = (123)
es de orden 3. Ademas xy = (12)(123) = (23) y yx = (123)(12) = (13). Es
un ejercicio para el estudiante vericar que la tabla de multiplicacion de
3
es identica a la tabla de arriba.
Teorema 2.3.5 (Teorema de Sylow) Sea G un grupo nito de orden p
m
r,
donde p es primo que no divide a r, entonces:
i) Para cada 1 k m existe un subgrupo de G de orden p
k
. Cada
subgrupo de orden p
i
(0 i < m) es normal en alg un subgrupo de
orden p
i+1
.
39
ii) Todos los subgrupos de orden p
m
son conjugados entre si. Es decir,
si P y Q son subgrupos de orden p
m
, entonces existe x G tal que
P = xQx
1
iii) Si n denota la cantidad de subgrupos de orden p
m
, entonces n = |G :
N(H)|, donde H es cualquier subgrupo de orden p
m
, ademas n es con-
gruente a 1 modulo p y ademas divide a r.
Demostracion:
Por Teorema de Cauchy existe un elemento de orden p, sea g uno de esos
elementos entonces < g > es un subgrupo de orden p. Supongamos que H
es un subgrupo de orden p
i
con 1 i < m, entonces p divide a [G : H] por
Corolario (2.3.3) se tiene que p divide a [N(H) : H] como H es normal en
N(H) se tiene que N/H es un grupo cuyo orden es divisible por p. Por T.
de Cauchy, existe un subgrupo de orden p en N(H)/H. Sea K uno de esos
grupos, por lo tanto existe subgrupo K de N(H), tal que H K N(H)
tal que K = K/H, por lo tanto [K : H] = p, por lo tanto |K| = p
i+1
. Por lo
tanto inductivamente tenemos la parte (i).
Si P es un subgrupo de G de orden p
m
, entonces xPx
1
es un subgrupo de
orden p
m
(por Observacion (2.3.2)). Sea Q un p subgrupo de G y sea X
el conjunto de todas las clases laterales de P en G. Hagamos actuar Q en
X por multiplicacion izquierda, esto es (q, gP) (qg)P por Proposicion
(2.3.4) se tiene que
|Fix(Q)| |X| (mod p)
Como |X| = [G : P] entonces p no divide a |X|, es decir |X| no es congruente
a cero modulo p. Por lo tanto Fix(Q) 0 (mod p), es decir existe yP
Fix(Q), pero
Fix(Q) = {gP X/qgP = gP, q Q} = {gP X/g
1
qgP = P, q Q}
= {gP X/g
1
qg P, q Q} = {gP X/g
1
Qg P}
Es decir, existe yP en X tal que y
1
Qy P, tomando x = y
1
se tiene que
xQx
1
P. En particular si Q tiene orden p
m
y como |P| = p
m
, entonces
xQx
1
= P. Lo que demuestra (ii).
40
Por la parte (ii) la cantidad de subgrupos de orden p
m
en G corresponde
al conjunto de conjugados de P, cierto P de orden p
m
. Sea S la familia
de subgrupos de G, y consideremos la accion de G en S, por conjugacion.
Entonces la orbita de P, es el conjunto de subgrupos conjugados de P y
ademas orb(P) = [G : Stab(P)], pero Stab(P) = N(P), por lo tanto si n
denota la cantidad de subgrupos de orden p
m
en G se tiene que
n = [G : N(P)].
Ademas
p
m
r = [G : N(P)][N(P) : P]|P|
r = n[N(P) : P]
Entonces n divide a r.
Ahora consideremos P la familia de subgrupos de orden p
m
en G y hagamos
actuar P en P por conjugacion (p, Q) pQp
1
, por la Proposicion (2.3.4)
se tiene que
|Fix(P)| n (mod p)
Pero Q Fix(P) si y solo si pQp
1
= Q para todo p P, es decir P N(Q),
pero Q es un subconjunto de N(Q) y ademas QN(Q) por lo tanto xQx
1
=
Q para cada x N(Q), entonces Q es el unico subgrupo de orden p
m
en
N(Q), entonces Q = P. Es decir, Fix(P) = {P}, es decir |Fix(P)| = 1. Por
lo tanto n 1 (mod p), que termina por demostar (iii) y el T. de Sylow.
A los subgrupos de orden p
m
le llamamos psubgrupos de Sylow. Notemos
que la parte (ii) del Teorema dice, que todos los p subgrupos de Sylow son
conjugados. Ademas la demostracion de la parte (iii) dice que el unico p
subgrupo de Sylow en N(P) es P.
Un resultado evidente es el siguiente
Corolario 2.3.6 Un psubgrupo de Sylow es normal si y solamente si es el
unico psubgrupo de Sylow.
Demostracion:
1 = |G : N(H)| N(H) = G H G
Otro resultado evidente es el siguiente
41
Corolario 2.3.7 Si P es un psubgrupo de Sylow, entonces N(N(P)) =
N(P).
Demostracion:
Es claro que N(P) N(N(P)), luego basta probar la contencion en el otro
sentido.
Sea x N(N(P)), entonces xN(P)x
1
= N(P), pero como P N(P),
se tiene que xPx
1
xN(P)x
1
= N(P), luego xPx
1
es un psubgrupo
de Sylow en N(P), pero como P es normal en N(P) se tiene que P es el
unico psubgrupo de Sylow en N(P), luego xPx
1
= P, de donde resulta
que x N(P), entonces N(N(P)) N(P)
Ejemplo 2.3.6 Sea G un grupo de orden 10. Por Teorema de Cauchy existen
elementos de orden 5 y elementos de orden 2. Sea x de orden 5 y y de orden
2. Como y
1
= y, se tiene que xy = 1, pues si xy = 1 entonces x = y
1
= y
y un elemento no puedde tener a la vez orden 2 y 5.
Caso 1. G abeliano. Si (xy)
2
= x
2
y
2
= x
2
= 1, por lo tanto xy no tiene
orden 2. Del mismo modo (xy)
5
= x
5
y
5
= y
5
= y = 1, es decir, xy no tiene
orden 5, por lo tanto xy tiene orden 10. Es decir, G =< xy > . Es decir, hay
un unico grupo abeliano, salvo isomorsmo, de orden 10.
Caso 2. G no abeliano. Entonces xy = yx. Ademas por T. de Sylow, la
cantidad de subgrupos de orden 5 es un divisor de 2 y ademas congruente a 1
modulo 5. Por lo tanto, existe un unico grupo de orden 5 en G. Por lo tanto
< x > es normal en G. Por lo tanto yxy
1
= yxy < x > .
Si yxy = 1 entonces x = 1, lo que no puede ser.
Si yxy = x entonces yx = xy, lo que no puede ser, pues x y y no conmutan.
Si yxy = x
2
, entonces x
4
= x
2
x
2
= (yxy)(yxy) = yx
2
y, por otra parte
x = y
2
xy
2
= y(yxy)y = yx
2
y = x
4
lo que no puede ser, ya que querra decir que x
3
= 1, pero x es de orden 5.
Si yxy = x
3
, entonces x
4
= x
9
= (yxy)(yxy)(yxy) = yx
3
y, por otra parte
42
x = y
2
xy
2
= y(yxy)y = yx
3
y = x
4
lo que no puede ser, ya que querra decir que x
3
= 1, pero x es de orden 5.
Por lo tanto necesariamente yxy = x
4
= x
1
o dicho de otro modo yx =
x
1
y. Entonces G

= D
5
, donde D
5
es el grupo de simetras del pentagono
regular.[Ejercicio]
Ejemplo 2.3.7 Sea G abeliano y nito. Sea |G| = p
n
1
1
p
n
2
2
p
n
r
r
la descom-
posicion prima de G. Sea r un divisor de |G|. Entonces r = p
m
1
1
p
m
2
2
p
m
s
s
con s r y m
i
n
i
. Por T. de Sylow, existe un subgrupo de orden H
i
= p
m
i
i
en G, para cada i. Ademas como G es abeliano, H
i
es normal en G. Consid-
eremos H
1
y H
2
, cuyos ordenes son p
m
1
1
y p
m
2
2
respectivamente, por lo tanto
son primos relativos. Entonces H
1
H
2
= {1}, de hecho si x H
1
H
2
,
entonces el orden de x divide a p
m
1
1
y a p
m
2
2
, luego el orden de x es 1, en-
tonces x = 1. Por lo tanto H
12
= H
1
H
2
es subgrupo de G de orden p
m
1
1
p
m
2
2
,
de hecho es grupo por que H
1
H
2
= H
2
H
1
pues G es abeliano, ademas sea
: H
1
H
2
H
1
H
2
denida por (h
1
, h
2
) = h
1
h
2
, que es claramente
epiyectiva, ademas si (h
1
, h
2
) = (h
1
, h
2
) implica que h
1
h
2
= h
1
h
2
es decir,
h
2
h
1
2
es el inverso de h
1
1
h por lo tanto h
2
h
1
2
H
1
H
2
, por lo tanto
h
2
h
1
2
= 1 es decir, h
2
= h
2
por lo tanto h
1
= h
1
. Lo que muestra que
es inyectiva y por consiguiente, es biyectiva. Entonces H
12
= H
1
H
2
es un
subgrupo de G de orden p
m
1
1
p
m
2
2
.
Ahora notemos que H
12
y H
3
tienen ordenes que son primos relativos, por lo
tanto H
12
H
3
= {1} y por lo tanto, usando el mismo argumento que antes
H
123
= H
12
H
3
es un subgrupo de G de orden p
m
1
1
p
m
2
2
p
m
3
3
. Con un argumento
inductivo se muestra que
H
12345...s
= H
1
H
2
H
3
H
s
es un grupo de orden r en G. Es decir, el recproco del teorema de Lagrange
es cierto cuando G es abeliano.
2.3.2.
n
En esta seccion le daremos un vistazo con mayor detalle a
n
, el grupo de
permutaciones de n elementos. Como el Teorema de Cayley arma que todo
43
grupo es isomorfo a un subgrupo de de un grupo de permutaciones, esto
basta para intentar conocer mas personalmente a
n
, al menos haberlo
saludado de mano. Ademas este grupo tiene aplicaciones interesante a la
teora de grafos y a la teora de Galois. Por ejemplo, que el polinomio general
de grado mayor o igual a 5 con coecientes en R (u otro cuerpo) no tenga
una formula que eche mano a los coecientes del polinomio, y a operaciones
de races, utiliza como resultado previo que dice que
n
no es soluble para
n 5. En este apartado demostraremos varias propiedades de
n
entre ellas
su solubilidad ( o no solubilidad).
Primero que todo, recordemos que
1
= {1} y
2
= {1, (12)} que son
abelianos. Ademas (12)(123) = (123)(12), por lo tanto
n
no es abeliano
para n 3.
Si = (i
1
i
2
i
3
. . . i
r
)
n
le llamamos un ciclo de largo r, para denotar a
la funcion de I
n
= {1, 2, 3, . . . , n} en si mismo, que ja a todo elemento de
I
n
\{i
1
, i
2
, i
3
, , i
r
} y ademas (i
k
) = i
k+1
si 1 k r 1 y (i
r
) = i
1
. Por
ejemplo, (1234) es un ciclo de largo 4 en
2010
.
2
Tambien podemos notar que
= (i
1
i
2
i
3
. . . , i
r
) = (i
1
(i
1
)
2
(i
1
)
3
(i
1
) . . .
r1
(i
1
)). Por lo tanto
t
= 1 si
1 t r 1. Pero ademas
r
(i
1
) = (i
r
) = i
1
y
r
(i
j
) = (
j1
)
r
(i
1
) =
(
r
)
j1
(i
1
) =
j1
(i
1
) = i
j
. Es decir,
r
es la identidad en {i
1
, i
2
, . . . , i
r
} y
como ja a todo elemento de I
n
\ {i
1
, i
2
, i
3
, , i
r
}, entonces
r
= 1. Por
lo tanto:
Proposicion 2.3.5 Un ciclo de largo r tiene orden r.
Ademas notamos que no existe una unica manera de escribir un ciclo, por
ejemplo (123) = (231) = (312). Mas generalmente (i
1
i
2
i
3
. . . i
r
) = (i
2
i
3
. . . i
r
i
1
)
= (i
3
i
4
. . . i
r
i
1
1
2
) = (i
r
i
1
. . . i
r2
i
r1
) es decir, un ciclo de largo r se puede
escribir de r formas distintas. De hecho basta jar el primer elemento del
ciclo para que quede totalmente determinado.
Consideremos el elemento de
9
denido como sigue:
_
1 2 3 4 5 6 7 8 9
3 4 2 1 6 5 9 7 8
_
2
Hay una cierta ambig u edad con la notacion de ciclos, pues (123) puede ser consid-
erado en
n
para cualquier n 3, pero cargaremos con esta culpa, y el contexto nos
permitira entender en cual
n
se esta.
44
Podemos escribir como producto de ciclos como sigue = (1324)(56)(798)
notamos que no hay un n umero de I
9
que se repita en un par de ciclos de .
Ademas cada elemento de I
9
esta en un ciclo de . Si por ejemplo, = (1234)
en
9
podemos escribirlo como = (1234)(5)(6)(7)(8)(9) entonces podemos
decir, que tambien es un producto de ciclos, donde los ciclos son disjuntos
dos a dos y cada elemento de I
9
esta en un ciclo de
Diremos que dos ciclos (i
1
i
2
i
3
i
r
) y (j
1
j
2
j
3
j
s
) son disjuntos en
n
si
i
k
= j
l
para todo k = 1, 2, 3 . . . r y l = 1, 2, 3 . . . , s.
Teorema 2.3.6 Toda permutacion se escribe como producto de ciclos dis-
juntos, ademas esa representacion es unica salvo el orden.
Demostracion: Sea
n
y consideremos H el grupo cclico generado por
en
n
. Consideremos tambien la accion
H I
n
I
n
denida por (, k) (k). Sean {X
i
}
r
i=1
las diferentes orbitas. Por lo tanto
X
i
X
j
= si i = j y ademas
I
n
=
r
_
i=1
X
i
Ademas notamos que si z X
j
= Orb(x
j
) entonces z =
m
(x
j
) para cierto
m Z, por lo tanto (z) =
m+1
(x
j
) X
j
, por lo tanto (X
j
) X
j
. Mas
a un (X
j
) = X
j
, pues es biyeccion de I
n
.
Denamos
j

n
del siguiente modo
j
(x) =
_
(x) si x X
j
x si x / X
j
Consideremos
1
3

r

n
, tomemos x I
n
=
r
_
i=1
X
i
, entonces
3

r
(x) =
j
(x)
si x X
j
pero
j
(x) = (x) si x X
j
por lo tanto
=
1
3

r
45
Si |X
j
| = r
j
y x
j
X
j
entonces X
j
= {x
j
, (x
j
),
2
(x
j
), . . . ,
r
j
1
(x
j
)}
que es lo mismo que
X
j
= {x
j
,
j
(x
j
),
2
j
(x
j
), . . . ,
r
j
1
j
(x
j
)}
pero ademas
j
funciona como la identidad fuera de X
j
por lo tanto
j
es el
ciclo
j
= (x
j
j
(x
j
)
2
j
(x
j
)
r1
j
(x
j
))
Luego es un producto de ciclos disjuntos.
La unicidad es un [ejercicio] para el estudiante.
Observacion 2.3.5 Si = (i
1
i
2
. . . i
r
) y = (j
1
j
2
j
3
. . . j
s
) son ciclos disjun-
tos, esto quiere decir que funciona como la identidad en los i
k
y funciona
como la identidad en los j
t
. Por lo tanto, si x / {i
k
}
r
k=1
{j
t
}
s
k=1
, entonces
(x) = x = (x). Si x {i
k
}
r
k=1
, entonces (x) = (x) = (x). Para
nalizar si x {j
t
}
s
t=1
, entonces (x) = (x) = (x). Es decir, los ciclos
disjuntos conmutan.
En lo que sigue trataremos de encontrar generadores de
n
. Hasta el momento
tenemos que los ciclos generan
n
. Consideremos un ciclo cualquiera de
n
,
digamos (i
1
i
2
. . . i
r
), entonces ese ciclo lo podemos escribir del siguiente modo:
(i
1
i
2
. . . i
r
) = (i
1
i
r
)(i
1
i
r1
)(i
1
i
r2
) (i
1
i
3
)(i
1
i
2
)
Como toda permutacion es producto de ciclos y como todo ciclo es producto
de 2ciclos, entonces los 2 ciclos generan a
n
. A los 2 ciclos les llamamos
transposiciones. Entonces tenemos que
Teorema 2.3.7 Toda permutacion se puede escribir como producto de trans-
posiciones no necesariamente disjuntas.
Por lo tanto las transposiciones generan todo
n
. Sin embargo, una per-
mutacion no tiene una unica forma de escribirse como producto de trans-
posiciones. Por ejemplo: (13)(34) = (34)(14) y no es solo orden sino que son
distintas formas de escribirlas. Ademas como una transposicion es su propia
inversa podemos agregar dos veces una misma transposicion y no cambiar a
la permutacion, por ejemplo:
(134) = (12)(34)(23)(23)(45)(45)(14)(14)
46
Es decir, ni siquiera el largo de la escritura va transposiciones es invari-
ante. Una pregunta que surge es si hay algo invariante en la escritura y una
respuesta es la paridad. Es decir, si una permutacion se escribe como un
producto par de transposiciones, cualquier otra escritura tambien tiene un
n umero par de transposiciones. Es decir, no hay ninguna transposicion que
se pueda escribir como un producto de un n umero par de transposiciones y
por otro lado como el producto de un n umero impar de transposiciones.
De hecho, consideremos la base canonica B = {e
1
, e
2
, e
3
, . . . , e
n
} de R
n
, en-
tonces si
n
el conjunto {e
(1)
, e
(2)
, e
(3)
, . . . , e
(n)
, } es tambien la base
canonica. Consideremos la matriz M
M
n
(R), cuya iesima columna es el
vector e
(i)
. Como el determinante es alternado (cada vez que se permutan
dos columnas el determinante cambia en un signo) y como el determinante de
la matriz identidad es 1, se tiene que si =
1
3

r
, con
i
transposicion,
entonces el determinante de M
es (1)
r
. Como el determinante toma un
unico valor para una matriz dada, entonces no puede a la vez escribirse
como el producto de un n umero par de transposiciones y como un n umero
impar de transposiciones, si as fuese 1 = det(M
) = 1, lo cual no puede
ocurrir.
Si una permutacion se escribe como un n umero par de transposiciones se
llama una permutacion par, en caso contrario se llama impar. Por ejemplo,
(si n 2) la identidad es par, pues 1 = (12)(12). El producto de dos per-
mutaciones pares es par, el producto de dos impares es par, y el producto de
una par con una impar es impar. Como el conjunto {1, 1} es un grupo con
la multiplicacion de R, la funcion
sgn :
n
{1, 1}
denida por sign() = 1, si es par y (1) si es impar, es un morsmo
de grupos, llamado signo. Si n 2 este morsmo es epiyectivo y el kernel
de sgn es el subgrupo normal de
n
formado por todas las permutaciones
pares, llamado el grupo alternante en n smbolos y lo denotamos por A
n
. Por
el Primer Teorema del Isomorsmo se tiene que
n
/A
n

= {1, 1}
As se tiene que A
n
es normal en
n
, tiene ndice 2 en
n
, y que |A
n
| =
n!
2
.
47
Ejemplo 2.3.8 Por ejemplo, |A
2
| =
2!
2
= 1, es decir A
2
= {1}. Para el
caso n = 3 tenemos que |A
3
| =
3!
2
= 3, como
3
tiene un unico subgrupo
de orden 3 y es {1, (123), (132)}, entonces A
3
=< (123) > . En este caso
notamos que el 3ciclo (123) es par, de hecho (123) = (13)(12) y esto se
puede generalizar, de hecho, (abc) = (ac)(ab). Para el caso n = 4 tenemos
que |A
4
| =
4!
2
= 12, y como A
4
contiene a todos los tres ciclos, y a los
productos de 2 transposiciones disjuntas se tiene que
A
4
= {1, (123), (132), (124), (142), (134), (143), (234), (243),
(12)(34), (13)(24), (14)(23)}
Notamos que A
4
tiene elementos de orden 3, de orden 2 y de orden 1 sola-
mente. No tiene elementos de orden 6, ni de orden 4. Supongamos ahora que
A
4
tiene un subgrupo H de orden 6, este necesariamente tiene un elemento
de orden 3 y uno de orden 2. Como existen solamente 2 grupos de orden
6, salvo isomorsmos,
3
y Z
6
y como A
4
no tiene elementos de orden 6,
entonces tal grupo H de orden 6 en A
4
sera isomorfo a
3
, que tiene un
unico grupo de orden 3. Pues bien, denotemos por (abc) un elemento de or-
den 3 en H, y entonces < (abc) > es el unico grupo de orden 3 en H. Sea
d {1, 2, 3, 4} \ {a, b, c}, entonces el elemento (ab)(cd) no puede estar en H
por que si lo estuviera
(abc)(ab)(cd) = (acd) H
pero (acd) / < (abc) > . Tampoco puede estar (ac)(bd) pues si lo estuviera
(abc)(ac)(bd) = (bdc) H
pero (bdc) / < (abc) > . Tampoco puede estar (ad)(bc) pues si lo estuviera
(abc)(ad)(bc) = (adb) H
pero (bdc) / < (abc) > . Pero (ab)(cd), (ac)(bd) y (ad)(bc) son los unicos
elementos de orden 2 en A
4
. Por lo tanto H no tiene elementos de orden 2
lo cual es una contradiccion. Por lo tanto A
4
no tiene subgrupos de orden
6, pese a que 6 divide a |A
4
|, lo que implica que el recproco del Teorema de
Lagrange es falso.
48
Ademas notamos que el grupo de Klein V
4
= {1, (13)(24), (12)(34), (14)(23)}
es el unico 2Sylow en A
4
, por lo tanto V
4
es normal en A
4
. Ademas tenemos
una cadena de subgrupos normales
{1} < (12) > V
4
A
4
Tal que los cuocientes
A
4
/V
4
, V
4
/ < (12)(34) >, < (12)(34) > /1
son todos abelianos (mas precisamente son todos cclicos). Esa misma carac-
terstica la tiene
3
, de hecho
{1} < (123) >
3
y
3
/ < (123) >, < (123) > /1
son abelianos. Tambien D
4
el grupo diedral de 8 elementos tiene esa propiedad,
de hecho
{1} < (12)(34) > V
4
D
4
y
D
4
/V
4

= V
4
/ < (12)(34) >
=< (12)(34) > /1

= Z
2
En lo que sigue demostraremos que A
n
no tiene esa propiedad (una cadena
de subgrupos, cada uno normal en el siguiente, partiendo de {1} y llegando
a al grupo completo, donde cada cuociente es abeliano) si n 5. Para ello
analizaremos mas detenidamente a A
n
.
En el ejemplo anterior vimos que todo 3ciclo es par, de hecho (abc) =
(ac)(ab). Reciprocamente, consideremos el producto de dos transposiciones
(ab)(cd), y analizaremos los tres casos posibles: las transposiciones son dis-
juntas, las transposiciones son la misma, las transposiciones tienen un valor
en com un. Si son la misma transposicion, entonces (ab)(cd) = (ab)(ab) = 1 =
(123)(123)(123). Si tienen un valor en com un, entonces (ab)(cd) = (ab)(bc) =
(abc). Si son disjuntas, entonces (ab)(cd) = (acb)(acd). Por lo tanto como to-
da permutacion par se escribe como un producto de pares de transposiciones,
entonces toda permutacion par se escribe como producto de 3 ciclos. Es de-
cir:
49
Teorema 2.3.8 Si n 3, entonces los 3ciclos generan A
n
.
Tomemos ahora r = s I
n
, con n 3 y consideremos el conjunto T =
{(rsk)/ s = k = r, k I
n
} A
n
. Consideremos un 3ciclo cualquiera en
A
n
, digamos (abc), entonces
(abc) = (rsa)
2
(rsc)(rsb)
2
(rsa)
siempre y cuando {r, s} {a, b, c} = . Si {r, s} = {a, b}, entonces (abc) =
(rsc) o (rcs). En el primer caso (rsc) T y el el segundo (rcs) = (rsc)(rsc).
Si |{r, s} {a, b, c}| = 1, entonces sin restriccion (abc) = (rbc), en este caso
(rbc) = (rsc)(rsb)
2
. Entonces tenemos que todo 3 ciclo de A
n
se puede
escribir como producto de elementos de T. Por lo tanto, tenemos el siguiente:
Teorema 2.3.9 Si n 3, y r = s entonces A
n
es generado por {(rsk)/ s =
k = r, k I
n
}.
Ahora consideremos un subgrupo N normal en A
n
, con n 3 y supongamos
que N contiene un 3 ciclo, entonces en el caso n = 3 se tiene que N =
A
3
=< (123) > . Pero si n > 3 el resultado tambien es cierto, de hecho si
(rsc) N y k / {r, s, c} entonces (rsk) = (rs)(ck)(rsc)
2
[(rs)(ck)]
1
N,
pero como {(rsk)/ s = k = r, k I
n
} genera a A
n
se tiene que A
n
= N. Es
decir,
Teorema 2.3.10 Si n 3, N A
n
y N contiene un 3ciclo, entonces
N = A
n
.
Si demostramos que todo subgrupo normal N de A
n
, tiene un 3ciclo, habre-
mos demostrado que A
n
no tiene subgrupos normales distintos de A
n
y de
{1}. Pero ya vimos que para el caso A
4
tiene un subgrupo normal, a saber V
4
el grupo de Klein, as que tal tarea no es posible para n = 4. Sin embargo,
el resultado es cierto para n 5. Es decir,
Teorema 2.3.11 Si n = 3 o n 5 y {1} = N A
n
, entonces N tiene un
3ciclo.
Demostracion:
El caso n = 3 es trivial. Consideremos n 5 y tomemos un elemento no
nulo de N, que no es un 3ciclo.
50
Si en la descomposicion cclica de hay un elemento de largo mayor o igual
a 4, entonces = (i
1
i
2
i
3
i
4
, ..i
r
) con disjunto con (i
1
i
2
i
3
i
4
, ..i
r
), entonces
1
(i
1
i
2
i
3
)(i
1
i
3
i
2
) = (i
1
i
2
i
3
i
4
, ..i
r
)
1
(i
1
i
2
i
3
)(i
1
i
2
i
3
i
4
, ..i
r
)(i
1
i
3
i
2
) N
pero (i
1
i
2
i
3
i
4
, ..i
r
)
1
(i
1
i
2
i
3
)(i
1
i
2
i
3
i
4
, ..i
r
)(i
1
i
3
i
2
) = (i
1
i
3
i
r
) N
Si la descomposicion en ciclos disjuntos de tiene al menos dos elementos de
largo 3. Digamos = (i
1
i
2
i
3
)(i
4
i
5
i
6
) y disjunto con (i
1
i
2
i
3
) y con (i
4
i
5
i
6
).
Consideremos (i
1
i
2
i
4
) A
n
y consideremos el elemento:
1
(i
1
i
2
i
4
)(i
1
i
4
i
2
) = ((i
1
i
2
i
3
)(i
4
i
5
i
6
))
1
(i
1
i
2
i
4
)(i
1
i
2
i
3
)(i
4
i
5
i
6
)(i
1
i
4
i
2
) N
pero ((i
1
i
2
i
3
)(i
4
i
5
i
6
))
1
(i
1
i
2
i
4
)(i
1
i
2
i
3
)(i
4
i
5
i
6
)(i
1
i
4
i
2
) = (i
1
i
4
i
2
i
6
i
3
) N por
el caso anterior se tiene que N tiene un 3ciclo.
Si la descomposicion en ciclos disjuntos de tiene solo un elemento de largo
3 y el resto de largo 2. Digamos = (i
1
i
2
i
3
) y es un producto de trans-
posiciones disjuntas y disjuntas con (i
1
i
2
i
3
). Entonces
2
N y ademas
2
= (i
1
i
2
i
3
)
2
2
= (i
1
i
3
i
2
) N.
Si la descomposicion en ciclos disjuntos de solo tiene transposiciones. Dig-
amos = (i
1
i
2
)(i
3
i
4
) y es un producto de transposiciones disjuntas y
disjuntas (i
1
i
2
) y con (i
3
i
4
). Entonces consideremos (i
1
i
2
i
3
) A
n
y consider-
emos como antes
1
(i
1
i
2
i
3
)(i
1
i
3
i
2
) = (i
1
i
2
)(i
3
i
4
)(i
1
i
2
i
3
)(i
1
i
2
)(i
3
i
4
)(i
1
i
3
i
2
) = (i
1
i
3
)(i
2
i
4
) N
como n > 4 tomemos b I
n
\ {i
1
, i
2
, i
3
, i
4
}, y consideremos (i
1
i
3
b) entonces
(i
1
i
3
)(i
2
i
4
)(i
1
i
3
b)(i
1
i
3
)(i
2
i
4
)(i
1
bi
3
) = (i
1
i
3
b) N
Si G es un grupo que no tiene subgrupos normales, salvo {1} y G, se dice
que es simple. Entonces los dos ultimos resultados dicen que:
Teorema 2.3.12 Si n = 3 o n 5, entonces A
n
es simple.
Antes de seguir, notemos lo siguiente: si 1 =
n
con n 3, y (1) = i = 1
entonces consideremos k con 1 = k = i y denamos = (ik), entonces
(1) = (1) = i y en cambio (1) = (i) = k = i, es decir / Z(
n
).
Por otra parte, si (1) = 1 y como = 1 existen i = j tal que (i) = j.
Denamos = (1i), en este caso (1) = (i) = j y (1) = (1) = i = j.
Entonces / Z(
n
). Es decir hemos demostrado el siguiente resultado:
51
Teorema 2.3.13 Si n 3, entonces Z(
n
) = {1}.
Consideremos ahora un ciclo en
n
, digamos = (a
1
a
2
a
3
. . . a
r
) y con-
juguemos va cualquier permutacion de
n
. Lo que queremos mostrar
es que
1
es tambien un ciclo de largo r, para ello notamos que si I
n
=
{1, 2, 3, 4, . . . , n} entonces I
n
= {(1), (2), . . . , (n)}, entonces para conocer
1
tenemos que ver cual es su efecto en (i) para cada i I
n
. Entonces
empecemos a evaluar los elementos que no estan en {(a
i
)}
r
i=1
. Si tomamos
x / {(a
i
)}
r
i=1
, entonces
1
(x) / {a
i
}
r
i=1
, por lo tanto (
1
(x)) =
1
(x)
as se tiene que
1
(x) = x
Es decir,
1
funciona como la identidad fuera de {(a
i
)}
r
i=1
. Ahora tome-
mos x = (a
1
), entonces
1
((x)) =
1
((a
1
)) = (a
1
) = (a
2
)
Del mismo modo evaluando en (a
2
) se tiene:
1
((a
2
)) = (a
2
) = (a
3
)
En general si i < r se tiene que:
1
((a
i
)) = (a
i
) = (a
i+1
)
y ademas
1
((a
r
)) = (a
r
) = (a
1
)
Es decir,
(a
1
a
2
a
3
. . . a
r
)
1
= ((a
1
)(a
2
)(a
3
) . . . (a
r
))
Es decir, el conjugado de un ciclo de largo r es un ciclo de largo r. Mas
generalmente, si =
1
2

r
es el producto de ciclos disjuntos y una
permutacion cualquiera, entonces por lo anterior
i
=
i
1
es un ciclo del
mismo largo que
i
y ademas:
1
=
1
3

r
1
=
1
1

1
1
=
1
3

r
52
Es decir, el conjugado de una permutacion tiene la misma estructura de ciclos
disjuntos que la permutacion.
Reciprocamente si = (i
1
i
2
i
3
. . . i
r
) y = (k
1
k
2
k
3
. . . k
r
) son dos ciclos del
mismo largo en
n
. Consideremos A = I
n
\ {i
j
}
r
j=1
y B = I
n
\ {k
j
}
r
j=1
,
entonces se tiene que |A| = |B| = n r. Tomemos una biyeccion de A en
B y llamemos a esa biyeccion. Ahora bien denamos
n
como sigue:
(i
j
) = k
j
para j = 1, 2, 3, . . . , r y (x) = (x) si x / {i
j
}
r
j=1
. Por lo tanto
1
= ((i
1
)(i
2
)(i
3
) (i
r
)) =
Es decir, dos ciclos del mismo largo son conjugados, y por lo tanto dos per-
mutaciones que tienen la misma estructura de ciclos disjuntos son conjugados.
Tenemos el siguiente teorema:
Teorema 2.3.14 La clase de conjugacion de una permutacion es el conjunto
de todas las permutaciones que tienen su misma estructura de ciclos.
Ejemplo 2.3.9 Considermos = (1234 . . . n)
n
, entonces todos los ele-
mentos del grupo generado por conmutan con . La pregunta que hacemos
es si hay elementos fuera de < > que conmutan con . Hasta el momento
tenemos que n elementos conmutan con . Por lo anterior, la clase de conju-
gacion tiene tantos elementos como n. cilos hay en
n
. Pero hay
n!
n
= (n1)!
n ciclos en
n
, pero la clase de conjugacion de un elemento es el ndice del
centralizador del elemento en el grupo, es decir
(n 1)! = [
n
: C()] =
|
n
|
|C()|
=
n!
|C()|
Luego |C()| = n, es decir, C() =< > .
Ahora bien consideremos un grupo normal N en
n
, con n 5, distinto de
1, y de
n
. Tomemos 1 = N, como Z(
n
) = 1 y como las transposiciones
generan
n
existe una transposicion en
n
que no conmuta con , llamemosla
y consideremos la permutacion 1 =
1
N, ademas notamos que
1
es una transposicion, pues el conjugado de una transposicion. Por lo
tanto (
1
) es el producto de dos transposiciones, entonces
1 =
1
N A
n
53
Pero {1} = A
n
N A
n
, entonces A
n
N = A
n
, entonces A
n
N, pero A
n
tiene ndice 2, entonces A
n
= N. Es decir:
Teorema 2.3.15 Los unicos subgrupos normales de
n
con n = 3 o n 5
son {1}, A
n
y
n
.
Notemos ahora que A
3
es abeliano, y que si n > 3, entonces
(123)(124) = (13)(24) = (14)(23) = (124)(123)
por lo tanto para n > 3, A
n
no es abeliano. Por lo tanto si n 5, entonces
la unica cadena de subgrupos normales que aprte en {1} y termina en
n
es:
{1} A
n
n
pero los cuocientes
n
/A
n
y A
n
/{1} no son todos abelianos, pues A
n
/{1}

=
A
n
que no es abeliano.
Un grupo G se dice soluble si existe una cadena de subgrupos
G
1
= {1} G
2
G
3
G
n
= {G}
cada G
i
es normal en G
i+1
y ademas cada cuociente G
i+1
/G
i
es abeliano,
para i = 1, 2, 3, . . . , n 1. Para terminar esta seccion tenenemos que:
Teorema 2.3.16 Si n 5, entonces
n
no es soluble.
Teorema 2.3.17 Si n 5, entonces A
n
no es soluble.
Ejemplo 2.3.10 Todo grupo abeliano es soluble, pues basta tomar la serie
{1}G. Si G es un pgrupo nito de orden p
n
, con p primo, entonces existe
un subgrupo G
n1
de G orden p
n1
, cuyo ndice en G es p, el menor primo
que divide a p, entonces G
n1
G. Por la misma razon existe un subgrupo
normal en G
n1
de ndice p, llamemoslo G
n2
. Inductivamente podemos crear
una cadena
G
0
= {1} G
1
G
2
G
n1
G
n
= G
donde cada G
i
G
i+1
y el ndice [G
i+1
: G
i
] = p entonces cada factor
G
i+1
/G
i

= Z
p
. Luego todo p grupo nito es soluble. Es el caso de D
4
que
tiene 2
3
= 8 elementos.
54
Captulo 3
Anillos
En este captulo estudiaremos una estructura algebraica, que tiene dos opera-
ciones binarias, digamos + y las cuales las llamamos anillos. Estas estructura
forman un grupo abeliano con la operacion +, as que muchas propiedades
de grupos seran utilizadas. Con la otra operacion no alcanza a ser un grupo,
pero al menos es asociativa y distribuye respecto a +. Este estudio permite
analizar como son compatibles estas dos operaciones en un mismo conjunto.
Los ejemplos mas importantes son Z
n
, Z, Q, R, C, K[x] el anillo de polinomios
sobre un cuerpo K, M
n
[K] el anillo de matrices sobre un cuerpo K, entre
otros. Al igual que en el caso de grupos, deniremos, objetos llamados ide-
ales de un anillo, que permiten hacer cuocientes de anillos, y obtener otro
anillo, es decir, lo ideales son a los anillos como los subgrupos normales son
a los grupos. Extenderemos las nociones de anillos de matrices y anillos de
polinomios a estructuras, donde los coecientes no necesariamente estan en
un cuerpo, sino que en un anillo. Luego de eso en el proximo captulo estu-
diaremos acciones de anillos, como las acciones de grupos, a los cuales les
llamaremos Modulos, que en cierto sentido extienden la nocion de espacio
vectorial, donde la multiplicacion escalar, no es solo por un cuerpo, sino que
ahora sera la multiplicacion escalar de un anillo. Un caso particular seran los
Zmodulos, que resultan ser los grupos abelianos.
3.1. Preliminares
Para nosotros un Anillo (R, +, ) es un conjunto no vaco con dos operaciones
binarias, + que llamaremos suma y que llamaremos multiplicacion (y no
55
anotaremos en lo sucesivo, es decir a b lo anotaremos por ab) y dos elementos
destacados 0 y 1, (0 = 1) tal que:
(R, +) es un grupo abeliano con neutro 0.
La multiplicacion es asociativa, esto es, para todo tro a, b, c de R se
cumple que
(ab)c = a(bc)
La multiplicacion distribuye respecto a la suma, esto es, para todo tro
a, b, c de R se cumple que
a(b + c) = ab +ac y (a + b)c = ac + bc
Ademas 1 es neutro
1
para la mutiplicacion, esto es, para cada a R se
cumple que
1a = a1 = a.
Si en un anillo R, para todo par de a, b R se verica que ab = ba, entonces
diremos que el anillo es conmutativo.
Si R es un anillo y x R, entonces x + x0 = x(1 + 0) = x1 = x entonces
x0 = 0 y del mismo modo se puede demostrar que 0x = 0. Tambien se tiene
que (1)x+x = (1+1)x = 0x = 0, por lo tanto (1)x = x. Consideremos
ahora (x)y + xy = (x + x)y = 0y = 0 por lo tanto (x)y = xy del
mismo modo x(y) = xy. Tambien se comprueba que (x)(y)+(xy) =
(x)(y) + x(y) = ((x) + x)y = 0y = 0 por lo tanto (x)(y) = xy.
Finalmente denimos x y como x + (y).
Sea 0 = x R y si existe 0 = z R tal que xz = 0, entonces decimos que
x es un divisor de cero por la izquierda. Si existe 0 = y R tal que yx = 0
decimos que x es un divisor de cero por la derecha. Si x es un divisor de cero
por la izquierda y por la derecha, entonces decimos que x es un divisor de
cero.
Si un anillo de D es conmutativo y no tiene divisores de cero, decimos que D
es un dominio de integridad o un dominio entero o simplemente un dominio.
1
Hay textos que denen Anillo, sin incluir el neutro multiplicativo. A lo que nosostros
denimos aca, ellos le llaman anillo con unidad.
56
Si R es un anillo y x R, decimos que x es invertible por la izquierda si
existe z R tal que xz = 1. Diremos que es invertible por la derecha si existe
y R tal que yx = 1. Diremos que x es invertible o unidad si es invertible
por la izquierda y por la derecha.
Observacion 3.1.1 Si x es una unidad de un anillo R tal que xy = zx = 1,
entonces
z = z1 = z(xy) = (zx)y = 1y = y
Es decir, el inverso izquierdo y derecho de una unidad x son el mismo y
ademas es unico y lo denotamos por x
1
.
Si R es una anillo donde todo elemento distinto de cero es una unidad, se
llama un anillo de division.
Un anillo de division conmutativo, se llama cuerpo.
Observacion 3.1.2 Un anillo de division no tiene divisores de cero, de he-
cho, si xy = 0 con x = 0, entonces mutiplicando por el inverso de x por la
izquierda se obtiene y = x
1
xy = x
1
0 = 0.
Observacion 3.1.3 Si D es un dominio de integridad nito, entonces D es
un cuerpo, de hecho, consideremos 0 = a D y la funcion : D D
denida por (x) = ax. Si (x) = (y) se tiene que ax = ay, entonces
a(x y) = 0 como D es un dominio y a = 0 se tiene que x y = 0 y por lo
tanto es inyectiva. Como D es nito, entonces es biyectiva, por lo tanto
existe z D tal que (z) = 1, es decir az = 1 = za. Es decir, D es un
cuerpo.
Ejemplo 3.1.1 (Z, +, ) es un anillo. Mas a un es un dominio de integridad.
De hecho, los dominios de integridad reciben ese nombre debido a Z. Las
unicas unidades de Z son 1 y 1.
Ejemplo 3.1.2 Z
n
con la suma y multiplicacion modulo n es un anillo con-
mutativo. Si n = 1 y n no es primo, entonces Z
n
tiene divisores de cero y el
conjunto de todas las unidades de Z
n
es {[k]/ MCD(n, k) = 1}. [Ejercicio]
Si p es primo, entonces Z
p
es cuerpo.
Ejemplo 3.1.3 El conjunto de los n umeros racionales, el conjunto de los
n umeros reales, el conjunto de los n umeros complejos Q, R y C, son
ejemplos de cuerpos.
57
Ejemplo 3.1.4 El conjunto Z[i] = {a + bi/ a, b Z y i
2
= 1} es un
anillo con la suma y producto usual de C. Si z denota el conjugado de z
Z[i], entonces el conjugado de z es un elemento de Z[i]. Mas a un el n umero
complejo zz es en realidad un n umero entero no negativo, de hecho es a
2
+b
2
si z = a + bi. Si denotamos
zz = |z| podemos ver que |zw| = |z||w| con

z, w Z[i]. Ademas z = 0 si y solo si |z| = 0. Por lo tanto Z[i] no tiene
divisores de cero, de hecho si zz
= 0 entonces |z||z
| = |zz
| = 0 por lo tanto
|z| = 0 o |z
| = 0, es decir, z = 0 o z
= 0. Si z es una unidad en Z[i]

llamemos w a su inverso, entonces |z||w| = |zw| = |1| = 1 por lo tanto |z| es
unidad en Z, es decir, |z| = 1. Por lo tanto las unicas unidades de Z[i] son
1, 1, i y i. El anillo Z[i] se llama el anillo de enteros Gaussianos.
Ejemplo 3.1.5 El conjunto Z[
2] = {a + b
2/ a, b Z y (
2)
2
=
2} es un anillo con la suma y producto usual de C, cuyas unicas unidades
son 1 y 1.[Ejercicio]
Ejemplo 3.1.6 Sea Q[
2] = {p(
2)/p(x) Q[x]} es el conjunto de todos

los polinomios con coecientes racionales evaluados en
2, es un subconjunto
de R. Toda potencia par de
2 es un n umero racional (de hecho es entero), y

toda potencia impar de
2 es un m ultiplo entero de
2, por lo tanto Q[
2] =
{a + b
2/ a, b Q} con la suma y multiplicacion usual de R se tiene que

Q[
2] es una anillo. Como
2 / Q, se tiene que los unicos racionales a y

b que satisfacen a
2
2b
2
= 0 son a = 0 = b. Por lo tanto si a + b
2 = 0,
entonces a = 0 o b = 0, en cualquier caso 0 = a
2
2b
2
Q por lo tanto el
n umero real
a
a
2
2b
2
+
b
a
2
2b
2
2
es un elemento de Q[
2], y ademas
(a + b
2)
_
a
a
2
2b
2
+
b
a
2
2b
2
2
_
= 1
Como Q[
2] R, entonces Q[
2] es conmutativo y como vimos arriba es

anillo de division, por lo tanto Q[
2] es un cuerpo.
Ejemplo 3.1.7 El conjunto de polinomio K[x] con coecientes en un cuer-
po K, es un anillo con la suma y producto usual de polinomios. De hecho
es un dominio de integridad, cuyo conjunto de unidades es el conjunto de
polinomios de grado 0. [Ejercicio].
58
Ejemplo 3.1.8 El conjunto de las matrices cuadradas de n n con coe-
cientes en un cuerpo K, es un anillo con la suma y producto usual de ma-
trices, denotaremos tal conjunto como M
n
(K). Si n 2 es un anillo no
conmutativo con divisores de cero.[Ejercicio].
Ejemplo 3.1.9 El conjunto de las funciones continuas f : [0, 1] R es una
anillo con la suma f + g : [0, 1] R denida por (f + g)(x) = f(x) + g(x)
y el producto fg : [0, 1] R denida por fg(x) = f(x)g(x). El neutro
aditivo es la funcion nula (constante igual a cero) y el neutro multiplicativo
es la funcion constante igual a 1. Este anillo es conmutativo, pero no es un
dominio de integridad.[Ejercicio].
Ejemplo 3.1.10 Sea (G, +) un grupo abeliano y sea End(G) = {f : G
G/ f morsmo}. Entonces si denimos f + g : G G por (f + g)(x) =
f(x)+g(x) y el producto como la composicion de funciones, entonces tenemos
que End(G) es un anillo. Reciprocamente si R es un anillo, entonces para
cada r R denamos la funcion
r
: (R, +) (R, +) por
r
(a) = ra.
Notamos que
r
es un morsmos de grupos abelianos. Entonces tenemos la
funcion
: R End((R, +))
denida por (r) =
r
. Como
r
(1) = r, se tiene que es inyectivo.
Ejemplo 3.1.11 El conjunto H de las matrices cuadradas de 2 2 con coe-
cientes en C de la forma
_
a b
b a
_
forman un anillo con la suma y multiplicacion habitual de matrices. Antes
de vericar esta armacion recordemos que la conjugacion compleja satisface
a + b = a + b, tambien satisface ab = ab, y tambien a = a y por ultimo
a = a. As tenemos que la suma es cerrada, de hecho:
_
a b
b a
_
+
_
c d
c d
_
=
_
a +c b +d
b d a +c
_
=
_
a + c b + d
(b + d) (a + c)
_
La matriz cero esta en H y ademas el inverso de una matriz de H tambien
esta en H, de hecho
59
_
a b
b a
_
=
_
a b
b a
_
=
_
a b
(b) (a)
_
Entonces H es subgrupo de (M
2
(C), +). Por lo tanto ((H), +) es un grupo
abeliano.
Por otra parte, la multiplicacion tambien es cerrada en H, de hecho
_
a b
b a
__
c d
d c
_
=
_
ac bd ad + bc
cb ad db + ac
_
=
_
ac bd ad + bc
(ad + bc) (ac bd)
_
La asociatividad H la hereda de M
2
(C), lo mismo que la distributividad.
Ademas 1 =
_
1 0
0 1
_
H. Luego efectivamente H es un anillo.
Podemos notar ademas que H no es conmutativo, pues si tomamos las ma-
trices i =
_
i 0
0 i
_
y la matriz j =
_
0 1
1 0
_
y calculamos los productos
ij y ji :
ij =
_
0 i
i 0
_
=
_
0 i
i 0
_
= ji.
Por otra parte el determinante de un elemento x H es
det(x) = det
_
a b
b a
_
= |a|
2
+|b|
2
donde |a| = | + i| =
_
2
+
2
=
aa. Por lo tanto si x = 0, entonces

det(x) = 0. Por lo tanto x tiene inversa en M
2
(C). Si denotamos det(x) =
|a|
2
+|b|
2
por tenemos que la inversa de x en M
2
(C) es
x
1
=
1
_
a (b)
b a
_
H
Entonces H es un anillo de division no conmutativo. Ademas H es un espacio
vectorial sobre R de dimension 4 y una base de H sobre R es {1, i, j, ij = k}.
Notamos que i
2
= j
2
= k
2
= 1 y ademas ij = k = (ji), jk = i = (kj) y
60
ki = j = (ik). Por lo tanto otra forma de ver H es el espacio vectorial de
dimension 4 sobre R con base {1, i, j, k} y con tabla de multiplicacion como
la de arriba. Al conjunto H denido como arriba se le llama el anillo de
cuaterniones o el algebra de cuaterniones, o anillo de Hamilton o algebra de
Hamilton.
Si R es un anillo y x R, entonces denimos x
0
= 1 y si para k N, x
k
esta denido, podemos denir x
k+1
como xx
k
. As por ejemplo, x
1
= x y
x
2
= xx y x
3
= xx
2
y por asociatividad x
3
= x
2
x. Mas generalmente se
cumple que x
n
x
m
= x
n+m
= x
m
x
n
, y ademas (x
n
)
m
= x
nm
para cualesquiera
valores de n, m N.[Ejercicio]
Notar que si R es un anillo no necesariamente conmutativo, entonces (x+y)
2
no es necesariamente x
2
+2xy+y
2
. Sin embargo, si R es un anillo conmutativo
y n N, entonces
(x + y)
n
=
n
k=0
_
n
k
_
a
nk
b
k
[Ejercicio]
Donde nx lo entendemos como
n
k=1
x, para n N\ {0}, y 0x = 0 para 0 Z
y nx =
|n|
k=1
(x) si n Z \ N.
Un anillo se llama Booleano o de Boole si para cada elemento x R se
cumple que x
2
= x. Por ejemplo Z
2
es un anillo Booleano, pero Z
4
no lo
es pues [2]
2
= 0 = [2] en Z
4
. Si un anillo es Booleano, entonces x + x = 0
para cada elemento de R, es decir, cada elemento de un anillo Booleano es su
propio inverso aditivo. De hecho, (x+1)
2
= x+1, por ley distributiva se tiene
que (x+1)(x+1) = x
2
+x+x+1 por lo tanto x
2
+x = 0, es decir x+x = 0.
Ademas notamos que (x + y)
2
= x + y, es decir x
2
+ xy + yx + y
2
= x + y,
como x
2
= x y y
2
= y, entonces xy +yx = 0 = xy +xy, por lo tanto xy = yx.
Es decir:
Teorema 3.1.1 Todo anillo Booleano es conmutativo, y ademas todo ele-
mento de un anillo Booleano es su propio inverso aditivo.
61
Ejemplo 3.1.12 Sea X = un conjunto y P(X) el conjunto de todos los
subconjuntos de X. Daremos a P(X) una estructura de anillo, deniendo
la suma como A + B = (A \ B) (B \ A) y el producto como AB = A
B. El conjunto vaco es el neutro aditivo y X es el neutro multiplicativo
[Ejercicio]. Ademas A
2
= AA = AA = A, por lo tanto P(X) es un anillo
Booleano.
Si R es un anillo, = A R y si A es un anillo con las mismas operaciones
de R, entonces A se llama un subanillo de R. Por ejemplo, H es un subanillo
de M
2
(C).
Un conjunto I no vaco de un anillo R, tal que (I, +) es subgrupo de (R, +)
y para cada r R y a I se tiene que ra I y ar I, se llama un ideal de
R. Por ejemplo, el conjunto de los n umeros pares es un ideal de Z que no es
un subanillo de Z. Si R es un anillo, entonces {0} y R son idelaes de R.
Ejemplo 3.1.13 Si m Z, entonces mZ = {mk/ k Z} es un ideal de
Z. Mas a un si I es ideal de Z, entonces existe m I tal que I = mZ.
[Ejercicio].
Ejemplo 3.1.14 Si R es un anillo conmutativo y x R entonces Rx =
(x) = {rx/ r R} es un ideal de R que contiene a x. Si I es un ideal de R
que contiene a x, entonces rx I para cualquier r R, entonces Rx I.
Entonces Rx es el ideal de R mas peque no que contiene a x. Se llama el ideal
generado por x, o el ideal principal generado por x.
Si D es un dominio, tal que todo ideal de I es principal, entonces D se llama
Dominio de Idelaes Principales y lo abreviaremos por DIP. Por ejemplo, Z
es un DIP.
Si I es un ideal de un anillo R, y 1 I, entonces I = R, de hecho si r R,
entonces r1 = r I. Mas generalmente si I es ideal de R y u I, donde u es
una unidad, entonces 1 = u
1
u I, y por lo anterior I = R. Por lo tanto si R
es un cuerpo, entonces sus unicos ideales son {0} y R. Reciprocamente, si los
unicos idelaes de un anillo conmutativo son {0} y R, entonces consideremos
x R distinto de cero, entonces Rx = (x) es un ideal distinto de {0},
entonces Rx = R, por lo tanto, existe r R tal que rx = 1, entonces R es
cuerpo. Es decir, tenemos el siguiente resultado:
62
Teorema 3.1.2 Un anillo conmutativo es un cuerpo si y solamente si sus
unicos ideales son {0} y R.
Si R y R
son anillos con 0, 0
y 1 y 1
neutros aditivos y multiplicativos de

R y R
respectivamente. Una funcion : R R
se llama homomorsmo de
anillos o morsmo de anillos, si satisface
(x + y) = (x) +(y), x, y R
(xy) = (x)(y), x, y R
(1) = 1
Notamos que un morsmo de anillos es un morsmo de grupos abelianos,

entre (R, +) y (R
, +)
2
. Por lo tanto Ker() = {x R/ (x) = 0
} es un
subgrupo (normal) de (R, +). Pero ademas si r R y k Ker() se tiene
que (rk) = (r)(k) = (r)0
= 0
, del mismo modo (kr) = (k)(r) =

0
(r) = 0
. Es decir, Ker() es un ideal de R. Ademas, como ya lo vimos

para grupos, Ker() = {0} si y solo si es inyectiva. Por su parte Im() es
un subanillo de R
, pero no necesariamente un ideal de R
[Ejercicio].
Si : R R
es un morsmo de anillos inyectivo, entonces se llama un

monomorsmo. Si es epiyectivo, entonces le llamaremos un epimorsmo.
Si es biyectivo, lo llamamos un isomorsmo y en ese caso diremos que R
y R
son isomorfos y anotaremos R

= R
. A los morsmos de un anillo en si

mismo los llamamos endomorsmos y a los isomorsmos de un anillo en si
mismo los llamamos automorsmos.
Observacion 3.1.4 Si : K R un morsmo de anillos con K un cuer-
po, entonces como los ideales de K son el cero y el mismo K, se tiene que
Ker() = {0}, pues 1 / Ker(). Es decir, todo morsmo que nace de un
cuerpo es un monomorsmo.
Ejemplo 3.1.15 Consideremos un automorsmo de Q[
2], como (1) =

1 se tiene que (n) = n n Z. [Ejercicio] Ademas si 0 = n N, entonces
1 = (1) =
_
n
1
n
_
= (n)
_
1
n
_
= n
_
1
n
_
2
Por abuso de notacion denoto las operaciones de ambos anillos de la misma forma.
63
Es decir
_
1
n
_
=
1
n
Ademas si m Z y 0 = n N, entonces
_
m
n
_
=
_
m
1
n
_
= (m)
_
1
n
_
=
m
n
Es decir, ja a Q punto a punto. Por lo tanto, si x = a + b
2 con a y b
n umeros racionales, se tiene que (a + b
2) = a + b(
2). Entonces para

conocer basta conocer (
2). Pero
2 = (2) = (
2) = (
2)(
2) = ((
2))
2
Es decir, (
2) =
2 o bien (
2) =
2. En ambos casos se obtienen

automorsmos [Ejercicio]. En el primer caso es la identidad y en el otro
caso es la conjugacion (a + b
2) = a b
2.
Ejemplo 3.1.16 Sea : R R un automorsmo de anillos. Al igual que en
el ejemplo anterior (r) = r, para cada r Q [Ejercicio]. Ademas si x = 0,
entonces (x) = 0 y por tanto 0 < (x)(x) = (x
2
). Como el conjunto
de los n umeros positivos es el mismo que el conjunto de los cuadrados de
elementos no nulos en R, se tiene que transforma n umeros positivos en
n umeros positivos. Probaremos ahora que preserva orden. Si x < y entonces
y x > 0, por lo tanto 0 < (y x) = (y) (x), por lo tanto se tiene que
(x) < (y), es decir preserva el orden. Si no es la identidad, entonces
existe x R tal que (x) = y = x. Sin restriccion supongamos que x < (x),
por densidad de Q en R, existe r Q tal que x < r < (x), y como preserva
el orden, se tiene que (x) < (r) < (y), pero deja a cada elemento de Q
jo, es decir:
(x) < r < (y)
Entonces tenemos que r < (x) y que (x) < r, lo que es una contradic-
cion, entonces es la identidad. Es decir, el unico automorsmo de R es la
identidad.
Si R es una anillo y R = I es un ideal de R, entonces (I, +) es subgrupo
de (R, +), como (R, +) es abeliano, entonces (I, +) es subgrupo normal
64
en (R, +). Entonces podemos formar el grupo (abeliano) cuociente R/I,
deniendo la suma:
(a + I) + (b + I) = (a + b) +I
la cual esta bien denida. Pero mas a un podemos denir un producto en R/I
del siguiente modo:
(a + I)(b + I) = ab + I
Tenemos que demostar que esta multiplicacion esta bien denida, para ello
supongamos que a + I = a
+ I y que b + I = b
+ I, por lo tanto existen

i, j I tales que a
= a + i y b
= b +j, entonces:
(a
+ I)(b
+ I) = a
+ I = (a + i)(b + j) +I = ab + (aj + ib +ij) +I

pero tanto aj como ib y ij son elementos de I, por lo tanto (aj+ib+ij)+I = I
de donde resulta que:
(a
+ I)(b
+ I) = ab + I = (a + I)(b + I)
La asociatividad de esta multiplicacion en R/I se hereda de la asociatividad
de la multiplicacion de R. La distributividad tambien se hereda de R, y el
neutro multiplicativo es la clase del 1, es decir, 1 + I. Este anillo se llama
el anillo cuociente de R sobre I. Por ejemplo, el anillo cuociente Z/nZ es
isomorfo al anillo Z
n
.
Si I = R es un ideal de R, entonces la funcion : R R/I denida por
(x) = x + I es un morsmo de anillos epiyectivo [Ejercicio], llamada la
proyeccon canonica. Ademas x Ker() si y solamente si x+I = I, es decir
ker() = I. Es decir:
Teorema 3.1.3 Todo ideal propio de R es el kernel de un morsmo de ani-
llos.
Consideremos ahora un morsmo de anillos : R R
, como (1) = 1,
entonces K = Ker() es un ideal propio de R. Entonces podemos formar el
cuociente R/K y denir la funcion : R/K Im(f) por (x + K) = (x).
Esta funcion esta bien denida, de hecho, si x +K = x
+K, entonces existe

k K tal que x
= x+k, (hay que recordar que k K signica que (k) = 0)

por lo tanto:
65
(x
+ K) = (x
) = (x + k) = (x) +(k) = (x) = (x + K).

Mas a un es inyectiva, pues si (x+K) = (x+K), tenemos que (x) = (y)
o lo que es lo mismo (x) (y) = (x y) = 0, es decir, x y K lo que
quiere decir que x + K = y + K. De la forma como denimos , la imagen
de es la misma que la imagen de , entonces es epiyectiva. Por lo tanto,
tenemos el siguiente resultado:
Teorema 3.1.4 (Primer Teorema del Isomorsmo) Si : R R
es
un morsmo de anillos, entonces
R/Ker()

= Im()
Ahora bien, consideremos dos ideales propios, I J de un anillo R.
Entonces podemos formar los dos anillos cuocientes R/J y R/I y denir la
funcion : R/I R/J por (r +I) = r +J, esta funcion esta bien denida,
pues si r + I = r
+ I, esto quiere decir que r
r I J, por lo tanto
r + J = r
+ J. Si r + J R/J, entonces (r + I) = r + J, por lo tanto

es epiyectivo, de hecho es un epimorsmo [Ejercicio]. El kernel de es el
conjunto:
Ker() = {r + I/ r + I = J} = {r + I/ r J}
A tal conjunto, que es un ideal de R/I, pues es el kernel de un morsmo,
lo anotaremos por J/I. Entonces por el primer teorema del isomorsmo,
tenemos:
(R/I)/(J/I)

= R/J
Por otra parte, si I es un ideal propio de R y J es un ideal del cuociente
R/I, formemos el conjunto J = {j R/ j + I J}. Notamos primero que
I J, pues J contiene al neutro del cuociente R/I, es decir I J. Ademas
si j y j
estan en J, esto quiere decir que tanto j + I como j
+ I estan en
J, como J es ideal, entonces (j +I) +(j
+I) = (j +j
) +I J. Es decir,
j +j
J. Del mismo modo podemos vericar que si j J, entonces j J.

Ademas si r R y j J, entonces r(j +I) = (rj) +I y (j +I)r = (rj) +I
estan en J, por lo tanto rj J y jr J. Es decir, J es un ideal que contiene
a I. Es decir, tenemos el siguente teorema de correspondencia:
66
Teorema 3.1.5 Si I es un ideal propio de un anillo R, entonces existe una
correspondencia biunvoca entre los ideales que contienen a I y los ideales del
cuociente R/I.
Ahora bien, si I y J son ideales de un anillo R, podemos formar la suma de
ellos, deniendo el conjunto
I + J = {i +j/ i I y j J}
Como ambos son subgrupos (normales) de (R, +) entonces la suma (en la
notacion general de grupos corresponde al producto IJ, y como son abelianos,
entonces IJ = JI, en nuestro caso I + J = J + I, por lo tanto es un
subgrupo) es un subgrupo de (R, +). Ademas si r R, i I y j J, entonces
r(i + j) = ri + rj I + J y del mismo modo (i + j)r = ir + jr I + J.
As que I +J es un ideal de R. Tambien la interseccion I J es un ideal de
R [Ejercicio].
Si X es un subconjunto de un anillo R, entonces la interseccion de todos
los ideales que contienen a X es un ideal de R, y se llama el ideal generado
por X, y se anota < X > . En el caso particular que X = {x} entonces,
anotamos < x >= (x). Si R es conmutativo, entonces < x >= (x) = Rx es
el ideal principal generado por x que denimos antes.
Si R es un anillo e I es un ideal de R, diremos que I es un ideal maximal
si I = R y si J es ideal de R con I J, entonces J = I o J = R.
Ejemplo 3.1.17 Si p es primo entonces I = pZ = {pk/ k Z} es un ideal
de Z. Supongamos que J es un ideal de Z que contiene a I. Como Z es un
dominio de ideales principales, se tiene que existe n Z tal que J = nZ, es
decir
{pk/ k Z} {nk/ k Z}
En particular , p nZ, es decir p = nk para cierto k Z, pero como p es
primo, se tiene que n = p o n = p o n = 1 o n = 1, pero (p)Z = pZ
y (1)Z = Z = 1Z. Es decir, si J es un ideal que contiene a pZ entonces
J = Z o J = pZ. Por lo tanto pZ es maximal. Reciprocamente si nZ es
maximal, entonces n es primo.[Ejercicio]
Si R es un anillo conmutativo y M un ideal maximal en R, entonces podemos
formar el cuociente R/M, el cual es un anillo conmutativo. Si x = M, entonces
67
M + (x) es un ideal que contiene propiamente a M, por lo tanto (x) +M =
M, es decir, existe y R y m M, tales que xy + m = 1, por lo tanto
(x + M)(y + M) = xy + M = 1 m + M = 1 + M, es decir, todo elemento
no nulo de R/M es invertible. Por lo tanto R/M es un cuerpo.
Recprocamente si R es un anillo conmutativo y M es un ideal propio, tal que
R/M es cuerpo, entonces como los unicos ideales de un cuerpo son solamente
todo el cuerpo y {0}, entonces por teorema de correspondencia, los unicos
ideales de R que contienen a M son M y R, por lo tanto M es maximal. Es
deecir, hemos demostrado el sigiuente
Teorema 3.1.6 Si R es un anillo conmutativo y M es ideal, entonces R/M
es un cuerpo si y solo si M es maximal.
Sea R un anillo y sea I = R un ideal.Consideremos S el conjunto de todos los
ideales de R, distintos de R y que contienen a I. Como I S, tenemos que
S = . El conjunto S es parcialmente ordenado, va inclusion. Consideremos
una cadena en S, digamos J. Consideremos la union de todos los elementos
de la cadena, esto es
I =
_
JJ
J
Comprobamos que I es un ideal. De hecho, como I es uno de los ideales de
la union, se tiene que 0 I I. Ademas si a, b I, entonces existen k
1
y
k
2
tal que a J
k
1
y b J
k
2
, como J es una cadena, sin restriccion podemos
suponer que J
k
1
J
k
2
, por lo tanto, a, b J
k
2
, como J
k
2
es ideal, entonces
a + b J
k
2
, entonces a + b I. Si a I, entonces existe k tal que a J
k
,
entonces como J
k
es ideal se tiene que a J
k
y por lo tanto a I. Del
mismo modo se muestra que si r R y a I, entonces ra y ar estan en I.
Ya vimos que I I, pero ademas si 1 I, existira k tal que 1 J
k
, en ese
caso ocurrira que J
k
= R, pero tal cosa no ocurre pues todos los elementos
de J son distintos de R. Es decir, I I R, y I = R. Es decir, I es una
cota superior de la cadena J en S. Por Lema de Zorn, existe un elemento
maximal en S, tal elemento maximal es un ideal maximal de R que contiene
a I. Por lo tanto tenemos el siguiente teorema:
Teorema 3.1.7 Si R es un anillo, todo ideal propio de R esta contenido en
un idela maximal de R.
68
Un ideal P de un anillo conmutativo se dice primo, si P = R y cada vez
que ab P, implica que a P o b P. Si P es un ideal primo de R (note
que por denicion R es conmutativo en este caso), entonces el cuociente R/P
es un dominio de integridad. de hecho, si (x + P)(y + P) = P implica que
xy +P = P que es equivalente a decir que xy P, como P es primo, se tiene
que x P o bien y P, que es lo mismo que decir que x + P = P o bien
y + P = P, es decir x + P es el neutro de R/P o bien y + P es el neutro
de R/P. El recproco tambien es cierto [Ejercicio].Dejemoslo escrito como
teorema:
Teorema 3.1.8 En un anillo conmutativo R, un ideal P es primo si y solo
si R/P es un dominio de integridad.
Notemos que si R es un anillo conmutativo y M es un ideal maximal de R,
entonces R/M es cuerpo, en particular R/M es dominio de integridad, por
el teorema anterior, se tiene que M es ideal primo. Por lo tanto tenemos el
siguiente corolario:
Corolario 3.1.1 En un anillo conmutativo todo ideal maximal es un ideal
primo.
Hasta el momento tenemos una forma de construir cuerpos, mediante el cuo-
ciente de un anillo conmutativo por un ideal maximal. Ahora construiremos
un cuerpo a partir del conjunto de clases de equivalencia DD
bajo cierta
relacion. Esta relacion es la misma que permite crear Q a partir de Z.
Pues bien, consideremos D un dominio y denotemos por D
al conjunto de
todos los elementos no nulos de D. Hay que notar que en D
no hay divisores
de cero. Consideremos el producto cartesiano D D
, el conjunto de todos
los pares ordenados (a, b), donde a y b son elementos de D y b = 0. En este
conjunto denamos la relacion (a, b) (c, d) si ad = bc. Como ab = ba,
pues D es dominio (anillo conmutativo, sin divisores de cero), entonces
es reeja. Si (a, b) (c, d), entonces ad = bc o lo que es lo mismo cb = da,
entonces (c, d) (a, b). Ademas si (a, b) (c, d) y (c, d) (e, f), entonces
ad = bc y cf = de. Por lo tanto:
(ad)f = (bc)f = b(cf) = b(ed)
d(af be) = 0
69
como d = 0, entonces af = be, es decir (a, b) (e, f).
Es decir, es una relacion de equivalencia en DD
. Denotemos por Q(D)

al conjunto cuociente D D
/ y a la clase [(a, b)] la denotaremos por

a
b
.
En Q(D) denimos la suma y el producto como:
a
b
+
c
d
=
ad + bc
bd
a
b

c
d
=
ac
bd
La suma y la multiplicacion estan bien denidas en el Q(D) [Ejercicio].
Ademas la clase de (1, 1) es neutro multiplicactivo, ademas
1
1
= [(1, 1)] = {(a, a)/ a = 0}
de hecho
1
1

a
b
=
a
b
y si (a, b) (1, 1) implica que a = b.
La clase de (0, 1) es el neutro aditivo en Q(D), y esa clase es:
0
1
= [(0, 1)] = {(0, b)/ b = 0}
de hecho
0
1
+
a
b
=
0 b + a 1
b
=
a
b
y si (a, b) (0, 1) implica que a 1 = b 0, es decir a = 0.
Como
a
b
c
d
=
ac
bd
=
ca
db
=
c
d
a
b
, se tiene que Q(D) es un anillo conmutativo.
Pero lo mas importante es que todo elemento no nulo de Q(D) tiene inverso
multiplicactivo, de hecho, si (a, b) esta en DD
, y no esta en la clase nula,

es decir, a = 0 = b, entonces (b, a) D D
y ademas
a
b

b
a
=
ab
ab
=
1
1
As que Q(D) es un cuerpo. Consideremos ahora el conjunto D de los ele-
mentos de Q(D) de la forma
d
1
con d D. Notemos que D contiene al neutro
70
aditivo y neutro multiplicativo de Q(D). Ademas si (d, 1) (d
, 1) in DD
entonces d = d
. Es decir si d = d
D, entonces
d
1
=
d
1
D. Mas a un
d
1
+
d
1
=
d + d
1
d
1

d
1
=
dd
1
Entonces D es un subanillo de Q(D). Si consideremos el morsmo de anillos
: D D por (d) =
d
1
comprobamos que es un isomorsmo. Es decir,
Q(D) es un cuerpo que contiene un anillo isomorfo a D. Ademas tenemos el
siguiente teorema:
Teorema 3.1.9 Si D es un dominio, K es un cuerpo y : D K es
un monomorsmo, entonces existe un unico monomorsmo de cuerpos :
Q(D) K tal que
_
d
1
_
= (d)
Demostracion:
Denamos
_
a
b
_
como (a)(b)
1
. Si a = 0, entonces
_
0
b
_
= (0)(b)
1
= 0.
Ademas si
a
b
=
c
d
, es decir, ad = bc, con a = 0 = c, entonces como es
monomorsmo (c)(d)
1
= 0, entonces
_
_
c
d
__
1
_
a
b
_
= (c)
1
(d)(a)(b)
1
= (ad)((bc))
1
Pero como ad = bc se tiene que
_
c
d
_
1
_
a
b
_
= 1
Es decir,
_
c
d
_
=
_
a
b
_
De donde se desprende que esta bien denida.
Ademas separa las sumas, de hecho:
71
_
a
b
+
c
d
_
=
_
ad + bc
bd
_
= (ad + bc)((bd))
1
= ((a)(d) +(b)(c))((b))
1
((d))
1
= (a)(d)((b))
1
((d))
1
+ (b)(c)((b))
1
((d))
1
= (a)((b))
1
+(c)((d))
1
=
_
a
b
_
+
_
+
c
d
_
Ademas separa las multiplicaciones, de hecho:
_
a
b

c
d
_
=
_
ac
bd
_
= (ac)((bd))
1
= ((a)(c))((b))
1
((d))
1
= ((a)(b))
1
)((c)((d))
1
=
_
a
b
_
_
c
d
_
Por otra parte
_
1
1
_
= (1)((1))
1
= 1 1 = 1. Es decir, es un mors-
mo de anillos. Si suponemos que
_
a
b
_
=
_
c
d
_
, entonces (a)()(b)
1
=
(c)((d))
1
, o lo que es lo mismo (ad) = (bc), pero como es monomors-
mo, se tiene que ad = bc,entonces
a
b
=
c
d
. Hasta ahora hemos demostrado que
es monomorsmo. Por denicion
_
d
1
_
= (d), que es lo que queramos
probar.
Al cuerpo Q(D) se le llama el cuerpo cuociente de D o el cuerpo de cuocientes
de D. El teorema anterior dice que el cuerpo de cuocientes de D es el cuerpo
mas peque no que contiene a D.
Ejemplo 3.1.18 En el caso de D = Z el cuerpo de cuocientes es Q(Z) =
Q. Consideremos el subanillo Q[i] = {a + bi/ a, b Q} del cuerpo de los
complejos C. El conjugado de un elemento z = a +bi de Q[i] es z = a bi
Q[i] y el n umero zz = a
2
+ b
2
Q, y zz = 0 si y solo si a = 0 = b, por lo
tanto si 0 = z Q[x] el n umero complejo
1
zz
z =
a
a
2
+b
2
+
b
a
2
+ b
2
Q[i]
72
Ademas z
1
zz
z = 1. Es decir, todo elemento no nulo de Q[i] tiene inverso
multiplicativo. Es decir Q[i] es un cuerpo que contiene a Z[i] el anillo de los
enteros Gaussianos. Como Z[i] es un dominio, entonces podemos construir
el cuerpo de cuocientes Q(Z[i]). Es cierto que Q(Z[i])

= Q[i]? [Ejercicio].
3.2. Anillo de Polinomios
En esta seccion estudiaremos el anillo de polinomios, pero esta vez sobre
un anillo, no necesariamente un cuerpo. Algunas propiedades de los poli-
nomios sobre un cuerpo se conservan y otras no. Mostraremos que el anillo
de polinomios sobre un cuerpo es un DIP. Construiremos cuerpos que con-
tienen races de un polinomio dado, esto sera fundamental para la teora de
extension de cuerpos. En toda esta seccion R sera un anillo conmutativo.
Consideremos un anillo R conmutativo y consideremos el conjunto de suce-
siones de soporte nito en R, esto, es el conjunto de todos los elementos de
la forma
(a
0
, a
1
, a
2
, a
3
, . . . , a
n1
, a
n
. . .)
con a
i
R i N y existe m N, tal que a
n
= 0 n > m. En este
conjunto denimos la suma coordenada a coordenada, es decir
(a
i
)
iN
+ (b
i
)
iN
= (a
i
+ b
i
)
iN
y denimos tambien una multiplicacion, como
(a
i
)
iN
(b
i
)
iN
= (c
i
)
iN
donde para cada n N, se dene c
n
=
n
k=0
a
k
b
nk
. Por ejemplo,
c
0
= a
0
b
0
c
1
= a
0
b
1
+a
1
b
0
c
2
= a
0
b
2
+ a
1
b
1
+ a
0
b
2
.
.
.
73
Si (a
i
)
iN
es tal que a
k
= 0 para cada k > n y (b
i
)
iN
es tal que a
k
= 0 para
cada k > m, y (a
i
)
iN
(b
i
)
iN
= (c
i
)
iN
, entonces
c
n+m
= a
n
b
m
y ademas
c
k
= 0 k > n + m
Por lo tanto, la suma y el producto estan bien denidos. De hecho, el conjunto
as denido, con la suma y el producto denidos como arriba, forman un anillo
conmutativo [Ejercicio], llamado el Anillo de polinomios en una variable
sobre R, y lo denotamos por R[x]. El neutro aditivo de este anillo es la
sucesion constante igual a cero (0, 0, 0, 0, . . .) y el neutro multiplicativo es la
sucesion que tiene un 1 en la primera posicion y un cero en cada una de las
posiciones siguientes. De hecho:
(1, 0, 0, 0 . . .)(b
i
)
iN
= (c
i
)
iN
con c
n
=
n
k=0
a
k
b
nk
, pero como en este caso a
k
= 0 para cada k > 0, se tiene
que la suma
n
k=0
a
k
b
nk
tiene a lo mas un sumando no nulo, a saber, a
0
b
n
que
en este caso es 1 b
n
= b
n
, es decir c
n
=
n
k=0
a
k
b
nk
= b
n
.
Mas a un podemos denir : R R[x] asignando a cada r R la sucesion
que tiene a r en la primera posicion y en el resto de las posiciones, puros
ceros, esto es (r) = (r, 0, 0, 0, . . .). Es un monomorsmo de grupos, ademas
(1) es el 1 de R[x], y por ultimo vemos que:
(r, 0, 0, 0, . . .)(s, 0, 0, 0, . . .) = (c
i
)
iN
donde c
n
=
n
k=0
a
k
b
nk
, pero en este caso a
k
= b
k
= 0 k > 0, entonces
c
n
= 0 para cada n > 0 y c
0
= rs. Por lo tanto, (r, 0, 0, 0, . . .)(s, 0, 0, 0, . . .) =
(rs, 0, 0, 0, . . .). As que es un monomorsmo de anillos. A los elementos
(r, 0, 0, 0, . . .) los anotaremos (abusando de la notacion) por r.
74
Ademas notamos que si a
0
= r y a
k
= 0, k > 0, entonces (a
i
)
iN
(b
i
)
iN
=
(c
i
)
iN
, con c
n
=
n
k=0
a
k
b
nk
= a
0
b
n
, entonces
r(b
i
)
iN
= (r, 0, 0, 0, . . .)(b
i
)
iN
= (rb
i
)
iN
Por otra parte, si denotamos por x a la sucesion (0, 1, 0, 0, . . .), entonces
x
2
= (0, 0, 1, 0, 0, 0, . . .)
x
3
= (0, 0, 0, 1, 0, 0, 0, . . .)
x
4
= (0, 0, 0, 0, 1, 0, 0, 0, . . .)
En general, si n N entonces x
n
= (d
i
)
iN
es tal que d
i
= 0 si i = n y d
n
= 1.
Con todo lo anterior, si p = (a
i
)
iN
y m N tal que a
k
= 0, para cada k > m,
entonces
p = (a
0
, 0, 0, . . .)+a
1
(0, 1, . . .)+a
2
(0, 0, 1, . . .)+ +a
m
(0, 0, 0, . . . , 0, 1, . . .)
. .
Un 1 en la posicion m
p = a
0
+ a
1
x + a
2
x
2
+ + a
m
x
m
A cada elemento p R[x] le llamamos un polinomio y tambien lo anotamos
como p(x), al polinomio que neutro aditivo, le llamamos el polinomio nulo.
Si p = (a
i
)
iN
, no es el polinomio nulo, entonces hay alg un n umero natural
n tal que a
n
= 0. Al mayor entero n tal que a
n
= 0 se le llama el grado del
polinomio p, y lo anotamos por grad(p(x)) o deg(p(x)). Si p(x) =
n
k=0
a
k
x
k
no es el polinomio nulo y tiene grado n, entonces al elemento a
n
de R, se le
llama el coeciente lder de p(x). Si el coeciente lider de un polinomio no
nulo es 1, entonces decimos que el polinomio es monico.
Observacion 3.2.1 Hay que notar que el polinomio nulo no tiene grado.
3
3
Hay textos que al polinomio nulo le asignan el grado .
75
Si p(x) =
n
k=0
a
k
x
k
y q(x) =
m
k=0
b
k
x
k
son polinomios no nulos sobre R[x], de
grados n y m respectivamente, es decir a
n
= 0 = a
m
, y si n > m entonces
p(x) +q(x) =
m
k=0
(a
k
+ b
k
)x
k
+
n
k=m+1
a
k
x
k
En este caso el grado de la suma es el grado del polinomio de grado mayor.
Si n = m, entonces
p(x) +q(x) =
n
k=0
(a
k
+ b
k
)x
k
En este caso el grado de la suma es n siempre y cuando a
n
y b
n
no sean
inversos aditivos en ese caso, el grado de la suma podra ser menor que n, o
incluso ser el polinomio nulo. Entonces tenemos que:
Teorema 3.2.1 Si p(x), q(x) y p(x) + q(x) no son nulos en R[x], entonces
deg(p(x) +q(x)) max{deg(p(x)), deg(q(x))}
Si p(x) =
n
k=0
a
k
x
k
y q(x) =
m
k=0
b
k
x
k
son polinomios no nulos sobre R[x], de
grados n y m respectivamente, es decir a
n
= 0 = a
m
, entonces
p(x)q(x) =
m+n
k=0
(
i+j=k
a
i
b
j
)x
k
En este caso, si a
n
b
m
= 0, entonces el grado de p(x)q(x) sera n +m. Pero si
a
n
es divisor de cero y a
n
b
m
= 0, entonces el grado del producto podra ser
menor que n +m o incluso podra ser el polinomio nulo. Entonces tenemos:
Teorema 3.2.2 Si p(x), q(x) y p(x)q(x) no son nulos en R[x], entonces
deg(p(x)q(x)) deg(p(x)) + deg(q(x)).
Teorema 3.2.3 Si p(x), q(x) no son nulos en D[x], con D un dominio,
entonces deg(p(x)q(x)) = deg(p(x)) + deg(q(x)).
Teorema 3.2.4 D es un dominio si y solo si D[x] es un dominio.
76
Teorema 3.2.5 Si D es un dominio, entonces las unidades de D[x] son las
unidades de D.
Demostracion:
Si d es unidad en D, entonces tambien lo es en D[x], tomando por inverso
en D[x] el mismo inverso que en D. Ahora supongamos que p(x) es no nulo
es invertible en D[x] y sea p
1
(x) su inverso, por lo tanto tambien p
1
(x) es
no nulo, entonces
0 = deg(1) = deg(p(x)p
1
(x)) = deg(p(x)) + deg(p
1
(x))
Por lo tanto deg(p(x)) = 0 = deg(p
1
(x)), es decir p(x) D y su inverso
tambien esta en D.
Ejemplo 3.2.1 En Z
6
[x] los polinomios 1 + 2x y 1 + 3x son polinomios de
grado 1 cuyo producto es tambien un polinomio de grado 1. Los polinomios
2 + 2x
2
y 3x + 3x
4
son polinomios no nulos cuyo producto es el polinomio
nulo.
Consideremos ahora un polinomio p(x) =
n
k=0
a
k
x
k
R[x] y denamos la
funcion polinomial asociada a p(x) por p : R R como p() =
n
k=0
a
k
k
.
Tambien se le llama funcion evaluacion. Si p(x) R[x] y R tal que
p() = 0, decimos que es una raz de p(x).
Ejemplo 3.2.2 Consideremos el polinomio p(x) = x
2
+x en Z
6
[x]. Notemos
que su funcion polinomial asociada es tal que p(0) = p(5) = p(2) = p(3) = 0
y p(1) = p(4) = 2. Este polinomio de grado 2 tiene 4 races.
Ejemplo 3.2.3 En Z
3
[x] el polinomio p(x) = x
3
tiene grado 3, pero su fun-
cion polinomial asociada p : Z
3
Z
3
transforma 0 0, 1 0 y 2 2. Es
decir, la funcion polinomial asociada es la funcion identidad, al igual que la
funcion polinomial asociada a q(x) = x, es decir, las funciones polinomiales
de dos polinomios distintos pueden coincidir.
77
Ejemplo 3.2.4 En Z
p
, con p primo, el grupo de unidades de Z
p
, es un grupo
con p1 elementos. Entonces todo elemento no nulo de Z
p
cumple con x
p1
=
1, multiplicando por x, tenemos que todo elemento no nulo de Z
p
, satisface
x
p
= x, ademas claramente 0 tambien satisface x
p
= x. Es decir, para todo
x Z
p
se tiene que x
p
x = 0. Es decir, el polinomio p(x) = x
p
x Z
p
[x]
tiene asociada la funcion nula, pese a no ser el polinomio nulo.
Uno de los resultados mas importantes del anillo de polinomios sobre un
cuerpo, es que existe un algoritmo de division, esto dados p(x) y d(x), con
d(x) no nulo, entonces existen polinomios q(x) y r(x), con r = 0 o deg(r(x) <
deg(d(x)) tales que p(x) = d(x)q(x)+r(x). Si el anillo R no es cuerpo tambien
existe una algoritmo de la division, pero no en todos los casos, solo cuando
el coeciente lder de d(x) es invertible. El enunciado preciso es como sigue:
Teorema 3.2.6 (Algoritmo de la division) Sea R un anillo conmutativo
y p(x), d(x) R[x] tal que el coeciente lder de d(x) es una unidad en R.
Entonces existen unicos polinomios q(x) y r(x) tales que
p(x) = d(x)q(x) +r(x)
Con grad(r(x)) < grad(d(x)) o r(x) = 0. A q(x) le llamamos el cuociente y
r(x) el resto.
Demostracion:
Primero supongamos la existencia y demostremos la unicidad. Si
p(x) = d(x)q(x) +r(x) = d(x)q
(x) +r
(x)
y r(x) = 0 = r
(x) con grad(r(x)) < grad(d(x)) y grad(r
(x)) < grad(d(x)),

entonces
d(x)(q(x) q
(x)) = r
(x) r(x)
Como el coeciente lder de d(x) no es un divisor de cero, entonces si q(x)
q
(x) no es el polinomio nulo, se tiene que grad(d(x)(q(x)q
(x))) = grad(d(x))+
grad((q(x) q
(x))) grad(d(x)), pero por otra parte si r
(x) r(x) no
es el polinomio nulo grad(r
(x) r(x)) max{grad(r
(x)), grad(r(x))} <

grad(d(x). Lo cual es una contradiccion. Entonces r(x) = r
(x) y por lo tanto

q(x) = q
(x). El caso r(x) nulo y r
(x) no nulo es similar al anterior. El caso

r(x) = r
(x) = 0 implica directamente que q(x) = q
(x).
78
Notar primero que al decir que el coeciente lder de d(x) es una unidad,
en particular se esta diciendo que d(x) es no nulo. Hecha esta observacion,
ahora probemos la existencia de q y de r.
Si p(x) = 0, entonces basta tomar q(x) = 0 = r(x).
Si p(x) no es nulo y grad(d(x)) > grad(p(x)), entonces basta tomar q(x) = 0
y r(x) = p(x).
Consideremos el caso p(x) no nulo y grad(d(x)) grad(p(x)). Haremos in-
duccion sobre el grado de p. Si grad(p) = 0, entonces grad(d(x)) grad(p(x))
por lo tando grad(d(x)) = 0. Por lo tanto p y d son elementos de R no nulos
y d es unidad en R. Entonces p = d(d
1
p) + 0, es decir, en este caso basta
tomar q = d
1
p y r = 0. Supongamos que la propiedad es cierta para todo
polinomio p de grado menor que n y polinomio d de grado menor o igual que
grad(p(x) < n. Denotemos por p(x) =
n
k=0
a
k
x
n
y d(x) =
m
k=0
b
k
x
m
con b
m
unidad, a
n
= 0 y m n.
El polinomio (a
n
b
1
m
x
nm
)d(x) es un polinomio de grado n y coeciente lder
a
n
al igual que p(x), por lo tanto al hacer la resta p(x) (a
n
b
1
m
x
nm
)d(x) se
obtiene un polinomio de grado menor que n, o el polinomio nulo. Si p(x)
(a
n
b
1
m
x
nm
)d(x) = 0, entonces basta tomar q(x) = a
n
b
1
m
x
nm
y r = 0. Si
p(x) (a
n
b
1
m
x
nm
)d(x) es un polinomio de grado menor que n y no nulo,
entonces por hipotesis inductiva, se tiene que existen q
(x) y r(x) con r(x) = 0

o grad(r(x)) < grad(d(x)) tales que:
p(x) (a
n
b
1
m
x
nm
)d(x) = d(x)q
(x) +r(x)
p(x) = d(x)(q
(x) +a
n
b
1
m
x
nm
) +r(x)
tomando q(x) = q
(x) +a
n
b
1
m
x
nm
se obtiene lo que se quera probar.
Corolario 3.2.1 (Teorema del Resto) Si R es un anillo conmutativo y
p(x) R[x] y R, entonces existe q(x) tal que
p(x) = (x )q(x) +f()
Demostracion:
79
Si p(x) = 0, entonces basta tomar r(x) = 0 = q(x). Si p(x) no es el polinomio
nulo, por el teorema anterior tomando d(x) = (x ) cuyo coeciente lder
es 1 se tiene que existe q(x) y r(x) tales que
p(x) = q(x)(x ) +r(x)
Donde el grado de r es menor que 1 = grad((x )) o r(x) = 0 en cualquier
caso r R. Es decir, p(x) = q(x)(x ) + r con r R. Considerando
la funcion polinomial asociada a p y evaluando en se tiene que p() =
q()( ) +r, es decir r = p() lo que culmina la demostracion.
Corolario 3.2.2 Si R es un anillo conmutativo, entonces R es raz de
p(x), si y solo si existe q(x) R[x] tal que p(x) = q(x)(x ).
CUIDADO
En el caso del polinomio p(x) = x
2
+ x en Z
6
[x], de un ejemplo anterior,
notamos que tiene cuatro races, a saber son 0, 2, 3 y 5, y si factorizamos
p(x) = x(x + 1). En Z
6
1 + 5 = 0, por lo tanto x + 1 = x 5, es decir
p(x) = x(x 5) y en esta descomposicion se ven claramente las races 0 y 5,
pero por ning un lado se ven las races 2 y 3. Esto podra hacer pensar que el
corolario anterior es falso, pero no. La razon es que x(x + 1) = x(x 5) no
es la unica forma de descomponer p(x) en Z
6
[x]. Otra forma de descomponer
x
2
+x Z
6
[x] es x
2
+x = (x2)(x+3) como 3+3 = 0, entonces 3 = 3 por
lo tanto en Z
6
[x] se tiene que x
2
+1 = (x2)(x3) y aqu se ven las races 2
y 3. Si R es un cuerpo, entonces esta situacion no ocurrira en R[x], es decir,
la descomposicion en R[x] es unica, en alg un sentido, que describiremos mas
adelante.
FIN CUIDADO
Corolario 3.2.3 Si D es un dominio, entonces un polinomio de grado n en
D[x] tiene a lo mas n races distintas en D.
Demostracion:
Notemos antes de empezar que al decir que p(x) tiene grado n, estamos
diciendo, entre otras cosas, que p(x) no es el polinomio nulo.
Sean {
1
,
2
,
3
, . . . ,
m
} D las races distintas de p(x) D[x], un poli-
nomio de grado n. Por el corolario anterior se tiene que existe q
1
(x) D[x]
80
tal que p(x) = q
1
(x)(x
1
), evaluando en
2
se tiene que 0 = p(
2
) =
q
1
(
2
)(
2
1
), como
2
1
= 0 y D es un dominio, se tiene que q
1
(
2
) = 0.
Por el corolario anterior se tiene que existe q
2
(x) tal que q
1
(x) = q
2
(x)(x
2
)
y por lo tanto p(x) = q
2
(x)(x
2
)(x
1
). Evaluando en
3
, la igualdad
anterior, se tiene que 0 = p(
3
) = q
2
(
3
)(
3

2
)(
3

1
), como (
3

2
)(
3
1
) = 0 y D es un dominio, se tiene que q
2
(
3
) = 0.
Por el corolario anterior se tiene que existe q
3
(x) tal que q
2
(x) = q
3
(x)(x
3
)
y por lo tanto p(x) = q
3
(x)(x
3
)(x
2
)(x
1
). Continuando inductiva-
mente este argumento, se tiene que existe q
m
(x) tal que
p(x) = q
m
(x)(x
m
)(x
m1
) (x
2
)(x
1
)
Como p(x) no es el polinomio nulo, tampoco lo es q
m
(x). Como D es dominio
n = deg(p(x)) = deg(q
m
(x)(x
m
)(x
m1
) (x
2
)(x
1
))
= deg(q
m
(x)) +m m
Es decir, el n umero de races distintas de un polinomio es menor o igual al
grado del polinomio.
Observacion 3.2.2 En la demostracion anterior usamos fuertemente que
D no tiene divisores de cero. As que este argumento no se podra ocupar en
Z
6
, que es donde estaba nuestro ejemplo de Cuidado.
Ejemplo 3.2.5 Si R es un cuerpo nito. Entonces toda funcion f : R R
es una funcion polinomial.[Ejercicio]
Observacion 3.2.3 Si D es un dominio innito, entonces el unico poli-
nomio que tiene a todos los elementos de D como races es el polinomio nulo.
Mas generalmente, si dos polinomios p(x) y q(x) son tales que sus funciones
polinomiales coinciden, es decir, para cada d D, p(d) = q(d), entonces el
polinomio P(x) = p(x) q(x) tiene a todos los elementos de D como races.
Por lo tanto P(x) es el polinomio nulo. Es decir, p(x) = q(x) D[x].
En el teorema del Algoritmo de la division, usamos que el coeciente lder
del divisor fuera una unidad. Esto ocurre siempre en el caso en que el anillo
R es un cuerpo.
81
Teorema 3.2.7 (Algoritmo de la division en un cuerpo K) Sea K un
cuerpo y p(x), d(x) K[x] tal que d(x) es no nulo. Entonces existen unicos
polinomios q(x) y r(x) tales que
p(x) = d(x)q(x) +r(x)
Con grad(r(x)) < grad(d(x)) o r(x) = 0. A q(x) le llamamos el cuociente y
r(x) el resto.
En este caso consideremos {0} = I un ideal de K[x], y consideremos un
polinomio no nulo p(x) I, de grado mnimo entre los polinomios no nulos
de I, es decir, si q(x) I entonces q(x) es el polinomio nulo o grad(q(x))
grad(p(x)). Sea t(x) un polinomio no nulo en I, por algoritmo de la division,
existen s(x) y r(x) tales que
t(x) = p(x)s(x) +r(x)
con grad(r(x)) < grad(p(x)) o r(x) = 0. Como r(x) = t(x) p(x)s(x) I
se tiene que r(x) = 0, pues sino contradice la minimalidad del grado de p(x)
en I. Es decir, t(x) = s(x)p(x). Es decir, I es el ideal principal generado por
p(x). Como el ideal {0} es un ideal principal, tenemos que:
Teorema 3.2.8 Si K es un cuerpo, entonces el anillo K[x] es un dominio
de ideales principales.
Ejemplo 3.2.6 Consideremos el anillo de polinomios con coeentes en R y
consideremos el ideal I, generado por el polinomio c(x) = x
2
+1. Supongamos
que J es un ideal que contiene a I, como R[x] es un DIP, J = (p(x)) para
cierto polinomio p(x) R[x] no nulo. Como I J, en particular x
2
+1 J,
es decir, existe q(x) tal que x
2
+1 = p(x)q(x). Como deg(p(x)+deg(q(x)) = 2.
Entonces el grado de p(x) es 0, 1 o 2. Si el grado de p(x) es cero, entonces
p(x) es un elemento no nulo de R, entonces p(x) = p es invertible en R[x],
entonces J = (p(x)) = (p) = R[x]. Si el grado de p(x) es 2, entonces q(x) es
un elemento no nulo de R, entonces q(x) = q es invertible en K[x], entonces
x
2
+ 1 = q(p(x)) si y solo si q
1
(x
2
+ 1) = p(x), es decir p(x) I, es decir
J = I.
Si deg(p(x)) = 1, digamos ax + b con a = 0 entonces
b
a
sera una raz
de x
2
+ 1 en R, lo cual es falso. Por lo tanto si I J, entonces J = I o
J = R[x]. Es decir, I = (x
2
+ 1) es un ideal maximal en R[x].
82
Por lo tanto el cuociente R[x]/I es un cuerpo. Notemos que si u(x) R[x]
entonces existen polinomios q(x) y r(x) tales que u(x) = (x
2
+1)q(x) +r(x),
con deg(r(x) < 2 o r(x) = 0. Es decir
u(x) +I = r(x) +I
Con r(x) un polinomio de grado 1 o cero o r(x) el polinomio nulo. En
cualquier caso, u(x) +I = ax + b + I con a, b n umeros reales. Es decir
R[x]/I = {ax + b + (x
2
+ 1)/ a, b R}
Ademas notamos que (ax+b) +I +(cx+d) +I = (a +c)x+(b +d) +I y
(ax+b)(cx+d) = acx
2
+(ad+bc)x+bd+I = ac(x
2
+11)+(ad+bc)x+bd+I
= (ad + bc)x + (bd ac) +I
Por lo tanto el morsmo : R[x]/I C denido por (ax +b +I) = ai +b
es un isomorsmo de cuerpos. Es un [Ejercicio] para el estudiante dar todos
los detalles.
3.3. Divisibilidad en Anillos.
En Z decimos que a = 0 divide a b, si existe k Z tal que ak = b. Decimos
que p es primo si no es 1 ni 1 y sus unicos divisores son 1, 1 p o p. Si p
es primo y p divide a ab, entonces podemos demostrar que p divide a a o p
divide a b, de hecho si p no divide a a, entonces el MCD(p, a) = 1, entonces
exiten m, n Z tales que mp + ma = 1 multiplicando por b se obtiene que
mpb + mab = b, lo que implica que p divide a b.
Por otra parte en R[x] denimos polinomio irreducibles, como aquellos poli-
nomios de grado mayor o igual a 1 que no se pueden escribir como polinomios
de grado mayor o igual a 1. Es decir p(x) R[x] es irreducible, si no es un
elemento de R y si p(x) = r(x)q(x), entonces r(x) o q(x) son no nulos de
grado cero. Dicho de otra forma, p(x) R[x] es irreducible, si no es nulo,
si no es una unidad en R[x] y si p(x) = r(x)q(x), entonces r(x) o q(x) son
unidades en R[x].
83
En esta seccion generalizaremos las nociones de elemento primo y elemen-
to irreducible en un anillo conmutativo. En lo que sigue R sera un anillo
conmutativo, a menos que se diga lo contrario.
Sea R un anillo conmutativo. Diremos que un elemento no nulo a R divide
a b R si y solo si existe x R tal que ax = b, en este caso anotamos a|b.
Los elementos a, b R se dicen asociados si a|b y b|a.
Observacion 3.3.1 Si u es una unidad en R y b R, entonces u(u
1
b) = b
Es decir, las unidades dividen a todos los elementos del anillo. Recproca-
mente si u = 0 y u divide a todos los elementos del anillo R, entonces en
particular divide a 1, es decir, existe x R tal que ux = 1, es decir u es una
unidad. En resumen, u = 0 es una unidad en R si y solo si u|b para todo
b R.
Observacion 3.3.2 Si a divide a b en R, entonces existe x R tal que
ax = b, es decir b Ra = {ra/ r R} = (a), pero mas a un si rb (b),
entonces rb = r(ax) = (rx)a (a), es decir a|b implica que (b) (a).
Reciprocamente si (b) (a) = 0, entonces b (b) (a) es decir b = ax
cierto x R, lo que implica que a|b. En particular, a y b son asociados si y
solo si (a) = (b). Esto ultimo implica a su vez, que la relacion a es asociado
a b, es una relacion de equivalencia.
Observacion 3.3.3 Si a y b son asociados en un dominio D, entonces ex-
isten x, y D tales que ax = b y by = a, entonces (ax)y = a, es decir
a(xy) = a, entonces xy = 1, es decir ax = b donde x es una unidad. Recip-
rocamente, si a = xb con x una unidad, entonces x
1
a = b, entonces a|b y
b|a.
Un elemento c no nulo y no unidad de R se dice irreducible, si c = ab a es
unidad o b es unidad.
Observacion 3.3.4 Si c es irreducible y d = cu con u una unidad, entonces
si d = xy, entonces cu = xy, en este caso c = (u
1
x)y. Como c es irreducible,
se tiene que u
1
x es unidad o y es unidad, por lo tanto x es unidad o y es
unidad, es decir d es irreducible.
Ejemplo 3.3.1 El polinomio x
2
+ 1 es irreducible en R[x], pero no es ir-
reducible en C[x], ni tampoco en Z
2
[x]. De hecho en Z
2
[x] se tiene que
84
x
2
+1 = (x+1)(x+1). Si p es primo en Z entonces p es irreducible en Z, pues
si p = ab entonces p|ab, por lo tanto p|a o p|b, sin restriccion, supongamos
que p|a, entonces existe x Z tal que px = a, entonces la igualdad p = ab se
puede escribir como p = pxb, entonces xb = 1, es decir b es unidad.
Ejemplo 3.3.2 Si z = a +bi Z[i] denimos N(z) = a
2
+ b
2
N. Ademas
se puede comprobar ([Ejercicio]) que N(zw) = N(z)N(w) para cada par de
elementos z, w Z[i]. Si z = 0 es una unidad en Z[i], signica que existe
w Z[i] tal que zw = 1, aplicando N se obtiene:
N(z)N(w) = 1
Es decir, N(z) es unidad en Z y N(z) N, entonces N(z) = 1. Es decir, si
z = a + bi es unidad, entonces a
2
+ b
2
= 1. Entonces los unicos candidatos
a unidades en Z[x] son 1, 1, i y i y cada uno de ellos es efectivamente
unidad en Z[i], de hecho 1 = 1 1 = (1)(1) = i(i).
Ahora, si es un n umero compuesto en Z, entonces = con , n umeros
enteros distintos de 1 y 1. Entonces y no son unidades en Z[i] entonces
no es irreducible en Z[i]. Sin embargo, hay primos en Z que no son irre-
ducibles en Z[i], por ejemplo 2 = (1 + i)(1 i) y tanto 1 + i como 1 i no
son unidades de Z[i]. Sea p un primo impar, de la forma 4n + 3 para cierto
n N, y supongamos p = zw, con z, w Z[i], entonces p
2
= N(z)N(w),
entonces puede pasar que N(z) = N(w) = p o N(z) = p
2
y N(w) = 1. Si
N(z) = p, entonces si z = a + bi, se tiene que a
2
+ b
2
= p, entonces sin
restriccion podemos suponer a impar y b par, en ese caso:
(2t + 1)
2
+ (2k)
2
= p
4t
2
+ 4t + 1 + 4k
3
= 4n + 3
4t
2
+ 4t + 4k
2
= 4n + 2
Pero 4 divide al lado izquierdo de la igualdad, pero no al lado derecho de
la igualdad, por lo tanto suponer N(z) = p nos lleva a una contradiccion,
entonces N(z) = p
2
y N(w) = 1. Es decir, w es unidad en Z[i]. Es decir, si
p es un primo impar de la forma 4n + 3 es irreducible en Z[i].
En cambio si p es un primo impar de la forma 4n + 1 para cierto entero n,
entonces p no es irreducible en Z[i]. [Ejercicio]
85
Denamos ahora elemento primo. Si p es un elemento no nulo y no unidad de
R, diremos que p es primo si cada vez que p divide a un producto entonces
divide a uno de los factores. Dicho de otro modo, si p|ab p|a o p|b.
Observacion 3.3.5 Si p es primo en D, un dominio, y supongamos que
p = ab, entonces p|ab por lo tanto p|a o p|b. Sin restriccion supongamos que
p|a como a|p, entonces existe u una unidad tal que a = pu, entonces p = ab
se puede escribir como p = pub, como D es dominio, se tiene que 1 = ub, es
decir b es unidad, entonces p es irreducible. Es decir, tenemos el siguiente
teorema:
Teorema 3.3.1 En un dominio de integridad todo elemento primo es irre-
ducible.
Otro resultado respecto a elementos primos es el siguiente, cuya demostracion
se deja como [Ejercicio] para el estudiante:
Teorema 3.3.2 En un dominio D un elemento p es primo si y solo si (p)
es un ideal primo.
Consideremos ahora D un dominio de integridad, c un elemento irreducible
en D y I un ideal de D que contenga a (c). Como D es DIP, existe d D tal
que (d) = I, por lo tanto c = dx para cierto x D, como c es irreducible,
entonces d es unidad o x es unidad. Si d es unidad, entonces I = (d) = D. Si
x es unidad, entonces c y d son asociados y se cumple que (c) = (d) = I. Es
decir, si c es irreducible en un DIP, entonces (c) es maximal. Reciprocamente,
si {0} = (c) es maximal, entonces si c = ab, entonces (c) (a). Si (a) = D
entonces a es unidad. Si (c) = (a), entonces existe unidad u tal que c = au,
como au = ab, entonces b = u y en este caso b es unidad. Entonces hemos
probado el siguiente teorema.
Teorema 3.3.3 En un DIP D un elemento c es irreducible si y solo si (c)
es un ideal maximal.
Corolario 3.3.1 En un DIP D un elemento c es irreducible si y solo si es
primo.
Demostracion: Que primo implica irreducible es cierto para cualquier D do-
minio, no necesariamente DIP. Recprocamente, consideremos c irreducible
en D, entonces (c) es maximal, entonces D/(c) es cuerpo, por lo tanto D/(c)
es un dominio de integridad, lo que implica que c es un ideal primo, por lo
tanto concluimos que c es primo.
86
Ejemplo 3.3.3 Como Z[i] es un DIP [Ejercicio], y como 17 no es irre-
ducible en Z[i], de hecho
17 = (4 +i)(4 i)
y tanto 4 +i como 4 +i no son unidades en Z[i], por lo tanto 17 no es primo
en Z[i].
Observacion 3.3.6 En un teorema anterior, demostramos que todo ideal
propio en un anillo conmutativo esta contenido en un ideal maximal. Con-
sideremos un DIP D y d D no nulo y no unidad, entonces existe un ideal
maximal en D que contiene a (d). Es decir, existe (c) con c irreducible tal que
d (c). Es decir, si d = 0 en un DIP, existe un elemento irreducible en D
que divide a d. En particular si p(x) K[x], con K cuerpo es un polinomio
de grado mayor o igual a 1, entonces existe un polinomio irreducible en K[x]
que divide a p(x).
Ejemplo 3.3.4 Si K es un cuerpo, un polinomio p(x) K[x] es irreducible
si no se puede escribir en la forma p(x) = q(x)r(x) con q(x) y r(x) polinomios
de grado mayor que cero. Es decir, si p(x) es irreducible y p(x) = q(x)r(x)
entonces q(x) o r(x) son elementos de K. Si p(x) es irreducible en K[x]
entonces F = K[x]/p(x) es un cuerpo, pues (p(x)) es maximal. Si p(x) es un
polinomio de grado n en K[x], entonces si f(x) K[x] entonces existen q(x)
y r(x) polnomios en K[x] tales que f(x) = p(x)q(x)+r(x) donde r = 0 o bien
deg(r(x)) < deg(p(x)) pero p(x)q(x) (p(x)) por lo tanto f(x) + (p(x)) =
r(x) + (p(x)). Es decir, toda clase en K[x]/(p(x)) tiene un representante de
grado menor que deg(p(x)) = n o es la clase nula. Es decir,
F = {a
0
+ a
1
x + a
2
x
2
+ + a
n
x
n1
+ (p(x))/ a
i
K}
Los elementos de la forma a
0
+ (p(x)) forman un subcuerpo de F que es
isomorfo a K. Abusando del lenguaje a ese subcuerpo lo llamaremos K.
Por lo tanto p(x) K[x] puede ser considerado en p(x) F[x]. Consideremos
= x + (p(x)) F y notamos que p() = p(x) + (p(x)) = (p(x)). Es decir,
es raz de p(x) en F.
Este ultimo ejemplo, dice que si p(x) es un polinomio irreducible en K[x], con
K cuerpo, entonces existe un cuerpo F tal que F tiene una copia isomorfa
de K y p(x) tiene al menos una raz en F.
87
Consideremos ahora un cadena de ideales en D un DIP. Digamos
(a
1
) (a
2
) (a
3
) (a
n
)
Consideremos
I =
_
i1
(a
i
)
el cual es un ideal, de hecho, como 0 (a
1
) I, se tiene que 0 I. Ademas
si a, b I, entonces existen k
1
y k
2
tal que a (a
k
1
) y b (a
k
2
), sin restriccin
podemos suponer que (a
k
1
) (a
k
2
), por lo tanto, a, b (a
k
2
), como (a
k
2
) es
ideal, entonces a + b (a
k
2
), entonces a + b I. Si a I, entonces existe k
tal que a (a
k
), entonces como (a
k
) es ideal se tiene que a (a
k
) y por lo
tanto a I. Del mismo modo se muestra que si r R y a I, entonces ra
esta en I. Tenemos entonces que I es ideal. Como D es DIP, entonces I = (c)
para cierto c I, entonces existe n N tal que c (a
n
). Entonces I = (a
n
)
por lo tanto (a
k
) = (a
n
) k n. Entonces:
Teorema 3.3.4 Una cadena ascendente de ideales en un DIP es estacionar-
ia.
Un dominio D se llama un dominio de factorizacion unica (DFU) si cada
elemento a no nulo y no unidad de D se puede escribir como a = c
1
c
2
c
3
c
n
,
con c
i
irreducible; y ademas si a = c
1
c
2
c
3
c
n
= d
1
d
2
d
3
d
m
con c
i
y d
j
irreducibles, entonces n = m y existe
n
tal que c
i
es asociado a d
(i)
.
Ejemplo 3.3.5 El teorema fundamental de la aritmetica dice precisamente
que Z es un DFU.
Teorema 3.3.5 Todo DIP es un DFU.
Demostracion:
Sea D un DIP y sea S el conjunto de elementos no nulos y no unidades de
D que no se pueden escribir en la forma c
1
c
2
c
3
c
n
con c
i
irreducibles. En
particular los elementos de S no son irreducibles. Probaremos que suponer
S no vaco nos lleva a una contradiccion.
Sea a S. Como a no es unidad, entonces existe un elemento c irreducible en
D que divide a a, (por Observacion (3.3.6). Por axioma de seleccion escojamos
88
c
a
uno de esos elementos irreducibles que dividen a a, entonces a = c
a
x
a
con
x
a
D
. Hay que notar que x

a
esta unicamente determinado por c
a
. Si x
a
fuese irreducible,entonces a no estara en S. Entonces x
a
no es irreducible.
Si x
a
fuese unidad, entonces a sera asociado a un irreducible, por lo tanto a
sera irreducible y no lo es. Por lo tanto x
a
no es irreducible y no es unidad.
Si x
a
fuese un producto de irreducibles, entonces a sera un producto de
irreducibles, pero no lo es. Es decir, x
a
no es cero, no es unidad y no es
el producto de irreducibles. Es decir, x
a
esta en S. Ademas (a) (x
a
). Si
(a) = (x
a
), entonces existira una unidad u tal que a = ux
a
, como D es
dominio, se tendra que c
a
= u, pero c
a
es irreducible, y por denicion c
a
no
es unidad, entonces
(a) (x
a
)
4
Como x
a
S, se tiene que existe c
x
a
irreducible y x
x
a
S tal que
(a) (x
a
) (x
x
a
)
Entonces podramos contruir una cadena estrictamente ascendente de ideales
de D lo cual es falso por el teorema anterior. Por lo tanto S = . Es decir,
todo elemento no nulo y no unidad se escribe en la forma c
1
c
2
c
3
c
n
con c
i
irreducibles para cada i = 1, 2, . . . n.
La unicidad se deja de [Ejercicio] para el estudiante.
Ejemplo 3.3.6 Si K es un cuerpo, entonces K[x] es un DFU.
Sean a, b en R un anillo conmutativo, diremos que c es un maximo com un
divisor de a y b, y anotamos MCD(a, b) o simplemente (a, b) si se cumplen
las dos siguientes condiciones:
c|a y c|b
d|a y d|b entonces c|d.
Si 1 es un maximo com un divisor entre a y b, entonces decimos que a y b son
relativamente primos.
4
A B denota A B y A = B.
89
Observacion 3.3.7 Si c y d son mcd entre a y b en R, entonces c|d y d|c.
Es decir, c y d son asociados. Si R es un dominio, entonces existe u unidad
tal que c = du.
Teorema 3.3.6 Si a, b D un DIP, entonces existe el mcd entre a y b.
Ademas cualquier maximo com un divisor entre a y b se escribe en la forma
ma + nb para ciertos m, n D.
Demostracion:
Consideremos el ideal (a) + (b) en D, como D es un DIP, existe c D tal
que (a) + (b) = (c). Como a (a) + (b) = (c) se tiene que c|a y del mismo
modo c|b. Ademas existen m, n D tales que c = ma + nb, por lo tanto si
d divide a a y a b, entonces divide a ma + nb, es decir d|c. Por lo tanto c es
un maximo com un divisor entre a y b. Recprocamente si d es un maximo
com un divisor de a y b y c = ma + nb el mcd del parrafo anterior, entonces
existe u unidad en D tal que d = cu = (um)a + (un)b.
Teorema 3.3.7 Si a, b D un DFU, entonces existe el mcd entre a y b.
Demostracion:
Si a = 0 y b = 0 entonces b es un mcd entre a y b. Si ambos son nulos,
entonces 0 es un mcd entre a y b. Si uno de ellos es unidad, entonces la
unidad es un mcd entre ambos. Si a y b no son unidades ni cero, entonces
existen c
i
irreducibles tales que
a = c
1
1
c
2
2
c
3
3
c
n
n
y
a = c
1
1
c
2
2
c
3
3
c
n
n
con c
i
irreducibles,
i
y
i
n umeros naturales (posiblemente ceros algunos de
ellos). Entonces armamos que
c = c
1
1
c
2
2
c
3
3
c
n
n
con
i
= mn{
i
,
i
} es un mcd entre a y b. La comporobacion de esto, queda
como ejercicio para el estudiante.
90
Captulo 4
Modulos
Consideremos un anillo R y (M, +) un grupo abeliano y supongamos que
existe una funcion de RM M, denotada por yuxtaposicion (r, m) rm
tal que:
1. (r + r
)m = rm + r
m, r, r
R y m M.
2. r(m+ m
) = rm + rm
, r R y m, m
M
3. r(r
m) = (rr
)m, r, r
R y m M
4. 1m = m, m M
Entonces diremos que M es un Rmodulo (izquierdo).
Observacion 4.0.8 Si V es un espacio vectorial sobre un cuerpo K, en-
tonces V es un modulo sobre K. Si V es un modulo sobre K y K es un
cuerpo, entonces V es un espacio vectorial sobre K.
Observacion 4.0.9 Si M es un Rmodulo. Entonces se cumple que
1. r0 = 0 r R
2. 0m = 0, m M.
3. (1)m = m, m M.
4. (r)m = (rm) = r(m), m M, r R
91
5. (r)(m) = rm, m M, r R
La comprobacion de esto es un Ejercicio para el estudiante.
Ejemplo 4.0.7 Si (G, +) es un grupo abeliano, y 0, 1 Z entonces deni-
mos 0g = 0 y 1g = g para cada g G. Si ng ya esta denido para n N y
g G, entonces denimos (n+1)g por ng+g. Si n Z\N entonces denimos
ng = (|n|g). Entonces podemos considerar a G como un Zmodulo.
Ejemplo 4.0.8 Si V es un espacio vectorial de dimension nita sobre K, y
T : V V una funcion lineal. Entonces podemos considerar a V como un
K[x]modulo. Si p(x) K[x], digamos
n
k=0
a
k
x
k
, entonces denimos p(T) =
n
k=0
a
k
T
k
, donde T
0
= I la funcion identidad y T
k
es la composicion T
T T T, k veces, la cual es una funcion lineal de V en V. Entonces si
(p(x), v) en K[x] V, denimos la multiplicacion p(x)v = p(T)(v). De esta
forma V es un K[x] modulo [Ejercicio].Recprocamente si V es un K[x]
modulo, entonces considerando K como los polinomios de grado 0 union el
polinomio nulo, V satisface los axiomas de espacio vectorial sobre K. Ademas
si consideramos la accion del polinomio x sobre V, se tiene que la funcion
T : V V denida por T(v) = xv, cumple con T(v + v
) = x(v + v
) =
xv + xv
= T(v) + T(v
) y ademas T(kv) = x(kv) = (xk)v = k(xv) =

kT(v) para cualesquiera v, v
V y para cualquier k K. Es decir, T es

una funcion lineal. Entonces p(x)v = p(T)v. Es decir, todo K[x]modulo se
pude considerar como V un espacio vectorial sobre K y una funcion lineal
destacada T : V V y donde la multiplicacion escalar esta denida por
p(x)v como p(T)(v).
Si M es un Rmodulo y N es un subgrupo (abeliano) de (M, +) que es
cerrado bajo la accion de R, es decir, para cada r R y n N se cumple
que rn N, entonces N se llama un Rsubmodulo de M.
Observacion 4.0.10 Si N es un Rsubmodulo de M, entonces N es un
Rmodulo. Si N es un Ksubmodulo de M con K cuerpo, entonces N es
un subespacio vectorial de M. El propio M es un Rsubmodulo de M y
tambien lo es {0}.
92
Teorema 4.0.8 Sea M un Rmodulo, entonces N M es un Rsubmodu-
lo si y solo si N = y para cualesquiera r, r
R y n, n
N, se cumple
rn + r
N.
Demostracion:
El sentido () se deja como [Ejercicio] para el estudiante. Demostremos
().
Como N no es vaco, tomemos n N y r = 0, entonces rn + rn = 0n +
0n = 0 N. Si n y n
son elementos de N, tomemos r = r
= 1, entonces
rn+r
= n+n
N. Si n N entonces tomemos r = 1 y r
= 0 entonces
rn + r
n = n N. Por lo tanto N es subgrupo de (M, +)

Si r R y n N entonces rn + 0n = rn N. Entonces N es un
Rsubmodulo.
Ejemplo 4.0.9 Si R es un anillo, entonces R es un Rmodulo, tomando la
multiplicacion escalar, como la multiplicacion del anillo. Si R es conmutativo,
entonces I es un Rsubmodulo de R si I es subgrupo de (R, +) y ri I para
cada r R e i I. Es decir, los submodulos de R visto como un Rmodulo
son los ideales de R.
Si M y M
son Rmodulos, entonces una funcion : M M
es un morsmo
de modulos, o una funcion lineal si satisface para cada m, m
M y r R
1. (m+ m
) = (m) +(m
)
2. (rm) = r(m)
Ejemplo 4.0.10 Si G y G
son grupos abelianos, entonces las funciones

lineales entre G y G
, vistos como Z modulos, son los morsmos de grupos.

Observacion 4.0.11 Si es una funcion lineal entre los R modulos M y
M
, entonces (0) = (0 + 0) = (0) + (0), entonces (0) = 0. El conjunto

Ker() = {x M/ (x) = 0} es un submodulo de M. De hecho, no es vaco,
pues 0 Ker() y si m y m
estan en Ker(), entonces (rm + r
) =
r(m) +r
(m
) = r0 +r
0 = 0, para cualesquiera r, r
R Ademas si existe
m = 0 en el kernel de entonces no es inyectiva, ya que (m) = (0) = 0.
Recprocamente si (m) = (m
) con m = m, entonces (m m
) = 0 es
93
decir 0 = mm
Ker(). Es decir, el kernel de una funcion lineal es {0}

si y solamente si l afuncion es inyectiva. La imagen de es un Rsubmodulo
de M
.
Los nombres de monomorsmos, epimorsmos, isomorsmos, automorsmos
se extienden a morsmos de modulos naturalmente.
Si M es un Rmodulo y N es un submodulo de M, entonces podemos denir
el grupo abeliano cuociente M/N, pero ademas podemos hacer actuar R en
las clases laterales, del modo natural:
r(m+ N) = rn +M
Para ver que esta multiplicacion por escalar esta bien denida, notemos que
si m + N = m
+ N, quiere decir que existe n N tal que m
= m + n,
entonces r(m
+N) = rm
+N = r(m+n) +N = rm+rn +N, pero como

rn N se tiene que r(m
+N) = r(m+N). Esta multiplicacion por escalar

satisface todas las condiciones para que M/N sea un Rmodulo. Se llama el
modulo cuociente entre M y N.
Si M es un Rmodulo y N un submodulo de M, entonces denimos la
proyeccion canonica:
N
: M M/N
por
N
(m) = m+N la cual es una funcion lineal epiyectiva, cuyo kernel es
N.
Teorema 4.0.9 (Teorema del Factor) Sea : M M
una funcion lin-

eal entre Rmodulos y L submodulo de M que esta contenido en el kernel de
. Entonces existe una unica funcion lineal : M/L M
tal que =
L
.
Es decir, hay una unica funcion que hace que el diagrama conmute.
M M
M/L
E
!
94
Demostracion:
Si tal funcion existe es unica y esta denida por (m+L) = (m). Entonces
si demostramos que as denida es un morsmo, habremos demostrado lo
requerido.
Demostremos primero que esta bien denida, de hecho, si m+L = m
+L,
entonces existe l L tal que m
= m + l, como L Ker() se tiene que

(l) = 0. Por lo tanto:
(m
+ L) = (m
) = (m+ l) = (m) +(l) = (m) = (m+ L)

Probemos ahora que es lineal. Tomemos m+L y m
+L in M/L, entonces
((m+ L) + (m
+ L)) = ((m+ m
) +L) = (m+m
) = (m) +(m
)
= (m+ L) +(m
+ L)
Ademas si r R, entonces
(r(m + L)) = (rm + L) = (rm) = r(m) = r(m+L)
Observacion 4.0.12 En el teorema anterior observamos que
Ker() = {m+ L/ (m) = 0} = {m+ L/ m Ker()} = Ker()/L
Por lo tanto Ker() = L, si y solo si () es inyectiva.
Corolario 4.0.2 (Primer Teorema del Isomorsmo) Si : M M
es Rlineal, entonces M/Ker()

= Im().
Demostracion:
Al considerar la funcion : M Im() denida por (m) = (m), que es
un epimorsmo y L = Ker() = K en el teorema del factor, se tiene que
es un isomorsmo.
M
Im()
M/K
E

c
=
95
Si L, N son Rsubmodulos de un Rmodulo M, podemos formar los submodu-

los
N L = {m M/ m N y m L}
N +L = {n +l M/ n N y l L}
Comprobar que son submodulos es un [Ejercicio] para el estudiante.
Observacion 4.0.13 N + L es un submodulo que contiene a N y que con-
tiene a L, entonces podemos formar el cuociente (N +L)/L. Notemos que si
n + l + L (N + L)/L entonces n + l + L = n + L, es decir, toda clase de
(N + L)/L tiene un representante en N. Entonces la funcion
: N (N + L)/L
denida por (n) = n + L es epiyectiva. Ademas es lineal. [Ejercicio].
El kernel de es el conjunto {n N/ n + L = L} = {n N/ n L} =
NL. Entonces por el primer teorema del isomorsmo, tenemos el siguiente
resultado:
Corolario 4.0.3 (Segundo Teorema del Isomorsmo) Si N, L son submodu-
los de un un R modulo M, entonces
N/(N L)

= (N + L)/L
Observacion 4.0.14 Si N, L son submodulos de un un R modulo M, y
L N, entonces podemos considerar la proyeccion canonica
N
: M M/N
la cual es epiyectiva. Como L Ker() entonces existe una unica funcion
lineal
N
tal que el diagrama conmuta:
M
M/N
M/L
E
N
c
N
96
Tal
N
es epiyectiva pues
N
lo es. Ahora bien, el kernel de
N
es el conjun-
to N/L, entonces existe un unico morsmo (
N
) que hace que el diagrama
inferior conmute:
M
M/N
M/L (M/L)/(N/L)
E
N
c
N
E
N/L
T
(
N
)
Como
N
es epiyectiva, (
N
) tambien lo es, y como Ker(
N
) es N/L se
tiene que (
N
) es inyectiva. Por lo tanto tenemos el siguiente teorema de
isomorsmos.
Corolario 4.0.4 (Tercer Teorema del Isomorsmo) Si N, L son Rsubmodu-
los de un un R modulo M, y L N entonces
(M/L)/(N/L)

= M/N
Si M es un Rmodulo y N, L son submodulos de M tales que N + L = M
y N L = {0}, entonces decimos que M es la suma directa de N y L y
anotamos M = N L.
Observacion 4.0.15 Supongamos que M = N L, y que m M se puede
escribir de dos forma distintas como sumas de L y N, es decir, supongamos
que existen n, n
N y l, l
L tales que m = n + l = n
+ l
, entonces
n n
= l
l N L, entonces n n
= l
l = 0, por lo tanto n = n
y l = l
, es decir, todo elemento de M se escribe de una unica manera como

la suma de un elemento de N y un elemento de L. El recproco es cierto, si
todo elelemnto se escribe como la suma de un elemento de N y un elemento
de L y esa manera es unica, entonces M = N L. [Ejercicio]
Si X es un conjunto de un Rmodulo, entonces el conjunto
< X >=
XN
N
97
donde la interseccion corre sobre todos los submodulos de M que contienen a
X, es un submodulo que contiene a X y es el mas peque no que cumple con esa
condicion. Se llama el submodulo generado por X. Por ejemplo, < >= {0}.
Si m M entonces < {m} > lo denotamos por < m > y le llamamos el
submodulo generado por m, o submodulo cclico generado por m Si r R
entonces rm N para cualquier submodulo N que contenga a m, entonces
Rm = {rm/ r R} < m > . Pero Rm es un subm modulo de M que
contiene a m. [Ejercicio]. Por lo tanto Rm =< m > .
Ejemplo 4.0.11 Consideremos la funcion lineal T : R
2
R
2
denida por
T(x y, x + y) y consideremos R
2
como un R[x] modulo, del modo que
mostramos antes, esto es p(x)v = p(T)v. Por ejemplo, si p(x) = x
2
, entonces
p(x)(1, 0) = T(T(1, 0)) = T(1, 1) = (0, 1). Tomemos ahora q(x) = x
2
2x+2,
entonces q(x)(1, 0) = T
2
(1, 0) 2T(1, 0) +2(1, 0) = (0, 1) 2(1, 1) +(2, 0) =
(0, 0). Es decir, existe un elemento no nulo r del anillo R = R[x], en nuestro
caso r = x
2
2x + 2 y un elemento no nulo m M = R
2
, en nuestro caso
m = (1, 0) tal que rm = 0. Es importante notar que R = R[x] es dominio.
De hecho, mas para todo v R
2
se tiene que q(x)v = 0. [Ejercicio]
Si M es un Rmodulo y m M es tal que existe 0 = r R para el caul
rm = 0, entonces decimos que m es un elemento de torsion. En cualquier
modulo, el 0 es un elemento de torsion. Si en un modulo 0 es el unico elemento
de torsion, entonces M se dice libre de torsion. Un espacio vectorial sobre un
cuerpo K es libre de torsion. El conjunto de todos los elementos de torsion
de M se denota por T(M) o por Tor(M).
Teorema 4.0.10 Si M es un modulo sobre un dominio D, entonces Tor(M)
es un submodulo de M
Demostracion:
Si 0 Tor(M) as que Tor(M) = emptyset. Si m y m
son de torsion,
entonces existen r y r
en D
tales que rm = 0 y r
= 0. Consideremos r
1
y r
2
cualesquiera en D y consideremos d = rr
como D e sun dominio d = 0.

Entonces
d(r
1
m+r
2
m
) = (rr
)r
1
m+(rr
)r
2
m
= (r
r
1
)rm+(rr
2
)r
= 0 +0 = 0
Sea M es un modulo sobre R un anillo conmutativo y m M. Consider-
emos la funcion f : R < m > denida por f(r) = rm. Esta funcion es
98
lineal, de hecho f(r + r
) = (r + r
)m = rm + r
m = f(r) + f(r
) y ademas
f(rr
) = (rr
)m = r(r
m) = rf(r
), para cualesquiera r, r
R. Ademas f es
epiyectiva. El kernel de f es el conjunto {r R/ rm = 0} y es un submodu-
lo de R, es decir, es un ideal de R, llamado el anulador de m y anotamos
Ann(m) = {r R/ rm = 0}. Por el primer teorema del isomorsmo tenemos
que
R/Ann(m)

=< m >
99

Grupos Anillos Modulos

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Grupos Anillos Modulos

Încărcat de

Drepturi de autor:

Formate disponibile

Captulo 2

Esta es una relacion de equivalencia.([Ejercicio]) Para cada x R existe

/ como [(m, n)] + [(a, b)] =

/ , ademas todo elemento no neutro aditivo de Z Z

< m, entonces 0 < r

r < m, luego m no divide a

Esta suma de clases, esta estrechamente relacionada con la suma de Z, por

[a] es lo mismo que decir que a

= (a +mk)(b + mt) = ab + m(at + kb +mkt) [ab]

H, pues H es subgrupo de G. Por lo tanto h

dos grupos y sea 1 el neutro de G y 1

son grupos con neutros 1 y 1

es tal que f(xy) = f(x)f(y) para cualesquiera

son grupos con neutros 1 y 1

es un morsmo de grupos, entonces el conjunto Ker(f) =

es un morsmo de grupos que no es

morsmo de grupos es inyectivo si y solo si Ker() = {1}.

es morsmo de grupos, el conjunto Im(f) = {f(g)/ g G}

, sin restriccion supondremos que k > k

< n, son elementos de H cuyo producto g

H, entonces kh KH, luego h

como HK = KH se tiene que hk

un morsmo de grupos entonces G/Ker() es isomorfo a Im().

K, entonces debieramos tener que (gK) = (g

K). Para ello notemos que

K signica que exsite k Ker() tal que g

= gk, por lo tanto:

) = (gk) = (g)(k) = (g) = (gK)

, es decir, g Ker() = K. Es decir, si K = Ker( ), o

g)H, la cual es una biyeccion de en si mismo. Pues si

K es equivalente a decir que existe

= gk, pero como K H se tiene que g

H. Es decir la funcion : G/K G/H denida por

H estan en K, entonces gHg

H K, pues K es subgrupo de G/H, entonces gg

existe g G tal que x

= gx. La clase de equivalencia de

Stab(x). Por ultimo si g Stab(x) entonces gx = x, por

x = (gh)x = g(hx) = gx.

bajo esta accion particular se le llama

g}. Notamos tambien que la orbita de g

tiene un solo elemento si y solo si g

, es decir es inyectiva. Por lo

=< (12)(34) > /1

zz = |z| podemos ver que |zw| = |z||w| con

= 0. Si z es una unidad en Z[i]

2)/p(x) Q[x]} es el conjunto de todos

2 es un n umero racional (de hecho es entero), y

2/ a, b Q} con la suma y multiplicacion usual de R se tiene que

2] es una anillo. Como

2 / Q, se tiene que los unicos racionales a y

2] es conmutativo y como vimos arriba es

aa. Por lo tanto si x = 0, entonces

son anillos con 0, 0

neutros aditivos y multiplicativos de

respectivamente. Una funcion : R R

Notamos que un morsmo de anillos es un morsmo de grupos abelianos,

, del mismo modo (kr) = (k)(r) =

. Es decir, Ker() es un ideal de R. Ademas, como ya lo vimos

, pero no necesariamente un ideal de R

es un morsmo de anillos inyectivo, entonces se llama un

son isomorfos y anotaremos R

. A los morsmos de un anillo en si