la_22的反四元数q称为零向量（Null vector而非Zero vector)，它的存在意味着反四元数形成"分裂的合成代数"，因此反四元数也被称为分裂四元数。当范数非零时，"formula_17"有倒数，即 formula_24. 集合是单位元的集合。 全体分裂四元数的集合formula_26组成环 formula_27 ，其单位群为formula_28。全体formula_29的分裂四元数组成一个非紧致的拓扑群 formula_30，且与formula_31同构（见下）。历史上讲，分裂四