Documentos de Académico
Documentos de Profesional
Documentos de Cultura
-UNSE
5.- HOMOMORFISMOS
Definición 1
Sean (G,*) , ( H , ) dos grupos. La función f : G → H es un homomorfismo del
grupo G en el grupo H si y sólo si:
∀a,b ∈G; f(a* b) = f(a) f(b)
G H
a f(a)
b f(b)
Ejemplo:
Un homomorfismo del grupo (R+, .) en el grupo (R, +) es la función logaritmo
definida por:
log : R+ → R
x log x
Proposición 1
Sean (G,*) , ( H , ) dos grupos. Si f : G → H es un homomorfismo, entonces la
imagen del elemento neutro de G es igual al elemento neutro de H. Esto es,
f(eG) = eH
Demostración
1
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
∀a ∈ G; a * eG = eG * a = a
Tomando la igualdad
a * eG = a
y aplicando f en ambos miembros se conserva la igualdad (por ser f una función)
( )
f a * e = f (a )
G
f (a) f (eG ) = f (a ) .
Al operar en el segundo miembro con eH , elemento neutro de ( H , ) , no se altera la
igualdad
( )
f (a) f e = f (a ) eH .
G
Por ser ( H , ) un grupo, todo elemento de H es cancelable por lo que resulta:
( )
f e = eH
G
De manera análoga se procede partiendo de la igualdad eG * a = a , y se llega a que
( )
f e = eH
G
Q.E.D
Proposición 2
Sean (G,*) , ( H , ) dos grupos. Si f : G → H es un homomorfismo, entonces la
imagen del inverso de todo elemento de G es igual al inverso de su imagen. Esto es,
∀ a ∈ G ; f(a’) = [ f(a)]’
Demostración:
f (a ) f (a') = eH (α)
En forma análoga se procede con la igualdad a' * a = eG , y se llega a que
f (a') f (a ) = eH (β)
2
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
En (α) y (β) se observa que f(a) operado a izquierda y a derecha con f(a’) se obtiene
el elemento neutro eH . Por lo tanto se deduce que f(a’) es inverso de f(a) y como el
inverso de cada elemento es único se verifica:
∀ a ∈ G ; f(a’) = [ f(a)]’
En diagrama de Venn
G
H
a f(a)
eG f(eG)= eH
a' f(a’)= [f(a)]’
f
Q.E.D
Definición 2
Sean (G,*) , ( H , ) dos grupos y f : G → H un homomorfismo. El Núcleo del
homomorfismo f es el conjunto formado por los elementos de G que tienen por
imagen al elemento neutro de H.
En símbolos,
Nf = {x ∈ G / f(x) = eH}, ( α)
donde eH es el elemento neutro de H.
Es claro que, un elemento de G pertenece al núcleo de f si y sólo si su imagen es
igual al elemento neutro de G, esto es
x ∈ Nf ⇔ f(x) = eH (β)
G H
Nf . .
. . .
. x
. f(x) = eH
. .
. . .
. .
f
3
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Proposición 3
Sean (G,*) , ( H , ) dos grupos y f : G → H un homomorfismo. El Núcleo del
homomorfismo f es un subgrupo del grupo G.
Demostración:
i) Nf ⊂ G
Esto es evidente por (α), definición de núcleo de un homomorfismo.
ii) Nf ≠ ∅
En efecto,
( ) =e
f e
G H
eG ∈ N f Nf ≠∅
(1) ( 2) (3)
iii) a, b ∈ N f a * b' ∈ N f
En efecto,
a * b'∈ N f
(6)
Referencias:
(1) Por definición (β) de núcleo
(2) Si dos elementos son iguales, sus inversos también lo son
(3) Por Proposición 2 y porque el inverso del elemento neutro es él mismo
(4) Componiendo miembro a miembro las igualdades precedentes
(5) Porque f es un homomorfismo y e elemento neutro de G
H
(6) Porque G es un grupo y por definición (β) de núcleo
Por i), ii), iii) se tiene que el Núcleo de f es un subgrupo del grupo G.
Simbólicamente se escribe N G
f
Q.E.D.
4
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
y ∈ If ⇔ ∃ x ∈ G : f(x) = y (λ)
En Diagramas de Venn
G H
If .
. . .
. . . x
. . .
f(x)= y
.
. .
. . . . . ……..
f
Proposición 4
Sean (G,*) , ( H , ) dos grupos y f : G → H un homomorfismo. La Imagen del
homomorfismo f es un subgrupo del grupo H.
Demostración:
i) If ⊂ H
Esto es claro, por definición de Imagen de un homomorfismo (δ)
ii) If ≠ ∅
En efecto,
∃ eG ∈ G tal que f e = eH ( )
G
eH ∈ If If ≠ ∅
(1) ( 2)
Referencias:
(1) Por definición (λ)
(2) Por definición de conjunto vacío
5
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
iii) y1 , y2 ∈ I y1 y2 ' ∈ I .
f f
En efecto:
y1 ∈ I ∧ y2 ∈ I ∃ x1 ∈ G ∧ x2 ∈ G : f ( x1 ) = y1 ∧ f ( x2 ) = y2
f f (1) ( 2)
∃ x1 ∈ G ∧ x2 ∈ G : f ( x1 ) = y1 ∧ f ( x ) ' = y'2
( 2)
2 (3)
Referencias:
Luego, por i), ii), iii) se tiene que la Imagen de f es un subgrupo del grupo H.
Simbólicamente se escribe I H.
f
Q.E.D.
Ejercicio
Pruebe que la función f : R3→ R2 / f(x, y, z) = (x+y, z) es un homomorfismo del
grupo (R3, +) en el grupo (R2, +) y determine el núcleo y la imagen de f .
Desarrollo:
a) f es un homomorfismo. En efecto,
sean ( x1 , y1 , z1 ), ( x2 , y2 , z 2 ) ∈ R 3 , entonces
[ 1 1 2 2 2
]
f ( x , y , z ) + ( x , y , z ) = f ( x1 + x2 , y1 + y 2 , z1 + z 2 ) =
1
(1) (2)
(
= ( x + x ) + ( y + y ), z + z
1 2 1 2 1 2
) = (( x + y ) + ( x
1 1 2
+ y ), z + z
2 1 2
)=
(2) (3) (4)
= ( x1 + y1 , z1 ) + ( x2 + y2 , z 2 ) = f ( x1 , y1 , z1 ) + f ( x2 , y2 , z 2 )
( 4) (5)
6
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Referencias:
(1) Por definición de suma en R3
(2) Por la definición de la función f
(3) Por la conmutatividad y asociatividad de la suma en R
(4) Por definición de suma en R2
(5) Por la definición de la función f
( x + y, z) = (0,0)
Como dos pares de números reales son iguales si y solo si son iguales sus
respectivas componentes, se tiene un sistemas de ecuaciones homogéneo
x+ y =0 y = −x
z=0 z=0
De donde el conjunto solución es
{ ( x, y, z) ∈ R3 / y = − x ∧ z = 0 }
Por consiguiente el núcleo está dado por:
N = ( x, y, z ) ∈ R 3 / y = − x ∧ z = 0
f
O simplemente:
N = {( x,− x,0) / x ∈ R}.
f
c) La Imagen de f , es
I ( f ) = (a, b) ∈ R 2 / ∃( x, y, z ) ∈ R 3 : f ( x, y, z) = (a, b)
Teniendo en cuenta que
f ( x, y, z ) = (a, b)
y por la definición de f, se tiene que
( x + y, z ) = (a, b)
7
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Proposición 5
Sean (G,*) , ( H , ) dos grupos y f : G → H un homomorfismo. El núcleo de f
tiene a eG como único elemento si y sólo si f es una función inyectiva.
En símbolos,
N( f ) = e { }
⇔ f : G → H es inyectiva
G
Demostración:
) Si el núcleo de f tiene a eG como único elemento, entonces f es una función
inyectiva.
Simbólicamente,
N( f ) = e { }
G
f : G → H es inyectiva
Luego f es inyectiva
Referencias:
(1) Por Proposición 2
(2) Porque f es un homomorfismo (Definición 1)
(3) Por Definición (β) de Núcleo
(4) Por hipótesis N ( f ) = e {} G
(5) Operando con b en ambos miembros a derecha se mantiene la igualdad
(6) Porque G es un grupo se aplican los axiomas (asociatividad, inverso, neutro)
8
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Proposición 6
Sean (G,*) , ( H , ) dos grupos y f : G → H un homomorfismo. La Imagen de f es
igual a H si y sólo si f es una función sobreyectiva.
En símbolos
If = H ⇔ f es sobreyectiva.
Demostración:
Es obvio que esta proposición se verifica por definición de función sobreyectiva
Q.E.D.
Definición 3
Sean (G,*) , ( H , ) dos grupos y f : G → H un homomorfismo. Se dice que f es un
isomorfismo si f es una función biyectiva.
Nota
Si (G,*) , ( H , ) son grupos y f : G → H es un isomorfismo, se dice que “G es
isomorfo a H” y se simboliza G ≅ H
9
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Definición 1
Proposición 1
Sean (A, +, .) y (B, +, .) anillos y f : A → B un homomorfismo, entonces la imagen
del cero del anillo A (0A) es igual al cero del anillo B(0B). Esto es,
f (0A) = 0B
Demostración:
Por ser (A, +) un grupo se verifica
∃ 0A ∈ A: ∀ a ∈ A; a + 0A = 0A + a = a
Entonces, si se parte de la igualdad
a + 0A = a
y se aplica en ambos miembros f, se tiene
( )
f (a) + f 0 = f (a )
A
( )
f a + 0 = f (a )
A
( )
f (a) + f 0 = f (a ) + 0 B
A
( )
f 0 = 0B
A
(1) (2) (3)
(1) f es un homomorfismo
(2) 0B es el elemento cero del anillo B
(3) Por ley cancelativa en el grupo (B,+)
Q.E.D.
Proposición 2
Sean (A, +, .) y (B, +, .) anillos y f : A → B un homomorfismo, Entonces la imagen
del opuesto de todo elemento de A es igual al opuesto de su imagen. Esto es
∀ a ∈ A ; f (-a) = - f(a)
Demostración:
Por ser (A, +) un grupo se verifica
∀a ∈ A, ∃ − a ∈ A : a + (−a) = (−a) + a = 0 A
10
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Nota
Las propiedades precedentes se deducen del hecho que A y B son grupos aditivos.
Definición2
Sean (A, +, .) y (B, +, .) anillos y f : A → B un homomorfismo. El Núcleo del
homomorfismo f es el conjunto formado por los elementos de A que tienen por
imagen al cero de B.
En símbolos,
Nf = {x ∈ A / f(x) = 0B}, (α)
donde 0B es el elemento neutro aditivo de B.
Es claro que, un elemento de A pertenece al núcleo de f si y sólo si su imagen es
igual al cero de B, esto es
x ∈ Nf ⇔ f(x) = 0B (β)
A B
Nf . .
. . .
. x
. f(x) = 0B
. .
. . .
. .
11
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Definición 3
Sean (A, +, .) y (B, +, .) anillos y f : A → B un homomorfismo. La Imagen del
homomorfismo f es el conjunto formado por los elementos de B que tienen preimagen
en A.
En símbolos,
If = {y ∈ B / ∃ x ∈ A: f(x) = y} (δ)
Es claro que,
y ∈ If ⇔ ∃ x ∈ A : f(x) = y (λ)
En Diagramas de Venn
A B
If .
. . .
. . . x
. . .
f(x)= y
.
. .
. . . . . ……..
Notas
1.- Las propiedades del Núcleo y de la Imagen de los homomorfismos de anillos son
idénticas a las propiedades de Núcleo e Imagen de los homomorfismos de grupos,
con la salvedad que en los anillos el elemento neutro aditivo es el cero del anillo.
2.- Si tanto un anillo A como un anillo B tienen unidad,1A y 1B respectivamente, y si
f : A → B es un homomorfismo, no se sigue que f (1A) = 1B .
Sin embargo se probará que si B es un dominio de integridad o si B es arbitrario y f
es sobreyectiva, entonces f (1A) = 1B es necesariamente cierto
Proposición 3
Si (A, +, .) es un anillo con unidad, (B, +, .) es un dominio de integridad y f : A → B
es un homomorfismo, entonces f (1A) = 1B.
12
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Demostración:
Sea x ∈ A ∧ x ∉ N , y por ser A un anillo con unidad 1A se tiene
f
x ⋅1 A = x f ( x.1 A ) = f ( x) f ( x) ⋅ f (1 A ) = f ( x) f ( x ) ⋅ f (1A ) = f ( x ) ⋅1B
(1) (2) (3) (4)
≠0 ≠0
H
f (1A ) = 1B
(4)
Referencias:
(1) Se aplica en ambos miembros f
(2) Porque f es un homomorfismo
(3) Como x ∉ N ( f ) entonces f ( x) ≠ 0 y B es dominio de integridad por lo tanto tiene unidad 1B
(4) B es dominio de integridad, entonces vale la ley cancelativa de la multiplicación para elementos no nulo
Q.E.D.
Proposición 4
Sean (A, +, .) y (B, +, .) dos anillos con unidad 1A y 1B respectivamente, y f : A → B
un homomorfismo. Si f es sobreyectiva, entonces f (1A) = 1B .
Demostración:
Por hipótesis f es sobreyectiva, es decir,
∀ y ∈ B; ∃ x ∈ A : f ( x) = y (α)
Por hipótesis A tiene unidad, entonces
∀ y ∈ B; ∃ x ∈ A : f ( x ⋅1A ) = f ( x) ∧ f (1A ⋅ x) = f ( x)
Por hipótesis f es homomorfismo, luego
∀ y ∈ B; ∃ x ∈ A : f ( x) ⋅ f (1A ) = f ( x) ∧ f (1A ) ⋅ f ( x) = f ( x)
Y como f ( x) = y por (α), se tiene
∀ y ∈ B; ∃ f (1A ) ∈ B : y ⋅ f (1A ) = y ∧ f (1A ) ⋅ y = y
De donde se sigue que f (1A) es la unidad de B, esto es f (1A) = 1B.
Q.E.D.
Definición 4
Sean (A, +, .) y (B, +, .) dos anillos y f : A → B un homomorfismo. Se dice que f es
un isomorfismo si f es biyectiva.
Nota
Si (A, +, .) y (B, +, .) son dos anillos y f : A → B es un isomorfismo, se dice que “A
es isomorfo a B” y se simboliza A ≅ B.
13
Álgebra II (LSI y PI)-F.C.E. y T.-UNSE
Definición 1
Definición 2
Sean (F, +, .) y (K, +, .) dos cuerpos y f : F → K un homomorfismo. Se dice que f
es un isomorfismo si f es biyectiva.
Nota
Si (F, +, .) y (K, +, .) dos cuerpos y f : F → K un isomorfismo, se dice que “F es
isomorfo a K” y se simboliza F ≅ K
Ejemplo
Sea el cuerpo de los números complejos (C, +, .), es simple verificar que el conjunto
de todos los números complejos con segunda componente igual a cero es un cuerpo,
es decir un subcuerpo de C, esto es
CR = {(a, b) ∈ C / b = 0} C
14