Notillas de Clase de Álgebra Moderna I

Por Lic. Mara de la Luz Prez Limn.
UNIDAD I. GRUPOS Y SUBGRUPOS.

ACTIVIDAD NO.1 GRUPOS Y SUBGRUPOS
Conceptos de:
SIMETRA:
Rasgo caracterstico de formas geomtricas, sistemas de ecuaciones y otros objetos

materiales, o entidades abstractas relacionadas con su invariancia bajo ciertas
transformaciones, movimientos o intercambios. Dos objetos son simtricos uno al otro si
en lo que concierne a un grupo dado de operaciones si uno es obtenido de otro por
algunas operaciones y viceversa.
OPERACIN BINARIA:
Una operacin binaria es aquella que al operar dos nmeros (de ah su nombre) se obtiene
un tercero.
GRUPO:
Un grupo es una estructura algebraica que consta de un conjunto con una operacin que
combina cualquier pareja de sus elementos para formar un tercer elemento. Para que
este califique como grupo, estas condiciones son:
*Tener propiedad asociativa

*tener elemento identidad.
*tener elemento inverso.
SUBGRUPO:
Dado un grupo G con una operacin binaria *, se dice que un subconjunto no vaco H de
G es un subgrupo de G , si y solo si H tambin forma un grupo bajo la operacin binaria
*, es decir, si H satisface los axiomas del grupo G.
ORDEN DE UN GRUPO:
El orden de un grupo es su cardinal, y se denota por |G|.
Orden de un elemento de un grupo:
El orden de un elemento a perteneciente a G es:
GRUPO CCLICO:
Es un grupo conmutativo, finito o infinito, que puede ser generado por la multiplicacin
reiterada de un solo elemento.
ANTECEDENTES DE LA TEORA DE GRUPOS:
La teora de grupos tiene su origen en el trabajo de E. Galois sobre solubilidad por
radicales de la ecuacin a nxn+an1xn1+ +a1x+a0 = 0. Sin embargo, algunos de los
resultados de la teora de grupos haban aparecido con anterioridad en trabajos de otros
maten ticos, entre los que se encuentra Cauchy. Por lo anterior, es pertinente sealar que
el trmino grupo es acuado y usado sistemticamente por Galois en su trabajo: Memoir
on the Conditions for Solvability of Equations by Radicals, pgina 101.
Dado que el trabajo de Galois citado versa sobre las races de polinomios, el concepto de
grupo usado por Galois se restringe a lo que hoy llamamos el grupo de permutaciones de n
elementos.
La formulacin axiomtica de la teora de grupos como se conoce actualmente, se inicia
con el trabajo de H. Weber: Die allgemeinen Grundlagen der Galoisschen
Gleichungstheorie. Math. Ann. 43 (1893), 521-549, pgina 522.
GENERADOR DE UN GRUPO:
En teora de grupos, un conjunto generador de un grupo G es un subconjunto S de G tal

que todo elemento de G puede ser expresado como el producto de un nmero finito de
elementos de S y de sus inversos.
Encuentre las simetras de las siguientes figuras.
Por ser una figura irregular dentro del campo de las matemticas, y por sus caractersticas,
dentro de esta figura solamente existen 2 simetras.
Esta solamente posee a la rotacin identidad e, esto se debe a que solo se puede hacer una
rotacin de 360 para que nuestra figura regrese a su posicin original, la cual es la nica
en la que posee las caractersticas necesarias para ser simtrica.
La segunda simetra antes mencionada se compone por una reflexin sobre el eje y, por lo
que:
1 2 3 4
= ( )
3 2 1 4
Esta reflexin, mantiene fijos a los vrtices 2 y 4, mientras que invierte a los vrtices 1 y 3.
2) De las simetras que ha encontrado, mencione una composicin que d
como resultado a la figura original.
Como sabemos la rotacin identidad es la figura original, por lo cual la composicin que se
nos solicita la realizar mediante la segunda simetra de nuestro grupo.
Yo propongo la composicin
Haciendo la comprobacin:
1 2 3 4 1 2 3 4) ( )
2 = ( )( =
3 2 1 4 3 2 1 4
3) Una vez investigado lo que es una operacin binaria, les pido que escriban
un ejemplo de operacin binaria.
Bueno, yo propongo la operacin conmutativa siguiente en base a:

1 2 3 4 1 2 3 4
La rotacin de 180: = ( )y la reflexin sobre el eje x = ( ) de
4 3 2 1 3 4 1 2
un rectngulo:
Podemos ver que no se cumple la operacin conmutativa.
Pueden dar un ejemplo de la vida cotidiana?

Bueno, existen muchos casos de simetra en la vida cotidiana, por ejemplo un reflejo
mediante un espejo, la rotacin de la llanta de un automvil, aunque un caso en el que se
puede aplicar las operaciones binarias podra ser en una llave del agua que tiene forma
circular, ya que esta puede tener distintas rotaciones, e inclusive la rotacin identidad,
adems por ser un circulo, esta tambin puede tener reflexiones, por lo que posee las
propiedades necesarias para poseer un grupo de simetras y as mismo aplicar las
operaciones binarias.
h1
El movimiento de reflexin que hemos usado es una simetra. Sin embargo,
tambin son simetras las resultantes de rotar esta molcula, de tal manera que
permanezca invariante, considerndose elemento neutro cuando la figura ha
rotado 360 llegando a su posicin original. A esto es a lo que llamamos
componer simetras, pues obtenemos nuevas de stas, para la misma figura
Aplicamos la reflexin para ph1

1 1
2
2
3 3
h1 h1
La composicin de simetras es una composicin de funciones y por lo tanto se

efecta de derecha a izquierda.
Podemos numerar los 6 ptalos de la siguiente manera:

Ahora bien, como primera simetra podemos rotar la figura un
ngulo de /3 radianes, esto sera:
1 2 3 4 5 6
/3 = ( )
2 3 4 5 6 1
Procediendo de la misma manera, tendremos las siguientes
simetras:
1 2 3 4 5 6
2/3 = ( )
3 4 5 6 1 2
1 2 3 4 5 6
= ( )
4 5 6 1 2 3
1 2 3 4 5 6
4/3 = ( )
5 6 1 2 3 4
1 2 3 4 5 6
5/3 = ( )
6 1 2 3 4 5
1 2 3 4 5 6
2 = = ( )
1 2 3 4 5 6
Por otra parte podemos considerar las simetras de reflexin
siguientes:
Considerando los ejes , 1, 2, tenemos:

1 2 3 4 5 6
= ( )
6 5 4 3 2 1
1 2 3 4 5 6
1 = ( )
2 1 6 5 4 3
1 2 3 4 5 6
2 = ( )
4 3 2 1 6 5
Ahora consideramos los ejes:
1 2 3 4 5 6
= ( )
3 2 1 6 5 4
1 2 3 4 5 6
1 = ( )
5 4 3 2 1 6
1 2 3 4 5 6
2 = ( )
1 6 5 4 3 2
As tenemos que las simetras de la figura son:
{ , 2 , , 4 , 5 , 2 = , , 1, 2, , 1, 2}
3 3 3 3
1. De las simetras que ha encontrado, mencione una composicin

que d como resultado a la figura original.
Solucin:
La composicin sera:
( )
1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6
=( ) [( )( )]
3 2 1 6 5 4 6 5 4 3 2 1 4 5 6 1 2 3
1 2 3 4 5 6 1 2 3 4 5 6
=( )( )=
3 2 1 6 5 4 3 2 1 6 5 4
1 2 3 4 5 6
( )
1 2 3 4 5 6
Esta composicin consiste en primero rotar radianes la figura, luego
reflejarla respecto a al eje y, por ltimo, se refleja respecto a x.
2. Una vez investigado lo que es una operacin binaria, escriban un

ejemplo de operacin binaria. Pueden dar un ejemplo en la vida
diaria?
Una operacin binaria, es aquella definida en un conjunto tal que
esta asigna un elemento de a cada par de elementos de . Esto quiere
decir, que una operacin binaria la podemos escribir como:
:
Ahora bien, como esta operacin devuelve un elemento del mismo
conjunto , decimos que es una operacin binaria interna o cerrada.
Un ejemplo sera la suma en los nmeros naturales, puesto que si ,

son naturales, su suma + = es tambin un nmero natural.
En la vida cotidiana podemos considerar por ejemplo, en el mbito

ganadero, se tiene un conjunto de bovinos. Luego si quisiramos
comparar cualesquiera dos animales del conjunto pesndolos y
seleccionar el de mayor peso, esta accin sera una operacin binaria,
pues toma dos elementos del conjunto, la operacin consiste en
comparar los pesos de estos dos elementos y el resultado es un
elemento del mismo conjunto. De forma ms clara, sea el conjunto
= {1 , 2 , , } el conjunto de bovinos. Si pesamos a dos
cualesquiera del conjunto y seleccionamos el de mayor peso
obtendremos como resultado algn , es decir, un caso particular
podra ser = donde , y la operacin es: : .
Veo que esta figura nicamente cuenta con dos simetras, la primera de
ellas es la simetra r360 y la segunda simetra es la reflexin con
respecto al eje Y que denotar por rY pude observar que la figura es
dividida en dos partes, por lo cual puedo considerar que:
r360=(1,2)->(1,2)
rY=(1,2)->(2,1)
Ello si considero la imagen como sigue:
Por otro lado el orden del grupo de simetras es claramente 2, ya que

hay nicamente dos simetras, finalmente se puede ver fcilmente que
o(r360)=1 y adems o(rY)=1, por obvias razones
Finalmente un ejemplo de operacin binaria es aquella que toma dos
elementos de un conjunto y los transforma en un elemento del mismo
conjunto, un ejemplo de estas operaciones son la suma y el producto de
dos nmeros reales, las cuales son operaciones binarias con una
aplicacin muy concreta en la vida cotidiana.
De acuerdo a la figura asignada que corresponde a una letra Z de

molde
Ejemplo de operacin binaria
Rotacin:
1234
= 0 = ( )
1234
Reflexin:
1234
= = ( )
2143
El grupo de simetra en su rotacin y reflexin se define como:

= {0, } = {, }
Para obtener la figura original como e se considera una composicin respecto a la reflexin ,
definimos:
Comprobacin:
1. Encuentre las simetras de la siguiente figura.
La figura que me corresponde es un hexgono de 12 aristas y 12

nodos. Con una arista en cada nodo del hexgono y con la
caracterstica de tener en los nodos 1 y 4 una arista con un nodo
de color rojo, diferente a los otros nodos que son de color azul.
Como la simetra significa tener una invariancia de la entidad

bajo transformaciones, movimientos o intercambios, entonces las
simetras encontradas dada mi figura son:
Simetra de identidad
id = (1,2,3,4,5,6 1,2,3,4,5,6)
Simetra de rotacin
p_1 = (1,2,3,4,5,6 4,5,6,1,2,3)
p_2 = (1,2,3,4,5,6 1,2,3,4,5,6) que me da nuevamente la Simetra

de identidad.
Simetra de reflexin
p_1 = (1,2,3,4,5,6 3,2,1,6,5,4)
p_2 = (1,2,3,4,5,6 1,2,3,4,5,6) que me da nuevamente la Simetra
de identidad.
2. De las simetras que ha encontrado, mencione una

composicin que d como resultado a la figura original.
p_(0) = (1,2,3,4,5,6 1,2,3,4,5,6)

p_(180) = (1,2,3,4,5,6 4,5,6,1,2,3)
p_(360) = (1,2,3,4,5,6 1,2,3,4,5,6)
Ejemplo de operacin binaria:
El smbolo + representa la operacin binaria de suma; ahora

para la operacin binaria especfica de 3 + 5 = 8.
Podemos definir una operacin binaria de la siguiente manera:

Una operacin binaria o (lase crculo) en un conjunto A es una
regla que asigna a cada para ordenado de elementos (a1, a2) un
elemento b.
Esto equivale a decir que la operacin binaria de los elementos
que pertenecen al conjunto A (dominio), generan al conjunto B
(codominio). Ejemplo en la vida cotidiana.
Sea a un sello postal, y sean b y c dos cartas para ser procesadas.
Si aplicamos la funcin multiplicacin y la funcin suma
(propiedad distributiva) tenemos,
a*(b+c) = a*b + a*c que sera equivalente a que el sello dejo su
marca en ambas cartas procesadas.
Figura original Figura reflejada
respecto al eje x.
Sin embargo, la reflexin sobre el eje s puede darse. La represento

en forma matricial
1 1
2 3 3 2
Figura original Figura reflejada

respecto al eje
1 2 3
= ( )
1 3 2
Ahora si rotamos la figura para obtener su posicin original
Fig. original Movimiento 1 Movimiento 2
Con lo que slo la rotacin de 360 permite que la Rosa de tres ptalos
quede en su posicin original.
Movimiento 3: 360
Matricialmente
1 2 3
360 = 2 = ( ) = (neutro)
1 2 3
Con las simetras de Reflexin y Rotacin ya puedo formar un Grupo
para la Rosa de tres ptalos
= {, }
Ejemplo de Operacin Binaria:
Si opero dos nmeros y obtengo un tercero, entonces se puede decir

que dicha operacin es binaria.
2+4 = 6
Observemos cmo obtuve un tercer nmero a partir de la operacin

2 + 4.
Ahora bien, las operaciones binarias pueden ser abiertas o cerradas.

Por ejemplo, supongamos que tengo el siguiente conjunto:
= {0, 1, 2, 3}
Si realizo la suma de 2 + 3 = 5 cumple con lo que expliqu acerca de la
operacin binaria, pero es una operacin abierta porque el 5 que se
obtuvo de resultado no se encuentra dentro del conjunto .
Puedo decir de igual forma que una operacin binaria para

determinado conjunto, digmosle es una funcin definida como
O sea que si tomo un elemento del conjunto y le realizo una

operacin binaria a otro nmero del mismo conjunto todos los
resultados deben estar definidos o, en otras palabras, debe existir un
resultado para toda operacin. Asimismo, como la operacin binaria es
una funcin, slo se le asigna un elemento o resultado a una operacin
binaria dada.
La operacin binaria es conmutativa. Por ejemplo
+=+
La operacin binaria es asociativa. Por ejemplo
+ ( + ) = ( + ) +
( ) = ( )
Como nota al margen, lo que conocemos como resta y la divisin no

son operaciones binarias.
Tambin puedo decir que
La suma es una operacin binaria en

El producto cruzado es una operacin binaria en 3
La multiplicacin de matrices es operacin binaria.
1. De las simetras que ha encontrado, mencione una
Se trata de un sistema tridimensional ortogonal que resulta de rotar

una elipse alrededor de su eje mayor, que es el eje en donde se localizan
sus focos.
Hay una simetra en torno a este eje, que tomamos como el eje z.
La ecuacin de la transformacin es con respecto al eje z:
= acosh cos
Donde 2 es la separacin entre sus dos focos.
La ecuacin, en coordenadas cartesianas, centrado en el origen, es:
2 + 2 2
+ 2=1
2
Siendo a y b los semiejes, estando situado b en el eje de coordenadas z.
Ejemplo de una operacin binaria :

Si es un conjunto no vaco y * es una funcin. Entonces * es llamado
una operacin binaria sobre , si y slo si *: .
En otras palabras dado un conjunto no vaco y el producto cartesiano

de , * es una funcin de modo que a cada par ordenado (, ) le
hace corresponder un nico elemento de simbolizado por .
Por ejemplo en el conjunto de los naturales ; la suma (*) es una

operacin interna ya que todo par ordenado (, ) se le asigna otro
valor, el cual tambin pertenece a los naturales .
Si fuera la operacin *(, ) =
lo mismo si se dijera *(, ) =
El cual la multiplicacin se utiliza en la vida cotidiana, como en el

sper, compra de boletos, los litros que la gasolina o el peso del gas, etc.
1. Encuentre las simetras de la siguiente figura.

