# Bicuaternión dividido

En matemáticas, un bicuaternión dividido es un número hipercomplejo de la forma
    $q=w+x\mathrm {i} +y\mathrm {j} +z\mathrm {k} ,$
donde w, x, y y z son números complejos hiperbólicos e i, j y k se multiplican como en el grupo cuaterniónico. Dado que cada coeficiente w, x, y, z abarca dos dimensiones reales , el bicuaternión dividido es un elemento de un espacio vectorial de ocho dimensiones. Considerando que conlleva una multiplicación, este espacio vectorial es un álgebra sobre el cuerpo real, o un álgebra sobre un anillo donde los números complejos divididos forman el anillo. Esta álgebra fue introducida por William Kingdon Clifford en un artículo de 1873 para la London Mathematical Society. Desde entonces, se ha señalado repetidamente en la literatura matemática, como una desviación en la terminología, una ilustración del producto tensorial de álgebras y como una ilustración de la suma directa de álgebras. Los algebristas han identificado los bicuaterniones divididos de diversas formas; consúltese la sección Sinónimos que figura más adelante.

## Definición moderna

Los bicuaterniones divididos guardan un isomorfismo de anillo con respecto al álgebra de Clifford Cl$_{0,3}$(R), el álgebra geométrica generada por tres direcciones de base unitaria imaginaria ortogonal, {e$_1$, e$_2$, e$_3$} según la regla de combinación
    $e_{i}e_{j}={\begin{cases}-1&i=j,\\-e_{j}e_{i}&i\neq j\end{cases}}$
dando un álgebra abarcada por los 8 elementos básicos {1, e$_1$, e$_2$, e$_3$, e$_1$e$_2$, e$_2$e$_3$, e$_3$e$_1$, e$_1$e$_2$e$_3$}, con (e$_1$e$_2$)$^2$ = (e$_2$e$_3$)$^2$ = (e $_3$e$_1$)$^2$ = −1 y ω$^2$ = (e$_1$e$_2$e$_3$)$^2$ = +1. La subálgebra abarcada por los 4 elementos {1, i= e$_1$, j= e$_2$, k= e$_1$e$_2$} es la anillo de división de la cuaternión, H= Cl$_{0,2}$(R) de Hamilton. Por lo tanto, se puede ver que
    $\mathrm {Cl} _{0,3}(\mathbf {R} )\cong \mathbf {H} \otimes \mathbf {D}$
donde D= Cl$_{1,0}$(R) es el álgebra abarcada por {1, ω}, el álgebra de los números complejos hiperbólicos.
De manera equivalente,
    $\mathrm {Cl} _{0,3}(\mathbf {R} )\cong \mathbf {H} \oplus \mathbf {H} .$

## Grupo de los bicuaterniones divididos

Los bicuaterniones divididos forman un anillo asociativo como se desprende claramente al considerar multiplicaciones en su base {1, ω, i, j, k, ωi, ωj, ωk}. Cuando ω se une al grupo cuaterniónico se obtiene un grupo de 16 elementos
    ( {1, i, j, k, −1, −i, −j, −k, ω, ωi, ωj, ωk, −ω, −ωi, −ωj, −ωk}, ×).

## Módulo

Dado que los elementos {1, i, j, k} del grupo cuaterniónico se pueden tomar como base del espacio de bicuaterniones divididos, se pueden comparar con un espacio vectorial. Pero los números complejos divididos forman un anillo, no un cuerpo, por lo que el término "espacio vectorial" no es apropiado. Más bien, el espacio de los bicuaterniones divididos forma un módulo libre. Este término estándar de la teoría de anillos expresa una similitud con un espacio vectorial, y esta estructura de Clifford en 1873 es un ejemplo. Los bicuaterniones divididos forman un álgebra sobre un cuerpo, pero no un anillo de grupo.

## Suma directa de dos anillos de cuaterniones

La suma directa del anillo de división de los cuaterniones consigo mismo se denota como $\mathbf {H} \oplus \mathbf {H}$. El producto de dos elementos $(a\oplus b)$ y $(c\oplus d)$ es $ac\oplus bd$ en esta álgebra de suma directa.
Proposición: El álgebra de los bicuaterniones divididos es isomorfa a $\mathbf {H} \oplus \mathbf {H} .$
Demostración: Cada bicuaternión dividido tiene una expresión q = w + z ω donde w y z son cuaterniones y ω$^2$ = +1. Ahora bien, si p = u + v ω es otro bicuaternión dividido, su producto es
    $pq=uw+vz+(uz+vw)\omega .$
La aplicación isomorfa de bicuaterniones divididos sobre $\mathbf {H} \oplus \mathbf {H}$ viene dada por
    $p\mapsto (u+v)\oplus (u-v),\quad q\mapsto (w+z)\oplus (w-z).$
En $\mathbf {H} \oplus \mathbf {H}$, el producto de estas imágenes, según el álgebra-producto de $\mathbf {H} \oplus \mathbf {H}$ indicado anteriormente, es
    $(u+v)(w+z)\oplus (u-v)(w-z).$
Este elemento también es la imagen de pq bajo la aplicación sobre $\mathbf {H} \oplus \mathbf {H} .$ Así, los productos concuerdan, la aplicación es un homomorfismo; y como es biyectiva, es un isomorfismo.
Aunque los bicuaterniones divididos forman un espacio de ocho dimensiones como los bicuaterniones de Hamilton, sobre la base de la Proposición es evidente que este álgebra se divide en la suma directa de dos copias de los cuaterniones reales.

## Bicuaternión de Hamilton

Los bicuaterniones divididos no deben confundirse con los bicuaterniones (ordinarios) introducidos previamente por William Rowan Hamilton. Los bicuaternión de Hamilton son elementos del álgebra
    $\mathrm {Cl} _{2}(\mathbf {C} )=\mathbf {H} \otimes \mathbf {C} .$
    $\mathrm {Cl} _{3,0}(\mathbf {R} )=\mathbf {H} \otimes \mathbf {C} .$

## Sinónimos

Los siguientes términos y compuestos se refieren al álgebra de bicuaterniones divididos:
* Bicuaterniones elípticos – Clifford, 1873, Rooney, 2007
* Bicuaterniones de Clifford – Joly, 1902, van der Waerden, 1985
* Dicuaterniones – Rosenfeld, 1997
* $\mathbf {D} \otimes \mathbf {H}$ donde D = números complejos hiperbólicos – Bourbaki, 1994, Rosenfeld, 1997
* $\mathbf {H} \oplus \mathbf {H}$, el suma directa de dos álgebras de cuaterniones – van der Waerden, 1985