Actividad numero 6

Alumno: Hernn Roda

Grupo: Para la matemtica, un grupo es una estructura formada por un conjunto, sobre
cuyos elementos se ha definido una operacin binaria o ley de composicin interna que
cumple con ciertas condiciones algebraicas.

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

Grupo finito: En matemticas y lgebra abstracta, un grupo finito es un grupo cuyo

conjunto fundamental G tiene un nmero de elementos finito

Ejemplos:

Grupos de permutacin

El grupo simtrico SN describe todas las permutaciones de N elementos. Hay N! permutaciones

posibles que dan el orden del grupo. Por el teorema de Cayley, cualquier grupo finito puede
ser expresado como un subgrupo de un grupo simtrico para un determinado entero N. El
grupo alternante es el subgrupo correspondiente nicamente de las permutaciones pares.

Grupos cclicos

Un grupo cclico ZN es un grupo en la que todos sus elementos son potencias de un

determinado elemento a donde aN=a0=e, el elemento identidad. Un ejemplo tpico de este
grupo son las N-simas races de la unidad complejas. Relacionando a a una raz primitiva de la
unidad se obtiene un isomorfismo entre las dos. Esto puede ser realizado con cualquier grupo
cclico finito.1

Grupos de Lie

es una variedad diferenciable real o compleja que es tambin un grupo tal que las operaciones
de grupo (multiplicacin e inversin) son funciones diferenciables o analticas, segn el caso.
Los grupos de Lie son importantes en anlisis matemtico, fsica y geometra porque sirven
para describir la simetra de estructuras analticas. Fueron introducidos por Sophus Lie en 1870
para estudiar simetras de ecuaciones diferenciales.

Mientras que el espacio eucldeo Rn es un grupo de Lie real (con la adicin ordinaria de
vectores como operacin de grupo), ejemplos ms tpicos son algunos grupos de matrices
inversibles (con la multiplicacin de matrices como operacin), por ejemplo el grupo SO(3) de
todas las rotaciones en el espacio de 3 dimensiones.

Homomorfismo de grupos: Funcin que se establece entre grupos para conservar la

estructura de los mismos.

Definicin

Si para dos grupos B y C y una aplicacin

f: B C. Se cumple que:

f(x + y) = f(x) + f(y) (para todo x, y).

Significa que la imagen del elemento x + y del conjunto B es igual que la imagen del elemento x
+ la imagen del elemento y.

Debemos tener en cuenta que el signo + no representa la operacin suma, sino la operacin
que se ha definido en el conjunto para que tenga estructura de grupo.

Teorema

Sean B y C dos grupos y f: B C un homomorfismo. Se cumple que:

1. si 1B y 1C son las identidades de B y C, respectivamente, entonces f(1B) = 1C;

2. si x pertenece a los reales B entonces f(x 1) = f(x) 1.

Ncleo de un homomorfismo

Sean B y C dos grupos y sea f un homomorfismo entre ellos. El ncleo de f se define como el
conjunto.

Ker f = { x perteneciente a los reales B / f(x)= 1C, donde 1C es la identidad de C.

Tipos de homomorfismos

Un homomorfismo suprayectivo se llama epimorfismo.

Un homomorfismo inyectivo se llama monomorfismo.

 Un homomorfismo biyectivo cuya inversa es tambin un homomorfismo se llama
isomorfismo. Dos objetos isomorfos son totalmente indistinguibles por lo que a la
estructura en cuestin se refiere.

Un homomorfismo de un conjunto a s mismo se llama endomorfismo. Si es adems un

isomorfismo se llama automorfismo.

Ejemplos

Fuentes de consulta: Wikipedia

Wikipedia,