0% encontró este documento útil (0 votos)
43 vistas9 páginas

Imprimir - Tarea 1 Abstracta

Este documento presenta una tarea de álgebra abstracta que incluye cuatro problemas sobre relaciones de equivalencia, grupos cuocientes, subgrupos y isomorfismos de grupos.

Cargado por

decastimonto
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
0% encontró este documento útil (0 votos)
43 vistas9 páginas

Imprimir - Tarea 1 Abstracta

Este documento presenta una tarea de álgebra abstracta que incluye cuatro problemas sobre relaciones de equivalencia, grupos cuocientes, subgrupos y isomorfismos de grupos.

Cargado por

decastimonto
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd

Pontificia Universidad Javeriana

Álgebra Abstracta
Daniel Eduardo Castillo Montoya y Santiago Garay Losada
Tarea 1
14 de Febrero del 2024
uwu
(1) (12 puntos) Sobre R defina la siguiente relación:
x ∼ y si y solo si x − y ∈ Z
Demuestre que:
(a) Esta es una relación de equivalencia sobre R.
(b) R/ ∼ es un grupo con la operación dada por la suma usual de clases. Tal grupo se denota por R/Z.
(c) Si S 1 := {z ∈ C | |z| = 1}, entonces (S 1 , ·) es un subgrupo del grupo multiplicativo de los complejos.
(d) La flecha f : R/Z → S 1 dada por f (x) := e2πxi es un isomorfismo de grupos.
Solución:
(a) Para que ∼ sea relación de equivalencia, debe ser reflexiva, simétrica y transitiva. Verifiquemos que ∼
cumpla las tres condiciones.
• Reflexividad: Para todo x ∈ R se cumple x − x = 0, y ya que 0 es un elemento de Z, se cumple que
x − x ∈ Z, por lo que x ∼ x, es decir, ∼ es reflexiva.
• Simetrı́a: Sean x, y ∈ R tales que x ∼ y, entonces x−y ∈ Z. Notemos entonces que −1 es un elemento
de Z, y que la multiplicación es una operación cerrada en Z, necesariamente (−1)·(x−y) ∈ Z. Notemos
además que (−1) · (x − y) = −x + y = y − x, por lo que y − x ∈ Z, y esto significa que y ∼ x. Podemos
concluir entonces que x ∼ y implica y ∼ x, es decir, ∼ es simétrica.
• Transitividad: Sean x, y, z ∈ R tales que x ∼ y y y ∼ z, entonces x − y, y − z ∈ Z. Notemos que
la suma es una operación cerrada en Z, por lo que (x − y) + (y − z) ∈ Z. Notemos además que
(x − y) + (y − z) = x − z, por lo que x − z ∈ Z, lo que implica x ∼ z. Podemos concluir entonces que
x ∼ y y y ∼ z implican x ∼ z, es decir, ∼ es transitiva.
Ya que ∼ es reflexiva, simétrica y transitiva, necesariamente ∼ es una relación de equivalencia. □

(b) Definamos primero las clases de equivalencia. Notemos que todo número real se puede escribir de la
forma n + x tales que n ∈ Z y x ∈ [0, 1). Sean s, t ∈ Z y x, y ∈ [0, 1), para que dos números reales de la
forma s + x y t + y estén relacionados, necesariamente se debe cumplir x = y, pues s + x − (t + x) = s − t
y s − t ∈ Z, entonces podemos definir las clases de equivalencia para todo R según x ∈ [0, 1) tal que
[x] := {. . . , −1+x, x, 1+x, 2+x, . . . } = {n+x | n ∈ Z}, por lo que R/Z := {[x] | x ∈ [0, 1)}. Verifiquemos
ahora si (R/Z, +) es un grupo. Para que (R/Z, +) sea un grupo debe tener un elemento neutro, cada
elemento debe tener un opuesto y la operación debe ser asociativa. Verifiquemos que se cumplan las tres
condiciones.

