【摘 要】
：
设S是环S的一个几乎优扩张,sτ=(s(J),s(F))(τs=((J)s,(F)s))和Rτ=(R(J),R(F))(τR=((J)R,(F)R))分别是左(右)S-模和左(右)R-模的遗传挠理论,在本文中,我们首先证明了:如果
论文部分内容阅读
设S是环S的一个几乎优扩张,sτ=(s(J),s(F))(τs=((J)s,(F)s))和Rτ=(R(J),R(F))(τR=((J)R,(F)R))分别是左(右)S-模和左(右)R-模的遗传挠理论,在本文中,我们首先证明了:如果τs=((J)s,(F)s)是τR=((J)R,(F)R)的一个THT-扩张,则R是τR-n-凝聚的当且仅当S是τs-n-凝聚的;其次,我们证明了:如果S是R的一个优扩张且τs=((J)s,(F)s)是τR=((J)R,(F)R)的一个TH-扩张,则R是τR-n-凝聚的当且仅当S
其他文献
本文利用KAM理论，证明了一类带有常位势m（m〉2）以及Fourier乘子Mξ的高维Laplace方程△u＋（m＋Mξ）u＋u^3=0,在周期边值条件下拟周期解的存在性。
本文利用挠理论的TH-扩张讨论了某些相对环的有限正规扩张(优扩张、几乎优扩张),如:相对SI-环,相对V-环,相对GV-环,相对SF-环等,从而得到了TH-扩张的一些应用.
本文研究了整函数的唯一性，证明了如下结果：设p（z）为n1多项式，f（z）和g（z）是两个超越亚纯函数，n≥max{6，n1）是一个正整数，如果f^n（z）f′（z），g^n（z）g′（z）分担多项式p（z）CM，则f（z）=c1e^c∫p（z）dz，g（z）=c2e^-c∫p
设J是Hopf代数的扭，本文研究由J所定义的H-模余代数C^J．主要证明了如果J和△（h）交换，那么Hopf模范畴MH^C异同构于MH^CJ；C^MH同构于C^JMH．特别地当H乘法交换时，以上结论成立．并且证得（C&
本文讨论了非线性方程的一类新的无导数的迭代解法．根据求积规则，首先导出了一类新的无导数的非线性迭代方法，然后证明了新方法的收敛性．本文也是最新文献^[1]的一个本质修正．同时
Ostrowski不等式及其加细被推广到内积空间．
本文给出了sn-第二可数空间的一个刻划:空间X是sn-第二可数的当且仅当X是可分度量空间的1-序列覆盖(且紧覆盖)映象.这里的1-序列覆盖映射不能减弱为序列覆盖映射.作为这一结
研究了一类带有二次目标函数及二次等式约束的优化问题。假定约束是可行、规范的，对于目标函数为正定或半正定的情形，得到了全局最优解的充要条件。
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值