Apuntes de Algebra

Abstracta I
Ana Laura Gonzalez Estrada
Universidad Autonoma de Nuevo Leon, Mexico
analauragzz.fcfm@gmail.com
San Nicolas de los Garza, Nuevo Leon, 2015

Prefacio

Este documento ha sido elaborado para el curso de Algebra

Abstracta I de la licenciatura
en Matematicas de la Facultad de Ciencias Fsico Matematicas de la Universidad Autonoma
de Nuevo Le
on, en San Nicolas de los Garza, Nuevo Le
on, Mexico.
El material est
a basado en los libros siguientes:

1. Algebra
Moderna de I.N. Herstein [1]

2. Algebra
de Serge Lang [2]

1.
1.1.

Pre-requisitos

Algebra
de Conjuntos

Definici
on 1 La uni
on de los dos conjuntos A y B, escrita A B, es el conjunto {x|x
A x B}.

Definici
on 2 La intersecci
on de los dos conjuntos A y B, escrita A B, es el conjunto
{x|x A x B}

Definici
on 3 Dados dos conjuntos A, B, el conjunto diferencia AB es el conjunto {x|x
Ax
/ B}

Definici
on 4 Si A es subconjunto de S, el conjunto diferencia S A es el complemento de
A en S, S A = {x|x S x
/ A}.
Ejemplo Z = {..., 3, 2, 1, 0, 1, 2, 3, ...}
N = {1, 2, 3, ...}
Z N = {0, 1, 2, 3, ...}

Definici
on 5 Dos conjuntos se dice que son ajenos si su intersecci
on es vaca.

3
20
18

11

2
9

5
4

25

Proposici
on 1 Para tres conjuntos cualesquiera A,B,C tenemos
A (B C) = (A B) (A C).

n: Sea x A (B C)
Demostracio
x A (x B x C)
(x A x B) (x A x C)
(x A B) (x A C)
x (A B) (A C)
A (B C) (A B) (A C)
Sea x (A B) (A C)
(x A B) (x A C)
(x A x B) (x A x C)
3

 x A (x B x C)
x A (B C)
(A B) (A C) A (B C)
Definici
on 6 Dado un conjunto T decimos que T sirve como un conjunto de ndices para
la familia F = {A } de conjuntos si para cada T existe un conjunto A en la familia
F.
Definici
on 7 La uni
on de los conjuntos A , donde T es el conjunto
{x|x A para al menos un T }
y se denota

A .

Definici
on 8 La intersecci
on de los conjuntos A , donde T es el conjunto {x|x
\
A para todo T } y se denota
A .
T

Definici
on 9 Los conjuntos A son mutuamente ajenos si para , T tal que 6= , el
conjunto A A es vaco.
Definici
on 10 Dados dos conjuntos A, B, el producto cartesiano de los conjuntos se denota
A B, es el conjunto {(a, b)|a A b
/ B}. En el cual el par ordenado (a, b) es igual al
par ordenado (a1 , b1 ) si y s
olo si a = a1 y b = b1 .
Definici
on 11 Si X1 , X2 ,...Xn es una colecci
on de conjuntos entonces el producto carteY
siano X1 X2 ... Xn , que tambien se denota por
Xi se define como el conjunto
i=1,...,n

de n-tuplas
{(x1 , x2 , ..., xn )|xi Xi para cada i = 1, 2, ..., n}

1.2.

Ejercicios

1. Si A es el conjunto de los residentes en los Estados Unidos, B el conjunto de los

ciudadanos canadienses y C el conjunto de todas las mujeres del mundo, descrbanse
T T
verbamente los conjuntos A B C, A B, A C, C A.
2. Si A B y B C, pruebese que A C.
3. Demuestrese que (A B) (B A) = (A B) (A B).
4. Pruebese que A (B C) = (A B) (A C).

5. Escrbanse todos los subconjuntos de S = {a, b, c, d}.

6. Si C es un subconjunto de S, den
otese por C el complemento de C en S. Pruebese
la siguiente ley de De Morgan para subconjuntos A,B de S: (A B) = A B
7. Sea S un conjunto. Para dos subconjuntos cualesquiera de S se define
A + B = (A B) (B A) y A B = A B
Demostrar que:
A+=A
AA =A
A + (B + C) = (A + B) + C
Si A + B = A + C, entonces B = C
8. Sean A, B conjuntos, demostrar que A B = (A B) (B A) (A B).
9. Si C es un conjunto fnito, den
otese por m(C) el n
umero de elementos de C. Si A, B
son conjuntos finitos pruebes que m(A B) = m(A) + m(B) m(A B).
10. Si el 70 % de los mexicanos ha cursado licenciatura y el 30 % leen un peri
odico diario.
Determnese por lo menos que porcentaje ha cursado licenciatur y lee un peri
odico
diario.

