Abel群的一些分解定理的推广(I)

这项研究的目的是要把Abel群（有限或无限）的诸多分解定理尽可能地推广到主理想整环的模上,得到这类模上的分解定理,随后再把所得定理应用到向量空间（有限维或无限维）及其线性变换,得到向量空间的分解定理.本文是系列文章的第一篇,主要目的是建立起支撑整个研究的最基本概念,例如纯子模、有界模、局部循环模、具有minimax条件的模等.本文主要内容有： （1）确定了主理想整环上可除模、有界模、局部循环模的结构; （2）给出了主理想整环上拟循环模的生成性质,这类模在以后的研究里起着非常重要的作用; （3）描述了主理想整环上满足极小条件,minimax条件的模的结构; （4）给出了两个不同构的Z[i]-模,它们作为Abel群是同构的.     

Abel群的一些分解定理的推广(Ⅱ)

本文讨论了2类具体的主理想整环上的拟循环模,研究了A-宽有限的向量空间,刻画了该类向量空间的结构,阐述了A-宽有限的向量空间的A-不变子空间构成的偏序集必满足极小条件,并给出了带有线性变换的向量空间作为F[λ]-模构成拟循环模的一个充要条件.     

含1交换环上模基的两个唯一性定理

本文通过模的零化理想,得到关于模的分解的两个唯一性定理,部分地推广了主理想整环上的有限生成模的结构定理.     

Abel群的一些分解定理的推广(Ⅲ)

从主理想整环上有界模分解的Prüfer-Baer定理出发,研究(无限维)向量空间的代数的线性变换的几个基本问题,得到了如下结果:设V是域F上的(无限维)向量空间,A是V上的一个代数的线性变换,则有(1)若任何与A可交换的线性变换均与线性变换B可交换,则B=f(A),其中f是F上的多项式.进而线性变换B也是代数的.(2) V中存在一组基,使A在这组基下的矩阵是有理标准型(经典标准型)矩阵.当F是代数闭域时,经典标准型矩阵即为若当标准型矩阵.(3)当F是代数闭域时,A存在相应的Jordan-Chevalley分解.进一步,该结论在完全域上仍成立.这些研究推广了有限维向量空间上线性变换的相关结果.     

有限表现维数与凝聚环

在本文中,我们从研究投射等价模的有限表现维数的关系入手,给出了有限表现维数的维数转移定理(定理2.5),并且运用有限表现维数刻划了凝聚环(定理2.4)。最后我们得到了在经典局部化下,环与模的有限表现维数的不变性定理(定理2.6,定理2.8)。     

线性方程组对于量词的可满足性

本文讨论有关主理想环上线性方程组对于量词组合的可满足性问题,特别是当全称量词和存在量词混合出现的情形.它的背景之一是模上的线性定理的机械化证明.我们对此问题得到了一个算法型的充要条件,该方法对量词未做任何限制.进而讨论了在有限生成Abel群、初等数论、向量空间、多元多项式环等领域中的应用.     

π-模代数的π-模理想

讨论局部有限维的Hopfπ-代数上π-模代数的π-模理想.先引进模(右)理想的概念,然后给出π-模(右)理想的等价条件.     

素特征的"李定理"

设L为代数闭域F上有限维李代数,著名的李定理说若char F=0,则L为可解当且仅当L的任一有限维不可约模为1维的.在这里特征为0及模为有限维两个条件都是本质的.(1)若charF=p＞o,则L为交换当且仅当L的任一(有限维)不可约模为1维的;(2)若char F=0,则L为交换当且仅当L的任一(有限维或无限维)不可约模为1维的;(3)若charF=p＞7,L为李代数(限制李代数),则L为可解当且仅当L的任一不可约模(限制模)的维数为p的幂.     

素特征的“李定理”

设L为代数闭域F上有限维李代数,著名的李定理说:若char F=0,则L为可解当且仅当L的任一有限维不可约模为1维的.在这里特征为0及模为有限维两个条件都是本质的.(1)若charF=P>0,则L为交换当且仅当L的任一(有限维)不可约模为1维的;(2)若char F=0,则L为交换当且仅当L的任一(有限维或无限维)不可约模为1维的; (3)若char F=P>7,L为李代数(限制李代数),则L为可解当且仅当L的任一不可约模(限制模)的维数为p的幂.     

两类整环上的上三角矩阵群(Ⅰ)

