UNIVERSIDAD CENTRAL DEL ECUADOR

FACULTAD DE CIENCIAS
ESTRUCTURAS ALGEBRAICAS
INTEGRANTES:
 Jami Luis
 Quimbita Alisson
 Torres Roy

CURSO: 4-1
CUATERNIONES

Los cuaterniones son una extensión de los números reales, similar a la de los números
complejos. Mientras que los números complejos son una extensión de los reales por la adición
de la unidad imaginaria i, tal que 𝒊𝟐 = −𝟏, los cuaterniones son una extensión generada de
manera análoga añadiendo las unidades imaginarias: 𝒊, 𝒋 y 𝒌 a los números reales y tal que
𝒊𝟐 = 𝒋𝟐 = 𝒌𝟐 = −𝟏.

 (𝑸𝟖 , ∙ )
Presentación del grupo 𝑄8 de cuaterniones

Definimos:

𝑄8 ≔ {1, 𝑖, 𝑗 , 𝑘, −1, −𝑖, −𝑗, −𝑘}

o Regla de multiplicación 𝑖, 𝑗, 𝑘

∙ 1 i j k
1 1 i j k
i i -1 k -j
j i -k -1 i
K k j -i -1

Con las relaciones:

 𝑖 2 = 𝑗 2 = 𝑘 2 = −1
𝑖𝑗 = 𝑘, 𝑗𝑘 = 𝑖, 𝑘𝑖 = 𝑗, 𝑗𝑖 = −𝑘, 𝑘𝑗 = −𝑖, 𝑖𝑘 = −𝑗

∙ 1 -1 𝒊 𝒋 𝒌 −𝒊 −𝒋 −𝒌
1 1 -1 𝑖 𝑗 𝑘 −𝑖 −𝑗 −𝑘
-1 -1 1 -i -j -k i j k
𝒊 i -i -1 k -j 1 -k j
𝒋 j -j -k -1 i k 1 -i
𝒌 k -k j -i -1 -j i 1
−𝒊 -i i 1 -k j -1 k -j
−𝒋 -j j k 1 -i -k -1 i
−𝒌 -k k -j i 1 j -i -1

𝑄8 =< 𝑖, 𝑗 , 𝑘 , − 𝑖, − 𝑗 , −𝑘 | 𝑖 2 = 𝑗 2 = 𝑘 2 = −1, −𝑖 2 = −𝑗 2 = −𝑘 2 = 1 >

Condiciones de subgrupo
Por definición sabemos que H es subgrupo de G si

1. H es no vacío.
2. Para todo g,g’ que pertenece H: g*g’ también pertenece a H
3. Para todo g que pertenece H su inverso también está en H.

En efecto el 𝑸𝟖 tiene subgrupos de orden 1, 2 y 4.

 El subgrupo de orden 1 es el trivial.

 Ahora busquemos los subgrupos de orden 4.

Para los subgrupos de 𝑸𝟖 (Orden cuatro)

∙ 1 -1 𝒊 𝒋 𝒌 −𝒊 −𝒋 −𝒌
1 1 -1 𝑖 𝑗 𝑘 −𝑖 −𝑗 −𝑘
-1 -1 1 -i -j -k i j k
𝒊 i -i -1 k -j 1 -k j
𝒋 j -j -k -1 i k 1 -i
𝒌 k -k j -i -1 -j i 1
−𝒊 -i i 1 -k j -1 k -j
−𝒋 -j j k 1 -i -k -1 i
−𝒌 -k k -j i 1 j -i -1

o 𝑯𝟏 = {𝟏, −𝟏, 𝒊, −𝒊} Verifiquemos si en efecto es un subgrupo de 𝑸𝟖 .

 - 𝐻1 es un conjunto no vacío.
- Verifiquemos la propiedad 2, realizando la tabla pitagórica

∙ 1 -1 𝒊 −𝒊
1 1 -1 𝑖 −𝑖
-1 -1 1 -i i
𝒊 I -i -1 1
−𝒊 -i i 1 -1

En efecto para cualquier elemento de 𝐻1 la operación que se define sigue en 𝐻1 .

 Probemos la tercera propiedad, revisando la tabla pitagórica.

∙ 1 -1 𝒊 −𝒊
1 1 -1 𝑖 −𝑖
-1 -1 1 -i i
𝒊 I -i -1 1
−𝒊 -i i 1 -1

Probemos que para todo g que pertenece H su inverso también está en H.

1=1∗1

1 = (−1) ∗ (−1)

1 = (𝑖) ∗ (−𝑖)

