Alumno: Gonzalo Cuello

informacin sobre grupo, subgrupo, grupo finito, homomorfismo entre grupos y

ejemplos.
Definicin de grupos: un grupo, G, es un conjunto G con una operacin, que
puede llamarse adicin, +, o multiplicacin, ., tal que se satisfacen las
siguientes propiedades, conocidas como axiomas:
Clausura respecto a la operacin: Para cada pareja de elementos g1, g2 G existe un
nico
Elemento g3 G tal que
+: G G G g1 + g2 = g3, g1, g2 G.
La operacin es asociativa.
g1 + (g2 + g3) = (g1 + g2) + g3 g1, g2, g3 G.
Existencia de un idntico.
Existe un elemento 0 G tal que
g1 + 0 = g1 = 0 + g1 g1 G.
Existencia de un inverso.
Para todo g1 G, existe un elemento (g1) G, tal que
g1 + (g1) = 0 = (g1) + g1.
Si se emplea el smbolo +, el grupo, el elemento idntico y el inverso se califican como
aditivos, si se usa el smbolo ., el grupo, el elemento idntico y el inverso se califican
como multiplicativos.

Ejemplos de grupos.
Los nmeros enteros, I, definidos como
I = {. . ., 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5,. . .},
Junto con la operacin usual de adicin forman un grupo aditivo, denominado I; ms
aun, el grupo
Es abeliano. Sin embargo, los nmeros naturales N, definidos como
N = 0, 1, 2, 3, 4, 5,..
Junto con la operacin de adicin no forman un grupo. Pues cualquier numero natural
diferente de
0 carece de un inverso respecto a la adicin.

Los nmeros racionales excluyendo el cero, denotado como Q/0, definido como

Q 0={xx =

P
, donde P ,Q I y Q 0, P O}
Q

Junto con la operacin usual de multiplicacin forman un grupo multiplicativo,

denominado Q 0;
Ms aun, el grupo es abeliano. Sin embargo, los nmeros enteros, I, junto con la
operacin usual
De multiplicacin no forman un grupo, pues cualquier entero diferente de 1 carece de
un inverso
Respecto a la multiplicacin.

Subgrupo:

Sea (G, ) un grupo. Un subconjunto H de G se dice que es un subgrupo de (G,

) si se verifican las siguientes condiciones:

1. H es no vaco.
2. H es estable para la operacin binaria , i.e. x y H para todos x, y H
3. X 1 H para cada x H.
Ejemplo
1. Para todo grupo G, {1} y G son subgrupos de G y se denominan subgrupos
triviales de G.
2. Subgrupos de (Z, +): Dado n Z, n 0 sea Zn = {k n: k Z}. Se tiene:
(a) Zn es un subgrupo de Z.
(b) Todo subgrupo de Z es de la forma Zn para algn n 0.
3. Races n-esimas de la unidad dentro de C .
4. Si C A, el conjunto {f SA | f(a) = a, a C} es un subgrupo de SA.

Grupo finito:

un grupo finito es un grupo cuyo conjunto fundamental G tiene un nmero de elementos finito.

En cantidades el trmino finito se utiliza para contar las cantidades que tiene
un fin. Y por el contrario los objetos o cantidades que no tengan fin se les llama
infinitos.
El abecedario es un grupo finito porque tiene una cantidad especfica de
letras.
grupo finito = abcdefghijklmn.......xyz

grupo infinito = 1,2,3,4,5,6,7,8,9, .......

Homomorfismo entre grupos:
Sea

dos grupos. Una funcin

Tal que:

Se denomina un homomorfismo del grupo G en el grupo F. Si ambos tienen

notacin aditiva, entonces la condicin anterior se escribe como
:
Ejemplos:
1) Sea
el grupo aditivo de los nmeros reales, y sea
multiplicativo de los nmeros reales no nulos. La funcin

Definida por

es un homomorfismo de

2) Homomorfismo nulo: sea

en

un grupo multiplicativo y sea

grupo con notacin aditiva. La funcin de

en

el grupo

un

defienda por:

Es un homomorfismo, Adems la funcin

es definida por
es
tambin un homomorfismo; lo podemos denominar homomorfismo unitario.

Bibliografa:
http://www.fimee.ugto.mx/profesores/chema/documentos/Algebra
%20Lineal/Algebra_lineal_2.pdf
http://departamento.us.es/da/planantiguo/notas-ant/algebra/t9.pdf
https://ar.answers.yahoo.com/question/index?qid=20080117160316AAexWRL

http://www.virtual.unal.edu.co/cursos/ciencias/2001007/lecciones_html/parte1/c
ap3/cap3s3a.html