Homomorfismo de Grupos PDF

Universidad Nacional Mayor de San Marcos Higinio S.
Ramos de la Cruz,
HOMOMORFISMO DE GRUPOS
EJEMPLOS DE GRUPOS Y HOMOMORFISMO DE GRUPOS.
1. Sea un conjunto y el conjunto potencia de . Analice si , tiene estructura de
grupo.
Solucin.
a. Ley interna.
b. Propiedad asociativa.
Sean los conjuntos
[ ] [ ]
{[ ] } {[ ] }
= {[ ] }
Veamos el segundo miembro: con la facilidad de comprobaremos si cumple la
conmutatividad.
Por conmutatividad para la unin de conjuntos.
De tenemos
c. Existencia del neutro.
d. Existencia del inverso.
1
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. Probar que es grupo, siendo la operacin composicin de funciones.
b. Halle un subgrupo de .
Solucin.
a.
Ley interna: sean [ ]
Sean:
Adems
[ ] { [ ]}
( ) [ ] { [ ]}
De (1) y (2)
Sea:
[ ]
( ) [ ]
Sea: es suficiente que sea biyectiva para que admita inversa.
Inyectividad.
Suryectividad. ( ) ( )
Por lo tanto es biyectiva y admite inversa
2
[ ] ( ) ( )
( ) [ ]
b. { }
[ ]
3. Demostrar que es grupo abeliano, siendo el conjunto de la n-uplas de nmeros reales y la
suma definida por:
Solucin.
a. Ley interna.
Sean:
b. Asociatividad.
[ ] [ ]
[ ] [ ]
[ ]
[ ] por asociatividad en
[ ] por definicin en
[ ]
c. Elemento neutro.
Se cumple:
3
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 un grupo. Se define { }. Demostrar que es
subgrupo de .
Solucin.
a.
b. pues { }
c. Sean:
Luego, en virtud de la condicin suficiente, es subgrupo de
4
5. Para los grupos . Prueba que la funcin tal que * +
es homomorfismo.
Solucin.
Por definicin de homomorfismo sabemos que:
Sea: [ ] [ ] [ ]
[ ] * + * +
Por lo tanto es homomorfismo.
6. Para los grupos . Pruebe que la funcin tal que es
homomorfismo biyectivo.
Sean: por definicin de homomorfismo.
Por propiedad de logaritmos.
Es homomorfismo.
i. es inyectiva.
Sean: 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.
5
7. Para los grupos , probar que la funcin tal que (* +)
es homomorfismo Sobreyectivo.
Solucin.
es homomorfismo (* + * +) (* +) (* +)
(* + * +) (* +)
(* + * +) (* +) (* +)
es homomorfismo.
i. Es sobreyectivo.
* + (* +)
(* +)
Luego es homomorfismo sobreyectivo.
8. Para el grupo , diga si tal que , es isomorfismo.
, es isomorfismo si es homomorfismo biyectivo.
a. es inyectiva.
Por ende es inyectiva
b. es sobreyectiva.
( ) ( ) Es sobreyectiva.
Es biyectiva por ende es isomorfismo.
9. Si { }, verifique si la funcin tal que es isomorfismo para el grupo
. Halle su ncleo e imagen.
Solucin.
Es homomorfismo.
a. es inyectiva.
6
De donde
Por lo tanto es inyectiva.
b. es sobreyectivo. tal que
Tal que ( ) por lo tanto es sobreyectiva.
Como es biyectiva entonces es isomorfismo.
c. Ncleo. { }
{ }
Como
{ }
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 no cumple con la definicin de inyectividad. Luego no es monomorfismo.
b. 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.
7
a. es homomorfismo.
Sean: y [ ]
[ ] [ ] [ ]
[ ] por conmutatividad en
por definicin de suma en
b. Ncleo. { } de tenemos:
{ Si: entonces
el ncleo estar formado por: { }
c. Imagen. { }
, Sea:
Para cualquier valor de a y b el sistema tiene solucin.
Luego
12. Sean los grupos y 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.
{ }
8
} } { }
Por lo tanto el ncleo: { } { }
- Hallamos la imagen.
{ }
, con . Para cualquier valor de y , el sistema tiene solucin,
es decir, la imagen de dicho homomorfismo es . .
13. Demuestre que el ncleo de homomorfismo de grupos es un subgrupo del primero.
Solucin.
Sean los grupos , y un homomorfismo. Entonces debemos demostrar que: es
subgrupo de .
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 , y un homomorfismo. Entonces debemos demostrar que: es
subgrupo de .
9
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 . Definido por (* +) ; es
homomorfismo.
1.1. En verificar las propiedades y [ ] .
2.2. Halle el ncleo e imagen de .
Solucin.
a.
Sea: * + , tambin sabemos que: (* +)
En efecto: (* +)
Por lo tanto:
b. [ ]
Sea: * + * + * + tal que: (* +) * (* +)+
( * +) (* +) (* +)
Por lo tanto cumple la propiedad. [ ]
c. Ncleo:
,* + (* +) -
10
De: (* +) tenemos (* +)
,* + * + -
d. Imagen.
, * + (* +) -
(* +)
16. Demuestre que la interseccin de subgrupos de un grupo , es subgrupo de .
Solucin.
Sea. un grupo y subgrupos de , debemos demostrar que:
[ ] es subgrupo de
Veamos:
i.
Pues son grupos
ii. por definicin
iii.
Como pues es grupo.
Luego.
es subgrupo de .
17. Sean y dos subconjuntos del grupo aditivo se define { }.

