满足某些多项式恒等式的矩阵的表征.pdfVIP

第29卷第12期 华中科技大学学报 Ⅵ)l29 Nn12 20【11年12月 sci＆1kh De(． 2001 J Huazho“gUnlv。f 满足某些多项式恒等式的矩阵的表征 王心夼 (华中科技大学数学系) 摘要：讨论两个问题：a．证明满足条件1砧(Ax)=确(xA)．vx∈M。(c)的奇异矩阵A的表征可简化 为满足条件2韶(Ax)=o，vx∈M。(c)的矩阵A的表征；b给出关于条件2的表征的两个结果这里 H是n次对称群s。的子群，而确表示由群H的酉表示．!Ⅵ诱导的矩阵函数 关t词：矩阵论；酉表示；聘集；轨道 2 文献标识码：A 中围分类号：0151．2l；015l 文章编号：1000—8616(2001)12—0104一03 M甲Gong[1]证明了满足硝(Ax)=蹋(xA)，Vx∈M。(c)}； co(H，M)={A∈M。(c)ldet(A)二0； 卅(xA)，Vx∈M。(c)的奇异矩阵A的表征可 且确(Ax)=甜(xA)，Vx∈％(c)}； 简化为满足dF(Ax)=o，Vx∈M。(c)的矩阵 A的表征，并且给出了关于满足后者的表征的一 cl(H，M)={A∈M。(c)ldet(A)≠0， 些结果，这里d，表示由群H的特征标^诱导的 矩阵函数，本文利用群表示论将此结果推广到由 N(H，M)=}A∈M。((：)l 群H的酉表示M诱导的矩阵函数上，同样也得 碥(Ax)=0，Vx∈M。(c)}． 到了相应的结果． 定理1设A∈M。(c)，则A∈Co(H，M) 设H是n次对称群S。的子群，M是群H的 的充要条件是A，A。∈Ⅳ(H，M)． 酉表示，若A=(n。)∈M。(c)，则由群表示M诱 证明 先证条件的必要性，由A∈cn(H， 导的矩阵函数定义为 M)，知A为奇异矩阵，因而存在非零向量z= ∞(A)=∑M(一)Ⅱ日础卜 (工1，T2，…，z。)7使Az=0，设工，是．r的第一 d∈H r=1 个非零分量，记xo=(8l，92，…，F，l，z． L表示从{1，2，…，”}到自身的一切函数的集 1≤ o+l，…，％)，这里P，=(0．…，Ol，0，…， 合，即■={a=(a(1)，n(2)，…，。(n)l 0)’，可以看出Xo非奇异，且detxo=r，由于 a(i)≤”，2-l，2…，”I，设A∈M。(C)，且a， AXo=(A8l，…，AP，lAz，AF，+t，…， 卢∈■，则A[nI卢]表示n×”矩阵，且(A[。j AP。)=(A。1，…，AP，一l，0，AP，+l，…，AP。) 卢])。=A。(，)口(，)，A’表示A的共轭转置，若口∈ n，一∈S，则记一=(a(a(1))，…，a(a(”)))， 踢(Ax)=碥(xA)． 』(H，M)表示H中满足M(r)=s(r)M(e)的对 (I) 换r生成的子