摘要

证明了四元数体上n阶方阵构成的A型典型李代数的极大交换ad可对角化子代数的维数为n-1,并且共轭于迹为零的实对角矩阵构成的子代数.