Demostrar que es subgrupo de .
Solucin.
11
Debemos demostrar que es subgrupo de .
i.
ii. , pues { }
iii. Si: . Tenemos que demostrar que:
Si. , donde
[ ] [ ]
, pues S y T son subgrupos de G
Luego [ ]
( ) Es subgrupo de .
18. Para los grupos . Verifica que / , es homomorfismo.
Solucin.
Sea:
Luego es homomorfismo.
19. Probar que si: es un homomorfismo con ncleo unitario, entonces es inyectivo.
Solucin.
Debemos demostrar que: si { } es
Sabemos que { } definicin de ncleo.
Sean de tal manera que
[ ] [ ] composicin a derecha con [ ] en
por propiedad del inverso
por propiedad de homomorfismo.
por definicin de ncleo.
12
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
21. sean un grupo y un elemento fijo de , se define tal que .

Demostrar que es un monomorfismo en .
Solucin.
Sean por definicin de .
Sabemos que
por asociatividad en
Inyectividad. .
Si. por definicin de .
componiendo a izquierda con el inverso de
Demuestra que la composicin de dos homomorfismos de grupos es un homomorfismo.
Solucin.
Sean los grupos: y los siguientes homomorfismos
Debemos demostrar que 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

Homomorfismo de Grupos PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Homomorfismo de Grupos PDF

Uploaded by

Copyright:

Available Formats

Universidad Nacional Mayor de San Marcos Higinio S.

EJEMPLOS DE GRUPOS Y HOMOMORFISMO DE GRUPOS.

1. Sea un conjunto y el conjunto potencia de . Analice si , tiene estructura de

Sean los conjuntos

Veamos el segundo miembro: con la facilidad de comprobaremos si cumple la

Por conmutatividad para la unin de conjuntos.

c. Existencia del neutro.

d. Existencia del inverso.

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

a. Probar que es grupo, siendo la operacin composicin de funciones.

Ley interna: sean [ ]

Sea: es suficiente que sea biyectiva para que admita inversa.

Por lo tanto es biyectiva y admite inversa

3. Demostrar que es grupo abeliano, siendo el conjunto de la n-uplas de nmeros reales y la

suma definida por:

Que cumple lo siguiente:

4. Sea un grupo. Se define { }. Demostrar que es

Luego, en virtud de la condicin suficiente, es subgrupo de

5. Para los grupos . Prueba que la funcin tal que * +

Por definicin de homomorfismo sabemos que:

Por lo tanto es homomorfismo.

6. Para los grupos . Pruebe que la funcin tal que es

Sean: por definicin de homomorfismo.

Por propiedad de logaritmos.

Sean: tal que

Es inyectiva u homomorfismo inyectivo

Es sobreyectiva u homomorfismo sobreyectivo

Como es inyectivo y sobreyectivo entonces es homomorfismo biyectivo.

7. Para los grupos , probar que la funcin tal que (* +)

Luego es homomorfismo sobreyectivo.

8. Para el grupo , diga si tal que , es isomorfismo.

, es isomorfismo si es homomorfismo biyectivo.

Por ende es inyectiva

Es biyectiva por ende es isomorfismo.

9. Si { }, verifique si la funcin tal que es isomorfismo para el grupo

. Halle su ncleo e imagen.

Por lo tanto es inyectiva.

b. es sobreyectivo. tal que

Tal que ( ) por lo tanto es sobreyectiva.

Como es biyectiva entonces es isomorfismo.

Para cualquier valor de el sistema tiene solucin.

10. Si { } , verifique si la funcin tal que es monomorfismo. Halle el

a. Si es monomorfismo si solo si es inyectiva.

Vemos que no cumple con la definicin de inyectividad. Luego no es monomorfismo.

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.

por definicin de suma en

Por lo tanto es homomorfismo.

el ncleo estar formado por: { }

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

12. Sean los grupos y probar que definida por:

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

Por definicin de la funcin:

Por definicin de adicin en tenemos:

Por lo tanto el ncleo: { } { }

, con . Para cualquier valor de y , el sistema tiene solucin,

es decir, la imagen de dicho homomorfismo es . .

13. Demuestre que el ncleo de homomorfismo de grupos es un subgrupo del primero.

Sean los grupos , y un homomorfismo. Entonces debemos demostrar que: es

por definicin de ncleo.

[ ] por propiedad de imagen del inverso.

por definicin de homomorfismo.