半素F—环的结构

如果环R含有一个有限非零元集X,使得任意非零aR与X之交不空,则称R为F-环。文献[1]证明了:无非零幂零元的F-环是有限个除环的直和。 本文的结果是:R是半素F-环,当且仅当R是有限个除环上的全阵环的直和。从而[1]的结论就是我们结果的一个推论。     

关于F-环

如果环R含有一有限非零元集X,使得任意非零αR与X相交不空,则称R为F-环。本文证明了:一个不含非零幂零元的F-环为有限个除环的直和。 我们推广傅昶林一文[1]中的概念如下: 定义 如果环R含有一有限非零元集X,使得任意非零αR与X相交不空,则称R为F-环。如果有一个这样的集合XZ(R),称R为FZ-环(Z(R)表示R的中心)。 本文将证明:一个不含有非零幂零元素的F-环R为有限个除环的直和。以下R_1表示R的左零化子,P(R)表示R的质根,J(R)表示R的Jacobson根,(0:A)表示集合{x∈R|Ax=0},这里AR。     

本原环之间的有限结构定理及其在Galois理论中的应用(英文)

设是除环F上向量空间,P是F的一个子除环且在F中是Galois,即存在F的一个自同构群G使I(G)=P。记Φ是F的中心,G_0是属于G的内自同构群,G_0的元素记为I_r,r∈F.记是G的代数,P′=C_F(E′)是E′在F中的中心化子。记是的F-线性变换完全环,是中所有秩小于的元素集合,那末我们有如下主要结果: (1) [F:P′]_L=n有限当且仅当,其中表示元素r_i的标量左乘。 (2) [P′:P]_L=t有限当且仅当,其中S_j表示的F-半线变换自同构,它的伴随同构ψ_j∈G。 (3) 如有某个序数v使T_v(P,),T_v(P′,)及T_v(F,)满足(1)及(2)中的关系式,那末对任何T_μ(P,),T_μ(P′,)及T_μ(F,)皆满足(1)及(2)中的关系式。特別对及是如此。 (4) 如果[F:P]_L有限,那末必有,其中dim.E′表示E′在φ上的维数,[G/G_0]表示G_0在G中的指数。特别G是Galois群,则 (5) 若是F的另一自同构群且,那末必有,其中表示的代数。 如果P取为F的中心时,于是从上述结果(1)就得出熟知的定理:[F:Φ)是有限的当且仅当。 另方面,运用我们上述的结果,可导出除环F的有限Galois理论。     

关于∑-根的刻划

许永华在文[1]中引进了∑-根的概念。R 是一结合环,∑={F_i}是一个任意取定的 R 的模右理想集合。对每一个 F∈Σ,如果 F 不是 F-正则右理想,则记 (?)_F={(?)|(?)是 F-极大模右理想},如果 F 是 F-正则右理想,则记(?)_F=F,即(?)_F 只含一个元素(?)=F.记     

半质环的一个定理

本文给出了下面的结果:定理 设 R 是半质环,如果 a∈R 满足下面的条件之一1ax)~2-(xa)~2∈Z(R) (?)x∈R 2) (ax)~2 (xa)~2∈Z(R) (?)x∈R这个定理推广了郭元春[1]和[2]的两个定理。再讨论过程中也推广了文献[3]的一个定理。     

除环上的全阵环的极小右理想与半素F-环

说环R是F-环,如R含一有限非零元集X,使对任意α∈R,若αR≠0,则αR∩X≠φ(傅昶林)。半素F-环可表为有限个除环上的全阵环的直和(周毅强)。有人指出,这个命题的逆命题是不对的,今给出环为半素F-环的充要条件,先看除环上的全阵环。 设D为一除环,n>1为一自然数,R为D上n阶全阵环。极小右理想均为主右理想、取α=(α_(ij))≠0∈R,设其中某α_(ij)≠0∈D,则     

可除的四元数代数上多项式环的Grobner基