本文从两类整环上的二阶上三角矩阵入手,构造了两个3元生成的亚Abel群,给出了它们的清晰结构,研究了它们的剩余有限性质:一,证明了其中一个无限秩的亚Abel群是剩余有限p-群,这里p是任意素数.二,证明了另一个有限秩的亚Abel群没有这种整齐的剩余有限性质,尽管其结构要简单得多.本文的结果表明,无限可解群里秩的有限性条件对群的剩余有限性具有很大的影响.如何把本文的研究推广到高阶矩阵群,是值得进一步探索的问题.     

Hilbert C*模及其有界模映射

设E为C^*代数A上可数生成的Hilbert模,B(E)为E上有界模映射全体,则B(E)保距同构于K(E)的左乘子,其中K(E)为E上“紧”模映射全体。当A为无限维本原C^*代数且E为自对偶模,则E为代数有限生成。     

LUV环及其群环上的模

本文证明了正则ＬＵＶ环是有限个唯一分解整环的直和，并进而讨论了ＬＵＶ环上群环上的模。     

Koszul微分分次模

引入了Koszul微分分次模的概念. 给定Koszul微分分次代数上的一个下有界的微分分次模, 如果这个模到平凡模的Ext-\!群是有界的分次空间, 则它必定包含一个微分分次子模, 其在适当的截断和移位下是Koszul微分分次模; 这样的模还可以通过一系列Koszul微分分次模来逼近(参见本文推论3.6). 设$A$是一个Koszul微分分次代数, $D^c(A)$是微分分次右$A$-\!模范畴的导出范畴中由对象$A_A$生成的满三角子范畴. 如果平凡微分分次模$k_A$落在范畴$D^c(A)$中, 则三角范畴$D^c(A)$的标准$t$-\!结构的中心, 作为Abel范畴, 与某个有限维代数上的有限生成模范畴对偶. 进一步, 可推得三角范畴$D^c(A)$等价于它的标准$t$-\!结构的中心的有界导出范畴.     

F.P.—维数的合冲定理

1984年,Ho Kuen Ng在[1]中给出了交换环与模的有限表现维数(简称为F.P.—维数)的定义及若干有意义的重要结果.从此,有限表现性的讨论成为环论的热门课题之一.作者在[2]中将有限表现维数推广到非交换环上.并利用有限表现维数刻划了凝聚环,在[3]中讨论了有限表现维数的换环定理.在[4]中讨论了笛卡尔方形上的有限表现维数.丁南庆在[5]中推广了有限表现维数,给出了一种新维数——模的有限生成维数,在[6]中讨论了有限表现模的对偶     

关于二次模的正交群

本文给出了交换环上二次模直交和的正交群的计算公式，对多项式环上的二次模，给出了一类子群的局部整体定理。     

Maschke定理的一点应用

给出了Maschke定理的两种无限变体,并应用于带子群极小条件的Abel群,深化了Berkovich的有关结果．     

无限正则p-群

对一类无限正则p-群进行了研究,得到了一个正则的局部幂零p-群G如果满足|G(Ω)1(G)|＜∞,那么G是幂零的且G是可除阿贝尔p-群被有限群的扩张.进而,还研究了一类无限的非正则p-群,但它的所有真商群或者真的无限子群是正则群.在假设这类群存在拟循环子群的情况下,在定理1.2和1.3给出了这类群的结构的刻画.     

Maschke定理的一点应用

给出了Maschke定理的两种无限变体,并应用于带子群极小条件的Abel群,深化了Berkovich的有关结果.     

环上群环的半单性——关于G.Connell的一个猜测

设环R有1,G是群。用R(G)表示R、G的群环。0(G)表示群G子群的阶的集合。任意域F(ch.F0(G))上群环F(G)的J一半单性问题,至今仅证明对某些群,如局部有限群、局部可解群、Abel群、有序群等时R(G)是半本原环。G.Connell于63年将域扩展到环,他得出当环R可换时,R(G)是半素与半本原的充要条件([2]定理5、6),并断言要去掉R的可换条件是很困难的,但他猜测前者R的可换条件有可能去掉。     

UFD上线性递归序列特征理想的GrÖbner基

设R是唯一因子分解整环 (UFD) ,用GrÖbner基和局部化方法给出了R上半无限线性递归序列 (lrs)和全无限线性递归序列 (Lrs)的特征理想的刻画 ,并得到域上有限长线性递归序列的齐次特征理想的GrÖbner基的标准型 ,从而清晰地揭示了Berlekamp Massey(BM )算法中的每一步与GrÖbner基的精确联系.