1 = (−𝑖) ∗ (𝑖)

Por tanto 𝑔−1 pertenece a H

Como verifica 1,2 y 3 𝐻1 es un subgrupo de 𝑄8

𝐻1 tiene la forma del conjunto 𝐶4 .

Ahora busquemos otro subgrupo de orden 4 en nuestra tabla pitagórica

 ∙ 1 -1 𝒊 𝒋 𝒌 −𝒊 −𝒋 −𝒌
1 1 -1 𝑖 𝑗 𝑘 −𝑖 −𝑗 −𝑘
-1 -1 1 -i -j -k i j k
𝒊 i -i -1 k -j 1 -k j
𝒋 j -j -k -1 i k 1 -i
𝒌 k -k J -i -1 -j i 1
−𝒊 -i i 1 -k j -1 k -j
−𝒋 -j j K 1 -i -k -1 i
−𝒌 -k k -j i 1 j -i -1

o 𝑯𝟐 = {𝟏, −𝟏, 𝒋, −𝒋} también es un subgrupo de 𝑄8 ya que verifica las tres propiedades
anteriores..

Veamos la tabla pitagórica de 𝐻2

∙ 1 -1 𝒋 −𝒋
1 1 -1 𝑗 −𝑗
-1 -1 1 -j j
𝒋 J -j -1 1
−𝒋 -j j 1 -1

Finalmente, el último subgrupo

∙ 1 -1 𝒊 𝒋 𝒌 −𝒊 −𝒋 −𝒌
1 1 -1 𝑖 𝑗 𝑘 −𝑖 −𝑗 −𝑘
-1 -1 1 -i -j -k i j k
𝒊 i -i -1 k -j 1 -k j
𝒋 j -j -k -1 i k 1 -i
𝒌 k -k j -i -1 -j i 1
−𝒊 -i i 1 -k j -1 k -j
−𝒋 -j j k 1 -i -k -1 i
−𝒌 -k k -j i 1 j -i -1

Finalmente se hallará el último subgrupo de orden 4.

o 𝑯𝟑 = {𝟏, −𝟏, 𝒌, −𝒌} también cumple con las propiedades anteriores

∙ 1 -1 𝒌 −𝒌
1 1 -1 𝑘 −𝑘
-1 -1 1 -k k
𝒌 k -k -1 1
−𝒌 -k k 1 -1
Por tanto el grupo 𝑄8 tiene 3 subgrupos de orden 4

Para los subgrupos de 𝑸𝟖 (Orden dos )

∙ 1 -1 𝒊 𝒋 𝒌 −𝒊 −𝒋 −𝒌
1 1 -1 𝑖 𝑗 𝑘 −𝑖 −𝑗 −𝑘
-1 -1 1 -i -j -k i j k
𝒊 i -i -1 k -j 1 -k j
𝒋 j -j -k -1 i k 1 -i
𝒌 k -k j -i -1 -j i 1
−𝒊 -i i 1 -k j -1 k -j
−𝒋 -j j k 1 -i -k -1 i
−𝒌 -k k -j i 1 j -i -1

o 𝑯𝟒 = {𝟏, −𝟏}

∙ 1 -1
1 1 -1
-1 -1 1

Por tanto el grupo 𝑄8 tiene un subgrupo de orden 2.

RETICULADO DEL GRUPO

𝑸𝟖

𝑯𝟏 𝑯𝟐 𝑯𝟑
{𝟏, −𝟏, 𝒊, −𝒊} {𝟏, −𝟏, 𝒋, −𝒋} {𝟏, −𝟏, 𝒌, −𝒌}

𝑯𝟒
{𝟏, −𝟏}

{𝟏}
 𝑸𝟖
2 2
2
𝑪𝟒 4 𝑪𝟒 𝑪𝟒
{𝟏, −𝟏, 𝒊, −𝒊} {𝟏, −𝟏, 𝒋, −𝒋} {𝟏, −𝟏, 𝒌, −𝒌}

𝑪𝟐 4

4 {𝟏, −𝟏} 4

{𝟏}

DIAGRAMA DE CAYLEY
Otras representaciones

k -i j
-j j
1 i
-j -i -j
1 -i -i 1
k
k -i
-i -1

k -k
-k -j
-i

BIBLIOGRAFÍA
FRALEIGH, John B. (1982) – Álgebra Abstracta – Massachusetts: Adisson-Wesley.
SITIOS WEB

 http://cadadr.org/san-salvador/2018-algebra/q8.pdf
 http://weddslist.com/groups/cayley-31/index.html