设F是一个特征不等于2的域，A是，上的一个可除代数。本文研究了A上多项式环A[x1，X2，…，xn]中理想是有限生成的，以及它的Grobner基；也表明F[x1，x2，…，xn]中有限子集G是F[x1，x2，…，xn]的Griobner基当且仅当G是A[x1，x2，…，xn]中的Grobner基。     

Fuzzy拓扑空间中的紧性(Ⅰ)——定义和特征(英文)

本文在引入了一复盖的概念之后,定义了(?)一紧性,得出了关于闭集中心族,F-网与F-滤子的(?)-紧性的特微,以及A1exander子基定理。并进一步定义了S-紧,L-紧,I-紧和F-紧性,讨论了这些概念之间的关系。设A,B∈I~Y为X中的Fuzzy集,我们称有序对〈A,B〉为X中的一个(?)一集。定义1 设(X,F)是一个Fuzzy拓扑空间,〈A,B〉为X中的一个(?)一开集,P∈P_*(X)。如果〈A,B〉是P的邻域,则我们说〈A,B〉覆盖P。一个开(?)一集族(?)={〈A_λ,B_λ〉:λ∈Λ}称为X的一个(?)-覆盖,当且仅当对于任一P∈IP_*(X),存在λ∈Λ,使〈A_λ,B_λ>覆盖P。定义2 Fuzzy拓扑空间(X,F)称为(?)-紧的,当且仅当每个(?)覆盖都有有限子(?)-覆盖。定理1 Fuzzy拓扑空间(X,F)是(?)-紧的,当且仅当每个闭(?)-集构成的有限中心族都是中心族。定理2 Fuzzy拓扑空间(X,F)是(?)-紧的,当且仅当X中的每个F-网或者(?)-滤子都有聚点。定理5 设S为Fuzzy拓扑空间(X,F)的一个子基,若每个(?)覆盖(?)={〈A_λ,B_λ〉:A_λ,B_λ∈S,λ∈Λ}都有有限子覆盖,则(X,F)是(?)-紧的。     

结合环可表成单Artin环直和的一个充要条件

有许多文章刻划一个环什么时候能表成任意多个(不一定是有限个)某一类型环的亚直和,但把亚直和换成直和这一重要情况则讨论得相对地不太多,例如有[1,2]中的定理8.1,[3]中的第四章,以及[4,5].本文推广[4]中的一个定理,给出一个结合环可表成任意多个单Artin环的直和的一个充要条件. 说一个环R的子环A为R的次理想,记作A si R,如果存在有限链     

关于弱正则环的一些结果

本文第一部分讨论了弱正则环。引进了半平坦模的概念,并证明了一个有单位元的环是弱正则的当且仅当所有右R-模是半平坦的.第二部分讨论了Reduced弱正则环。主要结果有:(1)Reduced弱正则环R是强正则的当且仅当R有有限的素维数;(2)Reduced弱正则环是p. p. 环;(3)如果一个环R是Reduced弱正则的,那么Spec(R)是紧的,Hausdorff的和全不连通的拓扑空间。从而改进了[3]的一些结果。本文中所讨论的环若与其对应的模范畴有关,就自然认为其有单位元。     

关于实Hilbert环

通过引进“强实Hilbert环”这一概念,本文证明了,一个环A是强实Hilbert环,当且仅当多项式环A[X]是实Hilbert环,当且仅当A[X]的每个实极大理想在A上的局限是实极大的,从而文献[1]中两个主要结果被否定.此外,本文还研究了所谓的“严格的实Hilbert环”,这类环对于半代数零点定理等方面的探讨更具应用意义.     

稳定秩1环上三个三角矩阵的积

证明了环R为稳定秩 1环当且仅当R上的每个 2× 2可逆矩阵均可以表成乘积1　 0x　 11　y0　 1u　 0z　v ,其中x ,y ,z∈R ,u ,v∈GL1(R) ;这证明了 [1]中定理 1的逆命题也成立 ;并把 [2 ]中的主要结果推广到了非交换环上 .     

ζ-半单纯环的结构

