Abel群环的约化群

在代数K-理论中,环的Grothendieck群对于研究环的结构起着相当重要的作用;而当R为交换环时,K_0(R)(?)K_0(R),这里K_0(R)为环R的约化群,因此约化群完全决定了K_0(R)的结构.文献[1]已经证明了对于交换环R,K_0(R)为挠群当且仅当对任何有限生成的投射模P,挠群当且仅当对任何有限生成的投射模P,都存在s>0使得P~s是自由的.     

一类具有PF结构的环

设R为带单位元1的交换环,文献[1]中定义了PF环,即所有有限生成的投射模都是自由的环.例如,实二次域的类数是否为1等价于其代数整数环是否为PF环;因而,研究PF环的结构具有重要的意义.然而,虽然Grothendieck群K_0(R)很好地刻划了环R的性质,但一般却难于计算,我们构造了一个新的Abel群X(?)(R),它能反映和K_0(R)几乎一样多的性质.本文中,我们研究X(?)(R)作为一个环的结构.所有记号均同于文献[1,2].     

Hilbert零点定理的推广

在文献[1]中,Abian证明了: 定理A(Abian) 设C为复数域,P=C[x_0,x_1,…,x_E,…]为C上的多项式环,其中x_0,x_1,…,x_E,…为C上的一组不相关不定元,其个数不超过C的基数|C|。设Π是P的一个子集,其基数|Π小于|C|。如果Π中任意有限个多项式都在C中有公共零点,则Π中全     

gr(■_n)与gr(ε_p)不具有pure维数

一个交换Noetherian环R称为是有pure维数n的正则Noetherian环,是指对R的任意极大理想 ,R_m的整体维数gl.dim R_m=n,这里R_m为R在极大理想■处的局部化。众所周知,若R是某域上的有限生成交换代数,且是整环,同时g1.dim R<∞,则R有pure维数;如果,     

MELT右V-环是von Neumann正则环

环R称为von Neumann正则的,如果对每个a∈R,存在b∈R使a=aba.称环R为强正则的,如果对每个a∈R,a∈a~2R.环R称为MELT的,如果R的每个极大本质左理想是R的一个理想.称环R为右V-环,如果每个单右R-模是内射的.多年来,vonNeumann正则环与有关环(如,完全幂等环,V-环)的关系得到了广泛的研究,得到了许多有趣的结果,也留下了不少公开问题.在文献[1]中,Yue提出了如下问题:一个MELT右V-环是von Neumann正则的     

每个极大左理想是理想的完全幂等环

文献[1]提出如下公开问题:如果环R的每个理想是幂等的且R的每个极大左理想是理想,那么只是强正则的吗?文献[2]又提出如下公开问题:如果环R的每个理想是幂等的且R的每个极大本质左理想是理想,那么R是Von Neumann正则的吗?本文的主要目的是构造一例,同时给上面两个公开问题以否定回答。     

投射模经过基座的整体提升

设I为环R的理想,记S=R/I。本文主要考虑如下的整体提升问题:对于任意的投射S模Q,是否存在投射R模P,使得Q同构于P/IP?这一概念是作者首次引进的,目的之一是为了研究K_0群的计算问题。因此在本文中,常常要求Q与P还是有限生成的。 本文中的环都是有单位元的结合环,模为左酉模。对于环R,以p(R)表示有限生成的投射左R模的范畴,~RProj。表示投射左R模的范畴。R~(n)表示R作为模的直和,而I~n=II…I,其中I为R的理想。文中用到的其他概念和术语可以参见文献[1]和[2]。     

Gr(?)bner基的一个应用

