UNIVERSIDAD ABIERTA Y

A DISTANCIA DE MEXICO.

Materia: algebra Moderna I

Unidad 1: Grupos y subgrupos

Actividad 2: Grupos

Alumno: Alberto Ramrez Quintero.

Facilitador: Rafael Pacheco Espinosa

Lista de ejercicios Actividad 2

a) Probar que las funciones biyectivas de un conjunto A en el mismo, con la

operacin composicin forman un grupo.
Recordado la definicin de funcin biyectiva, que nos dice que si todos los elementos
del conjunto salida tienen una imagen distinta en el conjunto llegada, y a cada elemento
del conjunto de llegada le corresponde un elemento del conjunto de salida.

Entonces si tenemos el conjunto A y una operacin , lo representamos como el par

(, ) es una operacin interna o ley de composicin interna. Por lo tanto en A
cuando es una aplicacin se define como.
:
(, ) =
Entonces si definimos a A con los elementos { = , , , , }, la operacin
combinacin asigna a cada par ordenado (a,b) donde , , un tercer elemento c, el
cual tambin esta contenido en A. este elemento c es nico para cada par (a,b), lo cual
se expresa: =

Por ejemplo si el conjunto = con la operacin producto es un grupo, ya que:

Es asociativo, ya que por ejemplo (1 + 2) + 3 = 2 + (1 + 3), donde 6 sera el resultado

y donde claramente 1,2,3,6

Es conmutativa, ya que 1+2=2+1 el resultado es 3, donde 1,2,3

Su elemento neutro es el 0, ya que cualquier nmero entero (en este caso) ms el 0,

nos va a dar como resultado el mismo nmero, + 0 = por ejemplo: 1+0=1, 2+0=2,
3+0=3
Tiene inverso, ya que los nmeros enteros tienen cuentan con numero inverso de
cualquier nmero (en este caso entero), ya que si existe 1 tal que +
1 = 1 + = , donde e indica el elemento neutro, en este caso el cero, por ejemplo
1-1=0,2-2=0

b) Utilizar la tabla para responder las siguientes preguntas.

* e1 e2 e3 e4 e5
e1 e1 e2 e3 e4 e5
e2 e2 e3 e4 e5 e1
e3 e3 e4 e5 e1 e2
e4 e4 e5 e1 e2 e3
e5 e5 e1 e2 e3 e4

- Cul es el elemento identidad en este conjunto?

El elemento identidad o neutro en este caso es 1, ya que 11 = 11 =
1, 12 = 21 = 2, 13 = 31 = 3 por lo tanto vemos que efectivamente
1 es el elemento identidad (o neutro) para la operacin dada.
- Cmo sabemos que cada elemento tiene inverso por los dos lados? En
este caso estamos hablando del elemento simtrico que indica que para todo
1 1 = 1 = . Podemos decir entonces que el
simtrico del simtrico de un elemento es el propio elemento, es decir
(1 )1 =
- Cmo sabemos que ese inverso es nico?
Por reduccin al absurdo, si, para 1, 2 simtricos de a, se tiene que:
1 = 1 = 1 ( 2) = (1 ) 2 = 2 = 2
 Concluimos que los dos simtricos son el mismo elemento, por lo tanto el
inverso es nico.

c) Si G es un grupo y a1, a2,, an prueba que a1*a2**an es nico, sin importar el

orden en que se realizan las operaciones.
En otras palabras quiero entender que se esta usando el dicho el orden de los
factores NO altera el resultado

Por ejemplo si tenemos el grupo G, con 1, 2, 3, . Y le aplicamos una

operacin
Tenemos a1*a2=a3 por ejemplo, que es lo mismo a2*a1=a3. En otras palabras
estamos aplicando las propiedades asociativas y/o conmutativas. Entonces

Si a1*a2=a3 y a1*a2=a4 por reduccin al absurdo a3a4, luego entonces el

resultado de uan operacin binaria sin importar el orden en un grupo es nico

d) Si G es un grupo y a es un elemento de g, y definimos a 0=e; a1=a; a2=a*a, a-2=a-

1*a-1 y as sucesivamente, prueba que para cada m y n en los naturales se tiene
que am*an=am+n y que (am)n=amn.

Tenemos para ,
= +


=



=
+
Por lo tanto
= +
Ahora para ( ) = donde ,
( )
( ) =

 ( ) (
) (
)
( ) =

( ) =
( ) ( ) ( )

Concluiomos que ( ) =