分解型四元数