主理想整环上保对合矩阵的线性映射

设R是特征不为2的交换主理想整环,Mn（R）表示R上n阶全矩阵模,本文基底生成元的方法刻划Mn（R）上保对合矩阵的R-线性映射的形式。     

非交换主理想整环上三矩阵乘积的Moore-Penrose逆的倒换顺序律

本文研究非交换主理想整环R上三矩阵乘积M-P逆的倒序律成立的刻划问题文中阐述R上矩阵的秩的定义,并利用R上矩阵与 R所嵌入的商除环K上矩阵的秩之间的关系,把文[2]中复矩阵的主要结果直至推广到R上,得到了倒序律成立的若干个刻划.     

非交换主理想整环上分块矩阵的秩

本文从非交换主理想整环Ｒ上矩阵Ａ的秩与它在Ｒ所嵌入的商除环Ｋ上的秩间的关系着手，证得了Ｒ上分块矩阵秩的一些结果，因此也解决了［１］中关于ｐ￣一除环上矩阵秩的一个猜想．     

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

将文[1]中整数环上的线性方程组问题推广到主理想整环上,利用主理想整环上的矩阵的初等变换及等价标准形导出了主理想整环上的线性方程组有解的一个充分必要条件和求解方法.最后,通过实例说明了算法.     

含幺主理想整环上的线性方程组与一类矩阵方程

本文给出了含幺主理想整环上一类线性方程组与矩阵方程的解。     

交换主理想整环上立方幂等矩阵的线性保持

设Ｒ（≠Ｆ_３）是特征不为２的交换主理想整环,Ｍ_ｎ（Ｒ）定义Ｒ上的ｎ×ｎ矩阵模,本文刻划当ｎ≥ｍ时从Ｍ_ｎ（Ｒ）到Ｍ_ｎ（Ｒ）的保持立方幂等矩阵的线性映射的形式,由此推广了Ｃｈａｎ和Ｌｉｍ的一个结果（［１,定理３］）．     

主理想整环上的线性方程组与矩阵方程

本文给出了含幺主理想整环Ｒ上线性方程组与矩阵方程解的判定与结构如下     

环上矩阵的广义Moore-Penrose逆

本文给出带有对合的有1的结合环上一类矩阵的广义Moore-Penrose逆存在的充要条件，而这类矩阵概括了左右主理想整环，单Artin环上所有矩阵。     

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

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

主理想整环上对称矩阵的非结合代数自同构

本文研究了一类非结合代数的自同构.利用分式化方法,得到主理想整环上对称矩阵构成的非结合代数的所有自同构形式,并刻画了相应的Jordan自同构.     

关于环上矩阵的广义逆

本文得到了一般带有对合反自同构的结合环上一类矩阵{1,…,i}-逆存在的充要条件,给出了{3}-逆,{4}-逆,{1,…,i}-逆的表式,而这类矩阵则概括了左右主理想整环,单Artin环(特别是体)上所有矩阵.     

置换群直积的张量对称类的秩

假定基环R是特征为零的整环，并且使得它上每个有限生成的投射模是自由模．本文研究有限秩自由R-模的张量积相对于有限个置换群直积而言的张量对称类，给出了张量对称类非平凡的判别准则以及相应张量对称类秩之间的关系式，并将所得结果应用到模情形．     

有限环上的齐次重量与M(o)bius函数

讨论了有限环上齐次重量、M(o)bius函数和欧拉phi-函数等函数之间的关系.在有限主理想环上给出了这些函数的易于计算的刻画,对于整数剩余类环把它们还原成了经典的数论M(o)bius函数和数论欧拉phi-函数.     

有限环上的齐次重量与Mbius函数

讨论了有限环上齐次重量、M(o|¨)bius函数和欧拉phi-函数等函数之间的关系.在有限主理想环上给出了这些函数的易于计算的刻画,对于整数剩余类环把它们还原成了经典的数论M(o|¨)bius函数和数论欧拉phi-函数.     

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

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

关于环Z[m~（1/2）]的商环元素个数的一个新的证明

文献[1]热运用环论的方法证明了环Z[m~（1/2）]热的商环Z[m~（1/2）]/（a＋bm~（1/2））的元素个数是｜a2-b2m｜.我们将用主理想整环上的模的理论给出一种简洁的证明.     

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的局部环上的Bass-Quillen问题Ⅱ

设R是U2环,即(R,m)是局部GCD整环,且存在u∈m-m2,使得R/(u)是赋值环,且Ru是Bézout整环.本文证明了若R是带有正规元素为u的U2环,且dim(R/(u))=1,则每个有限生成投射R[X1,...,Xn]模是自由模.由此得到了若R是广义伞环,则每个有限生成投射R[X1,...,Xn]模是自由模.     

一类弱整体维数为2的局部环上的Bass-Quillen问题II

设R是U2环,即(R,m)是局部GCD整环,且存在u∈m-m2,使得R/(u)是赋值环,且Ru是Bézout整环.本文证明了若R是带有正规元素为u的U2环,且dim(R/(u))=1,则每个有限生成投射R[X1,...,Xn]模是自由模.由此得到了若R是广义伞环,则每个有限生成投射R[X1,...,Xn]模是自由模.     

关于Schur-Frobenius求逆公式的一般化

对于（１，…，ｉ）－逆诸情形，本文证得了非交换主理想整环Ｒ上分块矩阵的Ｓｃｈｕｒ－Ｆｒｏｂｅｎｉｕｓ求逆公式的一般化定理，进而将广义Ｓｃｈｕｒ补的Ｈａｙｎｓｗｏｒｔｈ商公式开拓到Ｒ上