Formanek中心多项式的唯一构作.pdf

维普资讯 数 学 研 究 与 评 论 第 1O卷 第 2期 JOURNAL oF M ATHEM ATICAI Vo1．tO N 0．2 199O年 5月 RESEARCH AN D EXPOSIT ION M ay． 1990 Formanek中心 多项式的唯一构作 郑 玉 美 (湖 北 大 学 教 学 系 ． 武 汉 ) Formanek构作 了历史上第一个 中心多项式，其构作方法如下： 令 ( --， +1)：兀 (l一 )(+t一 ) 兀 (一■)：E c《， 砖… J=2 2 f ‘ (4 此处 是可换变元 ． 将可换变元 换成不可换变元 ，插进不可换变元 ，再令 Gt：G(， ．_-．， )=E c㈦ ’yt Y2…X ’ 轮换 后得到 ． G2=G(X ， ．Y3，… ， ，Y1) G3=G(X ．Y3，… ，y ，yl， ) 等等，于是 G-+G2+… +G 就是所希望的 中心 多项式 ． 设 X=diag{ ，…， ‘)是一般矩阵环中的对角阵，y^=( )是一般 阶方阵， 处 与 是可换变元 ．根据 Gee 的 多重线性 及括梯算法我们有 G女=G(五 ，…，y^，Y ¨ Y t)：D (!) 此处 D= 兀 (一 )是-上的判 4式． 1 J ^ Dk=diag{ l，d … ， ) 且 = ：Jf … ：， k．，l，2，…，． ： i 是 阶置换群 ． 引理 l 对于固定的 及适当的 ≠ ，在 d女。的单项 式集合中恰有 (一2)!个d，的单 项 式． ff-M dr,的任一单项有形式 ·一 - 1’此处 1=1．于是有某个 ，使得 ，=2．这样就 ． 有 适当的 口使得 口=，+k一1或 ，+k—l— 而使 … … YT~(I-I ’1988年儿月21日收刊 171— 维普资讯 这也是 2的一个单项式 显见 ≠k，而且这 样的置换使得T(1)=1．(，)：2+这 种置换 恰 有 (月一2)!个 ． 对固定的k今设 ，=(月一1)!，dkI的 (一1)1个单项式可 以写成 (女