Universidad Nacional Jorge Basadre Grohmann
EAP Educación: MACI
ALGEBRA ABSTRACTA
Las ideas que contienen la definición de
grupo estaban ya presentes en algunos traba-
jos de grandes matemáticos como Lagrange,
Euler, Ruffini, Abel entre otros. Pero fue
Evariste Galois(1811-1832) quien en su juven-
tud sentó las bases de lo que es hoy la
moderna teoria de grupos. Galois fue el
primero en usar las palabras “grupo”,
“normal”, “isomorfismo” y “simple”, además
de ello destacó la importancia de los
subgrupos normales y estudió en detalle las
propiedades abstractas de los grupos. El
concepto de operación binaria o ley de
composición interna aparece por primera vez
en un trabajo relativo a la composición de
formas cuadráticas dada por C. F. Gauss. La
definicíon actual de grupo fue dada por
Cayley en 1854. Pero es a partir de 1880
cuando empieza a desarrollarse la teoria de
los grupos finitos con los trabajos de Sopus
Lie, Felix Klein y Henry Poincaré.
 GRUPOS Y SUBGRUPOS
Definición 01: Grupos
Un GRUPO es un par (G, ) , donde G es un
conjunto y  una ley interna en G que goza
de los siguientes axiomas:
(I) Si a,b  G  a  b  G (clausurativa)
(II) a,b,c  G :(a  b)  c  a  (b  c) (asociativa)
(III) a  G, e  G : a  e  e  a  a (neutro)
1 1 1
(IV) a  G, a  G : a  a  a  a  e (inverso)
Si además la ley interna  satisface:
(V) a,b  G : a  b  b  a (ley conmutativa)
se dice que (G, ) es un grupo conmutativo o
ABELIANO. Si la ley interna  satisface (i) se
dice que G es un monoide; si satisface (i) y
(ii), G es un semigrupo. En algunas ocasio-
nes escribiremos “operación” en vez de ley
interna.
Ejemplos
(1) Los pares (, ) , (, ) , ( , ) , (, ) , ( ', )
(  ', ) y ( ', ) con  '    {0} ,  '    {0} y
 '    {0} son grupos abelianos.
(2) Sean S   y B(S) el conjunto de todas las
aplicaciones biyectivas de S en sí mismo. El
par (B(S), ) es un grupo no abeliano, donde
“  ” es la composición de aplicaciones.
(3) El conjunto Mnn de matrices cuadradas de
orden nxn con entradas en  es un grupo
respecto a la suma usual de matrices.
(4) El conjunto GL(n, ) de matrices inverti-
bles de orden nxn con entradas en  es un
grupo respecto a la multiplicación usual de
matrices y se llama grupo lineal de orden n.
(5) El conjunto de las clases residuales
módulo n, n  {[0], [1], [2] ,..., [n  1]} es un
grupo abeliano respecto a la suma módulos
n, [a]  [b]  [a  b] y se llama grupo de enteros
módulo n.
(6) El conjunto de movimientos del triangulo
equilátero en el plano que lo dejan invarian-
te, es un grupo no abeliano respecto a la
operación “composición de movimientos”.
Teorema 01: Leyes cancelativas en un grupo
Sea (G,  ) un grupo y a,b,c  G . Entonces,
(i) Si a  c  b  c  a  b (ley cancelativa derecha)
(ii) Si c  a  c  b  a  b (ley cancelativa izquierda)
Teorema 02: Propiedades básicas de los grupos
Sea (G,  ) un grupo. Entonces,
(i) En G, el elemento neutro es único.
(ii) Cada a  G , tiene un único inverso.
(iii) (a1)1  a , para todo a  G .
(iv) (a  b)1  b1  a1 , para todo a,b  G .
Teorema 03: Ecuaciones en un grupo
Sea (G,  ) un grupo y a,b  G . Entonces, las
ecuaciones x  a  b , a  x  b tienen solución
única en G.
Teorema 04: Definición alternativa de grupo
Sea G un conjunto junto a una ley interna 
Entonces (G,  ) un grupo si y sólo si,
(i) Si a,b  G  a  b  G (clausurativa)
(ii) a,b,c  G :(a  b)  c  a (b  c) (asociativa)
(iii) a  G, e  G : e  a  a (neutro a la izquierda)
1 1
(iv) a  G, a  G : a  a  e (inverso a la izquierda)
Obsérvese que las igualdades de las propie-
dades (iii) y (iv) se pueden remplazar por:
a  e  a (neutro a la derecha) y a  a1  e (inverso a
la derecha) respectivamente.
1
Definición 02: Grupos finitos
Un grupo (G, ) es FINITO  G tiene un
número finito de elementos.
Caso contrario se dice que el grupo es infinito.
El número de elementos de G, se denomina
orden de G y se denota por: G o bien o(G) .
Cada grupo finito puede definirse totalmente
mediante una tabla similar a la siguiente:
 b
a ab
DIAGONAL PRINCIPAL
Llamada tabla de Cayley para Grupos Finitos.
La existencia del elemento neutro obliga a
repetir los elementos del grupo en la primera
fila y primera columna de la tabla. Las leyes
de cancelación obligan a que cada elemento
del grupo debe aparecer una y sólo una vez
en cada fila y en cada columna de la tabla.
La ley conmutativa se cumple si la tabla que
define al grupo es SIMÉTRICA respecto a la
diagonal principal.
Ejemplos
(1) Construir tablas para grupos que tienen 1,
2, 3 y 4 elementos.
(2) Construir una tabla para un grupo de
cuatro elementos, G  {e,a,b,c} sujeta a las
relaciones: a  a  b  b  c  c  e , a  b  c ,
b  c  a y c  a  b . Este grupo se llama
grupo 4 de Klein.
(3) El conjunto G  {1, 1, i, i} , es un grupo
finito respecto a la multiplicación de números
complejos y o(G)  4 .
(4) Si S tiene n elementos, el grupo (B(S), ) es
finito, y se llama grupo simétrico de grado n,
se denota por Sn. Los elementos de S se
llaman permutaciones y o(Sn )  n! .
(5) Si S tiene n elementos, el par (P(S), ) es
un grupo finito y o(P(S))  2n .
Por razones de economía, en adelante,
omitiremos toda mención expresa a la ley
interna de un grupo cuando ello no lleve a
confusión. Así, escribiremos G en vez de
(G, ) y “ ab ” en vez de “ a  b ”.
2
Definición 03: Exponentes en un grupo
Sean G un grupo, a  G y n  . Definimos,
e , si n  0
n  n1
a   aa  aaa...a(n veces), si n  0
 (a1)n
 , si n  0
Es fácil ver que, an  (a1)n  (an )1 para todo
entero n  0 y que en  e .
Teorema 05: Leyes de exponentes
Sean G un grupo, a  G y m,n  . Entonces,
(i) aman  amn
(ii) (am )n  amn .
Obsérvese que la igualdad (ab)n  an bn es
válida si y solo si G es abeliano.
Definición 04: Subgrupos
Sea G un grupo y H  G con H   .
H es un SUBGRUPO de G  H es un
grupo con la ley interna de G.
Es fácil ver que los conjuntos H  G y H  {e}
son subgrupos de G, llamados subgrupos
triviales. Los subgrupos distintos de los
triviales se llaman, subgrupos propios de G.
Si H es un subgrupo de G escribimos, H  G .
Teorema 06: 1ra caracterización de un subgrupo
Sea G un grupo y H  G con H   . Entonces,
 (i) si a,b  H  ab  H
H es un subgrupo de G  
1
 (ii)si a  H  a  H
Ejemplos
(1) En (, ) ; el conjunto n  {nx : x  } de
múltiplos enteros de n, es un subgrupo de  .
(2) En ( , ) ;  y  son subgrupos de  , y
a su vez  es un subgrupo de  .
(3) En ( ', ) ; H  {z   ' : z  cos   i sen} es
un subgrupo de  ' .
(4) En (B(S), ) ; H(a)  {f  B(S): f(a)  a} con a  S
es un subgrupo de B(S) .
(5) En (GL(2, ),); H  {A  GL(2, ): det(A)  1}
es un subgrupo de GL(2, ) .
(6) En (10 , ) ; los subconjuntos, H  {[0],[5]}
y N  {[0],[2],[4],[6],[8]} son subgrupos de 10 .
Teorema 07: 2da caracterización de un subgrupo
Sea G un grupo y H  G con H   . Entonces,
H es un subgrupo de G  a,b  H,ab1  H .
Teorema 08: Intersección de subgrupos
Sea G un grupo. Si A y B son subgrupos de
G, entonces A  B es un subgrupo de G.
En general la intersección arbitraria de
subgrupos de G es un subgrupo de G. Sin
embargo la unión de dos subgrupos de G no
es en general un subgrupo de G.
Teorema 09: Caracterización de un subgrupo finito
Sea H un subconjunto finito y no vacío de un
grupo G. Entonces, H es un subgrupo de G
 a,b  H, ab  H .
Teorema 10: Subgrupo generado por un elemento
Sea G un grupo y a  G . Entonces el con-
n
junto a  {a : n  } es un subgrupo de G.
Definición 05: Grupos cíclicos (o grupos monógenos)
Un grupo G es CÍCLICO  existe un
a  G tal que todo elemento x  G es una
potencia de “a”.
El elemento “a” se llama un generador de G
y escribimos G  a  {an : n  } .
Ejemplos
(1) El grupo de las raíces cuartas de la
unidad, R 4  {1, 1, i, i} , relativa a la multipli-
cación de números complejos es un grupo
cíclico generado por el elemento “i” y escri-
bimos G  i .
(2) El grupo aditivo de los enteros,  , es un
grupo cíclico. Tanto 1 como -1 son sus
generadores y escribimos 1  1  .
(3) El grupo de los enteros módulo 4,  4 , es
cíclico. Tanto [1] como [3] son sus generado-
res y escribimos [1]  [3]   4 .
Teorema 11: Propiedades básicas de los grupos cíclicos
(i) Todo grupo cíclico es abeliano.
(ii) Todo subgrupo de un grupo cíclico es
cíclico.
Teorema 12: Generador de un grupo cíclico
Un elemento am de un grupo cíclico finito G
de orden n es un generador de G si, y sólo si
(m,n)  1.
Definición 06: Orden (o periodo) de un elemento
Sea G un grupo y a  G . Llamaremos
ORDEN de a, denotado por o(a), al menor
entero positivo “n” tal que an  e .
Si tal entero no existe, diremos que o(a)   .
Si o(a)  n , los elementos e, a, a2, ... , an-1
son distintos, an = e y a  {e,a,a2,...,an1} .
Ejemplos
(1) En R 4  {1, 1, i, i} ; o(-1) = 2 y o(i) = 4.
(2) En  6 ; o([1])  6 y o([4])  3 .
 ÍNDICE Y EL TEOREMA DE LAGRANGE
En esta sección veremos uno de los resultados
básicos de la teoría de grupos, el teorema de
Lagrange, dicho teorema es como el ABC de
los grupos finitos y tiene implicaciones
interesantes en la teoría de los números.
Antes veamos algunos resultados previos.
Definición 07: Elementos congruentes
Sea G un grupo, H  G y a,b  G .
Diremos que, a es CONGRUENTE con b
módulo H si y sólo si ab1  H .
En símbolos, a  b(mod H)  ab1  H .
Teorema 13: Relación de equivalencia en un grupo
Sea G un grupo, H  G y a,b  G . Entonces,
La relación a  b(mod H) es una relación de
equivalencia en G.
Definición 08: Clases laterales
Sea G un grupo, H  G y a  G . Llamaremos
clase lateral derecha de H en G dada por a,
al producto Ha  {ha : h  H} .
Análogamente, el producto aH  {ah: h  H}
se llama clase lateral izquierda de H en G
dada por a.
Es fácil ver que a  Ha (o a  aH ) y que
Ha  H  a  H .
Teorema 14: Clase de equivalencia
Sea G un grupo, H  G y a  G . Se define la
clase de equivalencia de a según H, [a] ,
como [a]  {x  G : x  a(mod H)} . Entonces
[a]  Ha .
Es fácil ver que, Ha  Hb  ab1  H .
3
Teorema 15: Orden de una clase lateral
Sea G un grupo finito, H  G y a  G .
Entonces o(Ha)  o(H) .
Teorema 16: Partición de un grupo
Sea G un grupo, H  G y a,b  G . Entonces,
(i) Ha   para todo a  G .
(ii) Si Ha  Hb  Ha  Hb   .
(iii) Ha  G .
aG
En estas condiciones se dice que las clases
laterales derechas de H en G constituyen una
partición de G.
Ahora si, estamos listos para demostrar el
Teorema 17: TEOREMA DE LAGRANGE
Sea G un grupo finito y H  G , entonces el
orden de H divide al orden de G.
Definición 09: Número de clases laterales
Sea G un grupo finito y H  G . Llamaremos,
INDICE de H en G, al número de clases
laterales de H en G y se escribe como
iG (H)
En seguida presentamos algunos corolarios
muy importantes del teorema de Lagrange.
Corolario 01
Sea G un grupo finito y H  G . Entonces,
iG (H)  o(G) / o(H) .
Corolario 02
Si G un grupo finito y a  G  o(a)|o(G) .
Corolario 03
Si G un grupo finito y a  G  ao(G)  e .
Corolario 04
Todo grupo finito de orden primo es cíclico.
Definición 10: La función de Euler
Sea n   , se define la función de Euler,
como
 1, si n  1
(n)  
 m, si n  1
Donde m es el número de enteros positivos
menores que n y tales que (m,n)  1.
Teorema 18
Sean  'n  n  {[0]} y Un  {[a]   'n :(a,n)  1}
Entonces, Un es un grupo respecto al produc-
to [a][b]  [ab] y o(Un )  (n) .
Obsérvese que si n es primo, (n)  n  1.
4
Ejemplos
(1) (8)  4 , ya que solamente 1, 3, 5 y 7
son menores que 8 y primos relativos con él.
Luego U8  {[1], [3], [5], [7]} es un grupo de
orden 4 y además, a2  [1] para todo a  U8 .
(2) (9)  6 , ya que solamente 1, 2, 4, 5, 7 y
8 son menores que 9 y primos relativos con
él. U9  {[1], [2],[4], [5], [7],[8]} es un grupo
cíclico de orden 6 con generador [2] .
Teorema 19: Teorema de Euler
Sea n un entero positivo y a primo relativo
con n, entonces a(n)  1(mod n) .
Teorema 20: Pequeño teorema de Fermat
Sea p  1 un número primo. Entonces,
(i) Si p | a  ap1  1(mod p)
(ii) Si a es cualquier entero  ap  a(mod p) .
 SUBGRUPOS NORMALES y GRUPO COCIENTE