1
• Elemento neutro: Tomemos la clases [0] := {n | n ∈ Z} = Z y [x] con x ∈ [0, 1). Consideremos
entonces la suma de clases [0] + [x]. Sean n, m ∈ Z, notemos que n es representante de [0] y m + x es
representante de [x]. Ya que m + (n + x) = (m + n) + x, y que m + n es elemento de Z, necesariamente
(m + n) + x ∈ [x], es decir, [0] + [x] = [x], además, la suma usual de clases es conmutativa, por lo
que [x] + [0] = [0] + [x] = [x]. Ya que [x] es una clase cualquiera, concluimos entonces que [0] es el
elemento neutro de R/Z.
• Opuestos: Tomemos una clase cualquiera [x] tal que x ∈ (0, 1) (Para el caso particular x = 0,
la clase [0] es el elemento neutro, por lo que [0] + [0] = [0], es decir, el opuesto de [0] es [0]).
Consideremos entonces la clase [1 − x], y tomemos n + x y m + (1 − x) tales que n, m ∈ Z. Veamos
entonces que n + x es representante de [x] y que m + (1 − x) es representante de [1 − x]. Ya que
(n + x) + (m + (1 − x)) = n + m + 1, y que n + m + 1 es elemento de Z, necesariamente n + m + 1 ∈ [0],
por lo que [x]−1 = [1 − x], y ya que [x] es una clase arbitraria, necesariamente todas las clases de
R/Z tienen un opuesto.
• Asociatividad: Tomemos tres clases cualesquiera [x], [y] y [z] tales que x, y, z ∈ [0, 1), y verifiquemos
si ([x] + [y]) + [z] = [x] + ([y] + [z]). Consideremos ahora n + x, m + y y t + z con n, m, t ∈ Z y
notemos que son representantes de [x], [y] y [z], respectivamente, por lo que (n + x + m + y) + t + z
es representante de ([x] + [y]) + [z].

(n + x + m + y) + t + z = n + x + m + y + t + z
= n + x + (m + y + t + z)

Notemos que n + x + (m + y + t + z) es representante de [x] + ([y] + [z]), por lo que la igualdad


(n + x + m + y) + t + z = n + x + (m + y + t + z) implica ([x] + [y]) + [z] = [x] + ([y] + [z]).
Queda entonces demostrado que (R/Z, +) es un grupo. □

(c) Para verificar que (S 1 , ·) es un subgrupo de (C ∗ , ·) hace falta demostrar (i) s · t ∈ S 1 , para todo s, t ∈ S 1
y (ii) s−1 ∈ S 1 , para todo s ∈ S −1 .
(i) Consideremos dos complejos a + bi y c + di tales que |a + bi| = |c + di| = 1, es decir, a + bi, c + di ∈ S 1 .
Verifiquemos si |(a + bi) · (c + di)| = 1.

|(a + bi) · (c + di)| = |ac + adi + bci + bdi2 |


= |(ac − bd) + (ad + bc)i|
p
= (ac − bd)2 + (ad + bc)2
p
= a2 c2 − 2abcd + b2 d2 + a2 d2 + 2abcd + b2 c2
p
= a2 c2 + b2 d2 + a2 d2 + b2 c2
p
= a2 (c2 + d2 ) + b2 (c2 + d2 )
p
= (a2 + b2 )(c2 + d2 )
= |a + bi| · |c + di|
=1·1
=1

2
Ya que |(a + bi) · (c + di)| = 1, necesariamente (a + bi) · (c + di) ∈ S 1 , y ya que a + bi y c + di son
arbitrarios, se cumple para todo s, t ∈ S 1 que s · t ∈ S 1 .
a − bi
(ii) Recordemos que el inverso multiplicativo de un complejo a + bi es . Consideremos entonces
a 2 + b2
a − bi
a + bi ∈ S 1 , es decir, |a + bi| = 1, y veamos si = 1.
a2 + b2
s 2  2
a − bi a b
= +
a2 + b2 a 2 + b2 a2 + b2
s
a2 b2
= +
(a2 + b2 )2 (a2 + b2 )2
s
a2 + b2
=
(a2 + b2 )2
r
1
=
a2
+ b2

1
=√
a + b2
2

1
=
|a + bi|
1
=
1
=1

a − bi a − bi
Ya que = 1, necesariamente 2 ∈ S 1 , y ya que a + bi es arbitrario, se cumple para
a2 + b2 a + b2
todo s ∈ S 1 que s−1 ∈ S 1
Queda entonces demostrado que S 1 es subgrupo de C ∗ . □

(d) Para que f sea un isomorfismo de grupos, debe ser un morfismo de grupos y una función biyectiva.
• Morfismo: Sean x, y ∈ [0, 1), para que f sea un morfismo de grupos se debe cumplir la igualdad
f ([x] + [y]) = f ([x]) · f ([y]).

f ([x] + [y]) = f ([x + y])


