Professional Documents
Culture Documents
HOMOMORFISMO DE GRUPOS
un conjunto y
el conjunto potencia de
. Analice si
, tiene estructura de
a.
Ley interna.
b.
Propiedad asociativa.
con la facilidad de
comprobaremos si cumple la
De
tenemos
c.
d.
Matemtica y Fsica
E.A.P. -Educacin
0000002501
2. Para a. b.
{ Probar que
}.
Halle un
Solucin.
Sean: Adems [ ( ) [ ] ] { [ { [ ]} ]}
[ ( ) [
] ]
Sea: Inyectividad.
Matemtica y Fsica
E.A.P. -Educacin
0000002501
b.
[ [
] ]
[ [ [ c. Elemento neutro. ]
Se cumple:
Matemtica y Fsica
E.A.P. -Educacin
0000002501
d.
por definicin de
e.
Es un grupo abeliano.
4. Sea subgrupo de
un grupo. Se define .
}. Demostrar que
es
es subgrupo de
Matemtica y Fsica
E.A.P. -Educacin
0000002501
es homomorfismo.
tal que
es
Es homomorfismo.
i.
Sean:
es inyectiva.
tal que
Tal que
Como
Es sobreyectiva u homomorfismo sobreyectivo
Como
es homomorfismo biyectivo.
Matemtica y Fsica
E.A.P. -Educacin
0000002501
(*
+ +)
+)
(*
+)
(*
+)
(* (*
+ +
* *
+) +)
(*
(*
+)
(*
+)
es homomorfismo. i. Es sobreyectivo.
* (*
Luego
(*
+)
+)
es homomorfismo sobreyectivo.
8. Para el grupo
, diga si
tal que
, es isomorfismo.
, es isomorfismo si a. es inyectiva.
es homomorfismo biyectivo.
es inyectiva
es isomorfismo.
9. Si
tal que
Matemtica y Fsica
E.A.P. -Educacin
0000002501
es sobreyectiva.
Como
es isomorfismo. }
c.
Ncleo.
d.
Imagen.
10. Si
{ } , verifique si la funcin
tal que
es monomorfismo. Halle el
ncleo y su imagen.
Solucin.
a.
Si
es monomorfismo si solo si
es inyectiva.
Vemos que b.
no es monomorfismo.
Ncleo.
c.
Imagen.
. Probar que
definida por
Matemtica y Fsica
E.A.P. -Educacin
0000002501
] por conmutatividad en por definicin de suma en Por lo tanto es homomorfismo. } de { tenemos: Si: } } , Sea: entonces
b.
Ncleo.
probar que
definida por:
] Es homomorfismo.
Hallamos el ncleo. { }
Matemtica y Fsica
E.A.P. -Educacin
0000002501
13. Demuestre que el ncleo de homomorfismo de grupos es un subgrupo del primero. Solucin.
es
i. ii. iii. Sean por definicin de ncleo. [ ] por propiedad de imagen del inverso. { }
por composicin en
14. Demuestre que la imagen de todo homomorfismo de grupos es un subgrupo del segundo.
Solucin.
Sean los grupos subgrupo de . , y un homomorfismo. Entonces debemos demostrar que: es
Matemtica y Fsica
E.A.P. -Educacin
0000002501
Es subgrupo de
. Definido por
(*
+)
es
] .
10
Matemtica y Fsica
E.A.P. -Educacin
0000002501
, es subgrupo de
subgrupos de
[
Veamos: i.
] es subgrupo de
Pues
ii. iii.
Como
pues
es grupo.
Luego.
es subgrupo de
. se define { }.
17. Sean
11
Matemtica y Fsica
E.A.P. -Educacin
0000002501
i. ii. iii. Si: . Si. , donde , pues { } . Tenemos que demostrar que:
Luego ( ) Es subgrupo de
[ .
. Verifica que
, es homomorfismo.
{ }
es
{
de tal manera que
} definicin de ncleo.
composicin a derecha con [ por propiedad del inverso por propiedad de homomorfismo. por definicin de ncleo.
en
12
Matemtica y Fsica
E.A.P. -Educacin
0000002501
Luego
es inyectiva.
. Probar que
definida por
[ [ ]
[ [ ] [ [ ] [
] ] ]
Es homomorfismo.
ii.
Ncleo.
{ {
Como
{ iii.
Imagen.
{
Como Para
13
Matemtica y Fsica
E.A.P. -Educacin
0000002501
por definicin de
por asociatividad en
es homomorfismo.
Si.
Sean [ [ [ ] [ ] ] por definicin de composicin de funciones. definicin de homomorfismo en ] definicin de homomorfismo en definicin de composicin de funciones.
es homomorfismo.
14
Matemtica y Fsica
E.A.P. -Educacin
0000002501