本文中,假定基域k是代数封闭域P_k~n是n-维射影空间,V是P_k~n的射影代数闭集,W是P_k~m中射影代数闭集.{F_i}_(i=0)~m(?)k[X_0,…,X_n],F_i是齐次多项式且次数都是d.假定V(F_0,…,P_m)(?)V=Φ,可定义一个正则映射F:V→W满足: F(x_0,…,x_n)=(F_0(x_0,…,x_n),…,F_m(x_0,…,x_n)),其中(x_0,…,x_n)∈V。 利用Gr(?)bner基给出F是“限制同构”的充要条件。为此先给出其定义。 定义 如上所述的F:V→W,如果存在L使得L:W→V,满足F(?)L=id_w,L(?)=id_v,并且L=(L_0,…,L_n),{L_i}_(i=0)~n(?)k[Y_0,Y_0,…,Y_m],L_i为齐次多项式并且次数都是d′. 我们所用Gr(?)bner基的表述和结论都来源于文献[1]～[3]。     

交换线性紧致环上的多项式环

本文中的R表示含单位元的交换结合环,模指酉模,未定义的概念和符号见文献[1]和[2].称R为co-Noether环(Vamos),如果每个有限cogenerated R-模均为Artin模(线性紧致模).M(?)ller定理陈述为环R具有Morita对偶当且仅当R为线性紧致的V(?)mos环(见文献[2]的定理4.3及定理4.5).Anh在文献[4]中证明了线性紧致环具有Morita对偶(见文献[2]的定理6.8),从而线性紧致环为V(?)mos环.关于线性紧致模及Morita对偶的概念及性质(见文献[2]第一章).本文证明了线性紧致环R为Noether环当且仅当R上的多项式环R[x]是co-Noether环(V(?)mos环).由此,我们给出一个例子对Faith在文献[3]中提出的3个公开问题给予否定的回答.设M为R-模,M[x~(-1)]为由所有形如     

H-本原环的Martindale商环

本文均设H是域k上具有可逆antipode的Hopf代数,R是有1的H-素模代数,M是左R,H-酉模.M称为不可约的是指:RM≠0,并且M无真R,H-子模.一个H-模代数R称为是左H-本原环,若R有一个左R,H-模M,M作为左R-模是忠实的,作为R,H-模是不可约的.详细性质可见文献[1].在文献[2]中已给出例子说明:存在代数R,它是H-素,但不是通常的半素.     

张量代数的外齐次化与PBW定理

