UNSAAC FACULTAD DE INGENIERIA

HOMOMORFISMOS ENTRE GRUPOS

PRELIMINARES.
Funciones inyectiva y suryectiva.
a) Se dice que una función (transformación) 𝑓: 𝐴 → 𝐵 es inyectiva o uno a uno (que
se escribe 1-1) si elementos diferentes en el dominio A tienen imágenes distintas.

𝑎 ≠ 𝑏 ⟹ 𝑓(𝑎) ≠ 𝑓(𝑏)

Equivalentemente, se dice que f es inyectiva si

𝑓(𝑎) = 𝑓(𝑏) ⟹ 𝑎 = 𝑏.

b) Una función 𝑓: 𝐴 → 𝐵 se dice que es suryectiva (sobre), si cada elemento de B es

la imagen de algún elemento de A. En otras palabras, 𝑓: 𝐴 → 𝐵 es sobre si la
imagen de f es todo el rango; es decir,
𝑓 𝑒𝑠 𝑠𝑜𝑏𝑟𝑒 𝑠𝑖 𝑓(𝐴) = 𝐵.
En este caso se dice que f es una función de A sobre B, o que f mapea A sobre B.

c) Una función f es biyectiva si es inyectiva y suryectiva a la vez.

Ejemplo.
UNSAAC FACULTAD DE INGENIERIA

Considere las funciones 𝑓1 : 𝐴 → 𝐵, 𝑓2 : 𝐵 → 𝐶, 𝑓3 : 𝐶 → 𝐷 y 𝑓4 : 𝐷 → 𝐸 definidas por el

diagrama de la figura

HOMOMORFISMO

Consideremos los grupos (𝐺,∗) y (𝐺 ′ ,∗′ ). Una función (transformación) 𝑓: 𝐺 → 𝐺 ′ se

denomina homomorfismo de grupos, o simplemente, homomorfismo, si para todo
a, b ∈ G,

𝑓(𝑎 ∗ 𝑏) = 𝑓(𝑎) ∗′ 𝑓(𝑏)

o también
𝑓(𝑎𝑏) = 𝑓(𝑎)𝑓(𝑏)

OBSERVACIONES

1. Si f además de ser homomorfismo es inyectiva (uno a uno) y suryectiva (sobre),

entonces f se denomina isomorfismo; y se dice que G y 𝐺 ′ son isomorfos, lo cual se
escribe
𝐺 ≅ 𝐺′
UNSAAC FACULTAD DE INGENIERIA

2. Si 𝑓: 𝐺 → 𝐺 ′ es un homomorfismo, entonces el núcleo (kernel) de f, que se escribe

𝐾𝑒𝑟(𝑓), es el conjunto de elementos cuya imagen es el elemento identidad 𝑒 ′ de
𝐺 ′ ; es decir,
𝐾𝑒𝑟(𝑓) = {𝑎 ∈ 𝐺 | 𝑓(𝑎) = 𝑒 ′ }

3. La imagen de f, que se escribe f (G) o 𝐼𝑚(𝑓), consiste de las imágenes de los

elementos bajo f es decir,
𝐼𝑚 𝑓 = {𝑏 ∈ 𝐺 ′ | 𝑒𝑥𝑖𝑠𝑡𝑒 𝑎 ∈ 𝐺 𝑦 𝑓(𝑎) = 𝑏}.

Ejemplos

1. Sea ℝ el conjunto de números reales. Consideremos los grupos (ℝ, +), y (ℝ, ∙ ),
además la funcion 𝑓: ℝ → ℝ definida por

𝑓(𝑥) = 3𝑥 ; 𝑥 ∈ ℝ.

Observemos que para 𝑎, 𝑏 ∈ ℝ, se tiene:

𝑓(𝑎 + 𝑏) = 3𝑎+𝑏 = 3𝑎 3𝑏 = 𝑓(𝑎). 𝑓(𝑏)

Es decir que 𝑓 es un homomorfismo de grupos entre (ℝ, +) y (ℝ, ∙ ).

UNSAAC FACULTAD DE INGENIERIA

2. Sea 𝐺 un Grupo abeliano y la función 𝑓: 𝐺 → 𝐺 definida por

