Homomorfismo de Grupos

Universidad Nacional Mayor de San Marcos
HOMOMORFISMO DE GRUPOS
Higinio S. Ramos de la Cruz,
EJEMPLOS DE GRUPOS Y HOMOMORFISMO DE GRUPOS. 1. Sea grupo.

Solucin.
un conjunto y
el conjunto potencia de
. Analice si
, tiene estructura de
a.
Ley interna.
b.
Propiedad asociativa.
Sean los conjuntos [ {[ = = ] [ ] ] } {[ {[ ] ] } }
Veamos el segundo miembro: conmutatividad.
con la facilidad de
comprobaremos si cumple la
Por conmutatividad para la unin de conjuntos.
De
tenemos
c.
Existencia del neutro.
d.
Existencia del inverso.
Matemtica y Fsica
E.A.P. -Educacin
0000002501
Por lo tanto (P(A), ) tiene estructura de grupo.
2. Para a. b.
{ Probar que
}.
es grupo, siendo la operacin composicin de funciones. subgrupo de .
Halle un
Solucin.
a. Ley interna: sean [ ]
Sean: Adems [ ( ) [ ] ] { [ { [ ]} ]}
De (1) y (2) Sea:
[ ( ) [
] ]
Sea: Inyectividad.
es suficiente que sea biyectiva para que admita inversa.
Suryectividad. Por lo tanto es biyectiva y admite inversa
Matemtica y Fsica
E.A.P. -Educacin
0000002501

[ ] ( ) ( )
b.
3. Demostrar que suma definida por: Solucin.

a. Ley interna. Sean: b. Asociatividad. [
es grupo abeliano, siendo
el conjunto de la n-uplas de nmeros reales y la
[ [
] ]
[ [ [ c. Elemento neutro. ]
] por asociatividad en ] por definicin en
Se cumple:
Matemtica y Fsica
E.A.P. -Educacin
0000002501

por igualdad.
d.
Elemento inverso. Que cumple lo siguiente:
por definicin de
e.
Conmutatividad. Dado. Por definicin de Por conmutatividad en Por definicin de
Es un grupo abeliano.
4. Sea subgrupo de
un grupo. Se define .
}. Demostrar que
es
Solucin. a. b. c. Sean: pues { }
Luego, en virtud de la condicin suficiente,
es subgrupo de
Matemtica y Fsica
E.A.P. -Educacin
0000002501

5. Para los grupos es homomorfismo.
Solucin. Por definicin de homomorfismo sabemos que: Sea: [ Por lo tanto ] * + * [ + ] [

. Prueba que la funcin tal que * +
es homomorfismo.
6. Para los grupos homomorfismo biyectivo.

Sean:
. Pruebe que la funcin
tal que
es
por definicin de homomorfismo.
Por propiedad de logaritmos.
Es homomorfismo.
i.
Sean:
es inyectiva.
tal que
Es inyectiva u homomorfismo inyectivo ii.

es sobreyectiva.
Tal que
Como
Es sobreyectiva u homomorfismo sobreyectivo
Como
es inyectivo y sobreyectivo entonces
es homomorfismo biyectivo.
Matemtica y Fsica
E.A.P. -Educacin
0000002501

7. Para los grupos es homomorfismo Sobreyectivo. Solucin.
es homomorfismo

tal que (* +)
, probar que la funcin
(*
+ +)
+)
(*
+)
(*
+)
(* (*
+ +
* *
+) +)
(*
(*
+)
(*
+)
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.
Por ende b. es sobreyectiva. ( ) ( ) Es sobreyectiva.
es inyectiva
Es biyectiva por ende
es isomorfismo.
9. Si
{ }, verifique si la funcin . Halle su ncleo e imagen.
tal que
es isomorfismo para el grupo
Solucin. Es homomorfismo. a. es inyectiva.
Matemtica y Fsica
E.A.P. -Educacin
0000002501

De donde Por lo tanto b. es sobreyectivo. Tal que es inyectiva. tal que ( ) por lo tanto
es sobreyectiva.
Como
es biyectiva entonces { { Como { } }
es isomorfismo. }
c.
Ncleo.
d.
Imagen.
{ Para cualquier valor de
} el sistema tiene solucin.
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 cumple con la definicin de inyectividad. Luego { { { } { } } }
no es monomorfismo.
Ncleo.
c.
Imagen.
Para cualquier valor positivo de
, tiene solucin. Por ende
11. Sean los grupos
. Probar que
definida por
es un homomorfismo, determinar su ncleo e imagen.

Solucin.
Matemtica y Fsica
E.A.P. -Educacin
0000002501

a. es homomorfismo. Sean: [ [ y ] [ [ ] [ ]
] por conmutatividad en por definicin de suma en Por lo tanto es homomorfismo. } de { tenemos: Si: } } , Sea: entonces
b.
Ncleo.
el ncleo estar formado por: c. Imagen. {
Para cualquier valor de a y b el sistema tiene solucin. Luego
12. Sean los grupos
probar que
definida por:
. Es un homomorfismo. Determine su ncleo y su imagen.

Solucin: Sean [ [ Por definicin de la funcin: [ Por asociatividad en Por definicin de adicin en [ tenemos: ] [ ] [ ] ] [ [ ] ] ] [ ] ] [ ]
] Es homomorfismo.
Hallamos el ncleo. { }
Matemtica y Fsica
E.A.P. -Educacin
0000002501

} Por lo tanto el ncleo: Hallamos la imagen. { } { } { } {

} }
, con es decir, la imagen de dicho homomorfismo es .
. Para cualquier valor de .
y , el sistema tiene solucin,
13. Demuestre que el ncleo de homomorfismo de grupos es un subgrupo del primero. Solucin.
Sean los grupos subgrupo de .
un homomorfismo. Entonces debemos demostrar que:
es
i. ii. iii. Sean por definicin de ncleo. [ ] por propiedad de imagen del inverso. { }
por composicin en
por definicin de homomorfismo. por definicin del Es subgrupo de . .
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

