1

Teora de conjuntos y operaciones

Intuitivamente pensamos en un conjunto como una coleccin de objetos bien

definidos. 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
AB oBA
Si
AB
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 A y 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 A o 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 fijo denominado 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 = Ac B c
4. (A B)c = Ac 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 conjunto {x|x A , para al menos, un T }. Denotamos tal conjunto por

T A .

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 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:

A = {

A = {
Definicin. 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 complemento 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, representado por Ac , es el conjunto de elementos que pertenecen a U pero que no
pertenecen a A, donde U es el conjunto universal, es decir, Ac = {x U |x
A}

Definicin. Sea S un conjunto no vaco. Una particin de S es una

coleccin {Ai } de subconjuntos no vacos de S tales que
1. Cada a en S pertenece a un Ai .
2. Ai Aj = , i = j
3

Ejemplo. Consideremos la siguiente colecciones de subconjuntos de S =

{1, 2, 3, ..., 8, 9} :

1. A1 = {1, 3, 5}, A2 = {2, 6}, A3 = {1, 3, 5}

2. A1 = {1, 3, 5}, A2 = {2, 4, 6, 8}, A3 = {5, 7, 9}
3. A1 = {1, 3, 5}, A2 = {2, 4, 6, 8}, A3 = {7, 9}
Cules de estas colecciones constituyen una particin de S?

Definicin. 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)

Definicin. 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= {

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 reflexiva, la segunda, simtrica
y la tercera, transitiva.
Ejemplo. Cules de las siguientes relaciones es una relacin de equivalencia?
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 fijo. Para a, b S
se define 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
definen 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 equivalencias?

La familia de clases de equivalencia da A, denotada por A/R, es el conjunto 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.

Ejemplo. Sea R una relacin en Z definida 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

Definicin. 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 a b = 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 definida en el ejemplo 1. Entonces:
a) 4 7 =
b)25 9 =
c)6 6 =

1.2.1

Propiedades de las operaciones binarias

Definicin. 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 identidad 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
Definicin. Sea S un conjunto con dos operaciones binarias y definidas
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 verifican tanto (a) como (b), se dice simplemente que es distributiva
respecto a .

Aplicaciones

Definicin. 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) = x3 . El dominio de definicin y el codominio 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 dominio 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 (F rancia) = P aris.
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 defincin, 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 definira de manera precisa en la
forma:

f (x) = {11sisix xesesracional

irracional
Observaciones: Las aplicaciones de los ejemplos 1 y 4 vienen definidas por
frmulas caractersticas. Pero no siempre tiene que ser as. Las reglas de correspondendia que definen las aplicaciones pueden ser diagramas, geogrficas,
como el ejemplo 2, o bien, cuando el dominio es finito, la correspondencia
puede ser enunciada para cada elemento del dominio, como ocurre en el ejemplo 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 elementos 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 (x1 ) = f (x2 ) implica x1 = x2 , o lo que es lo
mismo, si x1 = x2 implica f (x1 ) = f (x2 )
Ejemplos.

10

1. La aplicacin f : R R definida por la fmula f (x) = x2 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 definida por la fmula f (x) = x3 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 definida por la frmula f (x) = x2 no es
sobreyectiva porque los nmeros reales negativos no aparecen en el dominio de imgenes de f .
2. La aplicacin f : R R definida por la fmula f (x) = x3 es sobreyectiva. 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, definida por
f (x) = x se llama aplicacin idntica sobre A. Se denota por 1 o por 1A .
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 definida por (g f )(x) =
g(f (x)) para todo x A.
Ejemplo.
Sea f : R R definida por f (x) = x2 y g : R R definida por g(x) = x+3.
Entonces:
f (g(x)) =
g(f (x)) =

Observacin.
Sea f : A B. Entonces:
1A f = f 1A = 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 definida por f (x) = x2 . 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.
Entonces:

Sea f : R R definida por f (x) = x2 y sea D = [4, 9].

f 1 (D) = {
Aplicacin inversa
Sea f de A en B una aplicacin biyectiva. La aplicacin f 1 : B A
definida 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 define f : A R por

x
f (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.

Definicin. 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 1S (la aplicacin idntica) en A(S) tal que f 1S =
1S f = f .
4. Existe un elemento f 1 A(S) tal que f 1 f = f f 1 = 1S .

Teora de grupos

Definicin. Un conjunto no vaci de elementos G se dice que forma un grupo

si en G est definida 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 a1 G tal que a.a1 = a1 .a = e

( existencia de inversos en G).
Definicin. 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 finto decimos que G es un grupo finito.
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, definida como la
suma usual entre enteros, es decir, a.b = a + b.
2. Defina en Q+ la operacin definida por a b =

ab
2.

3. El conjunto Z+ con la operacin multiplicacin.

4. El conjunto Q+ con la operacin multiplicacin.
5. El conjunto Q+ con la operacin definida por a b =

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 (a1 )1 = a;
15

ab
2.

4. para todo a, b G (ab)1 = b1 a1 .

Teorema 3.2. Si G es un grupo con una operacin binaria , entonces
Para cualesquiera a, b, ...., p, q G (a b ... p q)1 = q 1 p1 ...b1 a1
Para cualquier a en un grupo G y cualquier m Z+ , se define,
1. am = a a ... a m factores.
2. a0 = e, el elemento neutro de G.
3. an = (a1 )n = a1 a1 ... a1 m factores.
Teorema 3.3. Si G es un grupo, entonces para todo a G y para todo
m, n Z,
1. am an = am+n
2. (am )n = amn

Por orden de un elemento a de un grupo G se entiende el menor entero

positivo n, existe, para el cual an = e, el elemento neutro de G.

Ejemplo. Sea A = {1 , 2 , 3 }, donde 1 = 12 + 12 3i , 2 = 12 12 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 .
Definicin. Sea H un subconjunto de un grupo G cerrado bajo la operacin de grupo de G. Si H es l mismo un grupo bajo esta operacin inducida, entonces H es un subgrupo de G. Denotaremos por H G o po
16

G H el hecho de H es un subgrupo de G.
Ejemplo. Q+ bajo la multiplicacin es un subgrupo de R+ bajo la multiplicacin.

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 a1 H.

Teorema 3.5. Si H es un subconjunto finito 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, H5 el subconjunto consistente en todos los mltiplos de 5.
2. Sea S un subconjunto cualquiera, A(S) el conjunto de todas las aplicaciones biyectivas de S sobre si mismo, que sabemos que es un grupo bajo
la composicin de aplicaciones. Si x0 S, sea H(x0 ) = { A(S) :
(x0 ) = x0 }.
17

3. Sea G un grupo cualquiera y a G. Sea (a) = {ai : 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 Z4 y V los grupos dados en las tablas siguientes
Z4 , +
0
1
2
3

0
0
1
2
3

1
1
2
3
0

2
2
3
0
1

V
e
a
b
c

a
a
e
c
b

b
b
c
e
a

c
c
b
a
e

e
e
a
b
c

3
3
0
1
2

Z4 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

Definicin. Una permutacin de un conjunto A es una aplicacin biyectiva

de A en A. En un conjunto A de n elementos se pueden definir n! aplicaciones
biyectivas, es decir, n! permutaciones distintas.

18

En las permutaciones de un conjunto se define una operacin binaria natural, 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
=
4
(
1
=
3
Entonces

2 3 4
2 5 3
2 3 4
5 4 2
=

)
5
1
)
5
1

Teorema 3.6. Sea A un conjunto no vaco y sea SA la familia de todas

las permutaciones de A. Entonces SA es un grupo bajo la multiplicacin de
permutaciones.

Definicin. Si A es el conjunto finito {1, 2, ..., n}, entonces el grupo de

todas las permutaciones de A es el grupo simtrico de n letras y se denota
por Sn .

Ejemplo. Sea el conjunto A = {1, 2, 3}. Determine todas las permutaciones de A y verifique que forman un grupo con la multiplicacin.

19

Definicin. 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 ab1 H.
Teorema 3.7. La relacin a b md H es una relacin de equivalencia.
Definicin. 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 x mod 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 laterales derechas de H en G o son idnticas o son disjuntas.

Teorema 3.9. Hay una correspondencia biyectiva entre dos clases laterales derechas cualesquiera de H en G.

Cuando H es un grupo finito, este teorema afirma 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 distintas 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 finto y H es un subgrupo de G, entonces

(H) es un divisor de (G).

Definicin. Si H es un subgrupo de G, el ndice de H en G, denotado

por iG (H), es el nmero de distintas clases laterales derechas de H en G. Si
(G)
G es un grupo finito, entonces iG (H) = (H)
.
Corolario 3.1 Si G es un grupo finito y a G, entonces (a) | (G).
Corolario 3.2 Si G es un grupo finto y a G, entonces a(G) = e.

Si H y K son subgrupos de G, definimos 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

Definicin. 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 gN g 1 representamos el conjunto de todos los gng 1 ,
con n N , entonces N es un subgrupo normal de G si y slo si gN g 1 N
para todo g G.
Teorema 3.13. N es un subgrupo normal de G si y slo si gN g 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

Afirmamos 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 = N aN b = N ab 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 = (N aN b)N c = N (ab)N c = N (ab)c = N a(N bN c) =
X(Y Z). Por tanto, el producto satisface la ley asociativa.
3. Considere el elemento N = N e G/N. Si X G/N , X = N a, a G,
entonces XN = N aN e = N ae = N a = X y anlogamente tambin
N X = X. Por tanto Ne es un elemento identidad para G/N .
4. Supongamos X = N a G/N , donde a G; es claro que N a1 G/N ,
y N aN a1 = N aa1 = N e. Anlogamente N a1 N a = N e. De donde
N a1 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 finito y N es un subgrupo normal de

(G)
G, entonces (G/N ) = (N
).

23

3.4

Homomorfismos

Definicin. Una aplicacin de un grupo G en un grupo G se dice

que es un homomorfimo 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 homomorfismo 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 definida por (a) = 2a .
3. Sea G el grupo aditivo de los enteros y G = G. Para el entero x definamos (x) = 2x.
4. Sea G el grupo de los nmeros reales no nulos bajo la multiplicacin,
G = {1, 1}. Definamos : 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; definamos la aplicacin de G en G/N por (x) = N x para
24

todo x G. Entonces es un homomorfismo de G sobre G/N .

Definicin. Si es un homomorfismo de G en G , el ncleo de , K ,
se define por K = {x G : (x) = e }, es el elemento identidad de G .
Teorema 3.19. Si es un homomorfismo de G en G , entonces:
1. (e) = e .
2. (x1 ) = (x)1 para todo x G.
Teorema 3.20. Si es un homomorfismo de G en G de ncleo K, entonces K es un subgrupo normal de G.

Definicin. Sea un homomorfismo del grupo G sobre el grupo G , y

sea K el ncleo de . Si g G , decimos que un elemento x de G es una
imagen inversa de g bajo si (x) = g .

Teorema 3.21. Si es un homomorfismo de G en G de ncleo K, entonces el conjunto de todas la imgenes inversas de g G bajo en G est
dado por Kx donde x es una imagen inversa particular cualquiera de g G .
Definicin. Un homomorfismo de G en G se dice que es un isomorfismo si es inyectivo.

Definicin. Dos grupos G y G se dice que son isomorfos si hay un isomorfismo 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 G implica que G G .
Corolario 3.4. Un homomorfismo de G sobre G con ncleo K es un
isomorfismo de G en G si y slo si K = (e)

Teora de anillos

4.1

Definiciones y ejemplos

Definicin. Un conjunto no vaco R se dice que es un anillo asociativo si en

R estn definidas 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.
26

8. a.(b + c) = a.b + a.c y (b + c).a = b.a + c.a

los axiomas (1) a (5) simplemente afirman 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 elemento 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 conmutativo 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
27

Definicin. 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.

Definicin. Un anillo conmutativo es un dominio entero si no tiene divisores de cero.

El anillo de los enteros es un ejemplo de dominio entero.

Definicin. Un anillo se dice que es un anillo con divisin si sus elementos distintos de cero forman un grupo bajo la multiplicacin.

Definicin. Un campo es un anillo conmutativo con divisin.

28