设S=(?)S_n一是-Z分次环,X是S的中心中一个次为1的正则齐次元.那么下列结论成立:(a)Sr的商环A=S/(1—X)S是一个滤过环,A上的滤(升)链定义为F_nA=S_n (1—X)S/(1—X)S,n∈Z;(b)与A相关联的分次环G(A)=(?)F_nA/F_(n-1)A与 S/XS之间有一个显然的分次环同构;(c)A的Rees环(?)=(?)F_nA与S之间有一个显然的分次环同构.设R=(?)R_n是一个Z-分次环,那么R的外齐次化是R上的多项式环S=R[t]但此对S具有“混合分次”:S_n={sum from i j=n to (α_it~j),α_i∈R_i},n∈Z.显然t是S中的一个次为1的中心正则齐次元,但此时S的商环A=S/(1-t)S作为滤过环同构于R,这里R具有(升)滤链F_nR=(?)R_i,n∈Z,G(A)(?)R(作为分     

关于曲面奇点Zariski-Lipman猜测的一个注记

文献[1]研究了Zariski提出的如下问题:设(V,0)=spec R为域R上仿射簇的芽,若R的导子模是自由R模,R是否一定是正则的。这个问题也在文献[2]及其参考文献中讨论过,最后由Flenner给出了奇迹余维大于3时的肯定证明(要求char R=0)。遗留的一种有趣情形是dim R=2。在R=C时,Zariski-Lipman猜测有如下的几何形式:设     

模的稳定性的一些保持性

在模型论中,Zil’ber证明了:非平凡的(?)-范畴理论的模型都是类似于模或域的;于是人们希望证明著名的Vaught猜想对于超稳定的模理论是成立的。Buechler后来证明了:Vaught猜想对于Morley秩为1的模理论是成立的,但以后,Vaught猜想的证明一直进展不大,即使对超稳定的模理论的Vaught猜想的证明也是如此。为对超稳定的模理论Vaught猜想进行化约,Prest曾建议讨论环变化时模理论的稳定性性质的保持性。Ziegler在文献[4]中讨论了一些初等性质的保持性定理。本文讨论下列两种环变化情形下,模的稳定性的保持性:(ⅰ)将R-模M_R看作R的一个理想上的模;(ⅱ)将R的一个分式环S~(-1)R上的模看作R上的,其中S是R的一个乘法子集。此外,还讨论了分式模S~(-1)M与模M的稳定性间的关系。     

关于(q~s,q~s,…,q~s)型数域的相对整基

文献[1]中简洁构作了Abel数域K的Genus域K_G。本文将对K_G作进一步刻画,从而决定Abel数域K的导子f(K)和判别式D(K)。最后证明(q~s,q~s,…,q~s)型数域扩张L/K具有相对整基。设L是一个数域,K是其一子域。域K的整数环O_K是Dedekind环,O_L是无扭O_K-模。于是由E.Steinitz(1912)和I.Kaplansky(1952)关于Dedekind环上模的结构定理知O_LO_K~(-1)J,其中n=[L:K],J是K的理想,在相差主理想倍(即同一理想类)意义下唯一决定。于是,代表的理想类[J]就完全决定了O_L的环结构。特别     

Λ-2-fold环上K_1U~ε的Prestabilization

本文利用Vaserstein、Bass等提出的Λ-S,条件研究了满足Δ-S_r(R)≤1条件的一类环(Λ-2-fold)上K_1U~(?)的Prestabilization。 令R为有1的结合环,I是R的一双边理想。在R上定义了一对合映射木*:R→R(y→     

含非零基座本原环的拟临界环

Jacobson在文献[1]中证明了含非零基座本原环的结构定理:环R是含非零基座S的本原环当且仅当存在除环△上一对对偶空间(M,M′)使得,其中,Ω是M的全线性变换环},(?)(M,M′)是(?)(M,M′)中的所有关于M的秩是有限的线性变换的集合。此后人们又用不同方法证明了这个定理,如文献[2,3]。本文目的是在除环上的向量空间的全线性变换环中引进关于它的子环的拟元的概念,从而得到了含非零基座本原环的拟临界环,并改进了文献[1]中关于含非零基座本原环的结构定理。     

关于域的K_2群的有限阶元素

1 引言对于一些重要的域(例如,整体域),其K_2群中的元素均为有限阶元。因此,确定域的K_2群中的有限阶元一直是代数K-理论中一个重要的研究课题。Tate在一篇著名论文中证明了:若整体域F包含n次本原单位根ξ_n(附注:这里假定域的特征不整除n,以下讨论时     

非线性正系统的结构特性

这里扼要给出我们在非线性正系统方面所得到的几个结论,有关定义见文献[1].文献[2]中通过矩阵给出了线性正系统的概念.以下定义是更一般的:定义设某系统在零时刻由x 出发的轨线为φ(t,x),并记R_+~n={(x_1,x_2,…,x_n)~T∈R~n|x_i≥0,i=1,2,…,n).若对任意的x∈R_+~n,有φ(t,x)∈R_+~n,(?)t≥0,则该系统为一正系统.其中t 对于连续系统属于实数集R,对于离散系统属于整数集Z.     

一般分圆域的幂元整基

设K是代数数域,代数整数α称为K的幂元整基生成元,如果Z[α]是其代数整数环。两生成元α与β称为等价,如果存在,使得α=k±σ(β). 文献[1]证明了在等价意义下,数域K只     

关于Znám问题

1972年,捷克数学家Znám提出一个问题:是否对每一个整数n>1,都存在整数x_i>1(i=1,…,n),使得对每一个i,x_i是x_1…x_(i-1)x_(i 1)¨x_n 1的真因子?1975年,Skula证明了对于2≤n≤4,不存在这样的整数,并提到在n=5时,Janàk找到了一组解2,3,11,23,31(Acta Fac. Rer. natur.