i. ii. iii. Sea Si y { . } . tal que [ ]
por inverso de la imagen en
por composicin en por definicin de homomorfismo. Como por definicin de imagen
Es subgrupo de
15. Para los grupos homomorfismo. 1.1. En verificar las propiedades y
. Definido por
(*
+)
es
] .
2.2. Halle el ncleo e imagen de . Solucin.

a. Sea: * En efecto: Por lo tanto: b. Sea: * ( * [ + +) (* ] * +) [ ] + * + tal que: (* (* +) +) * (* +)+ + (* , tambin sabemos que: +) (* +)
Por lo tanto cumple la propiedad. c. Ncleo: ,* + (* +)
10
Matemtica y Fsica
E.A.P. -Educacin
0000002501

De: (* ,* d. Imagen. , (* +) * + (* +) +) + * tenemos + (* +)
16. Demuestre que la interseccin de subgrupos de un grupo Solucin.

Sea. un grupo y
, es subgrupo de
subgrupos de
, debemos demostrar que:
[
Veamos: i.
] es subgrupo de
Pues
son grupos por definicin
ii. iii.
Como
pues
es grupo.
Luego.
es subgrupo de
. se define { }.
17. Sean
dos subconjuntos del grupo aditivo es subgrupo de .
Demostrar que Solucin.
11
Matemtica y Fsica
E.A.P. -Educacin
0000002501

Debemos demostrar que es subgrupo de

.
i. ii. iii. Si: . Si. , donde , pues { } . Tenemos que demostrar que:
] , pues S y T son subgrupos de G
Luego ( ) Es subgrupo de
[ .
18. Para los grupos Solucin. Sea: Luego es homomorfismo.
. Verifica que
, es homomorfismo.
19. Probar que si: Solucin.

Debemos demostrar que: si Sabemos que Sean
es un homomorfismo con ncleo unitario, entonces es inyectivo.
{ }
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

Como el ncleo de
{ } componiendo a derecha con asociatividad
Luego
es inyectiva.
20. Sean los grupos
. Probar que
definida por
Es homomorfismo. Determine su ncleo y su imagen. i.

Sean
[ [ ]
[ [ ] [ [ ] [
] ] ]
Es homomorfismo.
ii.
Ncleo.
{ {
} por definicin de ncleo. }
Como
{ iii.
Imagen.
} { } Por definicin de imagen. }
{
Como Para
13
Matemtica y Fsica
E.A.P. -Educacin
0000002501

21. sean un grupo y un elemento fijo de Demostrar que es un monomorfismo en . Solucin.
Sean Sabemos que

, se define tal que .
por definicin de
por asociatividad en
Por lo tanto Inyectividad.
es homomorfismo.
. por definicin de . componiendo a izquierda con el inverso de
Si.
Demuestra que la composicin de dos homomorfismos de grupos es un homomorfismo. Solucin.

Sean los grupos: Debemos demostrar que y los siguientes homomorfismos es homomorfismo.
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

Homomorfismo de Grupos

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Homomorfismo de Grupos

Hochgeladen von

Copyright:

Verfügbare Formate

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

EJEMPLOS DE GRUPOS Y HOMOMORFISMO DE GRUPOS. 1. Sea grupo.

Sean los conjuntos [ {[ = = ] [ ] ] } {[ {[ ] ] } }

Veamos el segundo miembro: conmutatividad.

Por conmutatividad para la unin de conjuntos.

Existencia del neutro.

Existencia del inverso.

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

Por lo tanto (P(A), ) tiene estructura de grupo.

es grupo, siendo la operacin composicin de funciones. subgrupo de .

a. Ley interna: sean [ ]

De (1) y (2) Sea:

es suficiente que sea biyectiva para que admita inversa.

Suryectividad. Por lo tanto es biyectiva y admite inversa

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

3. Demostrar que suma definida por: Solucin.

es grupo abeliano, siendo

el conjunto de la n-uplas de nmeros reales y la

] por asociatividad en ] por definicin en

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

Elemento inverso. Que cumple lo siguiente:

Conmutatividad. Dado. Por definicin de Por conmutatividad en Por definicin de

Solucin. a. b. c. Sean: pues { }

Luego, en virtud de la condicin suficiente,

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

6. Para los grupos homomorfismo biyectivo.

. Pruebe que la funcin

por definicin de homomorfismo.

Por propiedad de logaritmos.

Es inyectiva u homomorfismo inyectivo ii.

es inyectivo y sobreyectivo entonces

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

, probar que la funcin

Por ende b. es sobreyectiva. ( ) ( ) Es sobreyectiva.

Es biyectiva por ende

{ }, verifique si la funcin . Halle su ncleo e imagen.

es isomorfismo para el grupo

Solucin. Es homomorfismo. a. es inyectiva.

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

es biyectiva entonces { { Como { } }

{ Para cualquier valor de

} el sistema tiene solucin.

no cumple con la definicin de inyectividad. Luego { { { } { } } }

Para cualquier valor positivo de

, tiene solucin. Por ende

11. Sean los grupos

es un homomorfismo, determinar su ncleo e imagen.

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

el ncleo estar formado por: c. Imagen. {

Para cualquier valor de a y b el sistema tiene solucin. Luego

12. Sean los grupos

. Es un homomorfismo. Determine su ncleo y su imagen.

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

, con es decir, la imagen de dicho homomorfismo es .