Lin--Bose问题及Gröbner基性质的研究

来源 :湖南科技大学 | 被引量 : 0次 | 上传用户:cai67716029
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文主要研究Lin-Bose问题。1999年,Lin与Bose基于矩阵的既约子式与最大秩子式的最大公因式,提出了关于n元多项式矩阵子式素分解的一个猜想。实际上,这是一个关于矩阵的行列式分解与矩阵的因子分解的问题。  2001年,Lin与Bose又提出了4个广义的Serras猜想,并且证明了猜想1-4的等价性,其中猜想3就是Lin-Bose猜想。Lin-Bose猜想:设F∈Al×m为满行秩矩阵,d为矩阵F所有l×l阶子式的最大公因式。如果矩阵F的既约子式生成单位理想A,则存在F的一个分解F=GF1使得detG=d以及F1是MLP矩阵。  同年,Pommaret利用Quillen-Suslin定理与投射模等方法证明了Lin-Bose猜想。2004年,Wang用更简单、直观的方法也证明了Lin-Bose猜想。事实上,Lin-Bose猜想是指给出多项式矩阵有行列式分解的一个充分条件,人们希望找到其他的更好、更弱的充分条件或充分必要条件。近年来,人们围绕这个问题展开了积极的研究与探讨,但至今没有更大的突破。与之相关的矩阵F关于因子f的分解问题与多项式矩阵的性质也成为当今讨论的热点。  本文正是基于Lin-Bose猜想,研究l×m矩阵MLP分解问题,利用l×m阶矩阵的l-1阶子式、l-2阶子式来刻画矩阵MLP分解的条件,得到一些结果涵盖Lin-Bose猜想中的结果。  Gr(o)bner基理论与算法发展至今,得到了大量的理论成果,它所应用的领域也越来越广泛,本文运用Gr(o)bner基的理论与算法研究矩阵行列式分解、因子分解的等问题,给出一种新的、更简洁的方法。并提出一种新的算法,判定矩阵是否有MLP分解,利用Singular软件加以实现。
其他文献
本论文研究了两个非线性偏微分方程(组).其中,第一个问题是下列带混合边界条件的Lotka-Volterra生物数学模型正稳态解的存在性{(a)u/(a)t-d1Δu=a(u-u2/k1)-cuv,(x,t)∈Ω×(0,∞),(a
该文通过对数据仓核心Epicentre数据模型和POSC DAEF(数据存取和交换技术)的研究,在关系型数据库(Oracle7)环境下,建立了西地所POSC数据仓(POSC DATA STORE),并运用POSC的DAE
全文共分五章.第一章简要介绍了广义凸函数的研究历史及现状,多目标优化的历史,当前国内外的研究现状,该文的由来及该文所常用的记号.第二章介绍了凸集、凸函数及三种广义凸
在该文中,研究人员主要研究了有限时滞差分系统的稳定性,在该文的后半部分,研究人员也讨论了有限时滞差分系统的有界性问题.
这篇文章中,给出了许多不同于以前的新的整树类,便更重要的工作是对有图方面的研究,其主要内容共分三部分:第一部分整谱树:给出了许多新的直径为4、6的整树类.这不仅为人们对
网络的可靠性可以通过图的边连通度来度量.但是,用图的边连通度来度量网络的可靠性存在一些缺陷.为了弥补这些缺陷,Hakimi[1]提出了条件边连通度的概念.图的等周边连通度是一种
本文研究了一类带混合边界条件和扩散作用的比率依赖捕食模型,其中捕食者带齐次Robin边界条件,被捕食者带齐次Neumann边界条件.在这个捕食模型中,捕食者不仅有系统中被捕食者作
在分批运送工件问题中,要求确定工件在机器上的排序,并确定如何针工件分成若干批运送,使得总的送走时间与运送费用(与分批数成正比)之和达到最小.对于单机的分批运送问题,我
在这篇论文中草药,我们对讨论四个问题:Navier-Stokes方程的谱Galerkin逼近及求解逼近方程的一步Newton迭代法,球Taylor-Couette流的谱Galerkin数值模拟,稳态Lotka-Volterra
该文着重对于这两个矩阵类的概念、判定以及等价表征作进一步研究.提出了一些新的广义矩阵对角占优概念,籍之研究M-矩阵和H矩阵,获得了关于M-矩阵和H矩阵的若干实用简捷判据,