An isomorphism between quaternion and real matrix

• 关于四元数与实矩阵的同构性