1.3.

Aplicaciones

Definici
on 12 Sean S,T conjuntos no vacos; una funci
on o aplicaci
on de S en T es
una regla que asigna a cada elementeo s S un elemento u
nico t T . Mediante : S T
se denota que es un aplicaci
on de S en T y se escribe t = (s) para t T , se le llama
imagen de s bajo .
Definici
on 13 Sean S,T conjuntos no vacos; entonces una aplicaci
on de S en T es un
subconjunto M de S T , tal que para toda s S hay un solo t T tal que el par ordenado
(s, t) est
a en M .

Otras notaciones : S T tambien se denota como S T .

Si t es la imagen de s bajo , tambien se denota de la siguiente manera t = s o : s t.
S = {x T | x = s para alg
un s S} la imagen de S bajo , tambien se denota (S).
Ejemplos:

1. Sean S = {todos los hombres que han existido} y T = {todas las mujeres que han
existido}. Defnase f : S T por f (s) =madre de s.
2. Sean S el conjunto de enteros y T = S. Defnase f : S T por f (m) = 2m para
cualquier entero m. Si s1 , s2 S est
an en S y f (s1 ) = f (s2 ), que se puede decir de
s1 y s2 ?
3. Sean S el conjunto de los enteros positivos y T el de los n
umeros racionales positivos.
Defnase f : S S T mediante f ((m, n)) = m/n. Esta aplicaci
on de S S en T .
Descrbase el subconjunto de S S tal que f (a, b) = 1/2.
4. Sean S, T conjuntos no vacos y t0 un elemento fijo de T . Defnase f : S T mediante
f (s) = t0 para cada s S; f se llama funcion constant de S en T .
5. Sea S cualquier conjunto no vaco y defnase i : S S mediante f (s) = s para todo
s S. A esta funci
on se le llama funcion identidad (o aplicacion identidad) en S. A
veces se puede denotarla por i.
Definici
on 14 Una aplicaci
on : S T es suprayectiva o sobre si todo t T es imagen
bajo de alg
un s S; esto es, si y s
olo si, dado t T , existe un s S tal que t = s,
(S = T ).
Definici
on 15 Se dice que una aplicaci
on : S T es inyectiva o uno a uno (1-1) si
para s1 6= s2 en S, s1 6= s2 en T . En forma equivalente , es 1-1 si s1 = s2 implica
s1 = s2 .
Definici
on 16 Se dice que una aplicaci
on : S T es una correspondencia biyectiva o
biyecci
on si es inyectiva y suprayectiva.
Definici
on 17 Sea aplicaci
on biyectiva entre S y T . Definimos la aplicaci
on inversa de
, 1 : T S, por s = t 1 si y s
olo si t = s.
Definici
on 18 Si : S T y : T U entonces la composici
on (tambien llamada
producto) denotado por , es la aplicaci
on : S U definida mediante s( ) = (s)
para todo s S.
Nota usando la notaci
on de funci
on (s) se tiene ( )(s) = ((s)).
Definici
on 19 Dos aplicaciones y de S en T se dice que son iguales si s = s para
todo s S.
Ley Asociativa