Simetra: Es un movimiento que deja invariante a un lugar
geomtrico.
En esta figura, tenemos 8 elementos, podemos formar el
grupo 8 de todas las permutaciones, que al final de cuentas
formaran un grupo de orden 8!
Pero el grupo que queremos encontrar es el grupo diedral 8
8, formado por todas las rotaciones y reflexiones posibles.
Este grupo es un subgrupo de 8.
Las simetras de este polgono regular no convexo de 16
lados sera igual a:
8 rotaciones y 16 reflexiones.
Rotaciones:
Tenemos la rotacin que no hace nada.
=
1 1, 2 2, 3 3, 4 4, 5 5, 6 6, 7 7, 8 8
1 2, 2 3, 3 4, 4 5, 5 6, 6 7, 7 8, 8 1
1 3, 2 4, 3 5, 4 6, 5 7, 6 8, 7 1, 8 2
1 4, 2 5, 3 6, 4 7, 5 8, 6 1, 7 2, 8 3
1 5, 2 6, 3 7, 4 8, 5 1, 6 2, 7 3, 8 4
1 6, 2 7, 3 8, 4 1, 5 2, 6 3, 7 4, 8 5
1 7, 2 8, 3 1, 4 2, 5 3, 6 4, 7 5, 8 6

1 8, 2 1, 3 2, 4 3, 5 4, 6 5, 7 6, 8 7
Ahora definimos las reflexiones, por ejemplo, trazamos una

recta como en la figura, y hacemos como si fuera un espejo,
stas las denominamos . Deben ser otras 8, entonces al
final , el grupo es de orden 16.
Reflexiones:
1 1, 2 2, 3 3, 4 4, 5 5, 6 6, 7 7, 8 8
.
13, 22, 31, 48, 57, 66 ,75, 84
.
15, 24, 37, 42, 51, 68 ,73, 86
.
13, 26, 31, 48, 57, 62 ,75, 84
.
15, 28, 37, 46, 51, 64 ,73, 82
.
13, 26, 31, 48, 57, 62 ,75, 84
.
15, 28, 37, 46, 51, 64 ,73, 82
.
17, 26, 35, 48, 53, 62 ,71, 84
Las reflexiones que faltan no dejan ningn punto fijo, las

podemos llamar , ; por ejemplo en el dibujo, la
reflexin mandara el 2 al 1, el 1 al 2, el 3 al 8, etc.
2. De las
simetras que ha encontrado, mencione una
1 1, 2 2, 3 3, 4 4, 5 5, 6 6, 7 7, 8 8
3. Una vez investigado lo que es una operacin binaria, les

pido que escriban un ejemplo de operacin binaria.
Pueden dar un ejemplo de la vida cotidiana?
Operacin binaria: Es aqulla que toma elementos en el

producto cartesiano de un consigo mismo y cuya imagen es un
elemento en el mismo conjunto.
Definicin 1. Una operacin binaria * en un conjunto X es una:

se puede escribir a*b en lugar de ((a,b)).
Un ejemplo sencillo puede ser la operacin que utilizamos

cuando vamos a una tienda, vemos dos productos iguales y
escogemos el que nos cueste menos. Se puede representar as:
a*b=mn(a,b)
Las simetras (es decir, las rotaciones y las reflexiones) de
un cuadrado forman un grupo llamado didrico, y se expresa como D4.
Un cuadrado tiene ocho simetras. Estas son:
id (se mantiene tal y r1 (rotacin de 90 a r2 (rotacin de 180 a r3 (rotacin de 270 a
como est) la derecha) la derecha) la derecha)
fc (vuelta contra
fv (vuelta vertical) fh (vuelta horizontal) fd (vuelta diagonal)
diagonal)
Los elementos del grupo de simetra del cuadrado (D4). Los vrtices se pintan y se numeran
slo para visualizar las operaciones.
La operacin identidad que lo deja todo como estaba, se expresa

como id.
Rotaciones del cuadrado de 90, 180 y 270 a la derecha,
expresadas con r1, r2 y r3, respectivamente.
Reflexiones respecto a los ejes vertical y horizontal (f v y fh), o
respecto de las dos diagonales (fd y fc).
ACTIVIDAD 2.GRUPOS.
INSTRUCCIONES: Resuelva los siguientes ejercicios y envelos para su
revisin en el apartado correspondiente del aula virtual.
Los ejercicios del 1 al 4 corresponden a la operacin binaria * en S

={a,b,c,d,e} definida en la tabla 2.26. Los ejercicios 5 y 6 corresponden
a la tabla 2.27 y 2.28, respectivamente.
1. Calcule , [( ) ]
* a b c d e
a a b c b d
b b c a e c
c c a b b a
d b e b e d
e d b a d c
En esta estructura (,), notamos que , se busca en la

entrada de la matriz (2,4), en este caso es:
Para , buscamos en la entrada (3,3), tenemos:
=
Realizamos primero las operaciones dentro del parntesis
cuadrado, para despus operarlo con a, tenemos:
[( ) ] = [ ] = =
2. Calcule ( ) ( ). Puede decir en base a este

clculo si * es asociativa?
A partir de la tabla, tenemos el conjunto = {, . } y la

operacin * definida como asociativa.
( ) ( )
* a b c
a a b c
b b c a
c c a b
Realizamos las operaciones de acuerdo a la tabla, tenemos:
( ) = =
( ) = =
La operacin * es asociativa ya que ( ) = ( )
( ) = =
( ) = =
La operacin * es asociativa ya que ( ) = ( )
3. Calcule ( ) ( ). Puede decir en base a este

clculo si * es asociativa?
( ) ( )
* a b c d e
a a b c b d
b b c a e c
c c a b b a
d b e b e d
e d b a d c
Realizamos las operaciones de acuerdo a la tabla, tenemos:
( ) = =
( ) = =
La operacin * no es asociativa pues ( ) ( )
( ) = () =
( ) = =
La operacin * no es asociativa pues ( ) ( )

La asociatividad se hereda de la asociatividad del producto para los
nmeros reales, porque es evidente que si a, b, c , d y e son nmeros
enteros; R R (de la misma manera se verifica tambin la
conmutativa).
4. Es * conmutativa? Por qu?
Si * es una operacin binaria sobre S, entonces * es conmutativa,

si y slo si, , :
Comprobemos operaciones de acuerdo a la tabla, tenemos:
Sea el conjunto = {, , , , } y la operacin definida como

conmutativa, si lo cumple. Se tiene por definicin, que una operacin es
conmutativa si dados , de un conjunto no vaco se tiene que:
De la tabla 2.26, podemos ver que:
dado que, = y = ,
Por lo tanto, la * no es conmutativa, ya que no cumple
, , =
5. Complete la tabla 2.27 de manera que * defina una

operacin binaria conmutativa en = {, , , }
La operacin * es conmutativa, si dados dos elementos de , a y b
cumple que , , =
Por lo tanto, la * es conmutativa, ya que cumple
, , =
La tabla queda as:
* a b c d
a a b c d
b b d a c
c c a d b
d d c b a
La conmutatividad se hereda de la conmutatividad del producto
entre elementos del conjunto de los nmeros enteros.
6. La tabla 2.28 puede ser completada de manera que *

defina una operacin binaria asociativa en S={a,b,c,d}.
Suponga que esto es cierto y calcule las entradas
faltantes.
Si * es una operacin binaria sobre S. Entonces * es asociativa, si

y slo si, , , , ( ) = ( )
Tenemos:
( ) = ( )
( ) = ()
=
( ) = ( )
( ) = ( )
=
Vemos que los valores coinciden, por tanto la operacin
* binaria es asociativa.
La tabla queda as:
* a b c d
a a b c d
b b a c d
c c d c d
d d d d d
7. En los siguientes incisos determine si la funcin dada

es un isomorfismo entre la primera estructura binaria y
la segunda. Explique.
a) < , +> < , +> () = .

( denota al conjunto de los nmeros enteros).
Por definicin, un homomorfismo de grupos se define

como una funcin tal que: : . Con , y , dos grupos
con sus respectivas operaciones binarias, donde:
( ) = ( ) ( )
Entonces, si adems es biyectiva, entonces es un isomorfismo

entre los dos grupos.
En este ejercicio, vemos que : y la operacin binaria en

ambos casos es la suma de enteros, por lo cual:
(1 + 2 ) = (1 ) + (2 )
Dado que la suma de naturales es un natural 1 + 2 = 3 por tanto,

tenemos que:
(1 + 2 ) = (3 ) = 3
(1 ) + (2 ) = (1) + (2 ) = (1 + 2 ) = 3
Por lo tanto, es un homomorfismo entre las dos

estructuras.
b) < , +> < , +> () = .
( denota al conjunto de los nmeros racionales).
Consideremos que la operacin binaria es una suma de racionales,

esto es, si tenemos:
1 + 2
(1 + 2 ) =
2
1 2 1 + 2
(1) + (2 ) = + =
2 2 2
Entonces:
(1 + 2 ) = (1 ) + (2 )
Podemos decir que si tenemos ( ) = (), entonces = , se

habla de una funcin inyectiva, dado que los elementos del conjunto
de partida tendrn una imagen distinta, ya que aplicamos la
operacin de la divisin a cada racional , por lo cual se tendr otro
racional distinto ; adems por cada en el rango hay un en el
dominio tal que ( ) = , por lo cual es biyectiva.
Por lo tanto es un isomorfismo entre las dos

estructuras.
8. En los siguientes incisos determine si la operacin

binaria * provee de una estructura de grupo al conjunto
dado. Si esto no ocurre, diga qu propiedad de la
definicin de grupo no se cumple.
a) Sea * definida en = (producto ordinario

de nmeros enteros).
Para determinar que , no es grupo, vemos que aunque
existe un elemento neutro = , ya que si se tiene
= () = , no podemos encontrar un nmero
entero que sea el elemento inverso. Lo podemos ejemplificar
de la siguiente manera:
Sea = 6, debe existir 1 tal que 1 = , esto es:
6(1 ) = 1
pero el nico nmero bajo la operacin del producto que nos

1
ofrece el resultado, el cual sera , el cual no es un entero y .
6
Por lo tanto, , no es un grupo, ya que no cumple la

propiedad del inverso.
b) Sea * definida en = { | < } = +
La operacin binaria es la suma de enteros negativos, la cual,

dados , , = + = .
Sabemos que la operacin es conmutativa, cuando:
(3) + (2) = (3) + (2) = 5.
Y es asociativa , si dados, , , , es decir:
[(1) + (3)] + (5) = (1) + [(3) + (5)] = 9
Aqu no existe el elemento neutro, pues no existe un entero

negativo tal que, para cualquier otro entero negativo , la
suma de ambos nos d ; adems, tenemos que para la
operacin suma de enteros, un elemento neutro es el , y
vemos que .
Por tanto la operacin * definida en , no provee de
una estructura de grupo al conjunto dado.
c) Sea * definida en = {| } = +
La operacin denota la suma de enteros pares.

El conjunto dado, viene siendo el de todos los enteros pares
incluyendo el cero pues , esto es:
= () = .
En cuanto a las propiedades que cumple, podemos mencionar:

que la operacin es asociativa y conmutativa; el elemento
neutro es = pues si , se tiene que + 0 = ; el
elemento inverso de cualquier tambin existe, es decir,
pues es , as que, + () = .
Por lo tanto, si se cumplen las tres propiedades, ,

provee de una estructura de grupo al conjunto dado.
d) Sea * definida en + =
Consideremos que la operacin no es asociativa y observemos si

+, no es un grupo, esto es:
= 2, = 8, = 1 + entonces:
( ) = (2)(8) 1 = 4 1 = (4)(1) = 2
Ahora bien,
( ) = 2 (8)(1) = 2 8 = (2)(8) = 28
Entonces:
( ) ( )
Por lo tanto, no cumple con la propiedad asociativa y la
operacin * definida en + , no provee de una estructura de
grupo al conjunto dado.
9. Sea G un grupo con la operacin binaria *.
a) Demuestre que existe slo un elemento tal que

= = .
Supongamos que hay ms de un elemento neutro, digamos

, , esto es:
= , =
Por conmutatividad de * tenemos que:
= =
Por tanto, tenemos que ambos elementos neutros

son el mismo y en consecuencia, slo hay un
elemento neutro
Q.E.D.
b) Demuestre que si , , y se cumple que =

, entonces se tiene que = .
Sea (G,)un grupo, se verifica por la propiedad 1 cancelativa de

los grupos, entonces tenemos que:
= =
Sea =
Aplicando el inverso de en toda la expresin, se tiene:
1 ( ) = 1( )
Por la propiedad de la asociatividad de * se tiene:

(1 ) = (1 )
Por la propiedad del inverso y del neutro, tenemos:
= , =
Lo cual queda demostrado.
. . .
c) Demuestre que para todo se tiene que ( ) =

Sea G cualquier grupo y si , demostrar que ( 1)1 =
Por ser g invertible se tiene:
1
1 1 ==
=
1 1
De igual forma, se dice que un elemento operado con su

inverso es igual al elemento neutro, es decir:
1 (1 )1 =
De donde:
1 = 1 ( 1)1, 1 = 1 (1)1
Por lo tanto, por la propiedad mencionada arriba, se tiene

que:
= (1)1
. . .
10. Indique si los siguientes enunciados son ciertos o

falsos.
Explique.
a) Una operacin binaria en un conjunto S asigna al
menos un elemento de S a cada par ordenado de
elementos de S.
Falso, pues le hace corresponder un nico elemento de S,
simbolizado por (a, b).
b) Una operacin binaria en un conjunto S asigna a lo

ms un elemento de S a cada par ordenado de
elementos de S.
c) Una operacin binaria en un conjunto S asigna

exactamente un elemento de S a cada par ordenado
de elementos de S.
Verdadero, ya que, dado un conjunto no vaco S y el

producto cartesiano S x S, es una funcin de modo que a cada
par ordenado (a, b) le hace corresponder un
nico elemento de S simbolizado por (a, b)
d) Una operacin binaria en un conjunto S asigna ms

de un elemento de S a algn par ordenado de
elementos de S.

e) Un grupo puede tener ms de un elemento identidad.

simbolizado por (a, b), ya se demostr en el ejercicio 9 del
inciso a, que slo existe uno o que es nico.
f) La propiedad asociativa es vlida en cualquier grupo.
Es Verdadero, pues, por definicin de grupo, ste es un

conjunto, provisto de una operacin binaria asociativa; la operacin
binaria, cumple con la propiedad asociativa, para que, junto con el
conjunto, conformen un grupo.
Unidad 1. Actividad 3.
GRUPOS CCLICOS
Instrucciones: Resuelva los siguientes ejercicios y envelos para

su revisin el apartado correspondiente del aula virtual.
1- Cinco grupos son dados a continuacin. Proporcione una

lista completa de todas las relaciones de subgrupos, en la
forma , que existan entre estos grupos , , , , .
a) = bajo la adicin.
b) = bajo la adicin.
c) = + bajo la multiplicacin.
d) = bajo la adicin.
e) = + bajo la multiplicacin.
En primer trmino, vamos a considerar dos grupos, y , que

estn bajo la adicin, y analizando las propiedades, vemos que , es
un subconjunto no vaco de y 0, es el elemento neutro para ambos
grupos; ahora, la suma de enteros, es un entero y la operacin cumple
con la asociatividad.
Para la propiedad del inverso, , 1 = y + () = 0.

Cumple.
Por lo tanto, es un subgrupo de y se tiene .
Procediendo de manera similar, ahora, consideramos los grupos y

, y tenemos que:
= {| }
Podemos observar que, 12 es un subconjunto no vaco de adems

