Está en la página 1de 14

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

Universidad Nacional Mayor de San Marcos

Higinio S. Ramos de la Cruz,

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

Universidad Nacional Mayor de San Marcos


[ ] ( ) ( )

Higinio S. Ramos de la Cruz,

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

Universidad Nacional Mayor de San Marcos


por igualdad.

Higinio S. Ramos de la Cruz,

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

Universidad Nacional Mayor de San Marcos


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

Higinio S. Ramos de la Cruz,


. 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

Universidad Nacional Mayor de San Marcos


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

Higinio S. Ramos de la Cruz,


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

Universidad Nacional Mayor de San Marcos


De donde Por lo tanto b. es sobreyectivo. Tal que es inyectiva. tal que ( ) por lo tanto

Higinio S. Ramos de la Cruz,

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

Universidad Nacional Mayor de San Marcos


a. es homomorfismo. Sean: [ [ y ] [ [ ] [ ]

Higinio S. Ramos de la Cruz,

] 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

Universidad Nacional Mayor de San Marcos


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

Higinio S. Ramos de la Cruz,


} }

, 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

Universidad Nacional Mayor de San Marcos


i. ii. iii. Sea Si y { . } . tal que [ ]

Higinio S. Ramos de la Cruz,

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

Universidad Nacional Mayor de San Marcos


De: (* ,* d. Imagen. , (* +) * + (* +) +) + * tenemos + (* +)

Higinio S. Ramos de la Cruz,

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

Universidad Nacional Mayor de San Marcos


Debemos demostrar que es subgrupo de

Higinio S. Ramos de la Cruz,


.

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

Universidad Nacional Mayor de San Marcos


Como el ncleo de

Higinio S. Ramos de la Cruz,

{ } 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

Universidad Nacional Mayor de San Marcos


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

Higinio S. Ramos de la Cruz,


, 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

También podría gustarte