Actividad Nro.

6 - BONET JOSE JAVIER

Parte A: CONSIGNA: Bsqueda de informacin referente a: grupo, subgrupo,

grupo finito, homomorfismo entre grupos y ejemplos
Resolucin:
Como introduccin al tema podemos ver el siguiente video:
https://www.youtube.com/watch?v=8xxk26-Gwzk
Publicado el 30 mayo de 2011- All se recuerda la definicin de homomorfismo de
grupos y se muestra un ejemplo bien conocido. Luego se muestra que el conjunto de
los automorfismos de un grupo es un grupo bajo la composicin. Orfos. En esta
reduccin la operacin de unin disjunta la convierte en una categora monoidal.

GRUPOS
En lgebra abstracta, la teora de grupos estudia las estructuras algebraicas
conocidas como grupos. Sus objetivos son, entre otros, la clasificacin de los
grupos, sus propiedades y sus aplicaciones tanto dentro como fuera de las
matemticas.
Los grupos sirven como pilar a otras estructuras algebraicas ms elaboradas
como los anillos, los cuerpos o los espacios vectoriales. La teora de grupos
tiene muchas aplicaciones en el campo de la fsica y la qumica, y es
potencialmente aplicable en situaciones caracterizadas por la simetra. Adems
se aplican en astrofsica: quarks, solucin de acertijos: cubo de Rubik, en los
cdigos binarios y en criptografa.
El orden de un grupo es su cardinalidad; sobre la base de l, los grupos pueden
clasificarse en grupos de orden finito o de orden infinito. La clasificacin de los
grupos simples de orden finito es uno de los mayores logros matemticos del
siglo XX.
Categora de grupos
Desde el punto de vista de la teora de categoras, la teora de grupos podra
catalogarse como una categora llamada categora de grupos, debido a que en
ella se estudia a los grupos y sus morfismos. La categora de grupos es muy
grande, pero puede armarse una relacin de equivalencia en esta categora
para que se factorice: la relacin entre grupos de ser isomorfos reduce
cuestiones estructurales de la categora de grupos a la categora de grupos-

Actividad Nro. 6 - BONET JOSE JAVIER

mdulo-los-isomorfos. En esta reduccin la operacin de unin disjunta la

convierte en una categora monoida.
Fuente: https://es.wikipedia.org/wiki/Teor%C3%ADa_de_grupos

SUBGRUPO:
En lgebra, dado un grupo G con una operacin binaria *, se dice que un
subconjunto no vaco H de G es un subgrupo de G si Tambin forma un grupo
bajo la operacin *. O de otro modo, H es un subgrupo de G si la restriccin de
* a H satisface los axiomas de grupo.
Un subgrupo propio de un grupo G es un subgrupo H que es un subconjunto
propio de G (es decir H G). El subgrupo trivial de cualquier grupo es el
subgrupo {e} que consiste solamente en el elemento identidad.
El grupo G a veces se denota por el par ordenado (G, *), generalmente para
acentuar la operacin * cuando G lleva varias estructuras algebraicas o de otro
tipo. En lo siguiente, se sigue la convencin usual y se escribe el producto a*b
como simplemente ab.
Fuente: https://es.wikipedia.org/wiki/Subgrupo

Homomorfismo de grupos
En lgebra, un homomorfismo de grupos es una funcin entre grupos que
preserva la operacin binaria.
Fuente. https://es.wikipedia.org/wiki/Homomorfismo_de_grupos

Homomorfismos de Grupos Definicin

Sean (G, ) y (H, ) dos grupos. Una funcin f de G a H
f:GH
se dice ser:
a) Un homomorfismo si f(x y) = f(x) f(y), x, y (G, ), se puede prescindir
de las operaciones y escribir simplemente f(xy) = f(x)f(y).
b) Un monomorfismo si es un homomorfismo inyectivo de G en H.
c) Un epimorfismo si es un homomorfismo sobreyectivo de G en H.
d) Un isomorfismo de H en G si es un homomorfismo biyectivo entre estos dos
grupos. G y H se dicen isomorfos, y se escribe G = H.

Actividad Nro. 6 - BONET JOSE JAVIER

e) Un automorfismo si es un isomorfismo de G en G.
Ejemplo.
Sea h : (IR, +) (IR {0}, ), se define h(x) = 3x .
Vemos que
h(x + y) = 3x+y
= 3x3 y
= h(x)h(y).
As h es un homomorfismo. Por otro lado, se tiene que dh(x) dx = ln3 3 x > 0,
x IR, esto significa que h es creciente estrictamente y por lo tanto inyectiva,
as que h es un monomorfismo.

HOMOMORFISMOS DE GRUPOS 3 h es un isomorfismo de G en si mismo.

Veamos primero que es un homomorfismo.
En efecto,
h(ee) = h(e)h(e) = e2 = e
h(eg) = h(e)h(g) = eg2 = g2
h(eg2 ) = h(e)h(g 2 ) = eg = g
h(gg2 ) = h(g)h(g 2 ) = g2 g = e
Claramente es inyectiva y sobreyectiva, as que h es un automorfismo.

Muy Extenso material para lectura sobre la consigna:

https://loshijosdelagrange.files.wordpress.com/2012/11/homomorfismos.pdf
Existe una muy completa definicin en:
https://www.uam.es/personal_pdi/ciencias/fchamizo/realquiler/fich/Alberto2rev.
pdf
Tambin hace referencia al tema:
Representaciones de grupos finitos de Calos Ivorra Castillo:
https://www.uv.es/ivorra/Libros/Representaciones.pdf
Finalmente dejo un listado de otros de los sitios consultados:
a) https://books.google.com.ar/books?
hl=es&lr=&id=IgMIS4rdwe0C&oi=fnd&pg=PA9&dq=grupo,+subgrupo,
+grupo+finito,

Actividad Nro. 6 - BONET JOSE JAVIER

b)
c)
d)
e)
f)

+homomorfismo+entre+grupos+y+ejemplos&ots=QvwA18gAzP&sig=TbloQB6I
pl_DHNgA52X_VpHx7kE#v=onepage&q&f=false
http://ddd.uab.cat/pub/pubsecmat/02102978v4/02102978v4p1.pdf
http://ddd.uab.cat/pub/pubsecmat/02102978v30n2-3/02102978v30n2-3p77.pdf
http://fernandorevilla.es/blog/2014/03/06/nucleo-e-imagen-de-unhomomorfismo-de-grupos/
http://www.uam.es/personal_pdi/ciencias/dragan/licenc/algI-0708-h5.pdf
https://www.uam.es/personal_pdi/ciencias/dragan/licenc/algI-0708-prob-res.pdf