que 0 12 pues 0() = 0 ; el elemento neutro en ambos grupos es 0;
tenemos entonces que, 12 es un entero y al ser la suma de dos
elementos de la forma 12 , cumple con la asociatividad.
Para la ltima propiedad invertiva, tenemos que: 121 = 12 y
12 + (12) = 0. Cumple.
Por lo tanto, es un subgrupo de y se tiene .
Ahora consideramos los grupos y bajo la multiplicacin, en

donde + es un subconjunto no vaco de + , 1 + es racional y viene
siendo el elemento neutro para ambos grupos.
En la multiplicacin de racionales aplica la propiedad asociativa.

Para la ltima propiedad, si + , entonces su inverso sera y

( )( ) = 1

Por lo tanto, .
La lista de las relaciones de subgrupos queda as:
Nota: Dado que 1 4 2 4, entonces, tambin se incluye en la

lista.
2. Escriba al menos 5 elementos de cada uno de los siguientes

grupos cclicos:
a) 25 bajo la adicin.
Si tenemos que:
= {| }
Los cinco elementos pueden ser:
{, , , , }.

b) {( ) | } bajo la multiplicacin.

1 0 1 1 1
En este caso el neutro es ( ) = 1 y el generador es = ( ) = .
2 2 2
Los cinco elementos podran ser:

{, , , , }

1 1 1
Dado que 2 = ( ) ( ) = y as sucesivamente
2 2 4
3. En los siguientes incisos, describa todos los elementos

generados por la matriz 2x2 dada.

a) ( )

Tenemos que la matriz es elemento del grupo general lineal (2):

=( )

Entonces:

= = ( )

= ( )

= ( )( )=( )

= = ( )( )=( )

= = ( )( )=( )

Observemos que para las potencias pares de , se tiene siempre la matriz

1 0 0 1
( ) y para las impares, tenemos ( ).
0 1 1 0
Entonces, los elementos generados por son:

{( ),( )}

b) ( )

Reescribimos:
1 1
=( ),
0 1
Entonces, tenemos:

= ( )

= ( )

= ( )( )=( )

= = ( )( )=( )

= = ( )( )=( )

Entonces, los elementos generados por son:

{( )| + }

4. Escriba la tabla del Grupo bajo la suma y adems realice lo

siguiente:
Tenemos que , +, es un grupo cclico de orden 6, con generador 1.

En este grupo en que la operacin es de suma, operar un elemento
consigo mismo repetidamente, quiere decir sumarlo consigo mismo
repetidamente. Por tanto [ : ] = | |/||
6 = {0,1,2,3,4,5} que bajo la suma es el grupo aditivo de los enteros
mdulo 6. Realicemos la tabla.
Tabla del Grupo , +
Todo subgrupo de un grupo es cclico. Por tanto 6 , el grupo

cclico de 6 elementos.
Grupo trivial (Identidad).
Grupo cclico de orden 2.
El nmero de elementos de un grupo, es el orden del grupo, aqu,

coincide con 6.
a) Calcule los subgrupos , , , , , del grupo .
= { , , , , , } = {, , , , , }
= { , , , , , } = {, , , , , } = {, , },
= { , , , , , } = {, , , , , } = {, }
= { , , , , , } = {, , , , , } = {, , }
= { , , , , , } = {, , , , , } = {, , , , , }
b) Cules son los elementos generadores del grupo ?

+ 0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 3 4 5 0 1
3 3 4 5 0 1 2
4 4 5 0 1 2 3
5 5 0 1 2 3 4
Un elemento a, se dice que genera un grupo G, si . = 2 , . . =

3 , son todos los elementos del grupo, entonces, decimos que a es el
generador de G y G es un grupo cclico.
En este caso, tenemos que el grupo aditivo de los nmeros enteros

, +, es un grupo cclico de orden 6; su generador es el 1 ,puesto
que todos los elementos de , se pueden ver como potencias enteras
del 1.
11 = 1, 10 = 0, 11 = 1, 12 = 1 + 1 = 2, 13 = 1 + 1 + 1 = 3,
Por tanto, los generadores del grupo adems del son:

y .
c) Escribe un diagrama de los subgrupos de .
Por definicin, tenemos que un subconjunto H de un grupo G, es un

subgrupo si satisface todos los axiomas de grupo. Los subgrupos
triviales de G son G y {e}.
Su representacin grfica:
:
Notemos lo cclico despus llegar a 15 se repiten los valores. Para los dems
subgrupos:
En este caso, despus de 22 se repiten los valores.
Aqu los valores se repiten despus de 31.
4:
Aqu los valores se repiten despus de 42.
Aqu los valores se repiten despus de 55, entonces el grupo es cclico.
EVIDENCIA DE APRENDIZAJE.
GRUPOS.
Resuelva los siguientes ejercicios y envelos para su revisin en el
apartado correspondiente del aula virtual.
Recordemos la definicin de subgrupo:
Un subconjunto H de un grupo G se dice que es un subgrupo de G

si respecto al producto en G, H mismo forma un grupo.
1. Encuentre el nmero de elementos en cada uno de los

grupos cclicos indicados.
a) El subgrupo cclico de generado por el 25.
Considrese el grupo cclico Z 30, generado por el 25, y tomemos

5 30, el mximo comn divisor de 30 y 25 es 5, por lo tanto,
30/5=6 elementos en el subgrupo cclico generado por 5, los
cuales son: {0,5,10,15,20,25}, entonces:
25 = {250 , 251 , 252 , , 2529 } = {0,25,20,15,10,5,0,25,20, } =
= {0,5,10,15,20,25}
Por lo tanto, el nmero de elementos de es 6.
b) El subgrupo cclico de Z42 generado por el 30.
Considrese el grupo cclico Z42, generado por el 30, y tomemos

6 30, el mximo comn divisor de 42 y 30 es 7, por lo tanto,
42/6=7, elementos en el subgrupo cclico generado por 6, los
cuales son: {0,6,12,18,24,30,36} entonces:
30 = {300 , 301 , 302 , , 3041 } = {0,30,18,6,36,24,12,0,30, } =
= {0,6,12,18,24,30,36}
Por lo tanto, el nmero de elementos del subgrupo es 7.
2. Encuentre todos los subgrupos de los grupos dados a

continuacin. Mencione tambin el orden de cada subgrupo
encontrado. Haga un diagrama de los subgrupos obtenidos.
a) ( , +).
En este ejercicio demostraremos que para el grupo Z8 existen

generadores. Resulta que Z8 es un grupo cclico generado por el
elemento 1 , es decir, cualquiera de sus elementos puede escribirse:
Tenemos que , +, es un grupo cclico de orden 8, con

generador 1. El nmero de elementos de un grupo, es el orden del
grupo, aqu, coincide con 8.
En este grupo en que la operacin es de suma, operar un elemento

consigo mismo repetidamente, quiere decir sumarlo consigo mismo
repetidamente. Por tanto [ : ] = | |/||
8 = {0,1,2,3,4,5,6,7} que bajo la suma es el grupo aditivo de los
enteros mdulo 8.
Tabla del Grupo , +

+ 0 1 2 3 4 5 6 7
0 0 1 2 3 4 5 6 7
1 1 2 3 4 5 6 7 0
2 2 3 4 5 6 7 0 1
3 3 4 5 6 7 0 1 2
4 4 5 6 7 0 1 2 3
5 5 6 7 0 1 2 3 4
6 6 7 0 1 2 3 4 5
7 7 0 1 2 3 4 5 6

Subgrupos , , , , , , , del grupo .
Los subgrupos buscados son los generados por los elementos del
grupo:
= {} . De orden 1
= { , , , , , , , } = {, , , , , , , }. De orden 8
= { , , , , , , , } = {, , , , , , , } = {, , , }. De
orden 4.
= { , , , , , , , } = {, , , , , , , } =
= {, , , , , , , }. De orden 8.
= { , , , , , , , } = {, , , , , , , } = {. }. De
orden 2.
= { , , , , , , , } = {, , , , , , , } =
= {, , , , , , , }. De orden 8
= { , , , , , , , } = {, , , , , , , } = {, , , }. De
orden 4
= { , , , , , , , } = {, , , , , , , } =
= {, , , , , , , } . De orden 8.
Por tanto, los generadores del grupo adems del

son:
y , ,
Diagrama del subgrupo de :
{0}
b) ( , +)
En este ejercicio demostraremos que para el grupo Z12 existen

generadores. Resulta que Z12 es un grupo cclico generado por el
elemento 1 , es decir, cualquiera de sus elementos puede escribirse:
12 = {0,1,2,3,4,5,6,7,8,9,10,11} que bajo la suma es el grupo aditivo

de los enteros mdulo 12.
Tabla del Grupo , +

+ 0 1 2 3 4 5 6 7 8 9 10 11
0 0 1 2 3 4 5 6 7 8 9 10 11
1 1 2 3 4 5 6 7 8 9 10 11 0
2 2 3 4 5 6 7 8 9 10 11 0 1
3 3 4 5 6 7 8 9 10 11 0 1 2
4 4 5 6 7 8 9 10 11 0 1 2 3
5 5 6 7 8 9 10 11 0 1 2 3 4
6 6 7 8 9 10 11 0 1 2 3 4 5
7 7 8 9 10 11 0 1 2 3 4 5 6
8 8 9 10 11 0 1 2 3 4 5 6 7
9 9 10 11 0 1 2 3 4 5 6 7 8
10 10 11 0 1 2 3 4 5 6 7 8 9
11 11 0 1 2 3 4 5 6 7 8 9 10

Subgrupos , , , , , , , , , , , del grupo
.
= {}. De orden 1.
= { , , , , , , , , , , , } =
= {, , , , , , , , , , , }. De orden 12.
= { , , , , , , , , , , , } =
= {, , , , , , , , , , , , } = {, , , , , }, De orden 6.
= { , , , , , , , , , , , } =
= {, , , , , , , , , , , } = {, , , }. De orden 4.
= { , , , , , , , , , , , } =
= {, , , , , , , , , , , } = {, , }. De orden 3.
= { , , , , , , , , , , , } De orden 12.
= {, , , , , , , , , , , } = {, , , , , , , , , , , }
= { , , , , , , , , , , , } =
= {, , , , , , , , , , , } = {, } De orden 2.
= { , , , , , , , , , , , }=
= {, , , , , , , , , , , , } = {, , , , , , , , , , , }.De
orden 12
= { , , , , , , , , , , , }=
= {, , , , , , , , , , , } = {, , } De orden 3.
= { , , , , , , , , , , , }=
= {, , , , , , , , , , , } = {, , , } De orden 4.
= { , , , , , , , , , , , }=
= {, , , , , , , , , , , } = {, , , , , } De orden 6.
= { , , , , , , , , , , , }=
= {, , , , , , , , , , , } = {, , , , , , , , , , , }. De
orden 12.
Diagrama del subgrupo de 12
12=(1)
{0}
3. Mustrese que un subconjunto no vaco H de un grupo G es

un subgrupo de G si y slo si , para toda , .
Esto se d, si y slo si:

, .
Para demostrar que un subconjunto no vaco H de un grupo G es un

subgrupo de G, procedemos del modo siguiente:
La implicacin hacia la derecha es inmediata por la propia definicin
de subgrupo.
Para la implicacin hacia la izquierda, supongamos un subconjunto H
no vaco, verificando la condicin del enunciado. Si , tomando
= , . 1 = , con lo cual H contiene al elemento identidad
de G.
Aplicando de nuevo dicha propiedad para los elementos ,
obtenemos que . 1 = 1 , es decir, H es cerrado para los
inversos.
Luego, si , , se prueba que 1 , con lo cual tambin
contendr a . ( 1 )1 = . , es decir, H tambin es cerrado para la
operacin de G.
4. Sea la operacin binaria de un grupo G cerrada en un

subconjunto finito no vaco H de G. Mustrese que H es un
subgrupo de G.
Empezamos denotando esta condicin de la siguiente manera:

Tenemos por ejemplo que:
i) Todo grupo G es un subgrupo de s mismo.
ii) {e} es subgrupo de G, siempre que G sea un grupo y e sea el
elemento neutro de G. Los conjuntos G y {e} son subgrupos
triviales de G.
iii) es un subgrupo de (,+)
iv) 2. es un subgrupo de (, +)
Y el teorema siguiente que nos dice:
(,), una condicin necesaria y suficiente para que H sea
un subgrupo de (G, *) es que satisfaga:
a)
b) , para todo ,
c) Existe , = = , para todo
d) Para cada , existe 1 tal que 1 = 1 =
Primero se verifican las siguientes propiedades:

Una operacin binaria es cerrada en un conjunto si dados dos
elementos del conjunto, al operarlos el resultado pertenece a .
Entonces, sea la operacin binaria en denotada por , dados
, , se tiene que . Ahora, como es no vaco, por lo
menos hay un elemento , entonces , 2 , 3 , . Luego tambin
tenemos que es finito por lo que los elementos que obtenemos de
, 2 , 3 , en algn momento se repiten, es decir, habr enteros
positivos tales que = , que sin prdida de generalidad si > ,
por ley de cancelacin se tiene que = y tenemos que .
Por ltimo, para , y como , podemos escribir 1 =
, de donde 1 ya que para > 0 se tiene que 1 y
esto es: 1 = 1 = 1 .
Con lo anterior, se tiene que el neutro de es el neutro de , dados dos

elementos cualesquiera de , al operarlos (bajo la operacin de ), el
resultado est en y, por ltimo, el inverso de un elemento de est
en . Se concluye entonces que es en s mismo un grupo respecto a la
operacin de y por tanto , es decir, es un subgrupo de .
Si 1 , 2 , 1 2
El elemento identidad de G es un elemento de H.

Si , 1 .
Estas condiciones sobre H garantizan que H sea un grupo, con la

misma operacin de G (pero restringida a H). Observamos que la
propiedad asociativa para H es una consecuencia de la propiedad
asociativa que se verifica en G, adems, el elemento neutro de H,
es precisamente el elemento neutro de G.
Demostracin:
La implicacin (,) ()()( )( )es trivial.
Ahora, tratemos de sumar ()()( ) ( ). Por () (), se tiene
que * es una operacin binaria sobre H, que es asociativa por serlo
en G. Como , . ( ), 1 = 1
, l.q. d.
5. Sea G un grupo y un elemento fijo de G, mustrese que el
conjunto = { | = }es un subgrupo de G.
() es un subgrupo si y slo si
, () ()
Tenemos entonces que demostrar que:

= (1)
= (2)
de donde se sigue que:
( 1 ) = ( 1 )
De la expresin (2) , multiplicamos al lado izquierdo por
1 obtenemos:
1 = 1
luego:
= 1
Ahora, realizamos la multiplicacin para el lado derecho, tambin por
1 y resulta:
1 = 1 1 ,
luego, tenemos:
1 = 1 (3)
Consideremos ahora el elemento 1, tenemos:
( 1 ) = ( 1 )
Aplicando la (3), tenemos:
( 1 ) = ( 1 ) = ( ) 1
Aplicando la (1), se tiene:
( 1 ) = () 1 ,
Por lo tanto:
( ) = ()
l. q. d
UNIDAD 1. ASIGNACIN DEL DOCENTE.
1.- Sea G el conjunto de todas las matrices reales 2x2

( ) donde .

Probar que G forma un grupo bajo la multiplicacin de
matrices. Es G un grupo abeliano? Justifique su respuesta.
Considero que para realizar este ejercicio, podemos partir de que

las matrices nxn con determinante no nulo, con el producto, son un
grupo, debemos demostrar que este conjunto que nos dan, es un
subgrupo de l.
Podemos apoyarnos en el teorema de caracterizacin de
subgrupos que nos dice que: dado un subconjunto H distinto del
vaco de un grupo G, si se cumple esta condicin:
i) , 1 , entonces H es un subgrupo de G.
Tenemos que 0, eso garantiza que existe la inversa.
Dada una matriz N

( )
0
Vemos cul es la inversa, entonces, se toman los adjuntos:
0
( )

Luego se transponen,