= e2π(x+y)i
= e2πxi+2πyi
= e2πxi · e2πyi
= f ([x]) · f ([y])

Se concluye entonces que f es un morfismo de grupos.

3
• Biyectividad: Para que f sea biyectiva, f debe ser inyectiva y sobreyectiva.
♦ Inyectividad: Sean x, y ∈ [0, 1), para que f sea inyectiva se debe cumplir que si f ([x]) = f ([y]),
entonces [x] = [y].
f ([x]) = f ([y])
ln(e2πxi ) = ln(e2πyi )
2πxi = 2πyi
2πxi 2πyi
=
2πi 2πi
x=y
Si x = y, necesariamente [x] = [y], por lo que f es inyectiva.
♦ Sobreyectividad: Para que f sea sobreyectiva, todos los elementos de S 1 deben ser imagen de
algún elemento de R/Z. Notemos que e2πxi = cos(2πx)+i sin(2πx) con x ∈ [0, 1), y considerando
que cos(2πx), sin(2πx) ∈ [−1, 1], necesariamente todos los elementos de S 1 pueden ser escritos
de la forma e2πxi , x ∈ [0, 1), por lo que todo elemento de S 1 es imagen de algún elemento de
R/Z, por lo que f es sobreyectiva.
Se concluye entonces que f es biyectiva.
Queda entonces demostrado que f es un isomorfismo de grupos. □

(2) (8 puntos) Demuestre que:


(a) Si G es un semigrupo finito que satisface las dos leyes de cancelación, entonces G es un grupo.
(b) Muestre, mediante un ejemplo, que la condición de finitud sobre G en la parte (a) es necesaria.
Solución:
(a) Sea ∗ : G × G → G la operación binaria que da estructura de semigrupo a G tal que ∗ satisface las
dos leyes de cancelación. Para que G sea un grupo, debe tener un elemento neutro respecto a ∗, cada
elemento debe tener un opuesto y ∗ debe ser asociativa. Ya que G es un semigrupo, por definición ∗ es
asociativa, por lo que basta con comprobar las dos primeras condiciones.
• Elemento neutro: Ya que G es finito, al elegir algún elemento de G y evaluar la operación con cada
elemento de G, se obtiene cada elemento de G, esto es, si definimos G := {x1 , x2 , . . . , xn } entonces
tomando y ∈ G el conjunto y ∗ G cuyos elementos son de la forma y ∗ xi con i ∈ {1, . . . , n} se tiene
y ∗ G = {y ∗ xi | xi ∈ G} = G. Necesariamente entonces, para y, z ∈ G existen ey y ez tales que
ey ∗ y = y ∗ ey = y y ez ∗ z = z ∗ ez = z. Veamos entonces que:
♦ ((y ∗ ey ) ∗ ez ) ∗ z = (y ∗ ey ) ∗ (ez ∗ z) = y ∗ z ⇒ y ∗ (ey ∗ ez ) = (y ∗ ey ) ∗ ez = y = y ∗ ey ⇒ ey ∗ ez = ey
♦ ((z ∗ ez ) ∗ ey ) ∗ y = (z ∗ ez ) ∗ (ey ∗ y) = z ∗ y ⇒ z ∗ (ez ∗ ey ) = (z ∗ ez ) ∗ ey = z = z ∗ ez ⇒ ez ∗ ey = ez
Entonces ey = ey ∗ez = ez ∗ey = ez , lo que implica ey = ez , esto es, los elementos que al ser evaluados
junto a y y junto a z dan como resultado y y z, respectivamente, son el mismo elemento. Ya que y
y z son elementos arbitrarios de G, entonces ey ∗ xi = xi para todo xi ∈ G, es decir, ey = eG es el
elemento neutro de G.

4
• Opuestos: Ya que G es finito, al elegir algún elemento de G y evaluar la operación con cada
elemento de G, se obtiene cada elemento de G, esto es, si definimos G := {x1 , x2 , . . . , xn } entonces
tomando y ∈ G el conjunto y ∗ G cuyos elementos son de la forma y ∗ xi con i ∈ {1, . . . , n} se tiene
y ∗ G = {y ∗ xi | xi ∈ G} = G. Necesariamente entonces, para todo y ∈ G existe z ∈ G tales que
y ∗ z = eG . Nótese entonces que z = y −1 , pues evaluar la operación con y y z, el resultado es el
elemento neutro de G. Ya que y es un elemento cualquiera de G, necesariamente todo elemento de
G tiene un opuesto.
Queda entonces demostrado que G es un grupo. □

