群，formula_12。
例子.假设：那么：
性质.四元数不像实数或复数那样，它的乘法是不可交换的，例如：四元数是除法环的一个例子。除了没有乘法的交换律外，除法环与域是相类的。特别地，乘法的结合律仍旧存在、非零元素仍有唯一的逆元素。四元数形成一个在实数上的四维结合代数（事实上是除法代数），并包括复数，但不与复数组成结合代数。四元数（以及实数和复数）都只是有限维的实数结合除法代数。四元数的不可交换性往往导致一些令人意外的结果，例如四元数的