四元数矩阵到复矩阵的相似变换

给出四元数体上λ多项式的线性因式分解定理和四元数体上方阵的特征矩阵主法式的存在唯一性定理。用之导出四元数方阵所相似的Jordan形主矩阵的唯一性，四元数矩阵相似于对角形矩阵的一个充要条件及四元数方阵的最小实系数零化多项式的形式。