A可对角化⇔它的最小多项式可以分解为互素的一次因式的乘积
发布人