A,B可交换的充要条件是A可以表示为B的多项式.这个利用Jordan标准型可以证明.
具体可以参考许以超《线性代数与矩阵论》243-244页