Autor Tema: Subgrupo normal de G

0 Usuarios y 1 Visitante están viendo este tema.

13 Octubre, 2019, 03:31 am
Leído 290 veces

Julio_fmat

  • Héroe
  • Mensajes: 2,205
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
    • Fmat
Sea \( (G,*) \) un grupo y \( \text{diag}(G)=\{(g,g): g\in G\}\subset G\oplus G. \) Probar que \( \text{diag}(G) \) es un subgrupo normal de \( G\oplus G \) si y solo si \( (G,*) \) es abeliano. Si \( (G,*) \) es finito, encontrar el indice de \( \text{diag}(G) \) en \( G\oplus G. \)
"Haz de las Matemáticas tu pasión".

13 Octubre, 2019, 08:38 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 46,419
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Sea \( (G,*) \) un grupo y \( \text{diag}(G)=\{(g,g): g\in G\}\subset G\oplus G. \) Probar que \( \text{diag}(G) \) es un subgrupo normal de \( G\oplus G \) si y solo si \( (G,*) \) es abeliano. Si \( (G,*) \) es finito, encontrar el indice de \( \text{diag}(G) \) en \( G\oplus G. \)

Si el grupo es abeliano es inmediato que el subgrupo es normal.

Recíprocamente si es normal entonces \( (h,1)^{-1}(g,g)(h,1)\in diag(G) \) para todo \( h,g\in G \).

Es decir:

Si es normal entonces \( (h^{-1}gh,g)\in diag(G) \) para todo \( h,g\in G \). Equivalentemente \( h^{-1}gh=g \).

En cuanto al índice ten en cuenta que para grupos cocientes el índice de un subgrupo es el orden del grupo dividido entre el orden del subgrupo.

Saludos.

15 Octubre, 2019, 01:24 am
Respuesta #2

Julio_fmat

  • Héroe
  • Mensajes: 2,205
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
    • Fmat
Hola

Sea \( (G,*) \) un grupo y \( \text{diag}(G)=\{(g,g): g\in G\}\subset G\oplus G. \) Probar que \( \text{diag}(G) \) es un subgrupo normal de \( G\oplus G \) si y solo si \( (G,*) \) es abeliano. Si \( (G,*) \) es finito, encontrar el indice de \( \text{diag}(G) \) en \( G\oplus G. \)

Si el grupo es abeliano es inmediato que el subgrupo es normal.

Recíprocamente si es normal entonces \( (h,1)^{-1}(g,g)(h,1)\in diag(G) \) para todo \( h,g\in G \).

Es decir:

Si es normal entonces \( (h^{-1}gh,g)\in diag(G) \) para todo \( h,g\in G \). Equivalentemente \( h^{-1}gh=g \).

En cuanto al índice ten en cuenta que para grupos cocientes el índice de un subgrupo es el orden del grupo dividido entre el orden del subgrupo.

Saludos.

Muchas gracias, me ha quedado claro.  :aplauso:

Saludos.
"Haz de las Matemáticas tu pasión".