主理想环上的中国剩余定理

中国剩余定理在数论及代数中起着重要的作用.中国剩余定理在主理想环上可以由模互素推广到模不互素的形式,通过整数环的表达式给出主理想环上解的一般表达式及同余方程组有解的判定定理.     

关于中国剩余定理

给出了主理想整环上线性同余方程组有解的充要条件,以及求解这类方程组的一个简便算法.     

关于模的主理想定理

设R是整环,S=R-0.设M是无挠R-模,N是M的子模,且rank(M)=n,rank(N)=I相似文献   

素子模与Laskerian模上的w-根

给出了素子模在环R与其多项式环R[X]之间的一个等价刻画,并分别对唯一分解整环与主理想整环中有限生成自由模的素子模进行了讨论.利用子模的w-根的相关结论,给出了有限生成Laskerian模上的w-根的两个刻画.     

主理想整环上的线性方程组的解

本文讨论了主理想整环上的一次方程组,给出了求齐次方程组的基础解系的方法;一组解能构成或者能生成基础解系的充要条件;非齐次方程组有解的充要条件和求解的方法。特别是在欧氏整环上,上面的各种判别和求解都可以通过矩阵的初等变换实现。文中的结论用于解整数环上的线性方程组十分简便实用。     

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

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

中国剩余定理在交换环上的推广

通过对交换环相关理论的研究,给出了中国剩余定理在交换幺环、不一定含单位元的交换环和Dedekind整环上的几种推广形式,并得到了在交换环上同余方程组有解的充要条件.     

素子模及其伴随素理想

研究右R-模M的素子模K和它的伴随素理想adj(K)=(M/K)⊥之间的关系.证明右duo整环R上的任一挠可除右R-模D是无素的.右quasi-duo环R上的右R-模M的任意极大子模都是完全素的.     

纯整环并半环上的同余对

不同于正则半群中的方法研究同余，为了刻画纯整环并半环上的同余，定义了纯整环并半环上的同余对。对纯整环并半环上的同余进行了研究，得到了纯整环并半环上关于同余和同余对的一些结果。主要结论是：纯整环并半环上的每个同余都被其上的同余对所唯一确定。     

环R与环R{X}上的模

证明了w- 投射的w -模一定是自反模 ,得到在PVMD上每个有限型的w- 模都是自反模 .并证明了弱整体维数有限的凝聚整环一定是PVMD ,且其中的素w- 理想一定是平坦模 .同时 ,还建立w -operation的两个实现定理 ,即若R是SM整环 ,则R{X}是Noether整环 ;F是w 投射R 模 ,则F{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-λ〉是主理想环.     

复数域上具有主生成元的四维结合代数的分类

为了给出复数域C上的具有主生成元的四维结合代数在同构意义下的分类,利用环论的相关知识以及主生成元所满足的方程的根的分布:有1个四重根、有4个不同的根、有1个三重根和1个单根、有2个不同的二重根、有1个二重根和2个不同的单根的情况,把主生成元所满足的以上每一类方程经过平移,拉伸变成较为简单的形式,采用线性代数与商代数的相关知识以及用maple软件进行了大量运算得出以上每类方程所表示的同构型与方程的参数选取无关,最后通过比较每类方程所代表的同构型,给出了完整的分类结果,加深了对结合代数结构的理解,对相关的研究具有一定的参考价值。     

一个矩阵多项式求逆问题的推广

矩阵求逆是高等代数研究的重要问题,建立在此基础上的矩阵多项式求逆问题,因其复杂灵活的形式而成为一个研究难点.从一个二次矩阵多项式的求逆问题出发,运用逆矩阵定义、多项式互素、线性方程组理论给出了该问题的三种解法,并通过第三种方法进一步推得了此类矩阵多项式的求逆公式.     

辨识动态系统噪声方差Q和R的新方法

对于带未知噪声方差的线性离散定常随机系统,引入左素分解可得到一个新的观测过程,它用两个滑动平均（MA）过程之和表示。用解相关函数矩阵方程组得到了噪声方差Q和R的估值器,进而基于新的观测过程的采样相关函数及其遍历性可得到噪声方差Q和R的强一致估计。算法简单,便于实时应用。一个目标跟踪系统的仿真例子说明了其有效性。     

F—纯子模

设F是环R上的右Gabriel拓扑,文中用线性方程组给出了S-R-模N是S-R-模M的F-纯子模的充分必要条件,并对绝对F-纯模进行了刻划。     

求解强稳定化问题的一种新方法

主要考虑了套代数框架下时变线性系统的强稳定化问题.对于给定的离散线性时变系统,即系统是下三角的无穷维矩阵,借助双互素因子分解,给出了系统可强稳定化的一个新的充要条件.特别是该充要条件对线性时不变系统的强稳定化也是成立的.     

可装配的模块机器人动力学的自动生成

根据可装配的模块机器人及模块化思想,建立各个模块的速度、加速度等动力学表达式及相关修正公式,采用补偿迭代法来自动生成动力学方程,最后以二自由度模块机器人为例得出在Windows环境下自动生成的动力学仿真图形。     

正规三元组上的模特征标性质

在有限群模表示理论中,模特征标诱导和限制下的动态表现以及对应关系是有意义的问题,尤其是考虑如何把常表示的结论推广到模表示上,得到相应的模特征标结果一直是表示论中的重要课题.对于有限群G,如果N和M均为G的正规子群且N包含M,M.L.Lewis称(G,N,M)为群G的正规三元组,并且对其上的常特征标问题进行了探讨.首先给出了模特征标的一些基本性质,然后在正规三元组(G,N,M)条件下,得到了IBr(N)和IBr(M)中元素限制和诱导的若干动态表现,讨论了其上不可约模特征标的不变性和唯一性问题,并且进一步获得了互素正规三元组(X,N,M)上的几个模特征标对应关系.