关于(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的环结构。特别     

Abel q-域的相对整基

记数域L及其一个子域K的整数环为O_L和O_K。如果O_L是自由O_(K~-)模,则称L/K有相对整基。Artin和Frhlich均提出和研究过数域的相对整基存在性问题。文献[2～5]等对双循环双二次域和四次循环域L研究了此问题。在文献[6～8]中,对四次循环域和Galois群为Gal(L/Q)≌(Z/qZ)~n的Abel域L,彻底解决了此问题(q为素数)。文献[9]研究了Galois群为(Z/q~sZ)~n的Abel域L。 有理数域Q的q幂次Abel扩张L称为Abel q-域,这里q为任意素数。对于L在其任一子域K上的相对整基存在性,以及相对判别式由一个有理数平方生成等问题,本文将系统发展上述有关结果。     

关于A.A.Albert一篇论文的注记

A1bert在文献[1]中主要是对四次循环数域κ加以分类并明显给出整基。这些结果近来被Edgar和Peterson引用来研究K/k的相对整基问题,其中k是K的唯一二次子域。 在文献[3]中我们已宣布过,Albert给出的分类和整基在全部16种情形下有9种是不对的,文献[3]还完全解决了K/k的相对整基问题。     

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维数;如果,     

关于多项式环上的投射模

1955年Serre提出了问题:仿射空间上的每个向量丛是否一定是平凡的?它的一个较弱形式是域R上多项式环的K_0是不是Z?Serre本人证明了当R为域时,K_0R[x_1,…,x_n](?)Z.1976年,Quillen和Suslin进一步证明了:R为主理想整环时,所有有限生成的投射R[x_1,…,X_n]-模是自由的.1986年,为了更一般地研究此类环,佟文廷引进了PF环.本文将把上述结果推广到正则环上的群环上去.引理1 设R为交换正则环且K_0R(?)Z则R为整环.     

不可分的么模定Hermite型的构作

设F=Q((-m)~(1/2))(m>0且无平方因子)为虚二次域,D_m为它的代数整数环.域F有一个非平凡的对合即复共轭,它的不动点域是Q.设V为域F上n维非退化的Hermite空间,并有关于上述对合的V上半双线性型φ以及与φ相伴的Hermite型H.设L为V上的D_m格,即L是V中的一个有限生成D_m模且FL=V.一个D_m格L称为偶格,是指对一切x∈L有H(x)     

一般分圆域的幂元整基

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

代数基域变换的类Mackey定理

本文证明关于代数基域变换的类似于群代数中子群变换的Mackey定理的对偶结果(定理1、定理2),作为应用,推出类似于关于正规子群的Cliford定理的对偶命题(命题1),从而表明在群代数的模的子群变换与基域变换之间有某种对偶性。     

(2,2,…,2)型数域的判别式密度

型数域即是n个二次域合成的Q的2~n次扩域。问题是计算绝对判别式等于d(以及小于X)的这种域的个数J~n(d)(以及N_n(X))。Baily[Baily, A., J. reine angew. Math., 315(1980),190—210;328(1981),33—38]分别对n=2和3解决了此问题。本文在对这种域的结构研究的基     

Duo环上的Noether(Artin)经典分式环和Duo环上单模的投射性和内射性

设E_R为一个内射右R-模,我们称E_R为一个Σ(Δ)-内射模,如果E在R中的右零化子集满足升链(降链)条件,称一个含有单位元的环为Duo环,若它的任意单侧理想都是双侧理想。一个环称为是一个Σ(Δ)-环,     

具有给定理想类群的代数数域的算术刻划

众所周知,代数数域K的理想类数h(K)等于1的充要条件是域K的整数环O_k为唯一因子分解整区,后者是说,如果a_1…,a_n,b_1,…,b_m均是环O_K中的不可约元素,并且a_1…a_n～b_1…b_m(这里a～b是指a和b在O_K中是相结合的),则     

交换环上模的Euler特征数

设R为带单位元1的交换环,P为R-模,如果P有有限的有限生成自由分解O→F_m→…F_1→F_0→P→0,则记P∈FFR且称x(P)=Sum from i=1 to m((-1)~i)rankF_i为P的Euler特征数。在刻画交换环的模结构方面,Euler特征数发挥了很大作用。本文采用同调方法,给出了半遗传环和遗传环上x(P(?)Q)=x(P)x(Q),x(Hom(P,Q))=x(P)x(Q)成立的充要条件。 1 预备知识 假设所讨论的环都是带单位元1的交换环,模指酉模。     

连通环上的矩阵结构

众所周知,连通环是环论中应用最为广泛的环类.例如整环、局部环都是连通的.更一般地,PF环、具有挠约化群的环也都是连通的.而对于拓扑空间X而言,X为连通空间当且仅当C(X)为连通环.因此,连通环的研究是极有意义的.本文将利用环上的矩阵来刻划连通环本身的性质.所有的环假定都是带单位元1的交换环.假设P是一个非零的有限生成投射R-模,不妨设P(?)Q=F,这里F为n维的自由R-     

关于外平面的完备色数

对平面图G(V,E,F),设f_1、f_2∈F,则当且仅当f_1与f_2共边时,称f_1、f_2相邻。定义对平面图G(V,E,F),使V∪E∪F中相邻、相关联元素均染为不同颜色所用的最少颜色数,称为G的完备色数,记为X_c(G)。引理令⊿(G)表示G的最大度,则对     

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

设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]。     

关于Leavitt和Rossa的两个问题

对任一环R,令F(R)={A|若0≠,则有使J～R},这里表示I是A的次理想,并诧R~0为环R上的零环。易知Z~0∈F(Z_n~0),Z_p~0∈F(Z_p~0),其中p为素数,n为任意自然数,     

非凸2×2拟线性双曲组的黎曼问题

一、广义解的定义及其一般结构 本文考虑的问题是其中U=(u,v),F=(f,g),f,g——(u,v)平面开域G上的解析函数,U~±——G中任意常量。它是文献[1]的推广。如所周知,对它应考虑自模解U=U(ξ)(ξ=x/t),于是化为     

GCD整环与UFD分式理想的刻划

设R是整环,其商城为K.设I≤K是R的分式理想,令I~(-1)=|X∈K|XI≤R|,I_υ=(I~1)~(-1)及 _t=|B_υ|B是I的有限生成子分式理想|.当I=I_υ时,I称为υ-分式理想,当I=I_t时,I称为t-分式理想.在许多情形下,可用υ-理想与t-理想成功地刻划某些整环 也可以定义ω分式理想并用ω理想成功地刻划GCD整环与UFD.称R的一个分式理想I为ω-分式理想,指的是若J_x≤I,其中x∈K,J是有限生成的理想且J~(-1)=R,则必有X∈I.对任何分式理想I,Iω=|X∈R|存在一个有限生成理想J,使得J_(-1)=R,J_X≤I|,这是包含I的最小的ω分式理想.称I是有限型分式理想,如果存在一个有限生成子分式理想B≤I,使得B_ω=I_ω,这是有限生成概念的一个自然推广、我们有定理1 对整环R,以下各条等价:     

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

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

概率度量空间的最佳弱t-模

文献[1]指出:设(E,F)为PM空间,则(E,F,T_W)成为广义Menger空间(GM空间),其中 可见,GM空间给出了所有PM空间的Menger三角不等式,从而为研究它们的空间结构提供了方便。但是,每个GM空间(E,F,T)所能容许的弱t-模T一般不是唯一的。T愈强则空间结构愈强。显然,最能刻划空间结构者当是