Академический Документы
Профессиональный Документы
Культура Документы
Álgebra
Abstracta/Homomor
fismos
< Álgebra Abstracta
Introducción
Hemos visto en el capítulo anterior tres
grupos de orden 4: C4,a, el grupo de Klein y
el grupo de las raíces cuartas de la unidad,
U4 = U4( ). ¿Son esos grupos distintos? La
respuesta sería aparentemente si, si nos
fijáramos solamente en sus elementos.
Sin embargo, en Álgebra Abstracta
estamos más interesados en las
propiedades de las operaciones que en la
manera como simbolizamos a los
elementos. Observemos que tanto C4,a
como U4 son grupos cíclicos con
generadores a e i respectivamente y
Definiciones
Definición. (Homomorfismo de
Grupos) Sean
y
grupos.
Un homomorfismo del grupo G en
el grupo G' es una función
tal que
i. permuta con las
operaciones:
Tipos de Homomorfismos
Un homomorfismo
es un:
monomorfismo, cuando es
inyectiva.
supramorfismo, cuando es
suprayectiva.
isomorfismo, uando es
biyectiva.
endomorfismo, cuando es un
homomorfismo de en sí
mismo.
automorfismo, cuando es un
isomorfismo de en sí mismo.
i. ,
ii. ,y
iii. .
Además, se trata de un isomorfismo ya
que el logaritmo es una
tenemos que
isomorfos.
Endomorfismo aditivo de .
Sea tal que
Es fácil ver que se trata de un
endomorfismo de grupos, ya que
Propiedades de los
Homomorfismos
La definición dada de homomorfismo es la
definición general de homomorfismo de
estructuras[1]. En el caso de los
homomorfismos de grupos, tenemos que
la primera condición implica a las otras
dos.
Proposición 1. (Caracterización de
Homomorfismos). Sean y grupos.
Una función es un
homomorfismo, ssi, para todo x, y de G se
cumple que
Ejemplo.
Ejemplo (Determinante).
Proposición 2. (Composición de
Homomorfismos) La composición de dos
homomorfismos es un homomorfismo.
Demostración: Sean y
homomorfismos.
Entonces.
Sea un homomorfismo de
grupos y sea x un elemento de .
Probaremos que para todo natural,
. Si ,
.
Suponiendo el resultado para valores
menores de n, tenemos
Proposición 3. (Homomorfismos y
Potencias) Sea un
homomorfismo de grupos y sea x un
elemento de G. Entonces, para todo entero
n se cumple que
Ejercicios
Isomorfismos de Grupos
Recordemos que un isomorfismo de
grupos es un homomorfismo biyectivo y
que significa que los grupos son
isomorfos, es decir que hay un
isomorfismo de G en G'. Notemos que la
relación de isomorfismo entre grupos es
reflexiva, simétrica y transitiva.
Si un isomorfismo y
es la inversa de f como
función tenemos que
para todo x' = f(x), y' = f(y) que g(x'y') =
g(f(x)f(y)) = g(f(xy))= xy = g(x') g(y'). Es
decir que la función inversa de un
isomorfismo es también un
isomorfismo.
Si tenemos isomorfismos
y ,
entonces su composición es un
homomorfismo biyectivo, por lo que es
un isomorfismo.
f es un homomorfismo. Además,
claramente, f es suprayectiva.
Supongamos que . Sin
perdida de generalidad, podemos
suponer que , por lo que tenemos
que $0 \le j \le k <n$. Se tiene que
> Si , sería un número
positivo menor que . Lo que es
imposible, porque por definición es el
menor entero positivo con la propiedad
de que . Luego , o sea
que es inyectiva. Lo que concluye la
prueba.
Isomorfismo de Grupos
Simétricos
Como es una
composición de biyecciones,
se trata de una biyección de
Y en Y, o sea de un elemento
de . Veamos, ahora, que es un
homomorfismo.
Claramente,
El Grupo de Automorfismos de
un Grupo
Recordemos que un automorfismo de un
grupo es un isomorfismo del grupo en sí
mismo.
Automorfismos de .
Sea un automorfismo de
grupos. Entonces como [1] es un
generador del grupo, su imagen debe ser
un generador del grupo.
c. . d.
.
e. . f.
.
g. h.
.
i. . j.
.
Obtenido de
«https://es.wikibooks.org/w/index.php?
title=Álgebra_Abstracta/Homomorfismos&oldid=3
62602»