( )
0
Y lo dividimos por el determinante, resulta:
/() /()
( )
0/() /()
Como , 0, tenemos:
1/ /()
( )
0 1/
Luego, sea M una matriz como la del enunciado, y multiplicada por

sta, tenemos:

1 1/ /() + /
= ( )( ) = ( )
0 0 1/
0 /
Es una matriz que tiene la forma de las matrices por tener 0 en el

elemento diagonal-inferior y el producto de la diagonal es:
/ ()
que est definido por ser 0 y es distinto de 0 por ser 0.
Luego, se cumple la condicin en este conjunto es un subgrupo de

las matrices cuadradas 2x2 con determinante distinto de 0.
La matrices no suelen ser nada conmutativas, para ver si es

abeliano efectuemos el producto AB y BA y veamos si el resultado es
el mismo:
+
( )( )=( )
0 0 0
+
( )( ) = ( )
0 0 0
Por lo tanto, vemos que no es abeliano.
Para que sea abeliano debemos hacer que:
+ = +
En este caso, si hacemos que = , tenemos:

+ = +
+ = +
Luego el grupo de estas matrices

( ) con 0
0
S sera un grupo abeliano.
Pero el que nos proponen , no es un grupo abeliano.

2. Sean a, b nmeros reales y defnase la funcin :
por () = + . Sea G={ | }. Probar que G es un
grupo bajo la composicin de funciones. Encuentre la
frmula para
En primer trmino, vemos que se cumplen las condiciones de

grupo:
1) .
() = + 0
() = + 0
()( ) = [( )] = ( + ) +
= () + ( + ) 0
2) Es asociativa. Porque la composicin de funciones es asociativa,

independientemente de la forma concreta de estas funciones.
Por definicin, tenemos que:

[()]() = ()[()] = ([()])
[()]() = [()()] = ([()])
3) Tiene elemento neutro que ser:
() = 1 + 0
() =
()() = [()] = ()
()() = [()] = ()
4) Tiene elemento inverso

Lo calculamos de la siguiente manera:
= + 0
=
1 1
= ( ) ( )

como 0 tiene inverso y es distinto de 0
Luego el elemento inverso de:
() = +
1() = (1/) (1/)
Si se prefiere, tambin se puede usar las propiedades de los reales, lo

cual nos queda as:
1() = / /

[ 1() ]() = [ 1() ()](/ /) + = + =
= ()
[ 1() ]() = 1() [()] = ( + )/ / = +

= = ()
Por lo tanto, al probarse las condiciones, decimos que G es

un grupo bajo la composicin de funciones.
Demostracin.
Para encontrar la frmula de la composicin de dos funciones,

tenemos:
( )( ) = [ ( )] =
. ( ) + = ( + ) + =
= + +
3. Probar que cualquier subgrupo de un grupo cclico es

cclico.
Demostracin.
Sea = un grupo cclico, y sea .
Es claro que si H es un subgrupo impropio de G es cclico.
Supongamos que H es un subgrupo propio.
Sea tal que para < , y sea otro elemento de H.

Utilizando el algoritmo de divisin de Euclides, podemos escribir:
= + con 0 < .
Como H es un subgrupo:
( )1 = .
Por tanto:
( ) = =
en contra de la definicin de k, a menos que r=0.
As, cada elemento de H es de la forma ( ) para algn , y H es

cclico generado por . QED.
UNIDAD 2. PERMUTACIONES Y GRUPOS

COCIENTE.
FORO. Permutaciones y Grupos Cociente.
Grupo Simtrico.
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
. Ntese que tiene n! elementos, donde:
! = ( 1)( 2) (3)(2)(1)
Permutaciones.
Una permutacin en un conjunto A es una funcin A en A que es
biyectiva; el conjunto de biyecciones bajo la composicin de funciones
forma un grupo, y tal grupo resulta no ser abeliano. Ahora a las
biyecciones las llamaremos permutaciones. Una permutacin la
denotamos as:
Sea un conjunto A={1,2,3,45}
Podemos definir la permutacin por:

12345
=( )
42531
que significa que
{1,2,3,4,5} {1,2,3,4,5}
14
22
35
43
51
Grupo de Simetras.
Al grupo formado por el conjunto de permutaciones bajo la
multiplicacin de permutaciones se le denomina grupo de simetras y
se denota . Pensemos en el grupo S3, en el cual tenemos 3!=6
permutaciones. Definamos las permutaciones por:
Formemos la tabla de Cayley de este grupo:
Ciclos y rbitas.
Ciclo. Es un tipo especial de permutacin que fija cierto nmero de
elementos, mientras que se mueve cclicamente el resto. Se denota as:

=( )

A esta forma de expresar permutaciones, se le llama notacin cclica.
= (, , , , )
rbita. La rbita de un punto son todos aqullos elementos a los

que se puede alcanzar bajo la accin del grupo, pinsese en el 4 , si
tomamos un vrtice, digamos 1, es claro que bajo la accin de 4, slo
puede alcanzar a los otros vrtices, es decir, 14 = {1,2,3,4}, de la
misma manera, el conjunto de lados, es la rbita 14 y as
sucesivamente. Un grupo G actuando sobre un conjunto lo denotamos
as:
: () = {(): }
Grupo alternante.
Es el subgrupo de que consta de las permutaciones pares de n
letras, se denota de n letras. Todo grupo alternante est formado
por un producto par de transposiciones, que forzosamente deben de
tener las siguientes formas:
(, )(, ) = (, , )
(, )(, ) = (, , )(, , )
(, )(, ) = (, , )
Por lo que, efectivamente, cualquier grupo alternante de grado mayor
o igual a 3, puede ser descompuesto en producto de 3-ciclos.
Grupo didrico.
Un grupo didrico Dn, es el conjunto de reflexiones y rotaciones

posibles en un polgono regular de n lados.
El grupo S3 junto con Z6 son los dos grupos posibles de orden 6.
Considrese las tres permutaciones en 6 :

=( ) =( ) =( )

Clases de conjugacin.
Se le llama as al mapeo 1, donde los elementos son los
elementos conjugados.
La accin de G en s mismo por conjugacin no es transitiva, en este

caso, las rbitas () se llaman clases de conjugacin y se denotan
por:

() { :
=
Clases laterales.
Sea H un subgrupo de un grupo G, y sea . La clase lateral
izquierda es el conjunto {| }, la clase lateral derecha Ha es
el conjunto {| }.
Si un grupo G se puede partir en celdas de modo que la operacin

inducida est bien definida y forme un grupo, entonces las celdas son
precisamente, las clases laterales izquierdas y derechas, en particular,
toda clase lateral izquierda es una clase lateral derecha.
Teorema de Lagrange.
La relacin de congruencia en el conjunto de nmeros enteros motiva

la siguiente definicin, que es la adaptacin para grupos de dicha
relacin.
Teorema de Lagrange: Sea G un grupo de orden n, y H un

subgrupo de G de orden m, entonces m divide a n.
Grupo cociente.
Tenemos que G/N es un grupo bajo la operacin ( )( ) =
Por tanto / es un grupo llamado grupo factor de G mdulo N
grupo cociente de G por N.
Subgrupo normal.
Un subgrupo de es normal si sus coconjuntos derechos e
izquierdos coinciden, lo que notaremos por es decir:
: , =
Todo subgrupo de un grupo abeliano es normal.
Conmutadores.
Por definicin del teorema, son todos los elementos , , de la
forma 1 1 en un grupo; el conjunto de todos los conmutadores
forman un subgrupo normal G llamado subgrupo conmutador de G y
el grupo factor G/G es abeliano. Adems G/N es abeliano si y slo si
G<N.
ACTIVIDAD 3. GRUPOS DE PERMUTACIONES.
INSTRUCCIONES: Resuelva los siguientes ejercicios y envelos
para su revisin en el apartado correspondiente del aula virtual.
1. Cundo se dice que una permutacin es un ciclo? Explique

y proporcione un ejemplo.
Un ciclo, es un tipo especial de permutacin que fija cierto nmero

de elementos, mientras que se mueve cclicamente el resto. Se denota
as:

=( )

A esta forma de expresar permutaciones, se le llama notacin cclica.
= (, , , , )
2. Defina qu es la longitud de un ciclo. Proporcione un

ejemplo.
Una permutacin de un conjunto A , es un ciclo de longitud n , si
existen {1 , 2 . . . , } , tales que:
1 = 2 , 2 = 3 , , 1 = , = 1
= {1 , 2 , }
Escribimos
= { , , }
Los ciclos pueden multiplicarse entre s como lo hacemos con las
permutaciones, pero la multiplicacin de dos ciclos, no
necesariamente es otro ciclo, por ejemplo, consideremos en 6, la
siguiente multiplicacin de ciclos:
123456
(1,4,5,6)(2,1,5) = ( )
413265
Notamos que esto no es un ciclo.
Consideremos la permutacin
123456
( )
652431
Podemos ver que esto no es en s un ciclo, pero analizando, podemos

encontrar una especie de ciclos internos, por ejemplo, al mirar a 1,
vemos que ste va a dar al 6 y el 6 regresa a 1, es as pues, que
detectamos un ciclo (1,6). Si seguimos analizando la permutacin,
vemos que el 2 va al 5, el 5 al 3 y el 3 al 2, he aqu otro ciclo. Tambin
vemos que el 4 queda fijo. Entonces podemos escribir:

( ) = (, )(, , )

Esto es, los elementos no jos de pueden recorrerse todos yendo de
original a imagen, empezando por uno cualquiera.
Tenemos otro ejemplo:
= (2,3,1) 4.
Vemos que es un 3 y corresponde a la permutacin:

1234
=( ) = (2,3,1)
2314
3. Los ciclos siguientes son permutaciones de . Calcule los

productos que se indican: ??
a) (1,4,5)(7,8)(2,5,7)
Vamos a calcular de derecha a izquierda, igual que en la

multiplicacin de permutaciones, entonces:
(1,4,5)(7,8)(2,5,7) = (4,1,3,5,8,6,2,7)
b) (1,2)(4,7,8)(2,1)(7,2,8,1,5)
(1,2)(4,7,8)(2,1)(7,2,8,1,5) = (5,4,3,7,8,6,2,1)
c) (1,3,2,7)(4,8,6)
(1,3,2,7)(4,8,6) = (3,7,2,8,5,4,1,6)
4. Cundo dos ciclos son ajenos?

Dos ciclos son ajenos o disjuntos, si dichas permutaciones, una fija
un elemento, mientras que la otra lo mueve, es decir, si ( )
entonces ( ) = y si () entonces () = .
Por ejemplo, en 6 los ciclos = (5,6) y = (1,2) son ajenos o

disjuntos pues para 1, es claro que (1) 1 pero (1) = 1 y lo mismo
ocurre con el 2, luego para 5 (5) 5 pero (5) = 5 y lo mismo con el
6.
Entonces yo entiendo que, si al momento de escribir dos ciclos como

en el inciso anterior, los elementos en l son distintos, decimos que los
ciclos son ajenos, es decir, los ciclos mueven a elementos diferentes
entre s, aqu, podemos preguntarnos: ser posible que cualquier
permutacin pueda ser expresada como producto de ciclos ajenos?
Regresando al ejemplo del inciso anterior,
123456
( ) = (1,6)(2,5,3)
652431
Luego, tenemos que la respuesta es s, dado que la multiplicacin de
ciclos ajenos es conmutativa.
Teorema. Cada permutacin de un conjunto finito A es producto

de ciclos ajenos.
Demostracin. Supongamos el conjunto = {1,2, }.
Si tomamos el primer elemento y lo pasamos por una permutacin ,

sucesivamente, podemos obtener los elementos:
1,1, 1 2 , 1 , 1 = 1
Ahora definamos el ciclo
1 = (1,1, 1 2 , 1 )
Notamos que habr elementos en A que no aparezcan en este ciclo,

tommoslos y hagamos el mismo procedimiento:
, ,
Formemos ahora el ciclo
2 = (, , 2 , 1 )
Estos dos ciclos son ajenos, ya que de no serlo, tendran al menos

un elemento j en comn, y los ciclos podran construirse a partir de
repetidas aplicaciones de sobre j.Este procedimiento se sigue hasta
que todos los elementos de A, quedan en algn ciclo, as pues,
tenemos:
Por lo cual, definimos un ciclo de longitud n y que toda permutacin

es producto de ciclos ajenos.
5. Defina qu es una transposicin?

Un ciclo de longitud 2 es una transposicin.
Es decir, una transposicin deja a todos los elementos fijos excepto a
2, y lleva a cada uno al otro.
Del Teorema anterior, se sigue directamente que una permutacin no

slo puede ser expresada como producto de ciclos, sino tambin de
transposicin, esta idea viene expresada en un corolario.
Corolario. Cualquier permutacin de un conjunto finito de al menos

dos elementos es un producto de transposiciones.
Voy a retomar la permutacin
123456
( )
652431
la cual pudimos descomponer en un producto de ciclos:
123456
( ) = (1,6)(2,5,3)
652431
Entonces, ahora trataremos de descomponerla en transposiciones y

nos quedara:
123456
( ) = (1,6)(2,5,3) = (1,6)(2,5)(2,3)
652431
Las permutaciones descompuestas a travs de productos de

transposiciones nos muestra que stas no son necesariamente ajenas,
y la forma de poner las transposiciones no es nica.
Otros ejemplos:

1234
=( ) 4
2341
= (1 2 3 4).
12345
=( ) = (1 3 2)(4)(5) = (1 3 2)
31245
6. Exprese cada una de las siguientes permutaciones de
como productos de ciclos ajenos y despus como producto
de transposiciones.

=( ), = ( ), = ( )

12345678
a) Para expresar la permutacin = ( ) como producto
82637451
de ciclos ajenos, tomamos el 1, lo escribimos y vemos que va al 8,
luego, vemos que el 8, va al 1 y cerramos el ciclo.
(1, 8)
Comenzamos otro ciclo, con el 2,

(1,8)(2,
Vemos que el 2 va al 2 y los ciclos de un elemento no se anotan,
entonces lo quitamos y empezamos uno con el 3, el cual vemos que va
al 4 y el 4 va al 6 y el 6 va al 3, luego terminamos este 3-ciclo:
(1,8)(3,4,6)
Y el siguiente lo abrimos con el 5, el cual es el nmero ms bajo que
todava no ha salido, entonces:
(1,8)(3,4,6)(5,
Vemos que el 5 va al 7 y el 7 al 5, entonces, cerramos el ciclo.

=( ) = (, )(, , )(, )

Esta es la permutacin como producto de ciclos ajenos.
Ahora bien, para expresarla como transposiciones, podemos hacer lo
siguiente, cuando un ciclo tiene ms de dos elementos pongo los 2-
ciclos siguientes, primero con segundo, primero con tercero, primero
con cuarto y as hasta primero con el ltimo; de tal modo, que la
permutacin de arriba nos quede:

=( ) = (, )(, , )(, ) = (, )(, )(, )(, )

12345678
c) Para expresar la permutacin = ( ), como producto
36418257
de ciclos ajenos, tenemos:

=( ) = (, , )(, )(, , )

y como producto de 2-ciclos es:
) (
=( = , , )(, )(, , ) = (, )(, )(, )(, )(, )

12345678
c)Para expresar la permutacin = ( ) como producto de
31472586
ciclos ajenos, tenemos:

=( ) = (, , , , , , , )

y como producto de 2-ciclos es:

=( ) = (, , , , , , , ) =

= (, )(, )(, )(, )(, )(, )(, )
7. Cundo una permutacin es par? Cundo es impar?
Una permutacin de un conjunto es par o impar, de acuerdo con que

pueda expresarse como el producto de un nmero par de
transposiciones o como el producto de un nmero impar de
transposiciones respectivamente.
Teorema. Si 2, la coleccin de todas las permutaciones pares de

{1,2,3, } forma un subgrupo de orden n!/2 del grupo simtrico .
Demostracin. Nombremos al conjunto de permutaciones pares