Lema 1 Si : S T , : T U y : U V , entonces ( ) = ( ).
Lema 2 Si : S T y : T U son ambas inyectivas, entonces : S U tambien
es inyectiva.
Observac
on: Si g : S T y f : T U son ambas suprayectivas, entonces gf : S U
tambien es suprayectiva.
Lema 3 Si g : S T y f : T U son ambas biyectivas, entonces g f : S U tambien
es biyectiva.
Lema 4 La aplicaci
on : S T es una correspondencia biyectiva entre S y T si y s
olo
si existe una aplicaci
on : T S tal que = iS y = iT , donde iS e iT son las
aplicaciones identidad de S y T , respectivamente.
Lema 5 Si : S T e iT es la aplicaci
on identidad de T en s mismo e iS es la aplicaci
on
identidad de S sobre s mismo, entonces iT = y iS = .
Definici
on 20 Si S es un conjunto no vaco entonces A(S) es el conjunto de todas las
aplicaciones biyectivas de S sobre s mismo.
Teorema 1 Si , , son elementos de A(S), entonces:
1. A(S);
2. ( ) = ( );
3. 1 A(S) tal que 1 = 1 = ;
4. 1 A(S) tal que 1 = 1 = 1.
Lema 6 Si S tiene m
as de dos elementos, podemos encontrar dos elementos , en A(S)
tales que 6= .
Ejercicios
1 Determnese en cada uno de los siguientes casos si : S T es suprayectiva,
inyectiva y determnese la imagen inversa de t T cualquiera bajo .
S = conjunto de los n
umeros reales, T = conjunto de los n
umeros reales no
negativos, s = s2 .
S = conjunto de los n
umeros enteros, T = conjunto de los n
umeros enteros,
s = 2s.
7

2 Si S y T son conjuntos no vacos, pruebese que existe una correspondencia biyectiva

entre S T y T S.
3 Si el conjunto S tiene un n
umero finito de elementos, pruebese que: Si transforma
S sobre S entonces es inyectiva.
4 Pruebese que si es suprayectiva, no es necesario que ambas y lo sean.
5 Pruebese que hay una correspondencia biyectiva entre el conjunto de los enteros y el
conjunto de los n
umeros racionales
6 Si : S T y si A S , la restriccion de a A, A , est
a definida por aA = a
para cualquier a A. Pruebese que A es inyectiva si lo es .
7 Definir una biyecci
on del conjunto de los enteros a un subconjunto propio del mismo
conjunto.
8 Dados dos conjuntos S y T decimos que S T si hay una aplicaci
on de T sobre S,
pero ninguna de S sobre T . Pruebese que si S T y T U entonces S U .

1.4.

Relaciones y particiones

Definici
on 21 Sean A y B conjuntos. Una relaci
on R sobre A y B al subconjunto del
producto cartesiano A B. Si (a, b) esta en R se escribe aRb.
Ejemplos
1. Sean A = {1, 2, 3} y B = {4, 5, 6}. Se define R = {(1, 4), (1, 5), (1, 6), (2, 4), (2, 6), (3, 6)}.
2. Sea A = {1, 2, 3, 4}. Se define la relaci
on R sobre A escribiendo (x, y) R si x < y.
Entonces R = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)}.
3. Definimos una relaci
on R sobre Z escribiendo (a, b) R si el entero a b es m
ultiplo
de 3.
Definici
on 22 Sea R una realaci
on sobre el conjunto A, es decir, un subconjunto del producto cartesiano A A.
Si para todo a A, (a, a) R. Entonces nosotros decimos que R es reflexiva.
Si para todo a, b A, (a, b) R implica (b, a) R . Entonces nosotros decimos que
R es simetrica.
Si para todo a, b, c A, tal que (a, b) R y (b, c) R entonces (a, c) R . Entonces
nosotros decimos que R es transitiva.
8

Definici
on 23 Una relaci
on de equivalencia en un conjunto A, es una relaci
on R sobre A
que es reflexiva, simetrica y transitiva.
Definici
on 24 Sea A un conjunto y R relaci
on de equivalencia sobre A. El subconjunto
[a] = {b A | (a, b) R} es llamado clase de equivalencia de A que contiene a a.
Lema 7 Sea A un conjunto no vaco, R relaci
on de equivalencia sobre A y a, b A.
Entonces b [a] si y s
olo si [a] = [b].
Lema 8 Sea A un conjunto no vaco, R relaci
on de equivalencia sobre A y a, b A.
Entonces [a] [b] =
o [a] = [b].
Proposici
on 2 Sea A un conjunto no vaco y R relaci
on de equivalencia sobre A. Entonces
A es la uni
on disjunta de sus distintas clases de equivalencia.

1.5.

Enteros
Dados dos n
umeros enteros, a y b, con b 6= 0, podemos dividir a por b para obtener
im m
umero no negativo r que es menor que | b |; es decir, podemos encontrar m, r
tales que a = mb + r donde 0 r <| b |
Decimos que b 6= 0 divide a a si a = mb para alg
un m. b divide a a se escribe b | a y
para indicar que b no divide a a, b a.
Si a | b y b | a entonces a = 1.
Cualquier b 6= 0 divide a 0.
Si b | a, llamamos a b un divisor de a.
Si b es un divisor de g y h, entonces es un divisor de mg + nh para enteros arbitrarios
m y n.

