Matematica / Matias Mller

Actividad 6
Actividad individual, primera y segunda semana de la clase.
Parte A. Individual.
Busque y seleccione en Internet (plataformas como Wikipedia, Youtube, Scribd, o
bsqueda libre usando palabras clases en buscadores como Google, Google acadmica
entre otros), informacin sobre grupo, subgrupo, grupo finito, homomorfismo entre
grupos y ejemplos. Trate de no excederse de este temario. De ser necesario presente
una sntesis propia.
Luego, comparta en el foro Pizarrn de la Actividad 6 citando la fuente de consulta.
Cuando el tutor lo crea conveniente por considerar suficientes los aportes, deber
publicar aqu debajo, en la ventana de Realizar actividad.
Puntaje mximo:

10 puntos.

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-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.
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.

Biografia consultada
Representaciones de grupos finitos de Calos Ivorra Castillo:
https://www.uv.es/ivorra/Libros/Representaciones.pdf
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

un video que me sirvi de mucha ayuda

https://www.youtube.com/watch?v=8xxk26-Gwzk
homomorfismo de grupos