(b) Nota: Para este ejemplo, se considera N = {1, 2, 3, . . . } como el conjunto de números naturales, sin
incluir el 0.
Considérese (N, +). Notemos que N es un conjunto infinito, y que + : N × N → N, por lo que + es una
operación binaria en N. Además, para a, b, c ∈ N, se cumple (a + b) + c = a ∗ (b + c), por lo que + es
asociativa. Podemos concluir entonces que (N, +) es un subgrupo. Además, + cumple las dos leyes de
cancelación, pues para a, b, c ∈ N se cumple a + b = a + c ⇒ b = c y b + a = c + a ⇒ b = c. Por último,
notemos que N no tiene elemento neutro respecto a +, pues para la suma de naturales excluyendo al 0
no existen elementos a y b tales que a + b = a o a + b = b. Ya que no hay elemento neutro, (N, +) no es
un grupo. Habiendo llegado a un contraejemplo, queda demostrado que para un conjunto infinito no se
cumple la implicación, es decir, la finitud sobre G en la parte (a) es necesaria. □

(3) (8 puntos) Sean (G, ∗) un grupo y X un conjunto no vacı́o.


(a) Defina GX := {f : X → G} y considere el producto · sobre GX dado por:
(f · g)(x) := f (x) ∗ g(x),
para todo f, g ∈ G y x ∈ X. Demuestre que GX adquiere estructura de grupo con esta operación.
¿Cuándo es (GX , ·) un grupo abeliano? Justifique plenamente su respuesta.
(b) Dado x0 ∈ X, defina Hx0 := {f ∈ GX | f (x0 ) = eG }. Pruebe que Hx0 es un subgrupo de GX .
Solución:
(a) Para que (GX , ·) sea un grupo, necesariamente debe tener un elemento neutro, cada elemento de GX
debe tener un inverso respecto a · y · debe ser asociativa.
• Elemento neutro: Ya que (G, ∗) es un grupo, necesariamente G debe tener un elemento neutro, el cual
podemos denominar eG . Sea f ∈ GX , y definiendo una función eGX : X → G tal que eGX (x) = eG ,
se puede ver que:
♦ (f · eGX )(x) = f (x) ∗ eGX (x) = f (x) ∗ eG = f (x)
♦ (eGX · f )(x) = eGX (x) ∗ f (x) = eG ∗ f (x) = f (x)
Entonces (f · eGX )(x) = (eGX · f )(x) = f (x), y ya que f es un elemento cualquiera de GX , esta
igualdad se cumple para eGX y cualquier elemento de GX , por lo que necesariamente eGX es el
elemento neutro de (GX , ·).

5
• Opuestos: Ya que (G, ∗) es un grupo, necesariamente para todo f ∈ G existe f −1 ∈ G tal que
f ∗ f −1 = eG . Veamos entonces que (f · f −1 )(x) = f (x) ∗ f −1 (x) = eG = eGX , es decir, para f ∈ GX
existe f −1 ∈ GX tal que (f · f −1 )(x) = eGX , y ya que f es un elemento cualquiera de GX , se cumple
que todo elemento de GX tiene inverso respecto a ·.
• Asociatividad: Ya que (G, ∗) es un grupo, necesariamente ∗ es una operación asociativa, entonces,
sean f, g, h ∈ GX :

((f · g) · h)(x) = ((f · g)(x)) ∗ h(x)


= (f (x) ∗ g(x)) ∗ h(x)
= f (x) ∗ (g(x) ∗ h(x))
= f (x) ∗ ((g · h)(x))
= (f · (g · h))(x)

Queda entonces demostrado que ((f · g) · h)(x) = (f · (g · h))(x) para todo f, g, h ∈ GX , es decir,
queda demostrado que · es asociativa.
Queda entonces demostrado que (GX , ·) es un grupo. □

X
◦ ¿Cuándo es (G , ·) un grupo abeliano?
Para que (GX , ·) sea un grupo abeliano, · debe ser una operación conmutativa. Asumiendo
conmutatividad de ·, y tomando f, g ∈ GX , se cumple f (x)∗g(x) = (f ·g)(x) = (g·f )(x) = g(x)∗f (x),
lo que implica f (x) ∗ g(x) = g(x) ∗ f (x), es decir, la condición para que · sea conmutativa es que ∗
sea conmutativa, por lo tanto, (GX , ·) es un grupo abeliano cuando (G, ∗) es un grupo abeliano.