Definici
on 25 El entero positivo c se dice que es el m
aximo com
un divisor de a y b si:
1. c es un divisor de a y de b;
2. cualquier divisor de a y b es un divisor de c.
Se usa la notaci
on (a, b) para representar al m
aximo com
un divisor de a y b.
Si el m
aximo com
un divisor existe, entonces es u
nico.
Lema 9 Si a y b son enteros, no ambos cero, entonces (a, b) existe; podemos, adem
as
encontrar enteros m0 y n0 tales que (a, b) = m0 a + n0 b.
9

Definici
on 26 Los enteros a y b son primos relativos si (a, b) = 1.
Corolario 1 Si a y b son primos relativos, podemos encontrar enteros m y n tales que
ma + nb = 1.
Definici
on 27 El entero p > 1 es un n
umero primo si sus u
nicos divisores son 1 y p.
Lema 10 Si a es un primo relativo a b, pero a | bc, entonces a | c.
Corolario 2 Si un n
umero primo divide al producto de ciertos enteros, debe dividir al
menos a uno de estos enteros.
Teorema 2 Cualquier entero positivo a > 1 puede factorizarse en forma u
nica como a =
umeros primos y donde cada i > 0.
p1 1 p2 2 ...pt t , donde p1 > p2 > ... > pt son n
Definici
on 28 (Congruencia m
odulo n) Sea n > 0 un entero fijo. Definimos a b m
od n
si n | (a b). n se llama m
odulo de la relaci
on y se le a es congruente con b m
odulo n.
Lema 11

1. La relaci
on congruencia m
odulo ndefine una relaci
on de equivalencia en

el conjunto de los enteros.

2. Esta relaci
on de equivalencia tiene n distintas clases de equivalencia.
3. Si a b m
od n y c m
od n entonces a + c b + d m
od n y ac bd m
od n.
4. Si ab ac m
od n y a es primo relativo con n, entonces b c m
od n.
Sea Jn el conjunto de las clases de congruencia mod n; es decir, Jn = {[0], [1], ..., [n 1]}.
Dados dos elementos [i] y [j] en Jn , definamos:
1. [i] + [j] = [i + j];
2. [i][j] = [ij].
Por el lema anterior, estas afirmaciones est
an bien definidas, es decir, que si [i] = [i ] y
[j] = [j ], entonces [i] + [j] = [i ] + [j ] y [i][j] = [i ][j ]. Tienen las siguientes propiedades:
1) [i] + [j] = [j] + [i]
2) [i][j] = [j][i]
3) ([i] + [j]) + [k] = [i] + ([j] + [k])
4) ([i][j])[k] = [i]([j][k])
5) [i]([j] + [k]) = [i][j] + [i][k]

leyes conmutativas;

leyes asociativas;

ley distributiva

6) [0] + [i] = [i];

7) [1][i] = [i].
10

Si n = p es un n
umero primo y si [a] 6= [0] est
a en Jp , entonces hay un elemento [b] en
Jp tal que [a][b] = [1].
Ejercicios
1 Si b es un divisor de g y de h, pruebese que es un divisor de mg + nh.
2 Si a | x, b | x y (a, b) = d pruebese que (a, b) | x
umeros primos distintos y donde
3 Si a = p1 1 ...pk k y b = p1 1 ...pk k donde los pi son n
todo i 0, y todo i 0, pruebse que (a, b) = p11 ...pkk donde i = mnimo de i y
i para cada i.
4 Dados a, b, al aplicar el algoritmo euclidiano sucesivamente tenemos:
a = q0 b + r1 , 0 r1 <| b |
b = q1 r1 + r2 , 0 r2 < r1
r1 = q2 r2 + r3 , 0 r3 < r2
..
.
rk = qk+1 rk+1 + rk+2 , 0 rk+2 < rk+1
Como los enteros rk son decrecientes y todos son no negativos, hay un primer entero
n tal que rn+1 = 0. Pruebese que rn = (a, b) (r0 = b).
5 Usando el metodo anterior calcular (1128, 33).
6 Pruebese que n > 1 es un primo si y s
olo si par cualquier entero a sucede que (a, n) = 1
o n | a.
7 Probar que la adici
on en Jn est
a bien definida.
8 Probar las propiedades 1,4 y 6 para la adici
on y multiplicaci
on en Jn .
9 Pruebese que n es un n
umero primo si y s
olo si en Jn , dados a, b tal que [a][b] = [0]
entonces [a] = [0]
o [b] = [0].

