Alumnos: Regalado Emanuel

INSTITUTO UNIVERSITARIO
AERONUTICO

Matemtica
ACTIVIDAD N6

INSTITUTO UNIVERSITARIO AERONUTICO

Matemtica
Actividad 6
Alumnos: Regalado Emanuel

Grupo
Un grupo es un conjunto G, dotado de operaciones binarias, que satisface los siguientes
axiomas:

Operacin Interna
x, y G, x y G
Propiedad Asociativa
x, y, z G, ( x y ) z =x ( y z )
Propiedad de elemento neutro
e G : g G, e g = g e = e
Existencia del elemento inverso
g G, g 1 G : g g 1 = e = g 1 g
Demostracin

( a c ) c 1 = ( b c ) c 1

a ( c c 1 ) =b ( c c 1 )

=
cc 1 e

cerrado para el producto/propiedad asociativa

propiedad asociativa/elemento inverso

=
cc 1 e

ae = be
a=b

elemento neutro

Subgrupo
Dado un grupo (G, ) y un subconjunto H no vaco, se dice que (H, ) es un subgrupo
de (G, ), y se denota (H, ) (G, ), si H es un grupo con respecto a la operacin
definida en G.
i )x, y H x * y H (* restringida a H es Ley de composicin interna en H )
ii ) ( H ,*) es un grupo
As, un subgrupo es un grupo dentro de otro grupo, considerando la misma operacin

https://www.youtube.com/watch?v=62e7ZsjpuYA

INSTITUTO UNIVERSITARIO AERONUTICO

Matemtica
Actividad 6
Alumnos: Regalado Emanuel

Homomorfismo de grupos
Sean (G1, ), (G2, *) grupos, y sea f: G1 G2 una aplicacin entre ellos. Se dice que
f es un homomorfismo de grupos si f (x y) = f(x) * f(y).
Un homomorfismo inyectivo recibe el nombre de monomorfismo; un homomorfismo
suprayectivo, epimorfismo; un homomorfismo biyectivo, isomor- fismo; y un
isomorfismo de G en s mismo, automorfismo. Si existe un isomorfismo entre (G1, ) y
(G2, *), se dice que ambos grupos son isomorfos, y se denota (G1, ) = (G2, *).

Bibliografa
John F. Humphreys. A Course in Group Theory. Oxford Science Publications, Oxford
University Press Inc., New York, 1996.
Serge Lang. Algebra. Addison-Wesley Publishing Company Inc., Reading,
Massachusetts, 3rd edition, 1993.