# Octonión dividido

En matemáticas, los octoniones divididos son un álgebra no asociativa de 8 dimensiones sobre los números reales. A diferencia de los octoniones ordinarios, contienen elementos distintos de cero que no son invertibles. Además, las signaturas de sus forma cuadrática difieren: los octoniones divididos tienen una signatura dividida (4,4), mientras que los octoniones ordinarios tienen una signatura definida positiva (8,0).
Excluyendo otros elementos algebraicos isomorfos, los octoniones ordinarios y los octoniones divididos son las únicas dos álgebras de composición de 8 dimensiones sobre los números reales. También son las dos únicas álgebras octoniónicas sobre los números reales. Las álgebras de octoniones divididos análogas a los octoniones divididos se pueden definir sobre cualquier cuerpo.

## Definición
### Construcción de Cayley-Dickson

Los octoniones y los octoniones divididos se pueden obtener a partir de la construcción de Cayley-Dickson definiendo una multiplicación por pares de cuaterniones. Para ello, se introduce una nueva unidad imaginaria ℓ y se expresa un par de cuaterniones (a, b) en la forma a + ℓb. El producto está definido por las reglas siguientes:
    $(a+\ell b)(c+\ell d)=(ac+\lambda {\bar {d}}b)+\ell (da+b{\bar {c}})$
donde
    $\lambda =\ell ^{2}.$
Si se elige λ para que sea −1, se obtienen los octoniones. Si, en cambio, se toma como +1 se obtienen los octoniones divididos. También se pueden obtener los octoniones divididos mediante una duplicación de Cayley-Dickson de los cuaterniones divididos. Aquí, cualquiera de las opciones de λ (±1) da los octoniones divididos.

### Tabla de multiplicar

Una base de los octoniones divididos viene dada por el conjunto $\{\ 1,\ i,\ j,\ k,\ \ell ,\ \ell i,\ \ell j,\ \ell k\ \}$.
Cada octonión dividido $x$ se puede escribir como una combinación lineal de los elementos básicos,
    $x=x_{0}+x_{1}\,i+x_{2}\,j+x_{3}\,k+x_{4}\,\ell +x_{5}\,\ell i+x_{6}\,\ell j+x_{7}\,\ell k,$
con coeficientes reales $x_{a}$.
Por linealidad, la multiplicación de octoniones divididos está completamente determinada por la siguiente tabla de multiplicar:
| | | Multiplicador | Multiplicador | Multiplicador | Multiplicador | Multiplicador | Multiplicador | Multiplicador | Multiplicador |
| | | $1$ | $i$ | $j$ | $k$ | $\ell$ | $\ell i$ | $\ell j$ | $\ell k$ |
| Multiplicando | $1$ | $1$ | $i$ | $j$ | $k$ | $\ell$ | $\ell i$ | $\ell j$ | $\ell k$ |
| Multiplicando | $i$ | $i$ | $-1$ | $k$ | $-j$ | $-\ell i$ | $\ell$ | $-\ell k$ | $\ell j$ |
| Multiplicando | $j$ | $j$ | $-k$ | $-1$ | $i$ | $-\ell j$ | $\ell k$ | $\ell$ | $-\ell i$ |
| Multiplicando | $k$ | $k$ | $j$ | $-i$ | $-1$ | $-\ell k$ | $-\ell j$ | $\ell i$ | $\ell$ |
| Multiplicando | $\ell$ | $\ell$ | $\ell i$ | $\ell j$ | $\ell k$ | $1$ | $i$ | $j$ | $k$ |
| Multiplicando | $\ell i$ | $\ell i$ | $-\ell$ | $-\ell k$ | $\ell j$ | $-i$ | $1$ | $k$ | $-j$ |
| Multiplicando | $\ell j$ | $\ell j$ | $\ell k$ | $-\ell$ | $-\ell i$ | $-j$ | $-k$ | $1$ | $i$ |
| Multiplicando | $\ell k$ | $\ell k$ | $-\ell j$ | $\ell i$ | $-\ell$ | $-k$ | $j$ | $-i$ | $1$ |
Se muestra una regla mnemotécnica en el diagrama de la derecha, que representa la tabla de multiplicar para los octoniones divididos, que se deriva de un octonión padre (uno de 480 posibles), que se define por:
    $e_{i}e_{j}=-\delta _{ij}e_{0}+\varepsilon _{ijk}e_{k},\,$
donde $\delta _{ij}$ es la delta de Kronecker y $\varepsilon _{ijk}$ es el símbolo de Levi-Civita con valor $+1$ cuando $ijk=123,154,176,264,257,374,365,$ y:
    $e_{i}e_{0}=e_{0}e_{i}=e_{i};\,\,\,\,e_{0}e_{0}=e_{0},$
con $e_{0}$ el elemento escalar, y $i,j,k=1...7.$
Las flechas rojas indican posibles inversiones de dirección impuestas al negar el cuadrante inferior derecho del elemento padre, creando un octonión dividido con esta tabla de multiplicar.

### Conjugado, norma e inverso

El conjugado de un octonión dividido x viene dado por
    ${\bar {x}}=x_{0}-x_{1}\,i-x_{2}\,j-x_{3}\,k-x_{4}\,\ell -x_{5}\,\ell i-x_{6}\,\ell j-x_{7}\,\ell k,$
