22/11/2019, 10:24:26 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Homomorfismo inyectivo 2  (Leído 52 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Julio_fmat
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 1.940



Ver Perfil WWW
« : 12/10/2019, 08:01:51 pm »

Sea [texx](G,*)[/texx] un grupo finito abeliano. Probar que la función [texx]G\to G[/texx] definida por [texx]a\mapsto a^2[/texx] es un homomorfismo inyectivo si y solo si el orden [texx]\left |{G}\right |[/texx] de [texx]G[/texx] es impar.

Hola, no entiendo la frase "el orden [texx]\left |{G}\right |[/texx] de [texx]G[/texx] es impar". Hay que demostrar dos implicaciones.
En línea

"Haz de las Matemáticas tu pasión".
geómetracat
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 791



Ver Perfil
« Respuesta #1 : 12/10/2019, 08:15:05 pm »

La frase que dices que no entiendes lo único que dice es que el grupo [texx]G[/texx] tiene un número impar de elementos.

Hay diversas maneras de hacer el ejercicio. Una elemental es la siguiente.
Si el orden de [texx]G[/texx] es par, entonces tiene un elemento de orden par, y de aquí es fácil ver que existe un elemento distinto de la identidad tal que su cuadrado es la identidad, luego la aplicación que te dan no es inyectiva.
Recíprocamente, si el orden de [texx]G[/texx] es impar y [texx]a^2=1[/texx], entonces necesariamente [texx]a=1[/texx], pues en caso contrario tendrías un elemento de orden [texx]2[/texx], contradiciendo el teorema de Lagrange.
En línea

La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!