𝑓(𝑎) = 𝑎2
Esta función es un homomorfismo de G en si mismo.

En efecto

Si 𝑎, 𝑏 ∈ 𝐺, se tiene que

𝑓(𝑎𝑏) = (𝑎𝑏)2 = (𝑎𝑏)(𝑎𝑏) = (𝑎𝑎)(𝑏𝑏) = 𝑎2 𝑏 2 = 𝑓(𝑎)𝑓(𝑏)

3. Consideremos los grupos (ℤ2 , +) y (ℚ , ∙) y la aplicación 𝑓: ℤ2 → ℚ definida por

𝑓(𝑥, 𝑦) = 𝑥 2 + 𝑦 2 + 1

Observemos que (1,0), (0,1) ∈ ℤ2 ,

𝑓((1,0) + (0,1)) = 𝑓(1,1) = 12 + 12 + 1 = 3

𝑓(1,0). 𝑓(0,1) = (12 + 02 + 1). (02 + 12 + 1) = 2.2 = 4

de donde se tiene que 𝑓((1,0) + (0,1)) ≠ 𝑓(1,0). 𝑓(0,1), por lo tanto 𝑓 no es un

homomorfismo de grupos entre ℤ2 𝑦 ℚ
UNSAAC FACULTAD DE INGENIERIA

GRUPO SIMÉTRICO 𝑺𝒏

Una transformación σ uno a uno del conjunto {1, 2, . . . , 𝑖, . . , 𝑛} en sí mismo se denomina

permutación.

Una permutación así se denota como sigue, donde 𝑗𝑖 = 𝜎(𝑖):

1 2 3 ··· 𝑛
𝜎 =( )
𝑗1 𝑗2 𝑗3 · · · 𝑗𝑛

1. El conjunto de todas estas permutaciones se denota por 𝑆𝑛 , y hay

𝑛! = 𝑛(𝑛 − 1) · . . .· 2.1 de ellas.

2. La composición y los inversos de las permutaciones en Sn pertenecen a Sn, y la

función identidad 𝜀 pertenece a Sn.

Nota: Así, Sn forma un grupo bajo la composición de permutaciones, denominado grupo

simétrico de grado n.

COMPOSICIÓN DE PERMUTACIONES.
Ahora, es posible llevar a cabo una sucesión de permutaciones, lo que se puede expresar
como una composición de funciones o, más específico, como una composición de
permutaciones.

EJEMPLO.
Para llevar a cabo la composición de permutaciones f o g, con:

1234 56 123456
𝑓=( ) 𝑔=( )
251346 214365

se lleva a cabo como una composición de funciones estándar, es decir:

UNSAAC FACULTAD DE INGENIERIA

(𝑓 𝑜 𝑔)(𝑥) = 𝑓 (𝑔(𝑥))

de modo explícito, al recorrer los seis valores se obtiene:

𝑓(𝑔(1)) = 𝑓(2) = 5
𝑓(𝑔(2)) = 𝑓(1) = 2
𝑓(𝑔(3)) = 𝑓(4) = 3
𝑓(𝑔(4)) = 𝑓(3) = 1
𝑓(𝑔(5)) = 𝑓(6) = 6
𝑓(𝑔(6)) = 𝑓(5) = 4
Finalmente, se representa
1234 56
𝑓𝑜𝑔 = ( )
523164

EJERCICIOS

DETERMINAR 𝑓 −1 , sabiendo que:

1234 5
𝑓=( )
25134

EJERCICIO
123456
Sea la permutación 𝑓 = ( ), determinar 𝑓 −1
524136
UNSAAC FACULTAD DE INGENIERIA

Ejemplo
1. El grupo simétrico 𝑆3 tiene 3¡ = 6 elementos, como sigue:

1 2 3 1 2 3 1 2 3
𝜀=( ), 𝜎1 = ( ), 𝜎2 = ( ) ,
1 2 3 1 3 2 3 2 1
1 2 3 1 2 3 1 2 3
𝜎3 = ( ) 𝜙1 = ( ), 𝜙2 = ( )
2 1 3 2 3 1 3 1 2

La tabla de multiplicar de S3 se muestra en la figura

UNSAAC FACULTAD DE INGENIERIA