2.

Grupos

2.1.

Grupos, monoides y semigrupos

(Z , +) Considerando el conjunto de los n

umeros enteros y la operaci
on de la suma
analicemos los siguientes aspectos:

11

1. Si a y b son dos n
umeros enteros, que tipo de n
umero es a + b?.
2. Si a, b y c son n
umeros enteros, que relaci
on existe entre los siguientes resultados
(a + b) + c y a + (b + c)?
3. Existe alg
un n
umero entero i tal que a + i = i + a = a para todo n
umero entero a?
4. Dado un n
umero entero a, existe un n
umero entero a1 tal que a+a1 = a1 +a = i?
(M2x2 , +)
Ahora consideremos el conjunto de las matrices de 2x2 y la operaci
on suma definida en ellas
y analicemos lo siguiente:
1. Si A y B son matrices de 2x2, que tipo de matriz es A + B?.
2. Si A, B y C son matrices de 2x2, que relaci
on existe entre los siguientes resultados
(A + B) + C y A + (B + C)?
3. Existe alguna matriz N tal que A + N = N + A = A para toda matriz A de 2x2?
4. Dado una matriz A de 2x2, existe otra matriz A1 tal que A + A1 = A1 + A = N ?
(R \ {0} , x)
Considerando el conjunto de los n
umeros reales y la operaci
on de la multiplicaci
on analicemos los siguiente:
1. Si a y b son dos n
umeros reales, que tipo de n
umero es axb?.
2. Si a, b y c son n
umeros reales, que relaci
on existe entre los siguientes resultados (ab)c
y a(bc)?
3. Existe alg
un n
umero real i tal que ai = ia = a para todo n
umero real a?
4. Dado un n
umero real a, existe un n
umero real a1 tal que aa1 = a1 a = i?
Generalizando Sea G un conjunto y una operaci
on
1. Cerradura El resultado de la operaci
on de dos elementos de G es un elemento de G.
2. Asociatividad No importa como se agrupen los elementos al realizar la operaci
on.
3. Existencia de un elemento unidad Si existe un elemento llamado unidad, tal que
al operar la unidad por la izquierda o derecha a cualquier elemento el resultado es el
mismo elemento.

12

4. Existencia de inversos dado a G existe un elemento en G, denotado por a1 tal

que a a1 = a1 a = i
Propiedad

(Z , +)

(M2x2 , +)

(R \ {0} , x)

Cerradura

a+b Z

A + B M2x2

ab R

Asociatividad

(a + b) + c = a + (b + c)

(A + B) + C = A + (B + C)

(ab)c = a(bc)

Elemento unidad

02x2

Inverso de a

1
a

Definici
on 29 Se dice que un conjunto no vaco G es un grupo si en el hay definida una
operaci
on tal que:
1 a, b G implica a b G. (Se dice que G es cerrado respecto a ).
2 Dados a, b, c G se tiene que (a b) c = a (b c). (Ley asociativa en G).
3 Existe un elemento especial e G tal que a e = e a = a, para todo a G. (e se
llama elemento identidad).
4 Para todo a G exite un elemento b G tal que a b = b a = e. (b se denota como
a1 y se llama inverso de a en G).
Definici
on 30 Se dice que un conjunto no vaco G es un semigrupo si en el hay definida
una operaci
on tal que
1 G es cerrado respecto a
2 Se cumple la Ley asociativa
Definici
on 31 Se dice que un conjunto no vaco G es un monoide si en el hay definida
una operaci
on tal que
1 G es cerrado respecto a
2 Se cumple la Ley asociativa
3 Existe el elemento identidad e
Ejemplo Dado un conjunto arbitrario no vaco S definimos anteriormente el conjunto
A(S) como el conjunto de todas las aplicaciones biyectivas del conjunto S sobre s mismo. Para cualquier dos elementos , A(S) se definio el producto por la composici
on
representada por . Adem
as se demostraron las siguientes propiedades:
1. Si , A(S), entonces A(S). Entonces A(S) es cerrado respecto al producto.
2. Para cualesquier tres elementos , , A(S), se cumple que ( ) = ( ) .
Entonces se cumple la ley asociativa.
13