Definición 11: Subgrupo normal (o subgrupo invariante)
Sea G un grupo y N < G. Se dice que,
N es un SUBGRUPO NORMAL de G si, y
sólo si a1Na  N para todo a  G .
Si N es un subgrupo normal de G escribimos,
N G. Se dice que G es un grupo simple si
carece de subgrupos normales propios.
Teorema 21: Caracterización de los subgrupos normales
Sea G un grupo y N  G . Entonces,
(i) N es un subgrupo normal de G  a1Na  N
(ii) N es un subgrupo normal de G  aN  Na
(iii)N es un subgrupo normal de  a1 na  N
para todo a  G y todo n  N .
Corolario
Todo subgrupo de un grupo abeliano es un
subgrupo normal.
Ejemplos
(1) n  {nx : x  } es un subgrupo normal
del grupo aditivo de los enteros  .
(2) N  {A  GL(2, ): det(A)  1} es un subgrupo
normal de GL(2, ) .
Teorema 22: Intersección de subgrupos normales
La intersección de dos subgrupos normales de
un grupo G, es un subgrupo normal de G.
Teorema 23: Producto de clases laterales
Sea G un grupo y N  G . Entonces,
N G  NaNb  Nab , para todo a,b  G .
Teorema 24: Grupo cociente (o grupo factor)
Sea G un grupo, N G y G /N  {Na: a  G} .
Entonces, G /N es un grupo(cociente) relativo
a la operación NaNb  Nab .
Teorema 25: Orden del grupo cociente
o(G)
Sea G un grupo y N G  o(G /N)  .
o(N)
Obsérvese que, o(G / N)  iG(N) .
 HOMOMORFISMOS DE GRUPOS
