四元数正规矩阵的一些性质

得到了四元数体Q上正规矩阵的双行列式的一些不等式，同时给出了可中心化正规矩阵的一些性质。