(b) Para verificar que (Hx0 , ·) es un subgrupo de (C X , ·) hace falta demostrar (i) f · g ∈ Hx0 , para todo
f, g ∈ Hx0 y (ii) f −1 ∈ Hx0 , para todo f ∈ Hx0 .
(i) Consideremos f, g ∈ Hx0 arbitrarios. Esto implica que f (x0 ) = g(x0 ) = eG . Veamos si se cumple que
(f · g)(x0 ) = eG .

(f · g)(x0 ) = f (x0 ) ∗ g(x0 )


= eG ∗ eG
= eG

Ya que (f · g)(x0 ) = eG , se cumple f · g ∈ Hx0 , y ya que f y g son elementos arbitrarios de Hx0 , se


cumple para todo f, g ∈ Hx0 que f · g ∈ Hx0 .
(ii) Consideremos f ∈ Hx0 arbitrario. Necesariamente f (x0 ) = eG , además, ya que Hx0 ⊂ C X ,
necesariamente existe f −1 ∈ C X tal que (f · f −1 )(x) = eG para todo x ∈ X. Verifiquemos si
f −1 (x0 ) = eG .

(f · f −1 )(x0 ) = eG
f (x0 ) ∗ f −1 (x0 ) = eG
eG ∗ f −1 (x0 ) = eG
f −1 (x0 ) = eG

6
Ya que f −1 (x0 ) = eG , se cumple que f −1 ∈ Hx0 , y ya que f es un elemento arbitrario de Hx0 ,
necesariamente se cumple para todo f ∈ Hx0 que f −1 ∈ Hx0 .
Queda entonces demostrado que Hx0 es un subgrupo de GX . □

(4) (10 puntos) Sean G un grupo y X, Y subconjuntos no vacı́o de G. Se definen el producto de X y Y como
el conjunto XY := {xy | x ∈ X, y ∈ Y }. Muestre que, dados K y H subgrupos de G, el conjunto KH es un
subgrupo de G si y solo si KH = HK.

Solución:
Sea ∗ : G × G → G la operación binaria que da estructura de grupo a G:
(⇒) Suponga que K, H y KH son subgrupos de G. Como por KH es un subgrupo de G se tiene que eG = kh
con k ∈ K y h ∈ H. Como K y H son también subgrupos de G entonces se tiene que h = k −1 , y por
propiedades de subgrupo se tiene que h ∈ K, y análogamente, k ∈ H. Podemos concluir entonces que
HK = KH. □
(⇐) Sabemos que KH = HK. Sea kh ∈ KH, necesariamente k ∈ K y h ∈ H, pero KH = HK, por lo que
es cierto que kh ∈ HK, y esto implica k ∈ H y h ∈ K. Ya que k y h son elementos cualesquiera de K y
H respectivamente, se cumple que todo elemento de K es también elemento de H, y que todo elemento
de H es también elemento de K, es decir, necesariamente K = H, por lo que KK = KH = HK = HH.

Para verificar que KH = KK es un subgrupo de G hace falta demostrar (i) (kh) ∗ (st) ∈ KK,
para todo kh, st ∈ KK y (ii) (kh)−1 ∈ KK, para todo kh ∈ KK.
(i) Sean kh, st ∈ KK, por definición sabemos que k, h, s, t ∈ K. Consideremos (kh) ∗ (st) = (k ∗ s)(h ∗ t),
y recordemos que K es un subgrupo de G, por lo que k ∗ s, h ∗ t ∈ K, lo que a su vez implica
que (k ∗ s)(h ∗ t) ∈ KK, y ya que kh, st son elementos arbitrarios de KK, se cumple para todo
kh, st ∈ KK que (kh) ∗ (st) ∈ KK.
(ii) Sea kh ∈ KK, por definición sabemos que k, h ∈ K. Ya que K es un subgrupo de G, existen
k −1 , h−1 ∈ K tales que k∗k −1 = h∗h−1 = eG , por lo que (kh)∗(k −1 h−1 ) = (k∗k −1 )(h∗h−1 ) = eG eG .
Ya que eG ∈ K, necesariamente (kh) ∗ (k −1 h−1 ) = eG eG ∈ KK, es decir, k −1 h−1 es el opuesto de
kh, y ya que kh es un elemento arbitrario de KK, necesariamente todo elemento de KK tiene un
opuesto en ∗.
Queda entonces demostrado que KH es un subgrupo de G. □

