P を正則行列とする。

Inverse[P] * A * P

が対角行列になるような P を求めるということは考えますが、

Transpose[P] * A * P

が対角行列になるような P はなぜ考えないのでしょうか?