5 votos

Por qué no hay $5$ -¿Análogo dimensional de los cuaterniones?

Por qué no hay $5$ -¿Análogo dimensional de los cuaterniones? ¿Por qué la siguiente definición no está bien definida? $$i^2=j^2=k^2=\ell^2=ijk=jk\ell=k\ell i=-1,\quad ijkl=1.$$

6 votos

$ijk=-1$ y $ijkl=1$ implica $-1(l)=1$

4 votos

10voto

Si buscas un espacio vectorial real $V$ con base $\{1,i,j,k,\ell\}$ y un producto asociativo tal que $V$ se convierte en $\Bbb{R}$ -entonces nos encontramos con la siguiente dificultad.

La norma que $i^2=-1$ significa que $V$ también tiene una estructura como espacio vectorial sobre el campo $\Bbb{C}=\Bbb{R}(i)$ .

Pero un espacio vectorial sobre $\Bbb{C}$ tiene necesariamente una dimensión par como espacio vectorial sobre $\Bbb{R}$ .


Lo anterior no es probablemente el camino más corto hacia una contradicción (véase el comentario de verret). Pero también descarta muchas modificaciones de las relaciones sugeridas que definen el producto.

0 votos

En la misma línea, si $\Bbb{H}$ es el álgebra de división habitual de los cuaterniones, entonces cualquier álgebra asociativa $A$ que contiene $\Bbb{H}$ como subálgebra es también una izquierda (o derecha) libre $\Bbb{H}$ -módulo. Por lo tanto $\dim_{\Bbb{R}}A$ es necesariamente divisible por cuatro.

0 votos

Creo que en realidad podemos relajar un poco la asociatividad, pero no estoy seguro de cuál es la mejor forma de expresarlo :-)

1 votos

Un poco más relajado: si $A$ es un álgebra alternativa real con $n$ raíces cuadradas anticonmutadas de uno negativo, entonces $A$ es una representación del álgebra de Clifford ${\rm Cliff}(n)$ . Desde $\mathrm{Cliff}(n)\cong M_k(\Bbb K)$ para algunos $k$ las dimensiones de sus repeticiones son todas múltiplos de $km$ donde $m=1,2,2,4,4,8$ y $\Bbb K=\Bbb R,\Bbb R^2,\Bbb C,\Bbb C^2,\Bbb H,\Bbb H^2$ . Nota $k$ y $\Bbb K$ puede determinarse a partir de $n$ usando el "reloj de Clifford".

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X