四元数体上矩阵的可∑化基本定理

证明了实四元数体上的任何方阵都是可∑化矩阵。