是的，矩阵对角化是唯一的。对于一个n阶方阵A，如果存在非零向量p使得A=p*A，那么B就是A的对角化，即B是A的矩阵对角化。这是因为对于任何非零向量p，如果存在非零向量使得B=p*B，那么D就是A的对角化，即D是A的矩阵对角化，因为D是A的矩阵对角化。