La idea de la presente sección es relacionar
un grupo con otro con el fin de distinguirlos y
así ver si tienen o no la misma forma.
Definición 12: Homomorfismos
Sean G y G' dos grupos y f una aplicación de
G en G' . Diremos que,
La aplicación f es un HOMOMORFISMO DE
GRUPOS  f(ab)  f(a)f(b) , a,b  G .
Obsérvese que en la igualdad f(ab)  f(a)f(b) ,
se usa la operación de G para calcular " ab"
y la de G' para calcular " f(a)f(b)" . Diremos
que f es un monomorfismo, epimorfismo o
isomorfismo si además f es inyectiva,
epiyectiva o biyectiva, respectivamente. Un
isomorfismo de G en sí mismo es un
automorfismo de G y un homomorfismo de
G en sí mismo es un endomorfismo.
Ejemplos
(1) Sea G un grupo, la aplicación identidad
IG : G  G dada por IG (a)  a , para todo
a  G es un homomorfismo.
(2) En ( , ) y (  ',) , la aplicación f :    '
dada por f(x)  5x , es un homomorfismo.
(3) En ( , ) y ( ',) , la aplicación f :    '
dada por f(x)  cos(x)  i sen(x) , es un homo-
morfismo.
(4) En (GL(2, ),  ) y (  ',) f : GL(2, )   ' dada
por f(A)  det(A) es un homomorfismo.
Teorema 26: Propiedades básicas de los homomorfismos
Sea f : G  G' un homomorfismo de grupos.
(i) f(e)  e' , donde e' es el neutro de G'
(ii) f(a1)  [f(a)]1 para todo a  G .
(iii) f(an )  [f(a)]n para todo a  G y todo n 
Definición 13: Grupos isomorfos
Sean G y G' grupos. Diremos que, G y G' son
ISOMORFOS  existe un isomorfismo
entre ellos y escribimos G  G' .
G  G' se lee “G es isomorfo a G' ”.
Teorema 27
La relación “es isomorfo a” es una relación
de equivalencia.
Teorema 28: Propiedades de los grupos isomorfos
Sean G y G' grupos isomorfos. Entonces,
(i) G es abeliano  G' es abeliano.
(ii) G es cíclico  G' es cíclico.
Definición 14: Núcleo de un homomorfismo
Sea f : G  G' un homomorfismo de grupos.
El NÚCLEO de f, denotado por N(f) está
dada por, N(f)  {a  G : f(a)  e'} .
Según la escuela inglesa el núcleo de f se
denota por ker(f) ( se lee kernel de f ).
Teorema 29: Propiedad del núcleo
Sea f : G  G' un homomorfismo de grupos.
Entonces, N(f) es un subgrupo normal de G.
Teorema 30: Aplicación inyectiva
Sea f : G  G' un homomorfismo de grupos.
La aplicación f es inyectiva  N(f)  {e} .
Definición 15: Imagen de un homomorfismo
Sea f : G  G' un homomorfismo de grupos.
La IMAGEN de f , denotado por Im(f) está
dada por, Im(f)  f(G)  {f(a)  G' : a  G} .
Obsérvese que si f es sobreyectiva, se tiene
Im(f)  f(G)  G' . Es fácil ver que Im(f)  G' .
Teorema 31: Propiedades de la Imagen
Sea f : G  G' un homomorfismo de grupos.
(i) Si H  G  f(H)  G'
(ii) Si H G'  f 1(H)  G
(iii) Si H  G y f es epiyectiva,  f(H)  G' .
Teorema 32: 1er Teorema de isomorfismo de Noether
Sea f : G  G' un homomorfismo de grupos.
Entonces, G /N(f)  Im(f) . Prof. G. Platero
5