麦考伊定理

如果两个 方阵 矩阵 和 可以通过相似变换同时上三角化，那么存在一个排序 , ..., 对于 特征值 和 , ..., 对于 特征值 ，使得对于任何非交换变量的 多项式 ，特征值 是数字 ，其中 , ..., 。麦考伊定理陈述了逆定理：如果每个 多项式 在一致的排序中都表现出正确的 特征值，那么 和 可以同时三角化。