y al de impares ,entonces se muestra que ambos conjuntos tienen la
misma cardinalidad, para ello, encontraremos una funcin biyectiva
de a .
Definamos la transposicin
= (1,2)
y la funcin
: ,
Luego:
:
Las , as que al pasarlo por la funcin, va a dar a algn (1,2),
lo cual es un producto de un nmero impar de transposiciones, por lo
que , est bien definida.
Mostremos que es inyectiva:
,
Y resulta que:
(1,2) = (1,2)
Utilizando el teorema de cancelacin izquierda tenemos:
=
Mostremos que es sobreyectiva:
Tenemos que es su propio inverso, y siendo:

Entonces:
1
Por lo tanto:
( ) = () =

Bueno, aqu se prueba que la cardinalidad de !/2, para ver que

es un grupo, es suficiente con darse cuenta que al ser , el conjunto
de las permutaciones pares, la identidad est en , luego el producto
de dos permutaciones es par, por lo que la operacin est bien
definida, y al tomar estas operaciones en sentido contrario tenemos las
1 .
Ejemplo:
12345
() = (1 2)(1 3)
23145
Es una permutacin par porque es el producto de dos
transposiciones.
y
12345
( ) = (1 2)(1 3)(1 5)
23145
Es una permutacin impar porque es el producto de tres
transposiciones.
8. Proporcione la definicin de grupo alternante.

Es el subgrupo de que consta de las permutaciones pares de
letras, se denota de n letras. Como el producto de dos
permutaciones pares es par, es cerrado bajo el producto de y la
inversa de una permutacin par es par y as es un subgrupo
llamado grupo alternante. Entonces, en palabras ms comunes, todo
grupo alternante est formado por un producto par de
transposiciones, que forzosamente deben de tener las siguientes
formas:
(a, b)(a, c) = (a, b, c)
(a, b)(c, d) = (a, b, c)(c, a, d)
(a, b)(b, c) = (a, c, b)
Por lo que, efectivamente, cualquier grupo alternante de grado mayor

o igual a 3, puede ser descompuesto en producto de 3-ciclos.
9. Cules de las permutaciones de son permutaciones

pares? Obtngase la tabla para el grupo alternante .
En primer lugar, ya vimos que los elementos de 3 son:
1 2 3 1 2 3 1 2 3
0 = ( ) , 1 = ( ) , 2 = ( )
1 2 3 1 3 2 2 1 3
1 2 3 1 2 3 1 2 3
3 = ( ) , 4 = ( ) , 5 = ( )
2 3 1 3 1 2 3 2 1
Entonces si tenemos
0 = (1,2,3) = (1,3)(1,2) es par.
1 = {2,3} es impar.
Para 2 , es impar.
Para 3 = (1,2,3) 3 = (1,3)(1,2) = 0 es par.

Para 4 = (1,3,2) 4 = (1,2)(1,3) , es par.
Para 5 es impar.
De este modo, las permutaciones de 3 que son pares son:
= { , , }.
Tenemos que la tabla para el grupo alternante 3 es:

0 3 4
3 4 0
4 0 3
10. Sea una permutacin de un conjunto A. Diremos que

() . es un conjunto finito, cuntos
elementos son movidos por un ciclo de longitud n.
Tenemos el ciclo de longitud , de elementos, digamos {1 , 2 , , }.

Ahora como es un ciclo, mueve a los elementos del ciclo, de tal
forma que:
Se comienza el ciclo, si existe un elemento tal que () = ,

entonces, habr 1 elementos en el ciclo, los mismos que son
movidos por .
11. Sea G un grupo y sea un elemento fijo de G. Mostrar que la

funcin : ,dada por () = , es una
permutacin del conjunto G.
Tenemos que si () = () , entonces () = (), luego = , y
( 1 ) = , as vemos que es una permutacin, pues es una
biyeccin.
Sea = { : }, como 1 = 1 = , entonces . Y

asimismo vemos que es un isomorfismo.
ACTIVIDAD 4. CLASES LATERALES.

INSTRUCCIONES: Resuelva los siguientes ejercicios.
1. Sean G un grupo y H un subgrupo de G. , ,

defnase ~ . Pruebe que esta es una relacin de
equivalencia en G.
De acuerdo al documento, probamos que es una relacin de equivalencia

en G si cumple con las siguientes propiedades.
Propiedad reflexiva. Podemos decir que: ~ si 1 , lo cual es

directo ya que 1 = . Se cumple.
Propiedad de simetra. Tenemos que para , , ~ si 1

entonces ~ si 1 . Luego, como 1 , se tiene que ( 1 )1
pues es un grupo y en l existen los inversos, por tanto ( 1 )1 =
1 . Se cumple.
Propiedad transitiva. Decimos que si , , y ~, ~ entonces
~, por lo cual tenemos que:
1 , 1
Luego, como es un grupo, ( 1 )( 1 ) , esto es()( 1 )( 1 ) =
()()( 1 ) , 1 y por tanto ~. Se cumple.
Por lo tanto, se concluye que ~ si es una relacin de

equivalencia en .
2. Esta siguiente relacin es similar a la anterior. Sean

. , , ~
. Pruebe que esta una relacin de equivalencia en G.
Procedemos de manera similar para probar la relacin de equivalencia.
Propiedad reflexiva. Decimos que ~ si 1 , lo cual es directo ya

que 1 = . Se cumple.
Propiedad de simetra. Se prueba que para , , ~ si 1

entonces ~ si 1 . Entonces, como 1 , se tiene que
(1 )1 pues es un grupo y en l existen los inversos, por tanto
(1 )1 = 1 . Se cumple.
Propiedad transitiva. Decimos que, si , , y ~, ~ entonces
~. Por lo cual tenemos que: 1 , 1 .
Entonces, como es un grupo, ( 1 )( 1 ) , es decir,
(1 )( 1 )( ) = (1 )()( ) , 1 y por tanto ~. Se cumple.
Por lo tanto, se concluye que ~ si es una relacin de

equivalencia en .
3. En el ejemplo 4, se defini la relacin ~ .

Demuestre que [] = = {| }. El conjunto se llama
clase lateral derecha de H en G que contiene a .
Tenemos que [] = { |~ } = { | 1 } y como 1

, 1 = para algn y tenemos que [] = { | 1 = }.
De aqu, tenemos que para 1 = podemos escribir = para algn

si multiplicamos a la izquierda por .
Por consiguiente, [] = { | = , } = {| }.
La influencia importante que tiene una relacin de equivalencia sobre un
conjunto es que lo separa en partes disjuntas bien definidas. A menudo a
esta separacin se le llama una particin del conjunto.
TEOREMA 1. Si ~ es una relacin de equivalencia en S,

entonces
= []
donde esta unin pasa sobre un elemento de cada clase, y

donde [] [] = implica que [] [] = .
4. Demostracin. Se deja como ejercicio.
Demostracin del TEOREMA 1 anterior.
Puesto que [], se tiene que [] = . La demostracin de la

segunda afirmacin es fcil, se demuestra que si [] [], entonces
[] [] = {}, o de manera equivalente, si [] [] { }, entonces
[ ] = [ ].
Supongamos que [] [] {}; sea [] [];
Por la definicin de clase:
~ ya que [] ~ [] .
Por lo tanto, ~ por la propiedad 2 de equivalencia, y entonces, puesto

que ~ ~, se tiene que ~, de esta manera []
Ahora bien, si ~ ~, dan lugar a que ~, por consiguiente [].
As que, [] []. El argumento es obviamente simtrico en

, de modo que [] [], de donde [] = [] y se prueba la
afirmacin hecha anteriormente.
5. Verifquese que la relacin ~ es una relacin de equivalencia

en el conjunto S dado.
a) = , los nmeros reales, ~ es racional.
Es reflexiva: ~, porque = 0 , que es racional.

Es simtrica: ~ ~; si = es racional, implica
= , que es racional.
Es transitiva: Si ~ ~ ~; = es racional, =
, es racional, entonces, si sumamos miembro a miembro, tenemos:
= + que es racional.
Por lo tanto, se verifica que la relacin ~ es una relacin de
equivalencia en el conjunto S=R
b) =conjunto de rectas en el plano, ~ , son paralelas.
Para contestar este inciso, creo que primero debemos tener en mente
la definicin que se d de rectas paralelas, ya que existen diferentes
definiciones, en un caso se habla de tener el mismo vector director o la
misma pendiente; en otras, dice, que no se cortan en ningn punto, pero
luego concluyen que dicha recta es paralela a s misma. En este caso,
aplica ms la del vector director, y podemos hacerlo as:
Es reflexiva, porque una recta tiene el mismo vector director que ella
misma.
Es simtrica, porque si el vector director de a es el mismo que el de b
entonces el de b es el mismo que el de a.
Es transitiva, porque si el vector director de a es el mismo que el de b y
el de b es el mismo que el de c, entonces el de a es el mismo que el de c.
Por lo tanto, se verifica que la relacin ~ es una relacin de
equivalencia en el conjunto S, de rectas en el plano.
6. En defnase la relacin ~ > Es ~una relacin de
equivalencia?
No. evidentemente no se trata de una relacin de equivalencia, dado

que no cumple en primer trmino, la propiedad de reflexividad, ni la
propiedad simtrica, la cual dice que si n~m entonces m~n; tambin, si
n>m no se cumple, m>n, tampoco se cumple y entonces, al no satisfacer
la propiedad simtrica, no puede ser una relacin de equivalencia.
7. Encuentre las clases laterales pedidas a continuacin.
a) Las clases laterales del subgrupo .

Las clases laterales del subgrupo mencionado, viene siendo la suma de
cualquier nmero de Z con el conjunto de los mltiplos de 4. lo cual nos d
estas clases distintas:
+ = { | }
+ = { + | }
+ = { + | }
+ = { + | }
Otras clases seran una de estas cuatro
Por el algoritmo de la divisin se puede poner como
= + <= <
Por lo tanto:
+ = { + + | } = {( + ) + | + } = +
b) Las clases laterales del subgrupo en
El subgrupo generado por en es:
< > = {, , , , , }
Las clases laterales sern las mismas a izquierda y derecha por ser (, +)
un grupo abeliano
+< >= {, , , , , }
+< > = {, , , , , }
Entonces, las clases laterales de los pares coinciden con la del 0, y las de
los impares coinciden con la del 1.
8. Sean = , el grupo simtrico de 3 elementos, y =
{, } donde es la funcin identidad y est dada por ( ) =
, ( ) = ( ) = . Encuentre todas las clases laterales
izquierdas y derechas de .
El grupo simtrico 3 tiene estos eslementos:
= = {, (, ), (, ), (, ), (, , ), (, , )}
= {, (, )}
Tenemos las clases laterales izquierdas, son para todo :
= {, (, )}
(, ) = {(, ), }
(, ) = {(, ), (, , )}
(, ) = {(, ), (, , )} = {(, ), (, , )}
(, , ) = {(, , ), (, )}
(, , ) = {(, , ), (, )}
Se aprecia en estos resultados que primera y segunda son iguales; tercera

y sexta tambin; y cuarta y quinta, entonces el conjunto de clases laterales
a izquierda es:
= { {, (, )}, {(, ), (, , )}, {(, ), (, , )} }
Y las clases laterales a derecha son:
= {, (, )}
(, ) = {(, ), }
(, ) = {(, ), (, , )}
(, ) = {(, ), (, , )}
(, , ) = {(, , ), (, )}
(, , ) = {(, , ), (, )}
Podemos ver que cada una se repite dos veces, luego:
= { {, (, )}, {(, ), (, , )}, {(, ), (, , )} }

ACTIVIDAD 5. GRUPOS COCIENTE.
INSTRUCCIONES: Resuelva los siguientes ejercicios.
1.- Probar que es un subgrupo normal de G si y slo si

= , para toda .
Dependiendo de la definicin del subgrupo normal, esto es, si tenemos