3. Existe la biyecci
on identidad i A(S) tal que i = i = para todo A(S).
Entonces existe el elemento identidad.
4. Para todo A(S) hay una biyeccion que se representa 1 tal que 1 =
1 = i. Entonces todo elemeto de A(S) tiene un inverso en A(S).
Por lo tanto A(S) es un grupo con la operaci
on composici
on como producto.
Ejercicios Verificar si los siguientes conjuntos bajo la operaci
on indicada son grupos,
semigrupos o monoides:
1 Sea G el conjunto de los enteros positivos respecto a , donde a b = a + b, es la suma
ordinaria entre ellos.
2 Sea Q el conjunto de los n
umeros racionales y la operaci
on en Q la suma ordinaria
de ellos.
3 Sea Q el conjunto de los n
umeros racionales diferentes de cero y la operaci
on en Q
la multiplicaci
on ordinaria de ellos.
4 Sea G el conjunto de los enteros y el producto ordinario de ellos.
5 Sea G el conjunto de los n
umeros reales distintos de cero y defnace, para a, b G,
a b = a2 b.
6 Sea G = {1, 1} con la multiplicaci
on entre n
umeros reales como operaci
on.
Definici
on 32 Se dice que un grupo G es un grupo finito si consta de un n
umero finito
de elementos. El n
umero de elementos de G se llama orden de G y se denota por |G|,
tambien se usa la notaci
on o(G).
Definici
on 33 Se dice que un monoide, semigrupo o grupo G es abeliano si a b = b a
para todo a, b G.
Ejercicios
Verificar cu
ales son abelianos:
1 Sea G el conjunto de los enteros positivos respecto a , donde a b = a + b, es la suma
ordinaria entre ellos.
2 Sea Q el conjunto de los n
umeros racionales y la operaci
on en Q la suma ordinaria
de ellos.

14

3 Sea Q el conjunto de los n

umeros racionales diferentes de cero y la operaci
on en Q
la multiplicaci
on ordinaria de ellos.
4 Sea G el conjunto de los enteros y el producto ordinario de ellos.
5 Sea G el conjunto de los n
umeros reales distintos de cero y defnace, para a, b G,
a b = a2 b.
6 Sea G = {1, 1} con la multiplicaci
on entre n
umeros reales como operaci
on.
Sea G = S3 , el grupo de todas las aplicacaciones biyectivas del conjunto {x1 , x2 , x3 }
sobre s mismo, con el producto de la composici
on. Si tomamos las siguientes biyecciones:
x1 x2
: x2 x1

(1)

x3 x3
x1 x2
: x2 x3

(2)

x3 x1
Que sucede con y ?

2.2.

Lemas preliminares

Lema 12 Si G es un grupo, entonces

a) el elemento identidad de G es u
nico;
b) todo a G tiene un inverso u
nico en G;
c) para todo a G, (a1 )1 = a;
d) para a, b G, (a b)1 = b1 a1 .
Lema 13 Dados a, b en el grupo G, entonces las ecuaciones a x = b y y a = b tienen
soluciones u
nicas para x y y en G. En particular, las dos leyes de cancelaci
on,
au=aw

implica

u=w

y
ua=wa

implica

se verifican en G.
15

u=w

Ejercicios
1 Pruebese que si G es un grupo abeliano, entonces, para todo a, b G y todos los
enteros n, (a b)n = a b.
2 Si G es un grupo tal que (a b)2 = a2 b2 para todo a, b G demuestrese que G ha de
ser abeliano.
3 Si G es un grupo finito, pruebese que existe un entero positivo N tal que aN = e para
todo a G.
4 Sea G un conjunto no vaco cerrado respecto a un producto asociativo que adem
as
satisface:
Existe un e G tal que a e = a para toda a G.
Dado a G, existe un elemento y(a) G tal que a y(a) = e.
Pruebese que G debe ser un grupo bajo este producto.
5 Supongamos que un conjunto finito G es cerrado respecto a un producto asociativo y
que las dos leyes de cancelaci
on se verifican en G. Pruebese que G debe ser un grupo.

2.3.

Subgrupos

