中文

每个矩阵都相似于伴随矩阵的多项式吗?

环与代数 2013-04-08 v1

摘要

给定域 FF、整数 n1n\geq 1 和矩阵 AMn(F)A\in M_n(F),是否存在多项式 f,gF[X]f,g\in F[X],其中 ffnn 次首一多项式,使得 AA 相似于 g(Cf)g(C_f),这里 CfC_fff 的伴随矩阵?对于无限域,答案显然是肯定的,因此我们专注于有限域。在这种情况下,只要 Fn2|F|\geq n-2,我们就给出肯定的回答。此外,对于任何有限域 FF(设 F=m|F|=m),我们构造了一个矩阵 AMm+3(F)A\in M_{m+3}(F),它不相似于任何形式为 g(Cf)g(C_f) 的矩阵。上述内容有用且具有独立兴趣的是,一种仅根据 ffgg 确定任意给定矩阵 g(Cf)g(C_f) 相似类型的构造性过程,无需求助於 FF 或其任何扩域中的多项式根。这进而产生了一种算法,给定 gg 和任意 AA 的不变因子,返回 g(A)g(A) 的初等因子。这是一种有理过程,不同于利用 AA 的 Jordan 分解来寻找 g(A)g(A) 分解的经典方法。最后,扩展作者先前的结果,我们证明了对于具有分式域 FF 的整闭环 RR 以及伴随矩阵 C,DC,DMn(R)M_n(R) 的子代数 R<C,D>R< C,D> 是一个秩为 n+(nm)(n1)n+(n-m)(n-1) 的自由 RR-模,其中 mmgcd(f,g)F[X]\gcd (f,g)\in F[X] 的次数,并给出了 R<C,D>R< C,D> 关于 CCDD 的表示。提供了一个反例,表明如果 RR 不是整闭的,则 R<C,D>R< C,D> 不一定是自由 RR-模。前述信息用于研究 Mn(R)M_n(R) 等作为 R[X]R[X]-模的性质。

关键词

引用

@article{arxiv.1304.1794,
  title  = {Is every matrix similar to a polynomial in a companion matrix?},
  author = {Natalio H. Guersenzvaig and Fernando Szechtman},
  journal= {arXiv preprint arXiv:1304.1794},
  year   = {2013}
}