不唯一，有无穷多个P。例如[P^(-1)]AP=B，则对于任何非零数k都有[(kP)^(-1)]A(kP)=B。
你说的这个结论不成立，最简单的反例是a=b=e是单位阵，则任何同阶可逆p都满足p逆ap=b。
