关于矩阵多项式环的理想

讨论了矩阵多项式环的单位、理想等方面的性质,并通过引入矩阵多项式的次数的概念,得到了相应的带余除法定理.     

某些矩阵方程

设f(x)为任意域F上n级矩阵A的可分和不可约的特征多项式.对于给定的g(x)∈F|x|,我们给出g(B)=A有解B∈Mn(F)充分必要条件为存在v∈F(u)(F的扩域)使得f(u)=0且f(g(v))=0.进一步,我们给出了有关多项式g(x)=:x2 ax b,x3 ax2 bx c,xm-a和xq-x a(q为F的特征)的上矩阵方程有解的等价条件.     

多项式代数上的微分理想

设k[x]是特征为零的域k上的一元多项式环.研究了k[x]上带权的非零单项式微分算子对应的微分理想的性质,利用矩阵求最大公因式的方法,确定了由一个多项式生成的微分理想作为通常意义上的理想时的生成元.     

有限域上矩阵方程X^p—X—aI=A的解

针对多项式g(x)=xp-x-a∈F[x],本文给出了矩阵方程Xp-X-aI=A有解的一个判定定理.将域F上的n维线性空间视为由A导出的F[x]模M,此模的结构完全由给定的线性变换决定,并且利用模论知识来判断矩阵方程g(X)=A的有解性,从而使这一问题的研究思路更加清晰.     

矩阵多项式的特征矩阵的初等因子组

本文给出完全域F上矩阵多项式h（A）的特征多项式fh（A）（λ）及其特征矩阵λE-h（A）的初等因子组.这里A∈Mn（F）,h（X）∈F[x].     

有限域上矩阵方程X~p-X-aI=A的解

针对多项式g(x)=xp-x-a∈F[x],本文给出了矩阵方程Xp-X-aI=A有解的一个判定定理.将域F上的n维线性空间视为由A导出的F[x]模M,此模的结构完全由给定的线性变换决定,并且利用模论知识来判断矩阵方程g(X)=A的有解性,从而使这一问题的研究思路更加清晰.     

素数p在Q(2l√U)上的分解

设Q为有理数域,F=Q(2l√u))(其中l是奇素数,u∈N),OF为域F对应的代数整数环.运用局部域的方法彻底解决了任意素数p在代数整数环OF中的素理想的分解问题,并且完全确定素数p在OF中可能出现的素理想分解的具体形式.     

素数p在Q(2（1/2）u)上的分解

设Q为有理数域,F=Q(^2（1/2）u)（其中是奇素数,u∈N）,OF为域F对应的代数整数环.运用局部域的方法彻底解决了任意素数p在代数整数环OF中的素理想的分解问题,并且完全确定素数p在OF中可能出现的素理想分解的具体形式.     

特征多项式相同的矩阵的一个结论

本文给出了数域F上的两个n阶矩阵A、B,当它们的特征多项式相同时,这两个矩阵一定相似的条件.     

可上三角化的多项式映射

设F=X H:Kn→Kn为特征0的域k上的多项式映射,当F=(x1 h1,…,xn hn),hi(x)=xi (ai1x1 … ainxn)3,i=1,…,n时,称F为三次线性多项式映射.通过矩阵A=[aij:i,j=1,…,n]的幂零性质,研究了上述三次线性多项式的上三角化问题,证明在秩为3时A是强幂零的,而在秩为4时不是强幂零的,从而在秩为4时,多项式映射F并不总是可上三角化.为进一步了解强幂零性质,最后讨论了与强幂零性质有紧密联系的一些猜想和性质.     

PIMD上一元多项式环的素理想分类

设R是主理想整环,若R有无穷多个极大理想,则称R是Principal Ideal Maximal Domain,简称为PIMD.设x是PIMD上的未定元,R[x]是R上的一元多项式环.依据整环的基本理论和唯一分解环的结构理论,研究R[x]的素理想和极大理想,推证了R[x]的任一主理想都不是极大理想,给出了构造R[x]的极大理想的一种方法,得到了R[x]的素理想是极大理想的条件,最终给出R[x]的素理想分类定理.     

