第三章 2. 超复数数系，四元数，八元数，十六元数

一、超复数数系

 

  从实数扩展到复数，实际上是从实数轴扩张到复平面，即从一元数扩展到二元数。那么我们能够扩展到更高维的空间哪？数学家给了我们答案，我们可以引进$2^{n}$元数。当$n=0,1$时，分别对应实数和复数。当$n=2,3,4$分别对应四元数(Hamilton代数)，八元数（Cayley代数），以及十六元数（Clifford代数）。它们统称为超复数。

  当$n\geq 1$时，我们就已经无法比较数的大小，即有序性消失。下面我们就$n=2,3,4$的情况分别讨论。

 

二、 四元数系$Q(R)$

 

  四元数系是第一个放弃乘法交换律的数系。它由四组基元定义。

  令$Q(R)=\{\alpha|\alpha=a+b\hat i+c\hat j+d\hat k,\,a,b,c,d\in\mathbb{R}\}$，用自然方式定义加法，以及元素与实数的数乘运算，而乘法规定为用分配律去展开，并且基元的乘法运算满足

  ${\hat i}^2={\hat j}^2={\hat k}^2=-1,\,\hat i\hat j=-\hat j\hat i=\hat k,\,\hat j\hat k=-\hat k\hat j=\hat i,\,\hat k\hat i=-\hat i\hat k=\hat j$.

  从基元的乘法可以看出，四元数的乘法是不对易的，因此$Q(R)$是一个非Abel域。注意准确地讲