que N es un subgrupo normal de G si y slo si para todo n de N y todo g
de G se cumple
1
De aqu se deduce que:
1 ,
Veamos ahora la otra inclusin
1,
Sean , tomemos el elemento
= 1
Este elemento es de N porque:
= (11)1
Luego, como 1
Y como N es normal 11
Y como N es grupo ( 11)1 =
Entonces calculamos:
1 = (1)1 = (1)(1) =
Luego,
1 = 1
y juntando las dos inclusiones se tiene
= 1
Q.E.D.
2. Sea cualquier grupo y () = { | = , . Verificar

que () es un subgrupo normal de . g=z, z=x
Si (G,) es un grupo, se define el centro de G denotado por Z(G) como
() = { : = , },
es decir, como el conjunto de los elementos de G que conmutan con
todos los de G. Demostrar que Z(G) es subgrupo normal de G.
Tenemos que:
1 () pues 1 = 1 . Sean ahora 1, 2 () ().
Entonces:
(121) = (1)21 = (1)21 12 = 1(21).
Como
2 ()
Se verifica
2 1 = 12
Tomando inversos
21 = 21.
Por tanto
(121) = 1(21) = (121),
es decir:
121 ()
en consecuencia Z(G) es subgrupo de G.
Ahora probamos que es normal:
Si () se verifica =
y por tanto :
= 1.
Entonces,
= 1 () () .
Q.E.D
3. Si G es el grupo de todos los nmeros reales distintos de

cero respecto a la multiplicacin y N es el subgrupo de todos
los nmeros reales positivos, escrbase G/N exhibiendo las
clases laterales de N en G y comprubese la multiplicacin en
G/N.
Lo primero que debemos hacer, es determinar cules son las clases

laterales de N en G.
Sabemos que

= {| }

donde
= { | 0} = { | > 0}
Seleccionamos algunos elementos de () y () , para observar
cules son las clases laterales exhibidas por N en G.
2
( ) (1) (2 ) .
3
(2) 2 2(1) 2 2 2
1 = = (2 ) =
3 3 3 3 3 3
(2)
3 =2 2(1) = 2 2 (2 ) = 2 =1
3
27 (2)
= 6 6 (1) = 6 3 (2 ) = 6
2 3
[ ]
Como podemos apreciar, cuando > 0 > 0 y el

subgrupo generado por cada (a) es siempre el mismo (los reales
positivos), podemos decir que todos los > 0 componen la misma
clase lateral, necesitamos pues un (a) adecuado que sirva para
identificar la clase, la cual representamos as:
=1
2
(2 ) {1} ( ) .
3
2 2 2(1) 2 (2) 2
(2 ) = = 1 =
3 3 3 3 3 3
(2)
2 2 2(1) = 2 3 = 2
3
27 (2)
3(2) = 6 6 (1) = 6 = 6
2 3
[ ]
Aqu se ve que, cuando < 0 < 0 y el subgrupo

generado por cada (a) son los reales negativos, ya es siempre
positivo, podemos decir, que todos los < 0 componen la misma clase
lateral, la cual la representaremos con:
= 1
En conclusin, existen dos clases laterales que pertenecen a G/N, stas

son N(1) y N(-1), las cuales provocan una particin en G, pues separan
el grupo de los nmeros reales en positivos y negativos
respectivamente.
Para comprobar la multiplicacin en G/N, haremos uso de la siguiente

tabla:
*
N(1) N(-1)
N(1) N(1) N(-1)
N(-1) N(-1) N(1)
4.- Encuentre el orden del grupo cociente dado.

Si G es un grupo finito y N un subgrupo el orden de G/N es:
|/| = ||/||
Debemos por tanto calcular el orden de los grupos y subgrupos.

a. /
Tenemos que:
| /< 3 > | = | | / | < 3 > |
El orden de es 6 es el grupo
{0,1,2,3,4,5}
Vemos que son 6 elementos.
El orden de < 3 > es 2, sus elementos son

{0,3}
Vemos que son 2 elementos.
Por tanto, el orden es:

= / =

b. (4x2/(2,1)
Tenemos que:
| x / (2,1)| = | x | / | < (2,1) > |
x es un producto cartesiano de un grupo de 4 elementos con

otro de 2. Su orden es:
(4) (2) = 8
Ahora bien, los elementos de < (2,1) > son:

< (2,1) > = {(0,0), (2,1)}
Vemos que son dos elementos.
Por tanto, el orden del grupo cociente es:

( = =
(, )
c. ( /(, )
Tenemos que:
| x / (1,1)| = | x | / |(1,1)|
Vemos que el grupo x es un producto cartesiano; su orden

es: 2 4 = 8
Aqu, el grupo generado por (1,1) es el dado por las sumas

reiteradas de (1,1) hasta 4 sumas, en donde se llega al elemento
neutro, es decir:
< (1,1) > = {(1,1), (0,2), (1,3), (0,0)}
Por lo tanto, tiene 4 elementos. Y el orden del conjunto cociente

es:

( = =
(, )
5. Calcule el orden de cada elemento en el grupo factor dado.
a. 5+ /
Sea:
= 4
12 = {0,1,2,3,4,5,6,7,8,9,10,11}
de aqu, tenemos que:
4 = {40 , 41, , 411 } = {0,4,8,0,4,8, } = {0,4,8}
Como se aprecia, el orden de 4 es 3. Luego:
5 + 4 = {5 + 0,4 + 5,8 + 5} = {5,9,1}
Entonces, es de orden 3.
b. 26+ /
Sea:
12 = {120 , 121 , , 1259 } = {0,12,24,36,48,0,12,24, } =

{0,12,24,48}, es de orden 4.
60 = {0,1,2,3,4,5, ,59}
26 + 12 = {26 + 0, 26 + 12, 26 + 24, 26 + 48} = {26,38,50,14}
Que es tambin de orden 4.
6. Si G es un grupo y H es un subgrupo de ndice 2 en G,

prubese que H es un subgrupo normal de G. (Recuerde que
el ndice de H en G, es el nmero de distintas clases laterales
derechas o izquierdas- de H en G.
Sea

y dado

1
= (1) =
tambin se cumple

y dado

1
= (1)
entonces
=
Luego
= =
Por lo tanto:
=
Ahora procedamos para saber que pasa si :

Dado

Esto es, debido a que:
1
lo cual es un absurdo, de manera anloga:

Luego, ser:
=
=
Vemos que al ser ndice 2, slo hay dos clases y son disjuntas.
= =
= =
Por lo tanto:
=
Se demuestra as, que para todo de , tanto sea de N como si no es de
N, se cumple que
=
Luego, N es normal en G.
Q.ED.
7. Prubese que la interseccin de dos grupos normales de G

es un subgrupo normal de G.
Para todo , x1 por ser H subgrupo

de G. adems, puesto que es normal en G, x1 . Por
tanto x 1
Si tanto como H como K son normales en G, sus clases por la

izquierda y por la derecha coinciden, de donde, para todo
1 = 1 = 1 =
Demostrando as que la interseccin de dos grupos

normales de G es un subgrupo normal de G. QED.
GRUPOS DE PERMUTACIONES Y GRUPOS
COCIENTE.
INSTRUCCIONES: Resuelva los siguientes ejercicios, junto
con los 2 anteriores y envelos para su revisin en el apartado
correspondiente del aula virtual.
1. Supngase que se sabe que la permutacin

( )

en , donde las imgenes de 5 y 4 se han perdido, es

una permutacin par. Cules deben ser dichas imgenes?
Si es una permutacin par, tendr un nmero de ciclos par. Lo

primero que se debe hacer es tratar de escribirla en notacin de
ciclos.
1231
(1, 2,3)
69876
(6,9,8,7)
Luego lo que conocemos de la permutacin es:
(1,2,3)(6,9,8,7)
Tenemos entonces, la notacin con ciclos disjuntos, pero tambin

podemos realizarlo o escribirlo con ciclos no disjuntos, lo cual
quedara as:
(1,2)(1,3) (6,9)(6,8)(6,7)
Aqu, podemos ver que el nmero de ciclos es 5.

La signatura de una permutacin, es decir, si tiene un nmero de
ciclos par o impar es independiente de los ciclos en que la
descompongamos, luego lo que tenemos es impar, es necesario
aadirle otro ciclo para que sea par, luego los dos elementos que
quedan deben permutar entre s para que haya un ciclo ms,
Por lo tanto, la imagen del 4 ser el 5 y la imagen del 5

ser el 4.
2. Una permutacin en se dice que es un desarreglo
si () para toda = , , , . Liste los desarreglos de
; cuente los desarreglos de : Cuntos arreglos hay
en ?
De acuerdo a la definicin de desarreglo, que no son sino las

permutaciones sin puntos fijos, se puede aplicar el principio de
inclusiones y exclusiones, para calcular de manera ms simple el
nmero de desarreglos.
Por la proposicin que nos dice: el nmero de desarreglos de los

nmeros del 1 al n es:

() ()
= !. = ! ( + + )
! ! ! !
=
As, tenemos que:
Las permutaciones de son:
, , , , ,
Los desarreglos son:
Las permutaciones de son:
, , , , , ,
, , , , ,
, , , , ,
, , , , ,
Y los desarreglos son:
, , , , , , , ,
Comprobacin de este ltimo desarreglo de , los

podemos obtener as:
1 1
(1)4 +1 24(12 4 + 1)
4 = 4!. = 24. (2 6 )= =
4! 24 24
=2
Cuntos arreglos hay en ?

Supongamos que tenemos el conjunto {1, , }, entonces, para
contar las posibles permutaciones, empezamos fijando la imagen
de 1, que denotamos mediante el nmero :
1, 2, 3,4, 5,
( )

Ahora bien, podemos tomar entre los n posibles valores, sin

restriccin ninguna, pero luego nos queda por asignar la imagen
de los 1 siguientes enteros, entre 1 posibles valores. De
forma que, llamando () al nmero de permutaciones de n
elementos, se tiene la relacin de recurrencia
() = ( 1), (1) = 1.
Ahora es posible usar induccin para demostrar que
() = !
Definiendo, tenemos que:
() = ! = .
Cuntos desarreglos hay en ?
Aunque esto no se est preguntando, me parece adecuado incluirla

y se resuelve de manera similar al mtodo recurrente que se usa para
contar permutaciones, eligiendo la imagen de 1, que denotamos i,
entre las n-1 posibilidades que tenemos y llamamos D(n) al nmero
de desarreglos de n elementos, que en conclusin nos dar la frmula

(1)
= !.
!
=0
La cual se puede simplificar, porque el primer y segundo trmino

son 1 y -1, entonces nos queda:

()
= !.
!
=
Esta igualdad, se parece a la serie de Taylor de con = 1,

()
=
!
=
de modo que:
! !
() =

1
donde es el entero ms prximo a . Si consideramos

0.367879, se obtiene que el 36.78% de las permutaciones son
desarreglos.
3. Si G es cualquier grupo, dados los elementos , ,
diremos que a es conjugado si existe otro elemento
tal que = . Demuestre que es una relacin de
equivalencia.
Para demostrar, necesitamos probar con las tres propiedades de
una relacin de equivalencia.
Reflexiva: a est conjugado con a, esto es:
= = =
Simtrica: si
Tenemos
= 1
Multiplicando a izquierda por 1, resulta:
1 = 1
Multiplicando a la derecha por ,tenemos:
1 =
Ahora, tomando = 1 que por ser G grupo existe, se tiene:
1 =
= 1
Por lo tanto, tenemos:
Transitiva: Si ,entonces
.
Tenemos
= 1
= 1
Entonces
= [ 1] 1
= () [1 1]
Por el teorema que dice :
()1 = 1 1
Se tiene que .
Entonces:
= () ()
Por lo tanto , al demostrar estas propiedades, concluimos

que s es una relacin de equivalencia.
1. Sean a, b nmero reales y defnase la funcin :

por
() = + . En la primera asignacin ya se demostr
que
= {| } es un grupo. Considere el conjunto N={ }.
Probar que
a) N es un subgrupo de G.
En primer trmino, para demostrar que un subconjunto es un
subgrupo de un grupo, vemos que se cumplen las dos condiciones
siguientes:
a) Que no es un conjunto vaco.
b) Que dados dos elementos a y b del subconjunto se cumple que
. 1 pertenece al subconjunto.
Tenemos que:
i) Hay infinitos + 1, + 2, + 3, . ..
ii) Sean los elementos de N.
1 ( ) = +
1 ( ) = +
1 ( ) = +
Tenemos que es cerrado bajo la operacin en , ya que:
1 ( ) 1 ( ) = ( + ) + = + + , ,
Entonces:
+ = es un real
Luego,
1 ( ) 1 ( ) = + = 1 .
Verificamos que la identidad en G est en N:
1 1 = ( + ) = +
1 1 = ( ) + = +
Luego, 1 es la identidad en y 1 ,
Por tanto .
Calculamos su inverso:
El inverso de 1 | 1 = =
Entonces:
( 1 )( ) = (1 ( )) =
= ( + ) + = + + =
= 1
1+ = 0
Luego,
1 ( )1 =
Y la condicin es:
(1 11 )( ) = ( ) + = + ( )
Entonces, 1 ( )1 , por ser 1 el coeficiente de la x

, .
b) Si , , entonces .
Sea un elemento , lo denominamos .
Calculamos su inverso:
= =
( )( ) = ( ( ))
= ( + ) + = + + =
= 1 = 1/
+ = 0 = /
1 () = / /
Y sea un elemento .
= 1
Para comprobar, procedemos de la siguiente manera, tenemos

que:
1() = (1 [1 ()]) =
= (1 [/ /]) =
= (/ / + ) =
= (/ / + ) + =
= + =
=
, () =
Q.ED.
2. Sea G el conjunto de todas las matrices reales 2x2

( )

donde bajo la multiplicacin de matrices. En la
primera asignacin ya se demostr que G forma un
grupo.
Sea

N= {( ) | }

Probar que:
a) N es un subgrupo normal de G.
Para demostrar que N es subgrupo de B hay que comprobar

que:
1) es no vaco.
2) , entonces 1 .
1) Es obvio, hay infinitas matrices, por ejemplo la identidad.
2) Dadas las matrices
1 1
=( ), = ( )
01 01
Calculamos 1:
Los de la diagonal principal se intercambian, los de la otra no,
pero cambian de signo.
1
1 = ( )
0 1
1 1 1 +
. 1 = ( )( )=( )
0 1 0 1 0 1
Luego, vemos que

1
Ahora bien, ser un subgrupo normal si se cumple:
1 ,
Sea

=( )

/ / 1/ /
1 = ( )=( )
/ 1/
1
=( )
1
1 1/ /
. . 1 = ( ).( ).( )=
1 1/
+ 1/ /
=( ).( )=
1/
1 / + ( + )/
=( )=
1
1 /
=( )
1
Entonces, el resultado de la conjugacin pertenece a N.

, .
b) G/N es abeliano.
En el inciso anterior , vimos que el producto de
un :
+
( )
0
0, + , .
Luego, la clase de a es todas las matrices de G que tienen la

misma diagonal. Para facilitar las operaciones tomemos como
representante la matriz que tiene 0 arriba a la derecha. Luego, al
ser N normal( , ) la operacin est bien definida y es
independiente del representante de la clase que tomemos,
entonces tomando el que decamos con 0 arriba derecha, nos
resulta:
0 0
= ( ), = ( )
0 0
0 0 0
= ( ) .( )=( )
0 0 0
0 0 0
= ( ).( )=( )
0 0 0
Como la multiplicacin en R es conmutativa , ambos resultados

son el mismo, es decir, = y el producto de matrices en
G/N es conmutativo.
, / .
UNIDAD III.TEOREMAS.
FORO. UNIDAD 3.
Buenas tardes a todos, les dejo mi aportacin.
En las actividades realizadas, hemos estado trabajando
constantemente con grupos, y entre ellos, hemos podido encontrar
algunas transformaciones entre los grupos que son isomorfos,
recordando que un isomorfismo es una funcin que lleva un grupo G a
otro grupo G, cambiando los nombres del primero por los del
segundo, y dejando al segundo grupo estructuralmente igual al
primero, y para asegurar que fueran estructuralmente idnticos, se
pone la condicin de que () = , , , adems se requiere
que la funcin sea biyectiva, para que todos y cada uno de los
elementos tengan su propia imagen diferente en el grupo G, y todo
elemento en G tenga su preimagen, obligando as a que ambos grupos
tengan el mismo orden.
Pero qu pasa, si se elimina esta ltima condicin y nos quedamos
slo con la primera? Se tendra una funcin que convertira un grupo G
en otro grupo G, pero no seran estructuralmente idnticos, an as,
pedir que () = , nos asegura que de alguna manera, aunque no
sean estructuralmente idnticos, ambos grupos son parecidos.
HOMOMORFISMO DE GRUPO.
Es una funcin : , que cumple con () = , , .
TEOREMA. SI N es un subgrupo normal de G, entonces la

transformacin cannica : = ,

.
EPIMORFISMO. Si la funcin : es adems sobreyectiva, es

un epimorfismo.
MONOMORFISMO. Si la funcin : , por el contrario, no es

sobreyectiva, pero si, inyectiva, es un monomorfismo.
NCLEO DE UN HOMOMORFISMO. El kernel de un

homomorfismo de un grupo G en un grupo G, es el conjunto de
elementos de G, cuya imagen, bajo , van a dar a la identidad de G. El
ncleo del homomorfismo , podemos denotarlo as, si consideramos
el subgrupo trivial {e} y por la proposicin anterior, se tiene:
ker() = 1{} { : () = }
Parte de la importancia del ncleo ker() radica en el resultado

siguiente:
PROPOSICIN 6.3 Sea : un homomorfismo de grupos.

Entonces, es inyectivo si y slo si () = {} es el grupo trivial de
C.
Un ejemplo de algn homorfismo sencillo aqu: tomemos el grupo Z,

cualquier grupo nZ es un subgrupo normal de l, el grupo factor Z/nZ
es isomorfo a , si lo escribimos en forma de homomorfismo queda:
= , 4 /
TEOREMA FUNDAMENTAL DEL HOMOMORFISMO. Sea un

homomorfismo de un grupo G en un grupo Gcon kernel K. Entonces
G es un grupo y existe un isomorfismo cannico natural de g /
IMAGEN DE UN HOMOMORFISMO. Si es un homomorfismo

de G en G, y si consideramos el subgrupo total GG, entonces su
imagen directa ( ) , es un subgrupo normal de G y se define
por:
() = ( ): = {() : }
Los tres teoremas siguientes, no slo son de importancia en la teora de

grupos, sino que bajo ligeras adecuaciones, sirven para otras
estructuras como anillos, estos teoremas relacionan diversos grupos
factores construibles dentro de un mismo grupo, adems, conocer
cmo se demuestran (mediante lemas), desemboca a su vez en la
demostracin de otro teorema an ms importante.
PRIMER TEOREMA DE ISOMORFISMO.
Sea : un homomorfismo con kernel K, y sea : / el
homomorfismo cannico. Entonces, existe un isomorfismo nico
: / tal que = ( ), .
Podemos definirlo tambin de la siguiente manera:
Sea : un homomorfismo de grupos. Entonces existe

un isomorfismo : , y por tanto:
( )

( )
La construccin del isomorfismo cuya existencia afirma el primer

teorema de isomorfa se puede expresar mediante el diagrama
conmutativo siguiente:

donde : es la proyeccin cannica de G en .
( ) ( )
El primer teorema de isomorfa de Noether es una consecuencia

inmediata del teorema fundamental de homomorfismos.
Ejemplos.
Considrese el epimorfismo natural dado por
Es claro que si y slo si , luego , as que
Si es el subgrupo alternante del grupo simtrico , entonces