Queda entonces demostrado que KH es un subgrupo de G si y solo si KH = HK. □

7
(5) (12 puntos) Demuestre que si f : G → K es un morfismo de grupos, entonces:
(a) f (eG ) = eK .
(b) f (g −1 ) = (f (g))−1 , para todo g ∈ G.
(c) ker(f ) ≤ G e Im(f ) ≤ K.
(d) f es un morfismo de grupos inyectivo si y solo si ker(f ) = {1G }.
Solución:
(a) Sean a, a−1 ∈ G y (G, ∗), (K, ⊙) grupos, por hipótesis f es un morfismo de grupo, es decir:

f (eG ) = f (a ∗ a−1 ) = f (a) ⊙ f (a−1 )

Ahora por el ı́tem anterior podemos decir que:

f (a) ⊙ f (a−1 ) = f (a) ⊙ f (a)−1

como por hipotesis (K, ⊙) es un grupo, consecuentemente :

f (a) ⊙ f (a)−1 = eK

Conluimos que:
f (eG ) = eK □

(b) Sea a ∈ G por definición de de f f (a) ∈ K, por hipotesis sabemos que (K, ⊙) es un grupo, por lo que
f (a)−1 existe. Es decir:
f (a) ⊙ f (a)−1 = eK = f (a−1 )−1 ⊙ f (a−1 )
mantenemos la igualdad diciendo que:

f (a−1 )−1 ⊙ f (a−1 ) ⊙ f (a) ⊙ f (a)−1 = ek


   

Por propiedad asociativa de la estructura grupo:

f (a−1 )−1 ⊙ f (a−1 ) ⊙ f (a) ⊙ f (a)−1 = ek


 

Ahora esta igualdad solo se puede dar si y solo si


f (a)−1 = f (a−1 ) y f (a−1 )−1 = f (a)
por lo que podemos concluir que
f (a)−1 = f (a−1 ) □

(c) Por una proposición vista en clase ker(f ) ≤ G si y solo si:


(i) x ∗ y ∈ ker(f ) para todo x, y ∈ ker(f ):
Sean x, y ∈ ker(f ), por definición de Kernel f (x) = f (y) = eK por lo que f (x∗y) = f (x)⊙f (y) = ek .
Concluimos que: x ∗ y ∈ ker(f ).

8
(ii) a−1 ∈ ker(f ), para todo a ∈ ker(f ):
Sea a ∈ ker(f ). por lo probado en los anteriores ı́tem se tiene que ek = f (eG )f (a ∗ a−1 ) = f (a) ⊙
f (a−1 ) = f (a−1 ) Por lo que concluimos que a−1 ∈ ker(f ).
Se concluye entonces que ker(f ) ≤ G. □

Utilizando la misma proposición para demostrar que Im(f ) ≤ K:


(i) h ∗ j ∈ Im(f ) para todo h, j ∈ Im(f ):
Sean h, j ∈ Im(f ) por hipótesis f (h ∗ j) = f (h) ⊙ h(j). Note que tanto f (h), f (j) ∈ K y como (K, ⊙)
es un grupo entonces f (h ∗ j) ∈ Im(f ).
(ii) b−1 ∈ Im(f ):
Sea b ∈ G con f (b) ∈ Im(b). Por hipótesis (G, ∗) es un grupo, lo que nos garantiza la existencia de
b−1 con f (b−1 ) ∈ K. Por lo demostrado en los ı́tem anteriores sabemos que f (b−1 ) = f (b)f −1 , por
lo que concluimos que b−1 ∈ Im(f ).
Se concluye entonces que Im(f ) ≤ K. □

(d)(⇒) Suponga que f es inyectiva. Por lo demostrado en un ı́tem anterior f (eG ) = eK , entonces {eG } ⊂
ker(f ). Ahora, sea x ∈ ker(f ) entonces f (x) = eK = f (eG ). Por hipótesis f es inyectiva, entonces
x ∈ {eG }. □
(⇐) Suponga que ker(f ) = {eG } y sea s, d ∈ G con

f (s) = f (d)
f (s) ⊙ f (d)−1 = eK
f (s ∗ d−1 ) = eK

Luego s ∗ d−1 ∈ ker(f ), por lo que necesariamente s ∗ d−1 = eG , lo que implica s = d. □

Concluimos que f es biyectiva. □

También podría gustarte