Hay un gran comentario de Jyrki Lahtonen aquí: ¿Por qué el álgebra de cuaterniones es 4d y no 3d?
No es demasiado difícil demostrar que no puede existir un álgebra de división 3D sobre los reales. Si $D$ fuera tal bestia, y $x\in D$ , $x \notin \mathbf{R}$ entonces considere la representación regular izquierda de $D$ por matrices reales de 3x3. La matriz $A$ que representa la multiplicación por $x$ de la izquierda no puede ser escalar, porque $x$ no era uno. Por otro lado, el polinomio de valores propios de $A$ es cúbico, y por lo tanto tiene una raíz $\lambda \in \mathbf{R}$ . Acabamos de demostrar que $x\lambda$ no es invertible.
Esto suena maravilloso, pero está fuera de mi entendimiento. Sería genial si realmente es posible ver la inexistencia de un tipo de sistema numérico sólo usando polinomios y álgebra lineal.
¿Puede alguien aportar los detalles (incluso simplemente enlazar con artículos de la wiki para leerlos)? Por ejemplo:
1) ¿Estamos descartando posibles sistemas numéricos al suponer que existe una representación matricial?
Simplemente dibujando un polinomio cúbico, puedo ver que un extremo debe ir a $+\infty$ y el otro a $-\infty$ por lo que tiene sentido que siempre haya al menos una raíz real. Sin embargo, no entiendo la utilidad de esto. ¿Cómo sabemos que los Reales son un subconjunto de estos nuevos números? (Por ejemplo, con las matrices de 3x3 los reales serían las matrices de 3x3 que son sólo diagonales con todos el mismo número, pero tal vez esos no están incluidos en esta representación de los números 3D. Después de todo, no todas las matrices de 2x2 son números complejos en la representación matricial de 2x2. Tal vez para un sistema numérico 3D, cada componente debe ser "imaginario").
2) ¿Cómo es que el hecho de que haya una raíz real demuestra que no hay un álgebra de división? No sigo el argumento ahí. ¿Cómo entran los polinomios aquí, y cómo demuestra esto que algo no es invertible?
Para entenderlo mejor, ¿cómo falla este argumento con los Reales, los números Complejos o los Cuaterniones? Por ejemplo con los Reales, podríamos considerar la representación trivial por matrices reales de 1x1. Éstas tendrían un polinomio de grado uno de valores propios y, por tanto, también tendrían una raíz real.