1 Teora de conjuntos y operaciones

Intuitivamente pensamos en un conjunto como una coleccin de objetos bien

denidos. Sea A un conjunto dado y sean p y q ciertos objetos. Si p es un
elemento de A, se indicar esto escribiendo p A; si tanto p como q son
elementos de A, se escribir p, q A; cuando q no es elemento de A, se
escribe q A
Si A y B son conjuntos tales que x A implica que x B ( es decir, que
todo elemento de A tambin es elemento de B), entonces se dir que A est
contenido en B, que B contiene a A o que A es subconjunto de B, y se escribir
A B o B A
Si
A B
y existe un elemento en B que no est en A, se dir que A es un subconjunto
propio de B y se escribe A B. El conjunto vaco o nulo es aquel que no
tiene elementos y se denota por
Sean A y B conjuntos dados. El conjunto de todos los elementos que
pertenecen tanto a A como a B se llama interseccin de A y B y se denotar
por A B. As, pues,
A B = {x : x Ay x B}
El conjunto de todos los elementos que pertenecen a A o a B o a ambos
se llama unin de A y B y se denota por A B. As, pues,
1
A B = {x : x Ao x B}
Dos conjuntos A y B son disjuntos si estos no tienen elementos en comn.
Se supone que todos los conjuntos en consideracin en cualquier aplicacin
de una teora de conjuntos estn contenidos en algn conjunto jo denomi-
nado el conjuto universal. Por ejemplo, en geometra de planos, el conjunto
universal comprende todos los puntos en el plano.
Teorema 1.1. Para tres conjuntos cualesquiera A, B, C tenemos:
1. A (B C) = (A B) (A C)
2. A (B C) = (A B) (A C)
3. (A B)
c
= A
c
B
c
4. (A B)
c
= A
c
B
c
Dado un conjunto T no vaco, decimos que T sirve como un conjunto de
ndice para la familia
F = {A

} de conjuntos si para cada T existe un conjunto A

en la
familia F
Por la unin de los conjuntos A

, donde T, entendemos el con-

junto {x|x A

, para al menos, un T}. Denotamos tal conjunto por

T
A

.
2
Por la interseccin de los conjuntos A

, donde T, entendemos el con-

junto {x|x A

, para todo T}. Denotamos tal conjunto por

T
A

.
Los conjuntos A

son mutuamente disjuntos o ajenos si para = ,

A

=
Ejemplo. Sea S el conjunto de los nmeros reales y T el conjunto de
los nmeros racionales. Sea, para T, A

= {x S|x > }. Entonces

T
A

= S mientras que

T
A

= .
Ejemplo. Sea T = { R : 0 < < 1} y para todo T, sea
A

= {x R : < x < }. Entonces:

= {

= {
Denicin. Dados dos conjuntos A y B, entonces el conjunto diferencia
A - B es el conjunto { x A|x B}.Si B A entonces A - B es el comple-
mento de B en A o complemento relativo de B en A y se denota por A \ B.
El complemento absoluto de A o, simplemente, el complemento de A, repre-
sentado por A
c
, es el conjunto de elementos que pertenecen a U pero que no
pertenecen a A, donde U es el conjunto universal, es decir, A
c
= {x U|x
A}
Denicin. Sea S un conjunto no vaco. Una particin de S es una
coleccin {A
i
} de subconjuntos no vacos de S tales que
1. Cada a en S pertenece a un A
i
.
2. A
i
A
j
= , i = j
3
Ejemplo. Consideremos la siguiente colecciones de subconjuntos de S =
{1, 2, 3, ..., 8, 9} :
1. A
1
= {1, 3, 5}, A
2
= {2, 6}, A
3
= {1, 3, 5}
2. A
1
= {1, 3, 5}, A
2
= {2, 4, 6, 8}, A
3
= {5, 7, 9}
3. A
1
= {1, 3, 5}, A
2
= {2, 4, 6, 8}, A
3
= {7, 9}
Cules de estas colecciones constituyen una particin de S?
Denicin. Si A y B son dos conjuntos no vacos, entonces el producto
cartesiano AXB de A y B es el conjunto de todos los pares ordenados (a, b)
con a A y b B.
Si A = {1, 2, 3} y B = {4, 5}, entonces el conjunto AXB es el conjunto
cuyos elementos son los pares ordenados
(1, 4), (1, 5), (2, 4), (2, 5), (3, 4), (3, 5)
Denicin. Una relacin R sobre un conjunto A (con ms precisin, una
relacin binaria sobre A, pues es una relacin entre pares de elementos de
A) es un subconjunto de AXA. Si A = {2, 3, 5, 6} y sea R la relacin "es
divisor de". Entonces
R= {
4
Una relacin R entre A y B es un subconjunto de AXB. El dominio de
una realcin R entre A y B es el conjunto de los primeros elementos de los
pares ordenados de R y el dominio de imgenes es el conjunto de los segundos
elementos, es decir,
dominio de R = {a : (a, b) R}, dominio de imgenes de R = {b :
(a, b) R}
1.1 Relaciones de equivalencias.
Una relacion R en un conjunto A, es decir un subconjunto de A X A es una
relacin de equivalencia sii:
1. para todo a A, (a, a) R.
2. Si (a, b) R, entonces (b, a) R.
3. Si (a, b) R y (b, c) R , entonces (a, c) R.
La primera de estas propiedades se llama reexiva, la segunda, simtrica
y la tercera, transitiva.
Ejemplo. Cules de las siguientes relaciones es una relacin de equiva-
lencia?
1. La relacin , es decir, la inclusin de conjuntos.
2. La semejanza de tringulos en la geometra euclidiana.
3. Sea S el conjunto de los enteros y sea n > 1 un entero jo. Para a, b S
se dene la relacin por a b si a-b es un mltiplo de n.
4. Sea S el conjunto de todos los puntos del plano. Dos puntos a y b se
denen como equivalentes si equidistan del origen.
5
1.1.1 Clases de equivalencias.
Si R es una relacin de equivalencia en A, entonces la clase de equivalencia de
un elemento a A, simbolizada por [a], es el conjunto de todos los elementos
relacionados con a, es decir,
[a] = {x : (a, x) R}
Ejemplo. En los ejemplos anteriores, Cules son las clases de equiva-
lencias?
La familia de clases de equivalencia da A, denotada por A/R, es el con-
junto cociente de A determinado por R, es decir,
A/R = {[a] : a A}
El conjunto cociente A/R posee las siguientes propiedades:
Teorema 1.2. Sea R una relacin de equivalencia en A y sea [a] la clase
de equivalencia de a A. Entonces:
1. para todo a A, a [a].
2. [a] = [b] si y slo si (a,b) R.
3. Si [a] [b] = , entonces [a] = [b].
Teorema 1.3. Sea R una relacin de equivalencia en A. Entonces, el
conjunto cociente A/R es una particin de A.
6
Ejemplo. Sea R una relacin en Z denida por
x y (mod 5)
Entonces R es una relacin de equivalencia en Z. Determine las diferentes
clases de equivalencias y muestre que constituyen una particin de Z.
1.2 Operaciones Binarias y propiedades
Denicin. Una operacin binaria en un conjunto, es una regla que asigna
a cada par ordenado (a, b) de elementos del conjunto algn elemento del
conjunto denotado por a b.
Ejemplos.
1. Defnase en Z
+
una operacin binaria por ab = min{a, b} o el valor
comn si a = b. Entonces:
a) 2 11 =
b)15 10 =
c)3 3 =
2. Defnase en Z
+
una operacin binaria por a b = a. As:
a) 2 3 =
b)25 10 =
c)5 5 =
3. Defnase en Z
+
una operacin binaria mediante a b = (a b) + 2, donde
a b es la operacin denida en el ejemplo 1. Entonces:
a) 4 7 =
b)25 9 =
c)6 6 =
7
1.2.1 Propiedades de las operaciones binarias
Denicin. Una operacin binaria en un conjunto S es conmutativa si
y slo si a b = b a para toda a, b S. La operacin es asociativa si y
slo si (a b) c = a (b c) para toda a, b, c S
Ejemplo. Cules operaciones en el ejemplo anterior son conmutativas
y cules son asociativas?.
Un conjunto S est dotado de un elemento neutro, tambin llamado iden-
tidad o unidad, con respecto a una operacin binaria sobre S si existe un
elemento u S con la propiedad de que u x = x u = x para todo x S
Denicin. Sea S un conjunto con dos operaciones binarias y denidas
sobre l. La operacin se dice que es distributiva a la izquierda con respecto
a la operacin si
a (b c) = (a b) (a c) para cualesquiera a, b, c S (a)
y se dice distributiva a la derecha respecto a si
(b c) a = (b a) (c a) para cualesquiera a, b, c S. (b)
Si se verican tanto (a) como (b), se dice simplemente que es distributiva
respecto a .
2 Aplicaciones
Denicin. Si S y T son conjuntos no vacos, entonces una aplicacin de S
en T es un subconjunto M de S x T, tal que para todo s S hay un slo
8
t T tal que el par ordenado (s, t) est en M. Tambin pensamos en una
aplicacin como una regla que asocia con cada elemento s S algn t T.
Decimos que t es la imagen de s bajo la aplicacin.
Sea una aplicacin de S en T; a menudo denotamos esto escribiendo
: S T. Si t es la imagen de s bajo escribimos t = (s)
Ejemplo.
1. Sea f el hacer corresponder a cada nmero real su cubo, esto es, para
cada nmero real x sea f(x) = x
3
. El dominio de denicin y el codo-
minio de f son ambos los nmeros reales, de modo que se puede escribir:
f : R R.
2. Sea f el asignar a cada pas del mundo su ciudad capital. Aqu el do-
minio de f es el conjunto de pases del mundo; el codominio de f es
el conjunto de ciudades capitales del mundo. La imagen de Francia es
pars, o sea que f(Francia) = Paris.
3. Sean A = {a, b, c, d} y B = {a, b, c}. Defnase una aplicacion f de A
en B por la correspondencia f(a) = b, f(b) = c, f(c) = c y f(d) = b.
Segn esta dencin, la imagen por ejemplo de b es c.
4. Sea A = {1, 1}. Sea f la aplicacin que hace corresponder a cada
nmero racional de R el nmero 1, y a cada nmero irracional de R el
nmero -1. Entonces f : R A, y se denira de manera precisa en la
forma:
9
f(x) = {
1 si x es racional
1 si x es irracional
Observaciones: Las aplicaciones de los ejemplos 1 y 4 vienen denidas por
frmulas caractersticas. Pero no siempre tiene que ser as. Las reglas de cor-
respondendia que denen las aplicaciones pueden ser diagramas, geogrcas,
como el ejemplo 2, o bien, cuando el dominio es nito, la correspondencia
puede ser enunciada para cada elemento del dominio, como ocurre en el ejem-
plo 3.
Dominio de imgenes.
Sea f una aplicacin de A en B. No es preciso que todo elemento de B sea
imagen de un elemento de A. El conjunto de los elementos de B que son
imgenes de un elemento de A por lo menos, se llama dominio de imgenes
de f. Se simboliza el dominio de imgenes de f : A B por f(A). f(A) es
un subconjunto de B.
Ejemplo. Determine el dominio de imgenes en las aplicaciones de los
ejemplos anteriores.
Aplicaciones inyectivas
Sea f una aplicacin de A en B. Entonces f se dice inyectiva si elemen-
tos distintos de B corresponden a elementos distintos de A, es decir, si dos
elementos distintos de A tienen imgenes distintas. Dicho en forma breve,
f : A B es inyectiva si f(x
1
) = f(x
2
) implica x
1
= x
2
, o lo que es lo
mismo, si x
1
= x
2
implica f(x
1
) = f(x
2
)
Ejemplos.
10
1. La aplicacin f : R R denida por la fmula f(x) = x
2
no es
inyectiva, pues f(2) = f(2) = 4, o sea, dos nmeros reales diferentes
tienen la misma imagen.
2. La aplicacin f : R R denida por la fmula f(x) = x
3
es inyectiva
puesto que los cubos de dos nmeros reales distintos son distintos.
3. La aplicacin f que asigna a cada pas del mundo su ciudad capital es
inyectiva.
Aplicaciones sobreyectivas
Sea f una aplicacin de A en B. El dominio de imgenes f(A) de la aplicacin
f es un subconjunto de B, esto es, f(A) B. Si f(A) = B, es decir, si todo
elemento de B es imagen de al menos un elemento de A, se dice entonces que
f es una aplicacin sobreyectiva de A en B o que f es una aplicacin de A
sobre B o bien que f aplica A sobre B.
Ejemplos.
1. La aplicacin f : R R denida por la frmula f(x) = x
2
no es
sobreyectiva porque los nmeros reales negativos no aparecen en el do-
minio de imgenes de f.
2. La aplicacin f : R R denida por la fmula f(x) = x
3
es sobreyec-
tiva. El dominio de imgenes de f es todo R.
Aplicaciones biyectivas
Sea f una aplicacin de A en B. Si f es inyectiva y sobreyectiva a la vez
entonces se dice que f es una aplicacin biyectiva.
Aplicacin identidad
Sea A un conjunto cualquiera. La aplicacin f : A A, denida por
f(x) = x se llama aplicacin idntica sobre A. Se denota por 1 o por 1
A
.
11
Aplicaciones constantes
Una aplicacin f de A en B se llama aplicacin constante si a cada elemento
de A se le asigna el mismo elemento de B.
Composicin de aplicaciones
Sean f : A B y g : B C. Entonces la composicin de g y f (llamada
tambin producto) es la aplicacin g f : A C denida por (g f)(x) =
g(f(x)) para todo x A.
Ejemplo.
Sea f : R R denida por f(x) = x
2
y g : R R denida por g(x) = x+3.
Entonces:
f(g(x)) =
g(f(x)) =
Observacin.
Sea f : A B. Entonces:
1
A
f = f 1
A
= f
Lema 2.1. Si f : A B , g : B C y h : C D, entonces
h (g f) = (h g) f.
Lema 2.2. Sean f : A B y g : B C, entonces:
1. g f es sobreyectiva si tanto f como g lo son.
2. g f es inyectiva si tanto f como g lo son.
Imagen inversa inversa
12
Sea f una aplicacin de A en B, y sea b B. La imagen inversa de b,
que se denota por f
1
(b), consiste en los elementos de A que estn aplicado
sobre b, esto es, de aquellos elementos de A que tienen a b por imagen. En
forma compacta escribimos
f
1
(b) = {x A : f(x) = b}
Ejemplo. Sea f : R R denida por f(x) = x
2
. Entonces :
1. f
1
(4) = {
2. f
1
(3) = {
Sea f una aplicacin de A en B, y sea D un subconjunto de B. La imagen
inversa de D bajo f es el subconjunto f
1
(D) de A dado por
f
1
(D) = {x A : f(x) D}
Ejemplo. Sea f : R R denida por f(x) = x
2
y sea D = [4, 9].
Entonces:
f
1
(D) = {
Aplicacin inversa
Sea f de A en B una aplicacin biyectiva. La aplicacin f
1
: B A
denida por f
1
(b) = a si y slo si f(a) = b se llama la inversa de f o la
aplicacin inversa de f.
Ejemplo. Sea A = {x R : x = 1} y se dene f : A R por
f(x) =
x
x1
.
1. Probar que f es inyectiva.
13
2. Hallar f
1
.
Lema 2.3. La aplicacin f : A B es una correspondencia biyectiva
entre A y B si y slo si existe una aplicacin g : B A tal que f g y g f
son las aplicaciones identidad sobre A y B respectivamente.
Denicin. Si S es un conjunto no vaco entonces A(S) es el conjunto de
todas las aplicaciones biyectivas de S sobre s mismo.
Teorema 2.1. Si f , g y h son elementos de A(S), entonces:
1. g f A(S).
2. h (g f) = (h g) f.
3. Existe un elemento 1
S
(la aplicacin idntica) en A(S) tal que f 1
S
=
1
S
f = f.
4. Existe un elemento f
1
A(S) tal que f
1
f = f f
1
= 1
S
.
3 Teora de grupos
Denicin. Un conjunto no vaci de elementos G se dice que forma un grupo
si en G est denida una operacin binaria, llamada producto y denotada
por (.) tal que:
1. a, b G implica a.b G (cierre).
2. a, b, c G implica que a.(b.c) = (a.b).c (ley asociativa).
3. Existe un elemento e G tal que a.e = e.a = a para todo a G
(existencia de una elemento identidad en G).
14
4. Para todo a G existe un elemento a
1
G tal que a.a
1
= a
1
.a = e
( existencia de inversos en G).
Denicin. Un grupo G se dice que es abeliano ( o conmutativo) si para
cualesquiera a, b G se tiene a.b = b.a.
Otra caracterstica natural de un grupo G es el nmero de elementos de
que consta. Llamanos a este orden de G y lo denotamos por o(G). Si este
nmero es nto decimos que G es un grupo nito.
Ejemplos. determine cules de los siguientes conjuntos con la operacin
indicada constituyen un grupo.
1. G es el conjunto de los enteros, con a.b, para a, b G, denida como la
suma usual entre enteros, es decir, a.b = a + b.
2. Dena en Q
+
la operacin denida por a b =
ab
2
.
3. El conjunto Z
+
con la operacin multiplicacin.
4. El conjunto Q
+
con la operacin multiplicacin.
3.1 Propiedades de los grupos
Teorema 3.1. Si G es un grupo, entonces:
1. el elemento identidad es nico;
2. todo a G tiene un inverso nico en G;
3. para todo a G (a
1
)
1
= a;
4. para todo a, b G, (ab)
1
= b
1
a
1
.
15
Teorema 3.2. Si G es un grupo con una operacin binaria , entonces
Para cualesquiera a, b, ...., p, q G (ab... pq)
1
= q
1
p
1
...b
1
a
1
Para cualquier a en un grupo G y cualquier m Z
+
, se dene,
1. a
m
= a a ... a m factores.
2. a
0
= e, el elemento neutro de G.
3. a
n
= (a
1
)
n
= a
1
a
1
... a
1
m factores.
Teorema 3.3. Si G es un grupo, entonces para todo a G y para todo
m, n Z,
1. a
m
a
n
= a
m+n
2. (a
m
)
n
= a
mn
Por orden de un elemento a de un grupo G se entiende el menor entero
positivo n, si existe, para el cual a
n
= e, el elemento neutro de G.
Ejemplo. Sea A = {
1
,
2
,
3
}, donde
1
=
1
2
+
1
2

3i ,
2
=
1
2

1
2

3i
y
3
= 1 son las races cbicas de la unidad. Este conjunto forma un grupo
con respecto a la multiplicacin. Determine el orden de cada elemento
i
.
Denicin. Sea H un subconjunto de un grupo G cerrado bajo la op-
eracin de grupo de G. Si H es l mismo un grupo bajo esta operacin in-
ducida, entonces H es un subgrupo de G. Denotaremos por H G o por
16
G H el hecho de H es un subgrupo de G.
Ejemplo. Q
+
bajo la multiplicacin es un subgrupo de R
+
bajo la mul-
tiplicacin.
Si G es un grupo entonces G es un subgrupo de si mismo, tambin el
conjunto consistente tan slo en e es un subgrupo de G. Estos subgrupo se
llaman subgrupos triviales.
Teorema 3.4. Un subconjunto no vaci H del grupo G es un subgrupo
de G si y slo si:
1. a, b H implica que ab H.
2. a H implica que a
1
H.
Teorema 3.5. Si H es un subconjunto nito no vaco de un grupo G, y
H es cerrado respecto a la multiplicacin, entonces H es un subgrupo de G.
Ejemplo. Pruebe que el subconjunto dado es un subgrupo de G en cada
caso.
1. Sea G el grupo de los enteros bajo la adicin, H
5
el subconjunto consis-
tente en todos los mltiplos de 5.
2. Sea S un subconjunto cualquiera, A(S) el conjunto de todas las apli-
caciones biyectivas de S sobre si mismo, que sabemos que es un grupo
bajo la composicin de aplicaciones. Si x
0
S, sea H(x
0
) = {
A(S) : (x
0
) = x
0
}. Si para x
1
= x
0
S denimos H(x
1
), qu es
H(x
0
) H(x
1
)?
17
3. Sea G un grupo cualquiera y a G. Sea (a) = {a
i
: i Z}. (a) se
llama subgrupo cclico generado por a. Si para una cierta eleccin de a,
G = (a), entonces decimos que G es un grupo cclico.
Ejemplo. Sean Z
4
y V los grupos dados en las tablas siguientes
Z
4
, + 0 1 2 3
0 0 1 2 3
1 1 2 3 0
2 2 3 0 1
3 3 0 1 2
V e a b c
e e a b c
a a e c b
b b c e a
c c b a e
Z
4
es cclico, tanto 1 como 3 son generadores. El grupo V no es cclico.
Ejemplo. El grupo Z bajo la suma es un grupo cclico. Tanto 1 como -1
son generadores del grupo.
3.2 Grupos de permutaciones
Denicin. Una permutacin de un conjunto A es una aplicacin biyectiva
de A en A. En un conjunto A de n elementos se pueden denir n! aplicaciones
biyectivas, es decir, n! permutaciones distintas.
18
En las permutaciones de un conjunto se dene una operacin binaria nat-
ural, la multiplicacin de permutaciones. Sea A un conjunto y sean y
permutaciones de A de modo que y sean aplicaciones biyectivas. Por la
parte (1) del teorema 2.1, es una aplicacin biyectiva.
Ejemplo. Considere el conjunto A = {1, 2, 3, 4, 5} y las permutaciones
y dadas por
=
(
1 2 3 4 5
4 2 5 3 1
)
=
(
1 2 3 4 5
3 5 4 2 1
)
Entonces =
Teorema 3.6. Sea A un conjunto no vaco y sea S
A
la familia de todas
las permutaciones de A. Entonces S
A
es un grupo bajo la multiplicacin de
permutaciones.
Denicin. Si A es el conjunto nito {1, 2, ..., n}, entonces el grupo de
todas las permutaciones de A es el grupo simtrico de n letras y se denota
por S
n
.
Ejemplo. Sea el conjunto A = {1, 2, 3}. Determine todas las permuta-
ciones de A y verique que forman un grupo con la multiplicacin.
19
Denicin. Sea G un grupo y H un subgrupo de G; para todo a, b G
decimos que a es congruente con b md H, lo que escribimos: a b md H,
si ab
1
H.
Teorema 3.7. La relacin a b md H es una relacin de equivalencia.
Denicin. Si H es un subgrupo de G, y a G, entonces Ha = {ha :
h H}. A Ha se le llama clase lateral derecha de H en G.
Teorema 3.8. Para todo a G,
Ha = {x G : a xmod H}.
Este teorema establece que [a], y por tanto Ha, es la clase de equivalencia
de a en G. De acuerdo al teorema 1.3 estas clases de equivalencia constituyen
una descomposicin de G en subconjuntos ajenos. Por tanto, dos clases lat-
erales derechas de H en G o son idnticas o son disjuntas.
Teorema 3.9. Hay una correspondencia biyectiva entre dos clases lat-
erales derechas cualesquiera de H en G.
Cuando H es un grupo nito, este teorema arma que dos clases laterales
derechas de H tienen el mismo nmero de elementos. Ntese que H = He es,
l mismo una clase lateral derecha de H, luego cualquier clase lateral derecha
20
de H en G tiene (H) elementos.
Como cualquier a G est en una nica clase lateral derecha, Ha, las
clases laterales derechas llenan G. Luego si k representa el nmero de distin-
tas clases laterales derechas de H en G, debemos tener k (H) = (G). Con
este argumento hemos probado el siguiente teorema debido a Lagrange.
Teorema 3.11. Si G es un grupo nto y H es un subgrupo de G, entonces
(H) es un divisor de (G).
Denicin. Si H es un subgrupo de G, el ndice de H en G, denotado
por i
G
(H), es el nmero de distintas clases laterales derechas de H en G. Si
G es un grupo nito, entonces i
G
(H) =
(G)
(H)
.
Corolario 3.1 Si G es un grupo nito y a G, entonces (a) | (G).
Corolario 3.2 Si G es un grupo nto y a G, entonces a
(G)
= e.
Si H y K son subgrupos de G, denimos el conjunto HK como, HK =
{x G : x = hk, h H, k K}.
Teorema 3.12. HK es un subgrupo de G si y slo si HK = KH.
21
Corolario 3.3 Si H y K son subgrupos de un grupo abeliano G, entonces
HK es un subgrupo de G.
3.3 Subgrupos normales y subgrupos cocientes
Denicin. Un subgrupo N de G se dice que es un subgrupo normal de G
si para toda g G y toda n N, gng
1
N.
Es claro que si por gNg
1
representamos el conjunto de todos los gng
1
,
con n N, entonces N es un subgrupo normal de G si y slo si gNg
1
N
para todo g G.
Teorema 3.13. N es un subgrupo normal de G si y slo si gNg
1
= N
para todo g G.
Teorema 3.14. N es un subgrupo normal de G si y slo si toda clase
lateral izquierda de N en G es una clase lateral derecha de N en G.
Teorema 3.15. Un subgrupo N de G es un subgrupo normal de G si y
slo si el producto de dos clases laterales derechas de N en G es de nuevo
una clase lateral derecha de N en G.
Denotemos por G/N la coleccin de las clases laterales derechas de N en
G y usamos el producto de subconjuntos de G para que nos suministre un
producto en G/N.
22
Armamos respecto a este producto:
1. X, Y G/N implica XY G/N; pues X = Na, Y = Nb para algunos
a, b G, y XY = NaNb = Nab G/N.
2. X, Y, Z G/N implica X = Na, Y = Nb, Z = Nc con a, b, c G, y, por
tanto, (XY )Z = (NaNb)Nc = N(ab)Nc = N(ab)c = Na(NbNc) =
X(Y Z). Por tanto, el producto satisface la ley asociativa.
3. Considere el elemento N = Ne G/N. Si X G/N, X = Na, a G,
entonces XN = NaNe = Nae = Na = X y anlogamente tambin
NX = X. Por tanto Ne es un elemento identidad para G/N.
4. Supongamos X = Na G/N, donde a G; es claro que Na
1
G/N,
y NaNa
1
= Naa
1
= Ne. Anlogamente Na
1
Na = Ne. De donde
Na
1
es el inverso de Na en G/N.
Con estos argumentos probamos el siguiente teorema.
Teorema 3.16. Si G es un grupo y N un sugrupo normal de G, entonces
G/N es tambin un grupo. Se llama grupo cociente o grupo factor de G por
N.
Teorema 3.17. Si G es un grupo nito y N es un subgrupo normal de
G, entonces (G/N) =
(G)
(N)
.
23
3.4 Homomorsmos
Denicin. Una aplicacin de un grupo G en un grupo G

se dice
que es un homomormo si para a, b G cualesquiera siempre se tiene
(ab) = (a)(b).
Ntese que en el primer miembro de esta relacin, es decir, en el trmino
(ab), el producto ab se calcula en G usando el producto de elementos de G,
mientras que en el segundo miembro de la realcin, es decir, en el trmino
(a)(b), el producto es el de elementos en G

.
Ejemplos. En cada uno de los siguientes casos pruebe que la aplicacin
dada es un homomorsmo entre los grupos dados.
1. (x) = e y (x) = x para todo x G.
2. Sea G el grupo aditivo de los nmeros reales y sea G el grupo de los
nmeros reales distinto de cero con la multiplicacin ordinaria entre
nmeros reales. Sea : G G

denida por (a) = 2

a
.
3. Sea G el grupo aditivo de los enteros y G

= G. Para el entero x de-

namos (x) = 2x.
4. Sea G el grupo de los nmeros reales no nulos bajo la multiplicacin,
G

= {1, 1}. Denamos : G G

por (x) = 1 si x es positivo y

(x) = 1 si x es negativo.
Teorema 3.18. Supongamos que G es un grupo y que N es un subgrupo
normal de G; denamos la aplicacin de G en G/N por (x) = Nx para
24
todo x G. Entonces es un homomorsmo de G sobre G/N.
Denicin. Si es un homomorsmo de G en G

, el ncleo de , K

,
se dene por K

= {x G : (x) = e

}, es el elemento identidad de G

.
Teorema 3.19. Si es un homomorsmo de G en G

, entonces:
1. (e) = e

.
2. (x
1
) = (x)
1
para todo x G.
Teorema 3.20. Si es un homomorsmo de G en G

de ncleo K, en-
tonces K es un subgrupo normal de G.
Denicin. Sea un homomorsmo del grupo G sobre el grupo G

, y
sea K el ncleo de . Si g

, decimos que un elemento x de G es una

imagen inversa de g

bajo si (x) = g

.
Teorema 3.21. Si es un homomorsmo de G en G

de ncleo K, en-
tonces el conjunto de todas la imgenes inversas de g

bajo en G est
dado por Kx donde x es una imagen inversa particular cualquiera de g

.
Denicin. Un homomorsmo de G en G

se dice que es un isomor-

smo si es inyectivo.
Denicin. Dos grupos G y G

se dice que son isomorfos si hay un iso-

morsmo de G sobre G

. En este caso escribimos G G

.
25
Teorema 3.22. Sean G, G

y G

grupos. Entonces
1. G G.
2. G G

implica que G

G.
3. G G

, G

implica que G G

.
Corolario 3.4. Un homomorsmo de G sobre G

con ncleo K

es un
isomorsmo de G en G

si y slo si K

= (e)
Denicin. Por un automorsmo de un grupo G entenderemos un iso-
morsmo de G sobre si mismo.
Por ejemplo sea I la aplicacin de G denida por I(x) = x para toda
x G es trivialemente un automorsmo de G.
Sea A(G) el conjunto de todos los automorsmo de G, siendo un subcon-
junto de A(G), el conjunto de todas las aplicaciones inyectivas de G sobre
s mismo, para los elementos de A(G) podemos usar el producto denido en
A(G), es decir el producto de aplicaciones. Este producto satisface entonces
la propiedad asociativa en A(G) y, por tanto, en A(G). Adems, I, el ele-
mento unidad de A(G), est en A(G), luego A(G) no es vaco. Todo sto
nos permite establecer el siguiente resultado.
Teorema 3.23. Si G es un grupo, entonces A(G) es un subgrupo de
A(G).
26
Adems de I podemos establecer otros automorsmo en un grupo G. Si
el grupo es abeliano y hay algn elemento x
0
G que satisface x
0
= x
1
,
podemos escribir explcitamente un automorsmo, el que constituye la apli-
cacin T denida por T(x) = x
1
para todo x G.
Sea G un grupo; para g G denamos T
g
: G G por T
g
(x) = g
1
xg.
T
g
se llama automorsmo interior correspondiente a g
4 Teora de anillos
4.1 Deniciones y ejemplos
Denicin. Un conjunto no vaco R se dice que es un anillo asociativo si en
R estn denidas dos operaciones, denotadas por "+" y "." respectivamente
tales que para cualesquiera a, b y c en R:
1. a + b est en R.
2. a + b = b + a.
3. (a + b) + c = a + (b + c).
4. hay un elemento 0 en R tal que a + 0 = a para todo a en R.
5. Existe un elemento a en R tal que a + (a) = 0.
6. a.b est en R.
7. a.(b.c) = (a.b).c.
8. a.(b + c) = a.b + a.c y (b + c).a = b.a + c.a
27
los axiomas (1) a (5) simplemente arman que R es un grupo abeliano
bajo la operacin + a la que llamamos adicin. Los axiomas (6) y (7) nos
dicen que R es cerrado bajo una operacin asociativa, ,a la que llamanos
multiplicacin. El axioma 8 sirve para correlacionar las dos operaciones.
Puede y no suceder que exista un elemento 1 en R tal que 1.a = a.1 = a
para toda a en R; si tal elemento existe diremos que R es un anillo con ele-
mento unitario.
Si la multiplicacin de R es tal que a.b = b.a para toda a, b en R entonces
llamamos a R anillo conmutativo.
Ejemplo 1. R es el conjunto de los enteros positivos, + es la adicin
usual y la multiplicacin de los enteros. R es un anillo conmutativo con
elemento unitario.
Ejemplo 2. R es el conjunto de los enteros pares bajo las operaciones
habituales de adicin y multiplicacin. R es un anillo conmutativo pero no
tiene elemento unitario.
Ejemplo 3. R es el conjunto de los nmeros racionales bajo la adicin y
multiplicacin habituales de los nmeros racionales. R es un anillo conmu-
tativo con elemento unitario. Podemos ver que los elementos de R distintos
del 0 forman un grupo abeliano bajo la multiplicacin. Un anillo con esta
ltima propiedad se llama campo
28
Ejemplo 4. R es el conjunto de los enteros mdulo 7 bajo la adicin y
multiplicacin mdulo 7. Es decir, los elementos de R son los siete smbolos
0, 1, 2, 3, 4, 5, 6 donde:
1. i + j = k donde k es el residuo de la divisin de i + j por 7.
2. i.j = m donde m es el residuo de la divisin de ij por 7.
Podemos vericar que R es un anillo conmutativo con elemento unidad. Tam-
bin podemos ver que los elementos de R distintos de cero forman un grupo
abeliano bajo la multiplicacion. R es, pues, un campo. Como solamente
tiene un nmero nito de elementos se llama campo nito.
Ejemplo 5. R es el conjunto de los enteros mdulo 6 bajo la adicin y
multiplicacin mdulo 6. Si denotamos los elementos de R por 0, 1, 2, 3, 4,
5, vemos que 2.3 = 0, aunque 2 = 0 y 3 = 0.
Ejemplo 6. Sea C el conjunto de los nmeros complejos con la adicin
y multiplicacin habitual de nmeros complejos. Armamos que C es un
campo.
Denicin. Si R es un anillo conmutativo, entonces a = 0 R se dice
que es un divisor de cero si existe un b R, b = 0 tal que ab = 0.
Denicin. Un anillo conmutativo es un dominio entero si no tiene di-
visores de cero.
29
El anillo de los enteros es un ejemplo de dominio entero.
Denicin. Un anillo se dice que es un anillo con divisin si sus elemen-
tos distintos de cero forman un grupo bajo la multiplicacin.
Denicin. Un campo es un anillo conmutativo con divisin.
Teorema 4.1. Si R es un anillo entonces para todo a, b R
1. a0 = 0a = 0.
2. a(b) = (a)b = (ab).
3. (a)(b) = ab.
Si adems, R tiene un elemento unitario, 1, entonces
4. (1)a = a.
5. (-1)(-1)=1.
PRINCIPIO DE LAS CASILLAS. Si n objetos se distribuyen sobre
m lugares y si n > m entonces algn lugar recibe al menos dos objetos. Una
formulacin equivalente es: Si n objetos se distribuyen sobre n lugares en tal
forma que ningn lugar reciba ms de un objeto, entonces cada lugar recibe
exactamente un objeto.
Teorema 4.2. un dominio entero nito es un campo.
Corolario. Si p es un nmero primo entonces J
p
, en anillo de los enteros
mdulo p, es un campo.
30
4.2 HOMOMORFISMOS
Denicin. Una aplicacin del anillo R en el anillo R

se dice que es un
homomorsmo si
1. (a + b) = (a) + (b).
2. (ab) = (a)(b),
para a, b R cualesquiera.
Como en el caso de los grupos, el + y el . que aparecen en los primeros
miembros de las relaciones anteriores son los de R mientras que el + y el .
aparecen en los segundos miembros son los de R

.
Un homomorsmo de un anillo R en un anillo R

es, si ignoramos la mul-

tiplicacin en ambos anillos, al menos un homomorsmo de R en R

cuando
lo consideramos como grupos abelianos bajo las respectivas adiciones. Por
tanto, en cuanto a la adicin concierne, todas las propiedades a cerca de los
homomorsmos de grupos tambin se cumplen aqu. En particular, la mera
reformulacin del teorema 2.19 para el caso del grupo aditivo de un anillo
nos da
Teorema 4.3. Si es homomorsmo de un anillo R en un anillo R

entonces
1. (0) = 0.
2. (a) = (a) para todo a R.
31
Si tanto R como R

tienen elementos unidad 1 y 1

respectivamente para
sus multiplicaciones, no se sigue de ello necesariamente que (1) = 1

. Sin
embargo, si R

es un dominio entero, o si R

es arbitrario, pero es sobreyec-

tivo, entonces (1) = 1

es necesariamente cierto.
32