Definici
on 34 Un subconjunto H de un grupo G se dice que es subgrupo de G si respecto
al producto en G, H mismo forma un grupo.
Es claro que si H es subgrupo de G y K es un subgrupo de H entonces K es un subgrupo
de G.
Lema 14 Un subconjunto no vaco H del grupo G es un subgrupo de G si y s
olo si
1. a, b H implica que ab H;
2. a H implica que a 1 H.
Lema 15 Si H es un subconjunto finito no vaco de un grupo G, y H es cerrado respecto
a la multiplicaci
on, entonces H es un subgrupo de G.
Ejemplos
Sea G el grupo de los enteros bajo la adici
on, H el subconjunto consistente en todos
los m
ultiplos de 5. H es subgrupo de G.

16

Si Hn son los m
ultiplos de n entonces Hn es subgrupo de los enteros G bajo la adici
on.
Que sucede con Hn Hm ?
Sea S un conjunto cualquiera. Si x0 S, sea H(x0 ) = { A(S) | x0 = x0 }, H(x0 )
es un subgrupo de A(S). Si para x1 6= x0 S, que es H(x0 H(x1 )?
Sea G un grupo cualquier ay a G. Sea (a) = {ai | i = 0, 1, 2, ...}.
Sea G un grupo, y W un subconjunto de G. Sea (W ) el conjunto de todos los elementos
de G representables como un producto de elementos de W elevados a potencias de
exponente positivo, negativo o cero. (W ) es el subgrupo de G generado por W y
es el mnimo subgrupo de G que contiene a W . (W ) es la intersecci
on de todos los
subgrupos de G que contienen a W .
Definici
on 35 Un grupo G se llama grupo cclico si existe a G tal que G = (a), es decir,
G = {ai | i = 0, 1, 2, ...}.
Definici
on 36 Sea G un grupo, H un subgrupo de G; para a, b G decimos que a es
congruente con b mod H, lo que escribimos: a b m
od H, si ab1 H.
Lema 16 La relaci
on a b m
od H es una relaci
on de equivalencia.
Definici
on 37 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.
Lema 17 Para todo a G,
Ha = {x G | a x

m
od H}

Ha es la clase de equivalencia de a G. De acuerdo al Teorema ??, G es la uni

on disjunta
de las clases laterales, por lo tanto dos clases laterales derechas de H en G o son identicas
o son disjuntas.
Lema 18 Hay una correspondencia biyectiva entre dos clases laterales derechas cualesquiera de H en G.
Teorema 3 (Lagrange) Si G es un grupo finito y H es un subgrupo de G, entonces o(H)
es un divisor de o(G).
Definici
on 38 Si H es un subgrupo de G, el ndice de H en G es el n
umero de distintas
clases laterales derechas de H en G, se representa por iG (H).

17

Si G es un grupo finito iG (H) =

o(G)
o(H)

Definici
on 39 Si G es un grupo y a G, el orden (o periodo) de a es el entero positivo
mnimo m tal que am = e.
Corolario 3 Si G es un grupo finito y a G, entonces o(a) | o(G).
Corolario 4 Si G es un grupo finito y a G, entonces ao(G) = e.
Corolario 5 (De Euler). Si n es un entero positivo y a es primo con n entonces a(n) 1
m
od n.
Corolario 6 (De Fermat). Si p es un n
umero primo y a es un entero cualquiera, entonces
ap a m
od p.
Corolario 7 Si G es un grupo finito cuyo orden es un n
umero primo p, entonces G es un
grupo cclico.

2.4.

Relaci
on entre los n
umeros de elementos

Lema 19 Sea G un grupo y H y K dos subgrupos de G. Sea HK = {x G | x = hk, h

H, k K}.
HK es un subgrupo de G si y s
olo si HK = KH.
Corolario 8 Si H y K son subgrupos de un grupo abeliano G, entonces HK es un subgrupo
de G.
Teorema 4 Si H y K son subgrupos finitos de G de
ordenes o(H) y o(K) respectivamente,
entonces
o(HK) =

o(H)o(K)
o(H K)

Corolario 9 Si H y K son subgrupos de G y o(H) >

H K 6= e.

2.5.

o(G) y o(K) >

o(G), entonces

Homomorfismos

Definici
on 40 Una aplicaci
on de un grupo G en un grupo G se dice que es un homomorfismo si para a, b G cualesquiera siempre se tiene (ab) = (a)(b).

18

Referencias

[1] I. N. Herstein. Algebra

moderna. Editorial Trillas, Mexico, 1983. (Trad. F. Velasco C.,
Ed. Emilio Lluis R.).
[2] S. Langa. Algebra. Springer, USA, 1983.

19