Demostracin. Primer Teorema del Isomorfismo.
Sean , grupos arbitrarios y un morfismo de grupos.
Entonces .
Demostramos:
Usando la factorizacin de morfismos de grupos sobre el ncleo ,
se tiene que existe un nico morfismo tal que .
Considerar dicho morfismo restringiendo su codominio a . Es un
epimorfismo, porque por definicin de la imagen, para
todo existe un tal que , y por lo tanto .
Adems, es un monomorfismo, porque . Entonces

si se tiene que , con lo cual .
As, resulta un isomorfismo.
SEGUNDO TEOREMA DE ISOMORFISMO.

Sea un grupo G, sea H un subgrupo de G, y N un subgrupo normal
de G, entonces es cierto que (HN)/ /( ). O as:
Si N y H son subgrupos de un grupo G, con N normal en G, entonces
/( ) ()/.
Este segundo teorema de isomorfa se deduce del primero, pues
si N es normal a G entonces tambin lo es en H, y puede
demostrarse que el epimorfismo
cumple con
Si y son
proyecciones cannicas, entonces la construccin del
isomorfismo se describe por el diagrama
conmutativo siguiente:
Demostracin. Segundo Teorema de Isomorfismo.
Sean , , grupos tales que con y . Entonces

se tiene que .
Informalmente, esto afirma que se pueden cancelar las ocurrencias

de . Desde otro punto de vista, esto afirma que tomar el cociente de
un cociente ( ) no aporta mayor informacin que tomar un
cociente del grupo original ( ).
Demostramos:
Por empezar, se debe verificar que las expresiones del enunciado estn
bien definidas. Es decir, que todos los grupos por los que se cocienta
son normales. Por un lado, , pues es un subconjunto de , con
lo que para todo . Adems, , ya que
dados y se tiene que y por lo
tanto .
Para el isomorfismo, considerar primero la proyeccin al

cociente: . Su ncleo es , y . Por lo tanto, se puede
aplicar la factorizacin de morfismos de grupos para concluir que existe
un nico morfismo que cumple ,
donde es la proyeccin al cociente sobre .
El morfismo es un epimorfismo, porque lo es.
Adems, , es
decir, . Esto a su vez equivale a afirmar
que .
Resumiendo, es un epimorfismo tal que ,
con lo cual, por el primer teorema de isomorfismo, se
concluye .
TERCER TEOREMA DE ISOMORFISMO.

Sea H y K subgrupos normales de un grupo G con K<H. Entonces
/ (/)/(/)
Diagrama que muestra grficamente las relaciones que d este ltimo

teorema del isomorfismo.
Podemos definirlo as:

Si N y H son subgrupos normales de un grupo G, con , entonces:
/ (/)/(/)
Esto d lugar al diagrama conmutativo siguiente:
donde son proyecciones cannicas, es la aplicacin identidad y

donde las flechas horizontales forman una sucesin de homomorfismos
exacta.
Este teorema es tambin consecuencia del primer teorema de
isomorfa.
Demostracin. Tercer teorema de isomorfismo.
Sean un grupo y , subgrupos de . Sea . Entonces se tiene

que .
Si el grupo es Abeliano, usando notacin aditiva: .
Demostramos:
Por empezar se debe verificar que las expresiones que intervienen en el
enunciado estn bien definidas. Por un lado, es un subgrupo
de porque es normal en . Teniendo esto en cuenta, se cumple
tambin que , porque dado cualquier , en particular ,
y por lo tanto . Por ltimo, . Para ello, dados
y , se debe ver que . En efecto, est
en porque es normal, y est en porque todos sus factores
lo estn.
Para el isomorfismo, considerar primero la

aplicacin: definida por . Se tiene que es un
morfismo de grupos porque .
Por un lado, es un epimorfismo. Para ver esto, considerar un

elemento arbitrario. Por ser normal, se sabe que se
escribe como para algn . Se tiene entonces
que .
Por otro lado, el ncleo es el conjunto , es

decir, .
Resumiendo, es un epimorfismo cuyo ncleo es . Por

el primer teorema de isomorfismo se concluye entonces
que .
https://foones.wordpress.com/2013/01/11/teoremas-de-isomorfismo/
Ejemplo 1.
Sea
=
Definimos un homomorfismo
: : ,
Se puede ver que f es homomorfismo de grupos y sobreyectivo,
entonces:
=
Adems
ker = { : = 1} =
Por lo tanto,
= /( )
Ejemplo 2.
RESUMEN:
MONOMORFISMO:
Es un homomorfismo de grupos inyectivo, aquel en el no hay dos
elementos de G con la misma imagen:
g1 , g2 G : (g1) = (g2) g1 = g2
El ncleo de un monomorfismo slo contiene al elemento identidad, y a
la inversa, cuando el ncleo slo contiene al elemento identidad
entonces la funcin es un monomorfismo.
EPIMORFISMO:
Es un homomorfismo de grupos sobreyectivo, aquel en el que todo
elemento de H es imagen de algn elemento de G . Bajo estas
condiciones, la imagen de es todoH :
h H : h = (g); para algn g G
HOMOMORFISMO:
Sean G y G dos grupos. Una funcin : G G es un homomorfismo
si para todo a; b G se tiene que:
(ab) = (a) (b)
Para todo par de grupos G,G, existe al menos un homomorfismo : G
G, denominado el homomorfismo trivial definido por (g) = e,
para todo g G, donde e es el elemento identidad en G.
Sin embargo, este homomorfismo trivial no nos proporciona mucha
informacin estructural sobre G y G.
HOMOMORFISMO DE GRUPOS:
Es una funcin entre grupos que preserva la operacin binaria.
Dados dos grupos (G, o) y (H, *) la aplicacin :
G H es un homomorfismo de grupos si se verifica que para todos los
pares de elementos a,b G :
(a o b) = (a) *(b)
Donde la operacin en el lado izquierdo de la ecuacin (o) es la ley de
composicin interna en G, y la operacin dellado derecho de la
ecuacin ( * ) es la ley de composicin interna en H .
Dado un homomorfismo de grupos : GH , se verifican las
siguientes propiedades:
* (1G) = 1H: la imagen del elemento identidad de G es el elemento
identidad de H .
*ker() : el ncleo de es un subconjunto no vaco.
*(a-1) = (a)-1 . La imagen de un inverso es el inverso de la imagen.
*Si G es un subgrupo de G , su imagen H es un subgrupo de H .
* Si H es un subgrupo de H, su preimagen G es un subgrupo de G .
*Continuando lo anterior, si H es normal en H, entonces su
preimagen G es normal en G .
* ker() G : el ncleo es un subgrupo normal de G.
* im() H : La imagen de es un subgrupo de H
NCLEO E IMAGEN DE UN HOMOMORFISMO:
NCLEO: El conjunto de todos los elementos de H que son la imagen
de algn elemento de G se llama la imagen de la aplicacin, y se denota
Im() (G) . Formalmente:
Im() : {h H : h = (g), para algn g G}
La imagen de es un subgrupo de H .
IMAGEN: El conjunto de todos los elementos de G cuya imagen es el
elemento identidad de H se llama ncleo (kernel) de :
ker() : {g G : (g) = 1H}
El ncleo de es un subgrupo normal de G. El ncleo es importante
porque no slo determina qu elementos tienen por imagen la
identidad, sino tambin qu elementos
tienen la misma imagen:
a G (a o k) = (a) para k ker()
(a o k) = (a) * (k) = (a) * 1H = (a)
Los conjuntos de todos los elementos que comparten una misma
imagen son las clases laterales del ncleo.
PRIMER TEOREMA DE ISOMORFISMO:
Sean G y G grupos y h : G G epimorfismo. Entonces:
G G/Ker(h)
SEGUNDO TEOREMA DE ISOMORFISMO:
Sean N G y H G. Entonces H N H y H/H N NH/N
Llamemos =N.
Como N G entonces Con(G).
TERCER TEOREMA DE ISOMORFISMO:
Sean N,H G con H N. Entonces N/H G/H y G/H/N/H G/N
Aqu tenemos que N ,H Con(G) y H N.
EJEMPLO DE HOMOMORFISMO DE GRUPOS:
f : ( , +) (*, o) tal que f(x) = ex
dado que f(x + y) = ex+y = ex ey= f(x) of(y)
La imagen de la funcin exponencial es el subgrupo de los nmeros
reales positivos:
Im= +
y el ncleo es solo el elemento identidad:
Ker=e=0, ya que la aplicacin es inyectiva.
Al ser inyectivo, el homomorfismo de grupos en este caso, entonces se
trata de un monomorfismo.
ACTIVIDAD 2. TAREA ENTREGABLE DE LA UNIDAD.

TEOREMAS PRINCIPALES.
INSTRUCCIONES: Resuelva los siguientes ejercicios y envelos para su
revisin en el apartado correspondiente del aula virtual.
1. En los siguientes incisos determine si la funcin descrita es

o no un homomorfismo. Recuerde que debe justificar su
respuesta.
a) : (, +) (, +) () =
Sea:
( + ) = + = () + (), , .
Si () = 0 si y slo si = 0, vemos que = {0}
Como el es trivial, es uno a uno, es sobre y la imagen
se basa tan slo de los ntegros que conforman un subgrupo propio

de .
Por tanto s es un homomorfismo.
b) : (, +) (, +) () = el entero ms grande
.
Podemos analizar el siguiente ejemplo:
(2.5) + (2.5) = 2 + 2 = 4 5 = (2.5 + 2.5)
Por tanto, no se trata de un homomorfismo.
c) : () =
Tenemos que si no es abeliano entonces no es homomorfismo.
Al ser , no abeliano, existen , tal que .
Luego
() = ()1 ()1 = 1 1 = ()()
Por tanto no es un homomorfismo.

d) el grupo simtrico y A={-1,1} el grupo
multiplicativo de dos elementos. Defina : por

() = {

Suponiendo que , . Si es par, entonces () = (), y

podemos ver que,
1 = () = ()()
Si es impar, entonces () = (), y as,
1 = () = ()().
Entonces para todo , tenemos () = ()(),
Por tanto, es un homomorfismo.
e) Sea (, ) el grupo multiplicativo de las matrices

invertibles nxn. Recuerde que una matriz es invertible si y
slo si su determinante, det (A), es distinto de cero.
Sea : (, ) ( , ) dada por () = ()
Aqu vamos a considerar el mapeo : (, ) ( , )
El grupo es un homomorfismo porque () = () ().
Adems, es sobre.
Sea
0
Tenemos una matriz A, con entrada en la esquina superior
izquierda, con 1 en el resto de la diagonal, y 0 en todos los dems
espacios.
Por tanto, () = , lo cual prueba que es sobre.
f) Sea F el grupo aditivo de las funciones continuas con

dominio [0,1]. Sea : (, +) definida por

() = ()

Sean 1 2 .
Entonces,
1 1 1
(1 + 2 ) = 0 (1 () + 2 ()) = 0 1 () + 0 2 () = (1 ) + (2 ).
Por lo tanto, es un homomorfismo.
2. En los siguientes incisos calcule lo que se indica para el

homomorfismo dado:
a) () () : () =
Para que sea un homomorfismo debe cumplir:
Por ser un homomorfismo, la imagen del elemento neutro
(0) = 0
(1) = 4
y se cumple que:
( + ) = () + ()
(2) = (1) + (1) = 4 + 4 = 8 1
(3) = (2) + (1) = 1 + 4 = 5
(4) = 9 2
(5) = 6
(6) = 10 3
(7) = 7 0
Resumiendo, las imgenes son:

(0, 4, 1 , 5, 2 , 6, 3)
Por lo tanto, tenemos:

() = {|
() = () + () = + =
b) () () : () =
Para este ejercicio, las imgenes seran:
(0) = 0
(1) = 6
(2) = 12 = 2(10)
(3) = 8
(4) = 14 = 4( 10)
(5) = 10 = 0 ( 10)
Vemos que empieza a repetirse.
() = {| }
() = () + () = + =
c) () () : () =
Tenemos
() = (1) = 8 20.
En particular (3) = 24 = 4.
Luego, para () = 8 que sea cero, necesitamos que 8 sea
mltiplo de 20.
Esto sucede primero cuando = 5 y por lo tanto para cualquier

mltiplo de 5 tambin.
Por tanto, = {, }, dado que son mltiplos de 5 en .
d) () (, ) : (, ) = (, ) y
(, ) = (, )
Para cualquier (, ) , para que sea un homomorfismo

debemos tener,
(, ) = ( (1,0) + (0,1)) = (1,0) + (0,1) = 3 5.
Entonces
(3,2) = 3(3) 5(2) = 19.
Para que (, ) = 3 5 sea cero, necesitamos que 3 = 5, as

den mltiplos comunes de 3 5 aqu.
El menor comn mltiplo de 15 ocurre cuando = 5 = 3, as

que (, ) = 3 5 = 0 cuando es un mltiplo de 5 y es un
mltiplo de 3.
Por lo tanto:
= .
3. Sea G un grupo y tomemos . Defina : () =

. Para qu elementos un
homomorfismo?
Para que sea un homomorfismo debe cumplirse:
() = ( ). ()
1 = (1)1
1 = . . 1
donde es el elemento neutro.
1 = 1
4. Sea : un homomorfismo de grupos. Demuestre que:
a) () = , donde e es el neutro en G y e es el neutro en H.

Tenemos que,
( ) = ()
()() = ()
1
Multiplicando ambos lados por ( ()) tenemos,
1 1
( ()) ()() = ( ()) ()
() =
() =
b) ( ) = ()
Tenemos que,
1 =
( 1) = ()
( )( 1) = ()
Como () = tenemos,
( )( 1 ) =
A partir de 1 = se deduce que:
( 1 )( ) =
Entonces,
( )( 1) = ( 1 )( ) =
Por lo tanto, ( ) = ()
c) ( ) = ()
Se puede probar que () = [()] por induccin, cuando 1.

Cuando < 0, resulta:
() = (( 1) ) = [( 1)]
lo cual resulta que es igual a ( )
Por tanto, ( ) = ()
5. Sea : un homomorfismo de grupos. Demuestre que:
a) () () . ( )
Sea, , ()
Entonces
() = ( )() = =
( 1 ) = ()1 = 1 = .
De aqu, se concluye que
, 1 ()
Entonces, tenemos que () es un subgrupo de .
Ahora bien, para
()
Se tiene que
(1 ) = ()( ) (1 ) = ()(1 ) =
Luego
1 ( )
Por tanto,
( )1 ( ) .
Ahora, podemos cambiar con 1 y resulta:
1 ( ) ( ) ,
Al multiplicar la izquierda por y la derecha por 1 , se tiene:
( ) ( )1 .
Por inclusin reversa se concluye que,
( )1 = ( )
De aqu se sigue que,
( ) = ( )
Por tanto,
( ) es un subgrupo normal de
Ya, por ltimo, tenemos las identidades,
( )() = ()
()1 = ( 1 )
Por lo tanto, se concluye que, ()es un subgrupo de .
b) () entonces ()
Si ( )
Entonces ( ) = 1
Luego,
(1 ) = () ( ) (1 ) = () 1 (1 )
= () ( 1 ) = 1
Por lo tanto ().
c) es monomorfismo si y slo si () = {}
Recordemos que es un , si es una aplicacin

inyectiva.
Luego,
Si :
Es la inclusin de un subgrupo,
Por lo tanto, () = {} y =
6. Calcule el kernel de los homomorfismos dados en los

ejercicios 1(d) y 1(e).
Para el ejercicio 1(d) :
El kernel de este homomorfismo, viene siendo el grupo alternante

y es un subgrupo normal de y para 2 tiene !/
2 elementos. Cada permutacin se puede escribir como un producto
de transposiciones adyacentes de la forma (a un 1).
Por tanto, la permutacin nos quedara como,
= ( ) ( ) ( ) ( ) ( ) ( ) ( ).
7. Consideremos al grupo de los reales distintos de cero,

