>>359
A^n = EならばAの最小多項式はX^n-1を割る。
従って標数pがnの約数でなければ最小多項式は分離的でAは対角化可能。