<正> 在[1]中引进了环的σ-理想,建立了σ-理想理论.本文进一步定义环的ζ-根,研究ζ-半单纯环的结构.主要结果:ζ-交换环只是ζ-半单纯的,当且仅当只是有限个ζ-单纯理想的直和.若ζ-是R的恒等自同态,就得到通常的Wedderburn-Artin结构定理.本文中所讨论的环都表示结合环.     

Gr-凝聚环的小有限分次投射维数gr.fp.dimR

文 [1],[2 ]分别研究了Gr NoetherGr 局部 (半局部 )环的同调维数 ,本文主要进一步讨论Gr 凝聚Gr 半局部环的同调性质 .在§ 1中 ,主要刻画交换Gr 凝聚Gr 半局部环R的分次弱整体维数gr.gl.w .dimR ;在§ 2中 ,定义了分次环R的小有限分次投射维数gr.fp .dimR .刻画了gr.fp .dimR =gr .gl.w .dimR的Gr 凝聚环 .由于Gr Noether环是Gr 凝聚的 ,因而本文所得的结果对于Gr Noether环是自然成立的 .同时 ,本文所得的结果 ,也可视为文 [4 ]关于一般交换凝聚环相应结论的推广 .     

关于含有ν-基座的本原环的结构

众所周知,任一Jacobson半单纯环均可表示为本原环的子直和[参看文1]。因此,本原环构造的研究对于探索一般环的结构具有重要的意义。在本原环结构研究中,Jacobson给出了一个著名的结构定理:若(?)是一个有非零基座的本原环,则必可找到一对偶向量空间(?),使(?)。这儿(?)表示在(?)-拓扑下连     

一类仅含双侧零因子的有限环

文[1]指出,若环 R 含 n(n>1)个左(右)零因子,则|R|≤n~2.文[2、3]研究了含n(n>1)个左(右)零因子且|R|=n~2的环,本文目的是讨论不含单侧零因子,含且只含双侧零因子的有限环,文中所得结果是[2、3]中相应结论的推广。定义 环中元素 a 称为一个左(右)零因子当且仅当存在元素 x≠0使 ax=0(xa=0);若 a 是左(右)零因子但不是右(左)零因子则称 a 为单侧左(右)零因子;双侧零因子简     

与线性变换的完全环同构的环理论(Ⅴ)

<正> 一个环 R 称为本原环,若 R 同构于线性变换稠密环.如果 R 含有非零基座,那末 R 可与除环 F 上的一个对偶空间(A,A′)联系起来,并有熟知的同构定理.F 上向量空间 A的一个线性变换σ称为在 A′上有一个伴随σ′,若σ′是 A′上的一个线性变换并且(aσ,a′)=(a,a′σ′),其中 a∈A,a′∈A′.在有限拓扑意义下,具有伴随的线性变换一定是连续的.我们始终记(?)_(A′)(A)为 A 的所有连续线性变换的环,(?)_A′(A)为秩有限的所有连续线性变换的环.     

关于《亚正定阵理论(Ⅱ)》一文的错误

设A∈R~n×n,如果R(A)(?)A A’/2为正定矩阵,则称A为亚正定矩阵.文[1]、[2]研究了亚正定矩阵,得出了一些新的结果.这里指出,文[2]中有些疏漏和错误.取(?),则A为亚正定矩阵,B为正定矩阵,容易验证文[2]中定理2和定理5的结论均不成立.其原因在于原文定理证明中错误地运用了Holder第二不等式.要使结论成立,两个定理均需附加条件“亚正定矩阵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.     

群环根的H.K.Farahat问题

令R(G)表示环R上群G的群环,群环的根如何刻化,至今尚无很好的结果。对于群代数F(G)(F是域),[4],[5]已对个别群证明JF(G)可由G的某些子群控制,即JF(G)=JF(H)·F(G),(J—指Jacohson根)。H.K.Farahat进一步提出何时等式JR(G)=(JR)(G)成立。显然,这对刻化群环的根很有价值。它将R(G)的半单性转化为R的半单性。[6],[7]中当G是局部有限群。R分别是半准素环与交换环时,证明Farahat等式对J—根成立。[3]证明了当R是交换环,G是有限群时Farahat等式对BM—根成立。