respecto del producto ( , ) = {, }. Demostrar que
/ es isomorfo al grupo de los nmeros reales positivos
respecto a la multiplicacin.
Sea
: + ( ) = ||.
Analizando se puede ver que est bien definida, es sobre, es
homomorfismos y ( ) = .
Entonces por el primer teorema de isomorfismo tenemos,

+ L. q. d.

TEOREMAS PRINCIPALES.
Instrucciones: Resuelva los siguientes ejercicios y envelos para

su revisin en el apartado correspondiente del aula virtual.
1. Si H y K son subgrupos de un grupo G tal que |H| y |K| son

primos relativos, demuestre que = {}.
Para realizar este ejercicio, primeramente denotamos la interseccin de los

subgrupos como:
= {| }
De aqu, tenemos que:
y .
Entonces, para demostrar, tambin necesitamos denotar como lo hacemos

habitualmente que:
Sea
,
Entonces:
,
a) Es una operacin cerrada. Por ser ambos subgrupos, entonces se dice
que es cerrado bajo la operacin en .
b) Tiene elemento identidad. Por ser ambos subgrupos y , el elemento
identidad en est en ambos, y por lo tanto tambin en , luego
existe el elemento identidad en la interseccin.
c) Tiene elemento inverso. Dado que, si se tiene que:
donde podemos deducir que 1 1 pues ambos son
subgrupos. Por tanto,
1
Con esto, se demuestra que es un subgrupo de , y de .
Ahora s, resolvemos, utilizando el Teorema de Lagrange.
| | es un divisor de |H| y un divisor de |K|; lo cual significa que ,
| | es un comn divisor de |H| y |K|. Pero |H| y |K| son primos
relativos, de tal manera que | | = 1 , lo cual demuestra que el
elemento nico es {1},
:
| | = {}
2. Sea = {: |() = + , }. Probar que G es un

grupo bajo la composicin de funciones y adems probar que G
es isomorfo al subgrupo de (, ) que consiste de las matrices

de la forma ( ).

a) Para empezar con este ejercicio, se realiza el clculo de rutina para

mostrar que si , , entonces , 1 .
b) Luego probamos que : (1, ) , definido por , es un
isomorfismo, donde ( ) = + . (Nos damos cuenta, casi de
manera inmediata que es una biyeccin, entonces, podemos
probar que es un homomorfismo, y por consecuencia, un
isomorfismo).
Sea
(1, )
es dado por:
( ) = + ,
entonces:
( ( )) = ( + )
= ( + ) +
= + ( + )
Por tanto, tenemos que:
+
() = [ ]=[ ][ ] = ()()
0 1 0 1 0 1
c) Tambin probamos que el grupo estocstico (2, ) es isomorfo al

grupo (1, ) . La demostracin es como sigue:
Tenemos:
: (2, ) (1, ),
dado por:
() = 1
es un isomorfismo, donde
10 10
=[ ] 1 = [ ]
1 1 1 1
Entonces probemos que es un homomorfismo.
(, ) = 1
= 1 1
= ()()
Luego, si

=[ ]

entonces
+ =1 + = 1
Se sigue que

Multiplicando las matrices, tenemos:

10 10
[ ][ ][ ]=[ ]
1 1 1 1 0 1
la fila inferior de la ltima matriz es
( + ) ( + ) +
y esto es 0 1 debido a que M es estocstica.
Por ltimo, mostramos que es suprayectiva. Esto resulta obvio del ltimo
resultado. Si

=[ ]
01
Luego
= (),
+
=[ ]
1 1
De esta manera, hemos probado que G, es un grupo bajo la composicin de
funciones, y adems, demostramos que G es isomorfo, al subgrupo de

(2, ) que consiste de las matrices de la forma = ( ) .
01
3. Sean H, K subgrupos de G y suponga que uno de ellos es normal
en G. Demostrar que HK es subgrupo de G. Si ambos subgrupos
son normales, demuestre que entonces, tambin HK es normal
en G.
Podemos ver que ambos son subgrupos, por tanto, tienen el elemento
neutro y el producto HK es no vaco, ya que tendr el neutro tambin.
Entonces, nos falta probar que si , , 1 .
= 1 1 1 , 1
= 2 2 2 , 2
Suponiendo que el grupo normal es K introducimos:

1 = 1 1 (2 2 )1 = 1 1 21 21 =
= 1 (21 2 )1 21 21 = 1 21 [2 . (1 21 ). 21 ] =
Como [2 . (1 21). 21 ] , por ser K normal y los dos primeros son de

H, luego:

Suponiendo que el grupo normal es H, tenemos:

= 1 1 21 21(2 . 11. 1 . 21 )=
= 1 [(1 21 )21(1 . 21)1 ]. 1 . 21
Como [(1 21 )21 (1 . 21 )1] , por ser H normal, tenemos que

cumple :

Entonces, si ambos son normales tenemos que ver que:
( )()1
( )()1 = ( 1 )1 =
( 1 )
2 1 = (2 1 21)2
(2 1 21 )
: ( )
4. Si H y K son subgrupos de un grupo G, demuestre que HK es un

subgrupo de G, si y slo si HK=KH.
Para resolver este ejercicio, vamos a denotar de la manera como lo hemos
venido haciendo, por HK, al conjunto {: , }, entonces primero
demostramos que HK=KH. Lo hacemos as:
Sea

Si
,
entonces
= , , .
Por tanto,
1 = 1 1
Siendo H un grupo y , se sigue que
1
y de manera anloga lo tenemos para K.
Puesto que , el inverso de 1 : = ( 1)1 , lo cual nos
demuestra que:

De igual manera, vemos que:
: , 1
por ser
Luego,
1 =
Para ciertos elementos
,
Por lo tanto,
= ( 1 )1 = 1 1
Supongamos que
=
Usando el criterio acostumbrado, vamos a probar que , entonces,
demostramos que
, 1 .
Ahora bien, si tenemos que
, = , = , , , , .
Por tanto
1 , 1
Luego,
( 1 ) 1 =
Entonces:
( 1 ) = , ,
Por lo tanto:
= ()( ) = ( ) = ()
Lo cual queda demostrado l.q.d
INSTRUCCIONES: Resuelva los siguientes ejercicios y envelos

para su revisin en el apartado correspondiente del aula virtual.
1. Sean a, b nmeros reales y defnase la funcin :

() = + . En la primera asignacin ya se demostr que
= { | } es un grupo. Considere el conjunto N={ }.
Probar que:
a) N es un subgrupo normal de G.
Sean dos elementos de N.

1 ( ) = +
1 ( ) = +
1 ( ) = +
i) Calculamos la operacin en G:
Tenemos que es cerrado bajo la operacin en , ya que:

1 ( ) 1 ( ) = ( + ) + = + + , ,
Entonces:
+=
Luego,
() () = + = .
ii) Verificamos que la identidad en G est en N:
1 1 = ( + ) = +
1 1 = ( ) + = +
Luego, 1 es la identidad en y 1 ,
Por tanto .
iii) Calculamos su inverso:
El inverso de 1 | 1 = =
Entonces:
( 1 )( ) = (1 ( )) =
= ( + ) + = + + =
= 1
1+ = 0
Luego,
1 ( )1 =
Y la condicin es:
(1 11 )( ) = ( ) + = + ( )
Entonces, 1 ( )1 , por ser 1 el coeficiente de la x
, .
b) El grupo cociente G/N es isomorfo al grupo de los nmeros

reales diferentes de cero con la operacin multiplicacin.
El grupo cociente G/N es un grupo cuyos elementos son clases de

equivalencia que se forman con la relacin de equivalencia.

i) Primero definimos cules son las clases de equivalencia

( )1 = 1
ii) La multiplicacin es la composicin de funciones.
( )1 = ( )1
Aplicado a x tenemos:
( ( )1 )() = [( )1 ()] = (A)
iii) Tiene elemento neutro.
Creo que en esta serie de ejercicios ya hemos visto que el elemento neutro
es la identidad
10 =
iv)Tiene inverso.
y el inverso de cd ser un ex + f tal que
( + ) = ( + ) + = + + =
luego
= 1 = 1/
+ = 0 = /
( )1 () = / /
Contino con la igualdad (A) que qued arriba, la reescribo:
( ( )1 )() = [( )1 ()] =
= (/ /) = (/ /) + =
(/) / +
y esto debe ser un 1 si estn relacionados.
El valor de e puede ser cualquiera
(/) + + = +
lo cual se traduce en
/ = 1
Luego dos elementos estn relacionados si y solo si =
Luego los elementos del conjunto cociente se identifican slo por el

coeficiente de la x. Y la operacin entre dos elementos de G/N es la clase de
la operacin hecha en G entre cualesquiera representantes de esas dos
clases.
v) Tiene isomorfismo.
El isomorfismo f que vamos a establecer entre R y G/N es:
() = ( + 0)
ese N significa que es una clase
( + 0) = { + | }
Veamos que:
() = () ()
() = ( + 0)
() () =
Entonces, tenemos que por definicin:
(() ()) =
siendo,
() ()
representantes cualesquiera de sus clases
(0 0 ) = (0 [ + 0]) = ( + 0)
Luego
() = () ()
es un isomosrfismo de los grupos /
= (() ())()
que es la operacin inducida en el grupo cociente.
2. Sean G un grupo y = {|, }. es llamado el

subgrupo conmutador de G.
a) Probar que Ges normal en G.
Supongamos que G es un grupo, sea G el subgrupo engendrado por

{ 1 1|, }. Entonces Ges un subgrupo normal, llamado el
subgrupo conmutador de G.
Por definicin, tenemos que:
= {[, ]|, }.
Como
[, ]1 = [, ],
entonces
si y slo si
= 1 ,
donde cada es un conmutador.
Luego, para cualquier
, 1 = (1 1 ) ( 1),
entonces, para probar que , es suficiente con mostrar que:
si , ,
luego para cada
, [, ]1
es tambin un conmutador.
[, ] = ( ) = ( )( )( ) ( )
= [ , ].
b) Probar que G/Ges abeliano.
Tenemos que:
Si
, ,
entonces
( )( ) = = |,| = = ( )( ).
Por lo tanto / es abeliano

Me pareci notable escribir lo siguiente, ya que entra aqu un concepto nuevo
que no conoca, denominado funtor :
Si

, ( ) = ,

es el subgrupo conmutador.
Si
: es un homomorfismo,

g= ( ):

es el homomorfismo inducido:
() = ( ),
Esta definicin tiene sentido, puesto que :

Y queda claro que Abel es un funtor.

3. Sea G el grupo de todas las matrices reales 2x2 (), donde

bajo la multiplicacin de matrices. Probar que el
subgrupo conmutador G es precisamente el conjunto de las

matrices de la forma ( )

El grupo conmutador G' es el formado por:
. . 11 ,
En primer trmino, obtenemos la matriz inversa:
|10
( )
0|01
1 / | 1/ 0
( )
0 1 | 0 1/
1 0 | 1/ /
( )
0 1 | 0 1/
Realizamos las multiplicaciones:
+
( ).( ) = ( )
0 0 0
+ 1/ /() / + ( + )/
( ).( )=( )
0 0 1/ 0
/ + ( + )/ 1/ /() 1 / +
( ).( )=( )
0 0 1/ 0 1
Podemos ver, que la matriz resultante, tiene unos en la diagonal y

1
contienen todos los elementos de la forma = ( ).
0 1
entonces, es de la forma del conjunto C que nos piden.
Referencias bibliogrficas.
Curso de lgebra moderna, Peter Hilton,Peter John Hilton,Yel-Chiang Wu

https://books.google.com.mx/books?id=BDzY3HUg5AQC&pg=PA72&lpg=PA72
&dq
https://www.uam.es/personal_pdi/ciencias/fchamizo/realquiler/fich/Alberto2
rev.pdf
Introduccin a la teora de grupos. Felipe Zaldvar, Primera reimpresin,2009.
Notas de lgebra Moderna, Enrique Rodrguez Castillo, PDF.
Curso de lgebra Moderna, Fernando Gamarra Morales, PDF

Notillas de Clase de Álgebra Moderna I

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Notillas de Clase de Álgebra Moderna I

Uploaded by

Copyright:

Available Formats

Por Lic. Mara de la Luz Prez Limn.

UNIDAD I. GRUPOS Y SUBGRUPOS.

Rasgo caracterstico de formas geomtricas, sistemas de ecuaciones y otros objetos

*Tener propiedad asociativa

En teora de grupos, un conjunto generador de un grupo G es un subconjunto S de G tal

Encuentre las simetras de las siguientes figuras.

Bueno, yo propongo la operacin conmutativa siguiente en base a:

Podemos ver que no se cumple la operacin conmutativa.

Pueden dar un ejemplo de la vida cotidiana?

Aplicamos la reflexin para ph1

La composicin de simetras es una composicin de funciones y por lo tanto se

Podemos numerar los 6 ptalos de la siguiente manera:

Considerando los ejes , 1, 2, tenemos:

1. De las simetras que ha encontrado, mencione una composicin

2. Una vez investigado lo que es una operacin binaria, escriban un

Un ejemplo sera la suma en los nmeros naturales, puesto que si ,

En la vida cotidiana podemos considerar por ejemplo, en el mbito

Por otro lado el orden del grupo de simetras es claramente 2, ya que

De acuerdo a la figura asignada que corresponde a una letra Z de

El grupo de simetra en su rotacin y reflexin se define como:

1. Encuentre las simetras de la siguiente figura.

La figura que me corresponde es un hexgono de 12 aristas y 12

Como la simetra significa tener una invariancia de la entidad

p_2 = (1,2,3,4,5,6 1,2,3,4,5,6) que me da nuevamente la Simetra

2. De las simetras que ha encontrado, mencione una

p_(0) = (1,2,3,4,5,6 1,2,3,4,5,6)

Ejemplo de operacin binaria:

El smbolo + representa la operacin binaria de suma; ahora

Podemos definir una operacin binaria de la siguiente manera:

Figura original Figura reflejada

Sin embargo, la reflexin sobre el eje s puede darse. La represento

Figura original Figura reflejada

Ejemplo de Operacin Binaria:

Si opero dos nmeros y obtengo un tercero, entonces se puede decir

Observemos cmo obtuve un tercer nmero a partir de la operacin

Ahora bien, las operaciones binarias pueden ser abiertas o cerradas.

Puedo decir de igual forma que una operacin binaria para

O sea que si tomo un elemento del conjunto y le realizo una

La operacin binaria es conmutativa. Por ejemplo

La operacin binaria es asociativa. Por ejemplo

Como nota al margen, lo que conocemos como resta y la divisin no

Tambin puedo decir que

La suma es una operacin binaria en

Se trata de un sistema tridimensional ortogonal que resulta de rotar

Ejemplo de una operacin binaria :

En otras palabras dado un conjunto no vaco y el producto cartesiano

Por ejemplo en el conjunto de los naturales ; la suma (*) es una

Si fuera la operacin *(, ) =

lo mismo si se dijera *(, ) =

El cual la multiplicacin se utiliza en la vida cotidiana, como en el

1. Encuentre las simetras de la siguiente figura.

Tenemos la rotacin que no hace nada.

Ahora definimos las reflexiones, por ejemplo, trazamos una

Las reflexiones que faltan no dejan ningn punto fijo, las

3. Una vez investigado lo que es una operacin binaria, les

Operacin binaria: Es aqulla que toma elementos en el

Definicin 1. Una operacin binaria * en un conjunto X es una:

Un ejemplo sencillo puede ser la operacin que utilizamos

La operacin identidad que lo deja todo como estaba, se expresa

Los ejercicios del 1 al 4 corresponden a la operacin binaria * en S

En esta estructura (,), notamos que , se busca en la

Para , buscamos en la entrada (3,3), tenemos:

2. Calcule ( ) ( ). Puede decir en base a este

A partir de la tabla, tenemos el conjunto = {, . } y la