分解型双四元数