対角化可能

$A \in M_n(K)$ が $K$ 上対角化可能であるとは、ある正則行列 $P \in GL_n(K)$ と対角行列 $D \in M_n(K)$ が存在して $P^{-1}AP = D$ となることをいう。このとき $P$ を対角化する行列、$D$ を $A$ の対角形という。