们可以证明，由O的任何两个元素所生成的子代数都与R、C或H同构，它们都是结合的。由于八元数不满足结合性，因此它们没有矩阵的表示法，与四元数不一样。八元数确实保留了R、C和H共同拥有的一个重要的性质：O上的范数满足这意味着八元数形成了一个非结合的赋范可除代数。所有由凯莱-迪克松构造所定义的更高维代数都不满足这个性质。它们都有零因子。这样，实数域上唯一的赋范可除代数是R、C、H和O。这四个代数也形成了实数域上唯一的交错的、有限维的可除代数。由于八元数不是结合的，因此O的非零元素不形成一个群。然而，