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].     

有限交换环上的典型群阶的计算

本文计算出任意有1的有限交换环上几类典型群的阶,同时利用GL_(?n)的阶得出有限交换局部环上一般向量空间中的计数定理.设R为有1的有限交换环.R可唯一表成有限个局部环R_i的直积,即R(?)R_i(R_i为有限局部环).R上的典型群G亦可写成G=multiply from i=1 to m G_i,这里G_i为R_i上相应的典型群.因而我们可将所讨论的问题限制在有限交换局部环上.下文如无特别声明,R表示有限交换局部环,M表其唯一的极大理想,K表示商域R/M.令π:R→k表R到k上的典型同态,但我们常记α∈R在k中的象为(?).令(?):GL_nR→GL_nk(SL_nR→SL_nk)表R与k上的一般线性群(特殊线性群)间的同态.记ker(?)=GL_nM(SL_nM),并用GL_n(R,M)(SL_n(R,M))表模M为GL_nK(SL_nk)中心元的GL_nR(SL_nR)中元素组成的子群.     

关于Fuller范畴的一个注记

在本文中环R表示有单位元的环,所有模都是右酉模。σ[M_R]是Mod-R中含有M_R且关于同态像、直和和取子模封闭的最小全子范畴。Gen(M_R)是Mod-R中含有M_R且关于同态像和直和封闭的最小全子范畴。下面这个定义为普通非奇异性的自然拓广。     

单位稳定环上的K_2(R,I)

若I为R的理想,λ_1:R→R/I,则S_t(λ_1):S_t(R)→S_t(R/I)的核,记为S_t(R,I),是由所有的x_(ij)(a)(a∈I)在S_t(R)中生成的正规子群。令φ表S_t(R,I)到E(R,I)上的同态映射,映射的核记为K_2(R,I)。由文献[1]知K_2(R,I)(?)CentSt(R,I)。当R为交换     

关于多项式环上的投射模

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为整环.     

交换环上模的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的交换环,模指酉模。     

Λ-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→     

Noether环的降链条件

设R是带有单位元的结合环,我们用_R表示R左酉模的范畴。设σ是_R上一个挠根(其定义及性质见文献[1,2],注意文献[2]中称挠根为幂等核函子)。说一个模M是σ-挠的,如果σ(M)=M;说M是σ-挠自由的,如果σ(M)=0。说模M的子模N是M的σ-稠密子模,如果M/N是σ-挠的;说N是M的σ-闭子模,如果M/N是σ-挠自由的。     

完全环上的线性紧模

一个双侧完全环上的线性紧模是有有限长度的模(参见文献[1])。Sandomierski在文献[2]中问:若R是一个左完全环,右R模M_R是线性紧的,是否M_R必有有限长度?这个问题等价于问,左完全环上的右Artin模M_R是否必是Noether模(见文献[2])。本文举例说明左完全环R上的右Artin模不必是右Noether模,因而不必有有限长度。从而否定地回答了Sandomierski的问题。     

关于滤环与分次环的Bjrk问题

设R为含单位元的诺特滤环,G(R)为相应分次环.设M为R滤模,gr(M)为相应的分次G(R)模.Bj(?)rk探讨了M为良滤模与gr(M)为有限生成模二者的关系.当R为正滤环且G(R)为诺特环时,M为良滤模的充要条件是gr(M)为有限生成模.但只把对R的限制放宽到Zariski滤环,就难于断定这一结论是否正确了.具体地说,Bj(?)ry的问题如下:设R为Zariski滤环,M是有限生成R模且配备分离滤,则当gr(M)是有限生成G(R)模时,M是否为良滤模?     

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

本文中的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)]为由所有形如     

磁场下K_4[Fe(CN)_6]·3H_2O的穆斯堡尔谱

用~57Co/Pd单线放射源,在室温下测得了K_4[Fe-(CN)_6]·3H_2O在外磁场中的M(?)ssbauer谱。实验中吸收体K_4[Fe(CN)_6]·3H_2O(A. R. 级)被置于磁场方向与r射线垂直的外磁场中。 K_4[Fe(CN)_6]·3H_2O中的Fe~(2 )处于O_h对称性的配体场中,其电子构型为t_(2g)~6e_g~0因而晶体场和价电子对电场梯度的贡献均为零,在没有外加磁场的情况下,其M(?)ssbauer谱呈单线吸收。     

关于数学结构的一些元数学定理

定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的n元关系A和M中的     

形如Np的子群系可补的局部群系