伽罗华环上λ-循环码的结构

一些重要的二元非线性码是Z4上线性码在Glay映射下的像集,因而需要对有限环上的线性码特别是循环码的研究给予特别关注.设p是素数,R=GR（ps,pms）是特征为ps并且元素个数为psm的Galois环,选定λ∈R并且λ是非零因子.设C是R上的长为n的线性码,如果c=（c0,c1,…,cn-1）∈C都有（λcn-1,c0,c1,…,cn-2）∈C,则称是R上长为n的λ-循环码.R上的λ-循环码可以等同于商环Rλn=R[x]/〈xn-λ〉中的理想.设xn-λ=f1…fk,fi=（xn-λ）/fi,其中f1,…,fk是R上两两互素,首项系数为1的基本不可约多项式,证明了Rλn中的任何理想都是形如〈pj fi＋〈xn-λ〉〉的一些理想的内直和,其中0≤j≤s,1≤i≤k;Rλn共有（s＋1）k个理想;R[x]/〈xn-λ〉是主理想环.     

半群局部化中的理想与Ress商

本文是[1]、[2]的继续,讨论交换么半群局部化的有关理想的性质,首先,我们给出半群局部化中理想、素理想与准素理想的一般形式,其次,证明关于Ress商的一个公式。     

分配格的二个等价条件

首先讨论了格的子集生成幻和生成对偶幻的运算性质。然后给出一个反例，指出［１］中一定理有误，并由此获得分配格的两个等价条件（即：格是分配格的两个等价命题）。     

四元数代数Z_n[i,j,k]的素谱和根(英文)

Z n 上的四元数环Z n [i,j,k]是一个Z n 上的代数.该文研究Z n [i,j,k]的相关性质并证明Z n [i,j,k]是一个局部环当且仅当n为2的方幂.并且,完全确定了Z n [i,j,k]的极大单边理想,极大双边理想,素谱和Jacobson根.     

有限伪反射群的二维不变式

设F是特征数为0的域,V是F上的n维向量空间,G是作用在n维向量空间V上的有限伪反射群,F[V*]G是由n个代数无关的齐次不变式f1,f2,…,fn在F上生成的多项式代数.在有限伪反射群的一般不变式理论的基础上,求出了G的二维不变式环F[2V*]G的一组基本不变式,f1(x1,x2,…,xn),f2(x1,x2,…,xn),…,fn(x1,x2,…,xn),f1(y1,y2,…,yn),f2(y1,y2,…,yn),…,fn(y1,y2,…,yn),这里F[2V*]=F[x1,x2,…,xn;y1,y2,…yn].并给出了F[2V*]G的基本不变式和有限伪反射群G之间的关系.     

The Goldbach 3-primes property for polynomial rings over certain infinite fields

On the basis of Effinger and Hayes’ theorem about the Goldbach 3-primes property of polynomial rings F[x] over finite fieldsF, by model-theoretic method it is proved that for each characteristick (including 01, there exist infinitely many infinite fieldsF such that F[x] also satisfy Goldbach 3-primes property.     

特征为2的有限域上二次函数指数和计算的新方法

设二次函数f(x)=∑1≤i≤kaix1+2αi,k相似文献   

关于ω阶Euclid理想的一些性质

理想A称为ω阶Euclid理想,如果对任何a,b∈A,a≠0,有k阶可除链(k∈N),使得φ(rk)<φ(a),其中φ:A→NU{0}且满足:φ(x)≥0对任何x∈A;φ(x)=0当且仅当x=0.文章建立了ω阶Euclid理想与有限可除链之间的充分必要关系,证明了ω阶Euclid理想中两个元素(至少有一个不为零)存在最大公因子和每一个ω阶Euclid理想是主理想,构造了一个适当的例子,证明了ω阶Euclid理想上每一个n阶矩阵能通过初等变换简化为标准对角阵.