Matemáticas Discretas II | 2023-I 19 de septiembre de 2023

Julián D. Osorio Carrillo juosorioca@unal.edu.co

Asignación 04

1. Demostrar los teoremas dados.

Definition 0.1 (Homomorfismo). Un homomorfismo de grupos G y H es una aplicación f : G −→ H tal

que para cualesquiera a, b ∈ G se cumple:

f (a · b) = f (a) × f (b)

Corollary 0.0.1. Θ(1G ) = 1H

Demostración. En H se tiene que,

Θ(1G ) = Θ(1G · 1G ) = Θ(1G ) × Θ(1G ) , definición homomorfismo

Θ(1G ) = Θ(1G ) × Θ(1G )
Θ(1G )−1 × Θ(1G ) = Θ(1G ) × Θ(1G ) × Θ(1G )−1
1H = Θ(1G ) × 1H
Θ(1G ) = 1H

Corollary 0.0.2. Θ(a)−1 = Θ(a−1 )

Demostración. Sea a ∈ G cualquiera, tales que,

Θ(a) × Θ(a−1 ) = Θ(a · a−1 ) = Θ(1) = 1

Y como el inverso de un grupo es único para cada Θ(a) ∈ H, entonces para el inverso de Θ(a) se tiene que
Θ(a−1 ) = Θ(a)−1 .

Estos colorarios nos ayudaran a demostrar el teorema en cuestión.

Theorem 0.1. Si Θ : G −→ H es homomorfismo, entonces Img(Θ) es subgrupo de H.

Demostración. Para que Img(Θ) hace falta que cumpla la definición de grupo.
Img(Θ) es cerrado:
Sea a, b ∈ G, como G es grupo, a · b = c ∈ G, tales que,

Θ(a) × Θ(b) = Θ(c) ∈ Img(Θ) , Por definición de imagen

Img(Θ) tiene elemento neutro:

Como G es grupo, 1G ∈ G, tales que,

Θ(1G ) = 1H ∈ Img(Θ) , Por definición de imagen y corolario

1
Existe un inverso para cada a ∈ Img(Θ):
Sea a ∈ G, como G es grupo, a−1 ∈ G, tales que para Θ(a),

Θ(a−1 ) = Θ(a)−1 ∈ Img(Θ) , Por definición de imagen y corolario

Adicionalmente como Img(Θ) hereda la operación binaria × de H que es grupo, se cumple asociatividad
por definición de grupo.
Así pues, Img(Θ) es subgrupo de H.

Theorem 0.2. Si Θ : G −→ H es homomorfismo, entonces Kernel(Θ) es subgrupo de H.

Demostración. Veamos que Kernel(Θ) es subgrupo de G.

Sea a, b ∈ Kernel(Θ) cualesquiera. Por definición de Kernel, Θ(a) = 1H = Θ(b), dado lo anterior visto:

Θ(a · b−1 ) = Θ(a) × Θ(b−1 ) , Por definición de homomorfismo

= Θ(a) × Θ(b)−1 , Por corolario
= 1H × 1H = 1H

De modo que ab−1 ∈ Kernel(Θ).

Sabemos que un subconjunto S de G es subgrupo, si y solo si, cada que a, b ∈ S implica que ab−1 ∈ S. Así
pues, Kernel(Θ) es subgrupo de G.

Theorem 0.3. Sea X ⊂ G. Existe subgrupo S tales que X ⊆ S.

Demostración. Equivale a decir que al tener un conjunto X ⊂ G, existe subgrupo S tales que X ⊂ S, donde
para T cualquier otro subgrupo que contiene a X; S ⊆ T .
Siendo S subconjunto que contiene a X, en cualquier caso, es posible definir el subgrupo T ≡ G, tales que
por definición de subgrupo X ⊆ T , fuera de ello, al ser X subconjunto de G, se tendrá de igual forma X ⊂ T .