al igual que para los octoniones.
La forma cuadrática en x viene dada por
    $N(x)={\bar {x}}x=(x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2})-(x_{4}^{2}+x_{5}^{2}+x_{6}^{2}+x_{7}^{2}).$
Esta forma cuadrática N(x) es una forma cuadrática isotrópica, ya que hay octoniones divididos x distintos de cero con N(x) = 0. Con N, los octoniones divididos forman un espacio pseudoeuclídeo de ocho dimensiones sobre R', a veces escrito como R$^{4,4}$ para indicar la signatura de la forma cuadrática.
Si N(x) ≠ 0, entonces x tiene un inverso multiplicativo (de dos lados) x$^{−1}$ dado por
    $x^{-1}=N(x)^{-1}{\bar {x}}.$

## Propiedades

Los octoniones divididos, al igual que los octoniones, no son conmutativos ni asociativos. También como los octoniones, forman un álgebra de composición, ya que la forma cuadrática N es multiplicativa. Es decir,
    $N(xy)=N(x)N(y).$
Los octoniones divididos satisfacen las identidades de Moufang, formando un álgebra alternativa. Por lo tanto, según el teorema de Artin, la subálgebra generada por dos elementos cualesquiera es asociativa. El conjunto de todos los elementos invertibles (es decir, aquellos elementos para los cuales N(x) ≠ 0) forman un bucle de Moufang.
El grupo de automorfismo de los octoniones divididos es un grupo de Lie de 14 dimensiones, la forma real dividida del excepcional grupo de Lie simple G$_2$.

## Álgebra de matrices vectoriales de Zorn

Dado que los octoniones divididos no son asociativos, no pueden representarse mediante matrices ordinarias (la multiplicación de matrices siempre es asociativa). Zorn encontró una manera de representarlos como "matrices" que contienen escalares y vectores utilizando una versión modificada de la multiplicación de matrices. Específicamente, defina una matriz vectorial para que sea una matriz 2×2 de la forma
    ${\begin{bmatrix}a&\mathbf {v} \\\mathbf {w} &b\end{bmatrix}},$
donde a y b son números reales y v' y w son vectores en R$^3$. Se define la multiplicación de estas matrices por la regla:
    ${\begin{bmatrix}a&\mathbf {v} \\\mathbf {w} &b\end{bmatrix}}{\begin{bmatrix}a'&\mathbf {v} '\\\mathbf {w} '&b'\end{bmatrix}}={\begin{bmatrix}aa'+\mathbf {v} \cdot \mathbf {w} '&a\mathbf {v} '+b'\mathbf {v} +\mathbf {w} \times \mathbf {w} '\\a'\mathbf {w} +b\mathbf {w} '-\mathbf {v} \times \mathbf {v} '&bb'+\mathbf {v} '\cdot \mathbf {w} \end{bmatrix}}$
donde · y × son el producto escalar y producto vectorial ordinarios de 3 vectores. Con la suma y la multiplicación escalar definidas como de costumbre, el conjunto de todas estas matrices forma un álgebra unitaria de 8 dimensiones no asociativa sobre los números reales, llamada álgebra de matrices vectoriales de Zorn.
Se define ahora el "determinante" de una matriz vectorial según la regla
    $\det {\begin{bmatrix}a&\mathbf {v} \\\mathbf {w} &b\end{bmatrix}}=ab-\mathbf {v} \cdot \mathbf {w}$.
Este determinante es una forma cuadrática en el álgebra de Zorn que satisface la regla de composición:
    $\det(AB)=\det(A)\det(B).\,$
El álgebra de matrices vectoriales de Zorn es, de hecho, isomorfa al álgebra de octoniones divididos. Un octonion $x$ se puede expresar en la forma
    $x=(a+\mathbf {v} )+\ell (b+\mathbf {w} )$
donde $a$ y $b$ son números reales y v' y w son cuaterniones imaginarios puros considerados vectores en R$^3$. El isomorfismo de los octoniones divididos al álgebra de Zorn viene dado por
    $x\mapsto \phi (x)={\begin{bmatrix}a+b&\mathbf {v} +\mathbf {w} \\-\mathbf {v} +\mathbf {w} &a-b\end{bmatrix}}.$
Este isomorfismo preserva la norma desde $N(x)=\det(\phi (x))$.

## Aplicaciones

Los octonones divididos se utilizan en la descripción de las leyes físicas. Por ejemplo:
* La ecuación de Dirac en física (la ecuación de movimiento de una partícula libre de espín 1/2, como, por ejemplo, un electrón o un protón) se puede expresar en la aritmética nativa de los octoniones divididos.
* La mecánica cuántica supersimétrica tiene una extensión octoniónica.
* El álgebra de octoniones divididos basada en las leyes de Zorn se puede utilizar para modelar la cromodinámica cuántica SU(3) simétrica de gauge local.
* El problema de una pelota que rueda sin resbalar en otra bola de radio 3 veces mayor tiene la forma real dividida del grupo excepcional G$_2$ como grupo de simetría, debido al hecho de que este problema se puede describir usando octoniones divididos.