本文中所有群为有限群。定义和符号参见文献[1～3]。这里给出本文常用的一些概念与符号。一个群类称为群系,如果它关于同态像和次直积是封闭的。非空群系(?)称为局部的,如果由可推得一个群类(?)称为Fitting类,如果满足以下两个条件:1)若N为G的次正规子群,则若N_1,…,N_t为G的次正规子群且N_i∈(?),i=1,…,t,则。一个群系的局部子群系如果同时是一个Fitting类,则称之为局部Fitting子群系。设(?)为某一群的集合。我们用form(?)表示由群集合(?)生成的群系,用lform(?)表示由(?)生成的局部群系,π(G)表示群G的阶的素因数的集合,表示所有幂零群的群系,N_π表示所有幂零π-群的群系,(1)表示单位元群系。群系(?)的子群系(?)_1称为在(?)中可补的,如果(?)_1在(?)的子群系格里可补,即存在(?)的子群系(?)_2,使得且.     

闭曲面上奇点孤立的C~0流有伪轨跟踪性质的充要条件

本文将讨论闭曲面上奇点孤立的C~0流有伪轨跟踪性质的充要条件。根据文献[1],闭曲面上的C~r(r≥2)流的极小集总是平凡的,而C~0流则可能含有非平凡的极小集。因此,闭曲面上的C~0流比C~r(r≥2)流复杂。 定义1 设f:M×R→R是闭曲面M     

有限单群的一种新刻划

在本世纪70,80年代,Kwok Marcel等和Adilson等人证明了PSL(2,2~m),G_2(q),J_1可由其特征标表唯一决定.本文将证明如下:主要定理 设G是有限群,M是单群,G和M有相同的特征标表,则G(?)M.我们的证明思路是这样:由文献[5]知,要证明主要定理只需证明B_n(q)和C_n(q),q为奇质数幂,不能有相同的特征标表.我们下面去证B_n(q)和C_n(q)的共轭类长度之集合不同.     

Dixmier代数与轨道数据的归纳诱导法及其应用

为研究Dixmier映射,Vogan定义了Dixmier代数与轨道数据,并给出了抛物子群诱导法.本文将证明这些诱导法是可归纳导出的,并在此基础上对SO(2n 1,C),SP(2n,C)及F_4,G_2类Lie群部分地证明了文献[1]中Vogan的一个猜想,即上述Lie群的完全素可交换轨道数据的抛物诱导与抛物子群选取无关.1 归纳抛物诱导本文恒假定G为复约化Lie群,P(?)P_1为G的两个抛物子群,P=LU,P_1=L_1U_1分别为它们的Levi分解,且L(?)L_1,而(?),(?),(?),(?),(?),(?),(?)分别为它们的Lie代数.记Q=L_1∩P,(?)=(?)∩(?),显然Q为L_1的抛物子群(有Levi因子L),其Lie代数为(?).     

Abel正则语言的毕竟周期性

定义1 (ⅰ).关于么半群M的子集S,P_s表示M上的如下同余:xP_(sy),当且仅当(?)u,v∈M(uxv∈S(?)uyv∈S);(ⅱ).么半群M(有限集合∑生成的自由么半群∑’)的子集s(L)称为M的正则子集(∑上的正则语言),或M的Abel子集(∑上的Abel语言),如果P_s(P_L)指数有限,或商么半群M/P_s(∑~*/P_L)交换。 定义2 令∑为一有限集合,L_1,L_2为∑上的两个语言(即∑~*的两个子集)且     

反链方法及其在正则三值逻辑函数计数上的应用

为适应不确定推理之需要,Mukaidono提出并系统地研究了正则三值逻辑函数的理论.这类函数个数的计算十分复杂,至今仅对自变量个数小于7的情形提出了若干结果.本文将反链方法与该类计算联系起来,从而为解决该类问题提供了一种新的可能途径.定义1 　设E={0,1/2,1},在E上除通常序“≤”外,再定义偏序(?)为:0(?)1/2,1(?)1/2,i(?)i.这两种序在E~n上各诱导出相应的乘积序,仍记为“≤”或“(?)”.映射f:E~n→E称正则函数,若(?)a,b∈E~n,当a(?)b时f(a)(?)f(b).正则函数f:E~n→E称单调函数,(?)a,b∈E~n,当a≤b时f(a)≤f(b).以下用F(n,R)记全体n元正则函数之集,用F(n,M)记全体n元单调函数之集.定义2 设(P,≤)是非空偏序集,a,b∈P.若有c∈P使c≤a且c≤b,则称a与b有公根.设A与B是P中的反链,若(?)a∈A和(?)b∈B,a与b有(无)公根,则称序对(A,B)为全(无)公根反链对.以下用E(n)表示(E~n,(?))中全体无公根反链对之集.令N(n)={1,…,n}.W(n)={L:L(?)N(n),L≠φ},用N(n,C)表示(W(n),(?))中全体全公根反链之集.定义3 设a=(a_1,…,a_n)∈(E~n.(?)).