一种具有Goldbach性质的可换环上的二次同余

[1]—[3] 用模型论与数论方法讨论了整数环的某些扩环的数论性质,说明一些数论命题间的和谐性与相对独立性。[4]进一步研究了一种具有Golabach性质的可换环R,分析了R与整数环I的异同。[4]证明了R上有与I极不相同的二次同余性质。如R上存在8k±3形素元以2为平方剩余,也存在8k±1形素元不以2为平方剩余,等等。一个自然的问题是对任意非平方数a∈I,任意b,c∈I,若(b,c)=1,是否总存在bk+c形素元以a为     

APT环上幂等阵的对角化

设R是一阿贝尔环(R的所有幂等元都在中心里),A是R上的一幂等阵.本文证明了以下结果：(a)A相抵于一对角阵当且仅当A相似于一对角阵;(b)若R是一APT(阿贝尔投射平凡)环,则A在相似变换之下可唯一地化为对角形diag{e₁, ..., e_n｝,这里e_i整除e_i+1;(c)R是APT环当且仅当R/I是APT环,这里I是环R的一幂零理想.由(a),还证明了分离的阿贝尔正则环是APT环.     

环的交换性定理

设条件(A)为:若对任意的a,b,c∈R,存在依赖于a,b,c的整系数多项式f(x,y),f(x,y)形如∑ki=0αiyixyK-i+f1(x,y),f1(x,y)为一整系数多项式,其每一项关于x的次数2,关于y的次数K(此处K=K(a,b)为依赖于a,b的正整数),∑i=0αi=1,使[f(a,b),c]=0.结论为:满足条件(A)的K the半单纯环是交换的.这是一些结论的统一推广.     

形式三角矩阵环的Quasi-morphic性(英文)

环R称为左Quasi-morphic环,是指对任意a∈R都存在b,c∈R使得Ra=l(b)并且l(a)=Rc。文章主要证明了:BMA的形式三角矩阵环T={(ma 0b):a∈A,b∈B,m∈M}是Quasi-morphic当且仅当A,B是Quasi-morphic并且M=0。这个结果引导我们研究了Quasi-morphic环的corner环的Quasi-morphic性。     

关于Perfect环的一个注记

对于交换环R,Chase[1]证明:对任意集A,若R^A是射影模,则R是一个Artin环.而对非交换环,有例子说明,此结论不成立.本文讨论了对什么环,当R是射影模时,R是一个Artin环.     

JB_∞- 环

研究了JB∞-环,即满足R/J(R)是QB∞-环,得到了很多J B∞-环的判定条件:R是JB∞-环当且仅当对任意满足条件a R+b R=R的a,b∈R,存在y∈R使得a+by∈R-1J∞当且仅当对任意满足条件a R+b R=d R的a,b,d∈R,存在y∈R,u∈R-1∞使得a+by=du.另外还讨论了替换环是JB∞-环的充分必要条件,这些结论对QB∞-环提供了一些研究基础.     

矩阵环的半交换子环

称环R是半交换的,如果对任意a∈R,rR(a)是R的理想．若n≥2,则任意具有单位元的环R上的n阶上三角矩阵环不是半交换环．我们证明了reduced环上的上三角矩阵环的一类特殊子环是半交换环．     

关于高斯整数环的商环元素个数的注记

设 Z表示整数环 ,i表示虚数单位 ( i=- 1 ) .Z( i)为所有形如 a+ bi( a,b∈ Z)的复数组成的集合 ,称为高斯整数环 .高斯整数环中的元素称为高斯整数 .在文 [1 ]中 ,提出了两个猜测 ,其中之一是 :设 m和 n都是整数 ,则高斯整数环 Z( i)的商环 Z( i) /( m+ ni)的元素个数不超过 m2 + n2 .本文证明这一结论成立 ,且更明确的有 ,| Z( i) /( m+ ni) | =m2 + n2 .注意 ,对 m=0 (或 n=0 )以及 m任意但 n=1 (或 n任意但 m=1 )的情形 ,文 [1 ]已经证明此等式成立 .以下我们用 | A|表示集合 A的元素个数 ,也用 | α|表示复数 α的模 .下面给出的是…     

P—内射环和半素环

本文主要证明了如下结果:1 如果 R 是左 p-环,那未(a)Z(R)=J(R);(b)若 R 的每个非零左理想包含极小左理想,则 J(R)=r(Socle_RR)。2 如果 R 是半素的左 p-环,那未(a)R 有唯一的最大理想 I,I 不含非零幂零元,且I=lr(I)=rl(I),Z(_RI)=Z(I_R)=0,(b)R 有极大左零化子当且仅当 Socle R≠0.     

Baer环和拟-Baer环的多项式扩张的一点注记

I1和I2分别是环R的一个左理想和右理想,T1=R[x]和T2=R[x,x-1]分别表示多项式环和洛朗多项式环.首先给出两个例子,分别说明了T1I1不一定是T1的左理想与T2L2不一定是T2的右理想.其次给出了环的多项式扩张及洛朗扩张的理想的性质.最后证明了,若R[X](R[x,x-1])是拟-Baer环,则R也是拟-...