求解中国剩余定理的矩阵变换方法

将问题所对应的一次同余方程组等价地转化为整系数线性方程组问题,借用欧氏环上的线性方程组理论,提出矩阵变换的新算法.通过三个不同的算例,演示了算法的可行性,并分析其优劣性.同时还指出,该方法有效地搭建起《高等代数》与《近世代数》的教学衔接桥梁,有助于诱导学生发现问题和提升解决问题的能力.     

诺特赋值环上Grbner基的性质

本文主要研究了诺特赋值环上多项式理想的Grbner基的性质.利用Buchberger算法,证明了约化Grbner基的存在性及当其首项系数为单位元时的唯一性.推广了极小Grbner基和约化Grbner基的概念.同时,我们给出了求极小Grbner基和约化Grbner基的算法.     

差分-微分模上多个序的Grbner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Grbner基,并给出和证明了计算这种Grbner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler(2008)所得结果,也推进了Levin(2007)所得结果.     

有限集上偏序关系的符号计算

不同于序理论和拓扑理论中关于偏序关系和T0拓扑的研究思路,文章给出一种通过解有限域F2上多项式方程组求有限集[n]={1,2,...,n}上所有偏序关系和T0拓扑的方法,并通过实例说明了方程组零点和偏序以及T0拓扑的对应关系.运用Gr?bner基理论,得到一种求有限集[n]上偏序个数和T0拓扑个数的符号计算方法,并给出...     

剩余类环上的多元置换多项式与正交组

利用模(?)剩余类环Z/(?)Z上的加法群的特征,得到了环Z/(?)Z上多项式组f_1,…,f_k是正交组的一个充要条件:对任意满足(b_1,…,b_k,(?))=1之整数b_1,…、b_k,有b_1f_1 …b_kf_k是模(?)的置换多项式,这里l≥1;(?)是一个素数.作为推论,还得到了孙琦、万大庆关于正交组的一个结果.     

差分-微分模上的Grbner基及差分-微分维数多项式

通过引入广义单项式序把Grbner基理论拓展到差分-微分模上,构造和证明了差分-微分模上Grbner基算法.然后利用差分-微分模上的Grbner基构造了线性差分-微分方程系的维数多项式算法.     

Artin局部主理想环上多项式理想的Grbner基的标准型

本文给出 Ａｒｔｉｎ局部主理想环上单变元多项式理想的极小Grbner基的标准型．证明 Ｎｅｃｈａｅｖ提出的标准生成系（ＣＧＳ）恰是极小 Ｇｒｏｂｎｅｒ基．将标准型用于分析环上线性码．     

差分-微分模上多个序的Gr(o)bner基及多变量维数多项式

基于2008年Zhou和Winkler给出的计算有限生成的差分-微分双滤模的希尔伯特多项式的算法,文章构造了差分-微分模上相对多个序的的Gr(o)bner基,并给出和证明了计算这种Gr(o)bner基的算法.作为其应用,给出了计算差分-微分模的多变量维数多项式的新算法.推广了Zhou和Winkler (2008)所得结果,也推进了Levin (2007)所得结果.     

Wolstenholme定理关于模p的8次幂的研究

著名的Wolstenholme定理,它断言了在任意的素数p≥5下二项式系数的同余性质.在前人的基础上对此进一步推广,运用了MESTROVIó对于p的7次幂的研究及其证明方法,证明了在对于任意的素数p≥11的条件下模p的8次幂的相关简式,对Wolstenholme定理进行了推广.     

S-多项式的新算法

GVW算法在Grbner基的理论与计算中是非常重要与有效的.文章引入一种新的S-多项式,利用GVW算法中的"top-约化"来约化S-多项式,进而给出同时计算理想的Grbner基及理想合冲模的首项的Grbner基的一种新算法,并且得到了一些有趣的结果.     

wolstenholme定理的推广

本文给出了复合数情况下的wolstenholme定理     

二项式斜多项式环的Grbner基

对于二次代数A=k〈X〉/(■),当关系■满足某种对称关系时,代数A是ArtinSchelter正则PBW代数,进一步,存在X上的一种重排,使得A是二项式斜多项式环.     

中国剩余定理在非标准数论中的推广

我们推广了中国剩余定理,用于研究数论模型,并在非标准数论模型中对比分析若干数论定理.     

剩余格上的α-交软滤子

赋予剩余格作为参数集,提出了剩余格上的α-交软滤子的概念,给出一些刻画和软集交运算下的性质。进一步,剩余格上的α-交软同余关系和α-交软滤子的关系被研究。特别是,当X=α时,证明了SFil(L)(剩余格上交软滤子α-交软滤子的全体)和Scon(L)(剩余格上交软滤子α-交软同余关系的全体)是完备格同构的。最后,得到了剩余格上的α-交软滤子像与原像的性质。     

具有与多项式复合齐次相容的项序

设K[x1,X2,…,xn]是域K上关于变量x1,x2,…,xn的多项式环,θ=(θ1,…,θn)是K[x1,x2,…,xn]的一组有序多项式.多项式复合θ是用θi代替xi的一种运算.我们说多项式复合θ与项序>齐次相容,是指对任意项P与q,p>q,deg p=deg q(→)polt(θ)>qolt(θ).怎样判断多项式复合与项序>是否齐次相容是困难的.将给出明确的判定方法.     

样条函数空间的维数级数和基函数

本文考虑多元样条函数维数级数和基函数的计算．文［２］，［３］中，讨论了通过ｄ－１维面上的光滑连接条件，用Ｇｒ?ｂｎｅｒ基方法计算多元样条函数的维数级数和基函数．事实上，样条函数的结构可由ｄ－２维面上协调方程决定．本文通过构造合冲序列及Ｇｒ?ｂｎｅｒ基的性质，推导协调矩阵与维数级数的关系，给出了由协调矩阵的核空间计算样条函数基函数的方法．     

重模剩余类环的矩阵表示

对模m的剩余类环Zm上的多项式环Zm[x]中的任一n次（n≥1）首一多项式P,给出了重模剩余类环Zm[x]/（P）到Zm上的n阶全矩阵环Mn（Zm）的一类单同态,从而实现了Zm[x]/（P）的矩阵表示.若A为P的友矩阵,则Zm[x]/（P）的矩阵表示为{an-1An-1＋…＋a1A＋a0E｜ai∈Zm,0≤i≤n-1}...     

正交模格OML上的同余关系

介绍了正交模格上同余关系的性质,给出正交模格上一个二元关系是同余关系的条件.证明了正交模格上的理想是正交模理想的充分必要条件扣等价命题,最后介绍了换位子理想.     

Wolstenholme定理的一个证明

给出了Wolstenholme定理的一个证明。     

多项式剩余类环上循环码新的表示

在编码理论中，多项式剩余类环是非常有意义的，它已经用来构造最优频率希望序列。本文，定义了多项式剩余类环上循环码的离散傅立叶变换及Mattson-Solomon（MS）多项式，证明了多项式剩余类环上的循环码同构于多项式剩余类环的Galois扩张的理想。