Está en la página 1de 5

Materia: Matemtica I

Profesor: Adriana Natividad Olmos


Alumno: Surez Marcos
Actividad:

6A

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.

DEFINICION FORMAL DE GRUPO:

Un grupo es un conjunto G junto con una operacin * que cumple que:


1. El grupo tiene un elemento neutro
2. El grupo tiene inversos
3. La operacin es asociativa
4. El grupo es cerrado con respecto a la operacin.
Vamos a verlas una a una:

1. El grupo tiene un elemento neutro (tambin se le llama la identidad). Si


usamos la operacin con el elemento neutro y otro elemento, siempre nos
devuelve el otro elemento.
Para los enteros y la suma, el elemento neutro es "0" porque 5+0 = 5 y 0+5 = 5
Es decir, los otros elementos no cambian cuando se combinan con l.
El smbolo para el elemento neutro es e, o a veces 0. Por eso tienes que empezar a
pensar en 0 como un smbolo en lugar de un nmero. 0 es slo el smbolo de la
identidad, igual que e. Se define as. De hecho, muchas veces los matemticos usan 0
en lugar de e porque es ms natural.
Propiedad formal:
Hay un elemento e en el conjunto G que cumple que a * e = a y e * a = a,
para todos los elementos de G

2. El grupo tiene inversos. Si tomamos cualquier elemento en el grupo, hay otro


elemento que cumple que al usar la operacin con ellos, obtenemos e, la identidad.
Para los enteros y la suma, el inverso de 5 es -5 (porque 5 + -5 = 0).
De la misma manera, para los enteros negativos, los inversos son positivos. -5 + 5 =
0, as que el inverso de -5 es 5. De hecho, si a es el inverso de b, se cumple que b es
el inverso de a.
Los inversos son nicos. Por ejemplo, no existe ningn otro nmero x que cumpla que
5 + x = 0 aparte de -5.
La notacin que se usa para los inversos es a-1. As que en el ejemplo de arriba, a-1 =b.
De la misma manera, si hablamos de enteros y la suma, 5-1 = -5.
Propiedad formal:
Para cada a en G existe un b en G que cumple que a * b = e y b * a = e.

3. Asociatividad. Significa que no importa el orden en que hacemos varias


operaciones encadenadas.
Propiedad formal:
Para todos los a, b, y c en G, a * (b * c) = (a * b) * c

4. Cerrado con respecto a la operacin. Si tenemos dos elementos en el grupo, a y


b, se tiene que cumplir que a*b est en el grupo. Esto es lo que significa cerrado. Se
dice cerrado porque hacer operaciones no te saca del grupo.
Igual que antes, los enteros y la suma cumplen esto. Si x e y son enteros, x + y = z, y
entonces z tambin es entero.
Propiedad formal:
Para cualesquiera elementos a y b en G, a*b est en G

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.

GRUPO FINITO
El nmero de elementos de G se denomina orden de G, y se designa como O(G). Si
el orden es un nmero finito, decimos que G es un grupo finito.
-

Todo grupo finito puede presentarse como un subgrupo de permutaciones, ms


precisamente, es isomorfo a un subgrupo de un grupo de permutaciones. La idea del
isomorfismos es asociar con cada elemento del grupo una permutacin de los
elementos del grupo, llamamos grupo de permutaciones a cualquier subgrupo de un
grupo simtrico Sn,

En el estudio y clasificacin de los grupos, los ms sencillos a considerar son los


generados por un elemento, es decir los grupos cclicos. El entender las propiedades y
estructura de estos es de gran importancia, pues como se probar ms adelante, todo

grupo abeliano finito se descompone como producto directo de grupos cclicos.


Sea G un grupo y S G. Defnase S-1= {a-1aS}. Entonces (S) es el grupo formado
por todos los elementos que son el producto de un nmero finito de elementos de S o
de S-1. En otras palabras:
(S) = {a1,...,an a1,...,an S S-1}
Ejemplo: (R, +)

HOMOMORFISMO:
Sean G y H dos grupos. Una aplicacin f: G H se llama homomorfismo de
grupos (o simplemente homomorfismo) si:
f(ab)=f(a) f(b) para todo a, b de G.
Sean G y H dos grupos y f: G H un homomorfismo, se cumple que:
1.
2.

Si 1G y 1H son las identidades de G y H, respectivamente, entonces f (1G) = 1H


Si a G entonces f (a-1) = f (a)-1

Es claro que si f: G H y g: H K son homomorfismos entonces g o f: G K es


un homomorfismo.
i)
ii)
iii)
iv)

Si
Si
Si
Si

f
f
f
f

(xy) = f(x)f(y), x, y G, f se llama un homomorfismo.


es inyectiva y satisface i), f se llama un monomorfismo.
es suprayectiva y satisface i), f se llama un epimorfismo.
satisface ii) y iii), f se llama un isomorfismo.

Si f: G G1 es un isomorfismo, se dice que G es isomorfo a G1 y se usa la notacin


G G1
Sea f : G G1 un homomorfismo, se define:
i)
ii)

El ncleo de f, denotado ker f = {g G | f(g) = eH}.


La imagen de f, denotada Im f = {h G1 | f(g) = h para algn g G}
Ejemplo
La funcin

exponencial en

un

homomorfismo

de

grupos

entre

los nmeros

reales bajo la adicin y el grupo multiplicativo de los reales no nulos (excluido el 0):

F: (R,+) (R*,) tal que f(x)=ex


dado que f(x+y)=ex+y=ex.ey=f(x).f(y)
La imagen de la funcin exponencial es el subgrupo de los nmeros reales positivos,
y el ncleo es solo el elemento identidad (el 0), ya que la aplicacin es inyectiva.

La funcin determinante, definida sobre el grupo multiplicativo de matrices


invertibles (grupo general lineal) en los nmeros reales no nulos, es un homomorfismo
de grupos:
f: GLn(R) (R*,) tal que f(A)=det(A)
dado que det(AxB)=det(A).det(B)

FUENTE:
www.wikipedia.org
www.scribd.com
www.disfrutalasmatematicas.com