仿射李代数的三阶自同构

给出仿射李代数的自同构的一些性质和三阶自同构的共轭分类，并具体算出第一共轭类的不动点集。作为一个结论，得到仿射李代数的三阶自同构共轭的充要条件是其不动点集同构。     

关于虚根的几个注记

虚根是Kac-Moody代数中的一个非常重要的概念,它体现了Kac-Moody代数与有限维单Lie代数的本质上的区别.在本文中,我们首先描述Kac-Moody代数的严格虚根.然后再刻划极小虚根,这是文献[1]中结果的进一步完善.1 基本概念设A=(a_(ij))~n_(i,j)=1是一个广义Cartan矩阵,((?),Π,Π°)是A的一个实现,其中П={α_1,…,α_n}(?)*;Π~v={α°_1,…α°_n}(?),g(A)是关联于A的Kac-Moody代数.Q=sum from n=l toZα_i和 Q_ =sum from n=l toZ_iα_i分别是g(A)的根格和正根格.W和Sw分别是gw的Weyl群和D”忱n图.我们用的和坡分别表示g(A)的所有正实根的集合和正虚根的集合.令     

关于Diophantus方程Ax~2 B=y~n

设Ｎ,Ｑ分别是全体正整数、有理数的集合,Ａ,Ｂ∈Ｎ.方程Ａｘ2 Ｂ=ｙｎ,2ｎ>1,2ｙ,ｘ,ｙ,ｎ∈Ｎ(1)是一类基本而又重要的高次或指数型Ｄｉｏｐｈａｎｔｕｓ方程.当Ａ=1,Ｂ=2时Ｌｊｕｎｇｇｒｅｎ[1]证明了方程(1)仅有解ｘ=5,ｙ=3,ｎ=3.当Ａ=1,Ｂ=4时,本文作者之一给出了方程(1)的解答.本文将用虚二次域的基本性质与推广的Ｐｅｌｌ方程的结果研究方程(1)的一些新的情形.设ｈ(-Ｄ)表虚二次域Ｑ(-Ｄ)的类数,本文证明了定理1　设Ａ无平方因子,2Ａ,(ｎ,ｈ(-2Ａ))=1,则Ｄｉｏｐｈａｎｔｕｓ方程Ａｘ2 2=ｙｎ,ｘ,ｙ,ｎ∈Ｎ,2ｎ>1(2)仅有解Ａ=1,ｘ=5…     

球面均匀分布PPCM检验统计量关于维数与样本量的Berry-Esseen界和LIL

Ｘ1,Ｘ2,…,Ｘｎ为ｉ.ｉ.ｄ.ｐ维随机向量,分布函数为Ｆ(ｘ).崔恒建[1]定义了如下ＰＰＣｒａｍ啨ｒ＿ｖｏｎＭｉｓｅｓ检验统计量:ＣＭｎ,ｐ=∫ａ∈Ｓｐ-1∫∞-∞ｎ[Ｆａｎ(ｘ)-Ｆａ(ｘ)]2Ｗ(Ｆａ(ｘ))ｄＦａ(ｘ)ｄμ(ａ),(1)其中Ｆａｎ(ｘ)=1ｎ∑ｎｉ=1Ｉ[ａ′Ｘｉ≤ｘ]为ａ′Ｘ1,ａ′Ｘ2,…,ａ′Ｘｎ的经验分布函数.Ｆａ(ｘ)=Ｐ(ａ′Ｘ1≤ｘ)是ａ′Ｘ1的分布函数,μ(·)是Ｓｐ-1={ａ:ａ∈Ｒｐ,‖ａ‖=1}上的均匀测度.在零假设Ｈ0:Ｘ1服从Ｓｐ-1上的均匀分布下,Ｆａ(ｘ)Ｇ(ｘ)=∫ｘ-1ｇ(ｕ)ｄｕ,其中,ｇ(ｕ)=Γｐ2Γ12Γｐ-12(1-ｕ2)ｐ-22,…     

一个求强连通自动机的自同构群的多项式算法

在本文中,所谓自动机是指一个体系(?)=(S,∑),其中S为一个集合,其元素称为状态,∑为一个集合,其元素称为字母,并且对任何s∈S和σ∈∑,都有一个状态与之对应,并记作s~σ。∑的字母的有限序列称为字。称(?)是强连通的,如果对任何两个状态s,s′∈S都有∑上的字ω=σ_1σ_2…σ_i,使s~ω=s′,其中s~ω=(((s~(σ_1)~σ_2)…)~σ_t。称S到自身的一个1-1映     

一般分圆域的幂元整基

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

mod_pΛ中无短链的有限表示型自入射代数存在Hall多项式

在文献[1]中,Ringel定义了Finitary环A上的Hall代数(?)(A).它是以{u_[M]}[M]为基的自由Abel群,其中[M]表示有限A模M的同构类,(?)(A)的定义如下:u_[N_1]×u_[N_2]=sum from [M] ((F_(N_1)~M)×(N_2)×u_[M])由于A是Finitary环,上式右端是有限和.这里F_(N_1N_2)~M是M的适合L（?）N_2且M/L（?）N_1的子模L的个数.Hall代数(?)(A)是有单位元1=u_[0]的结合环.为简便,总假定A是有限域k上的有限维代数.所有的有限A模构成的子范畴记为mod-A.由文献[1～3]可知,Dynkin型或仿射型遗传代数的Hall代数与相应的Kac-Moody Lie代数及其量子包络代数均有深刻的内在联系,而Hall多项式在1处的赋值恰好给出了对应Lie代数的结构系数.在文献[2]中Ringel猜测:任意有限表示型k-代数总存在Hall多项式.Ringel证明了表示直向代数有Hall多项式.Guo等人证明了mod-A中没有短圈的代数A有Hall多项式.在这篇短文中,我们证明了mod_pA中没有短链的有限表示型自入射代数A存在Hall多项式.     

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中有公共零点,则Π中全     

水平2的标准A_(n-1)~((1))模的结构

本文给出水平2的标准A_3~((1))模,A_5~((1))模和A_6~((1))模的具体结构。 设L是一个伴有典型生成元e_i,f_i,h_i,i=0,1,…,n—1的复数域C上的仿射型(或欧氏)李代数(参见文献[1,2]).由条件dege_i=1=—degf_i,degh_i=0,i=0,1,…,n—1定义了L的主分次。设z扩张成L的中心和是带有基{z,p_i,q_i|i=1,2,…}     

有限维单Lie代数的拟有理自同构

本文所用述语及符号与文献[1]中所用一致。 以下总假定g是一个X_N型的单有限维复Lie代数,n是取定的一个CSA,△′是相应的根系,{a′_1,…,a′_N}是取定的一个素根系,e_i,f_i,h_i(i=1,2,…N)是取定的一组标准生成元.如文献[1]中§8.2所述,对于g的k阶自同构u,引入记号E_i,F_i,H_i(i=0,1,…,l),那么 E_0,…,E_1生成g.令     

论相配局部对称空间的同构

我们知道一个由实Lie代数g和他的一个子代数g_1所成的局部齐性空间g/g_1称为对称的(E.L.S.),如果g_1是g的一个对合自同构σ的不变点所构成的子代数。在本文内我们限制讨论g是单纯代数的情形,g=k+p是g的一个Cartam分解。根据M.Berger的结果知任何g的对合自同构必共轭于g的一个令k不变的这样的自同构。这个自同构在k上的限制,以ρ表示之,自然是k的一个对合自同构;令k_1是ρ的特征子代数,则k/k_1是一个紧致的局部对称空间。从M.Berger的另一个结果,我们知道所有以ρ为限制的g的对合自同构必为σ或σ·t之形,其中t是由g的上述Cartan分解所定的标准自同构,由此可见,我们能     

素特征域上的有限维Cartan型Lie超代数

关于素特证域上的Lie超代数,至今结果尚少.本文构造了F上的无限维Cartan型Lie超代数X(m,n)(X=W,S,H或K),进而定义了有限维的广义Cartan型Lie超代数,并且讨论了它们的单性与限制性.最后给出一个关于F上有限维单Lie超代数的分类的猜想.设F是特征p>2的域,n是大于1的正整数,∧(n)是F上具有生成元ξ_1,…,ξ_n的外代数.若u=(i_1,i_2,…,i_r),其中1≤i_1相似文献   

两类指数稳定性的等价性

Ｘ为Ｂａｎａｃｈ空间,其范数为‖·‖,Ｔ(ｔ)为Ｘ上Ｃ0半群,其无穷小生成元为Ａ:Ｄ(Ａ)|→Ｘ.Ｔ(ｔ)称为指数稳定,若有Ｍ,σ>0使得‖Ｔ(ｔ)ｘ‖≤Ｍｅ-σｔ‖ｘ‖,ｘ∈Ｘ.(1)Ｔ(ｔ)称为能量指数稳定,若有Ｍ,σ>0使得‖Ｔ(ｔ)ｘ‖Ｄ(Ａ)≤Ｍｅ-σｔ‖ｘ‖Ｄ(Ａ),ｘ∈Ｄ(Ａ),(2)这里‖·‖Ｄ(Ａ)是Ａ的图象范数[1].实际应用提出这样的问题(见文献[2]):这两个概念是否等价?文献[2]证明了当Ｔ(ｔ)是Ｈｉｌｂｅｒｔ空间上压缩Ｃ0半群且Ａ有界可逆时,两类指数稳定性是等价的.本文证明了:定理　若有Ｍ1,σ>0使得‖Ｔ(ｔ)ｘ‖≤Ｍ1ｅ-σｔ‖ｘ‖,ｘ…     

网点观测部分线性变量含误差回归模型

最近 ,我们探讨了网点观测部分线性函数关系模型ｙｉｙ =∑ｐｋ=1βｋｘｉｋ ｇ(ｔｊ) εｉｙ,ｙ =1,2 ,… ,ｍξｉｋ =ｘｉｋ δｉｋ,　　　　　　ｋ=1,2 ,… ,ｐ有εｉｙ,δｉｋ 相互独立 ,Ｅ(εｉｙ) =Ｅ(δｉｋ) =0Ｖａｒ(εｉｊ) =σ20 ,Ｖａｒ(δｉｋ) =σ2 ｋ, ｉ,ｊ.ｉ =1,2 ,… ,ｎ其中 ,ｘｉｋ是变量ｘｋ 的第ｉ个取值 ,不可观测 ,ξｉｋ是其观测值 ,δｉｋ是相应的观测误差 ;ｔｊ 是变量ｔ的第ｊ个取值 ,ｇ(ｔ)是ｔ的取值于Ｒ的函数 ;ｙｉｙ是ｙ=∑ｐｋ =1 βｋｘｋ ｇ(ｔ)在 (ｉ,ｊ)网点的观测值 (即ｘｋ=ｘｉｋ,ｔ=ｔｉ) ,ε…     

允许素数阶互素自同构的有限解

本文中涉及的群都是指有限群。文中使用的一切符号的意义遵循文献[1]。 首先作一说明。设群G允许素数r阶自同构α,且r|G|。令A=<α>,那末C_G(α)=C_G(A),且G的“A不变子群”与“α不变子群”等同,所以在涉及此情形时,我们可应用文献[1]定理6.2.2.     

图的度和、连通度和控制圈

令Ｇ是一个ｎ阶图.设Ｃ是Ｇ中的一个圈,如果Ｇ-Ｖ(Ｃ)是空图,那么称Ｃ是控制圈.令δ,κ和α分别表示图Ｇ的最小度、连通度和独立数.用σｋ表示Ｇ中任意ｋ个独立点的度和的最小值.Ｂａｕｅｒ等人[1]证明了:设Ｇ是ｎ阶2连通图.若σ3≥ｎ κ,则Ｇ是Ｈａｍｉｌｔｏｎ图.本文证明了:定理　设Ｇ是ｎ阶3连通图.若σ4≥ｎ 2κ,则Ｇ包含一个最长圈Ｃ,使得Ｃ是一个控制圈.界ｎ 2κ是最好可能的.我们能构造一类图,它们满足定理假设,但不是Ｈａｍｉｌｔｏｎ的.根据定理,我们有如下结论:推论1　设Ｇ是ｎ阶3连通图.若σ4≥ｎ 2κ并且δ≥α,则Ｇ是Ｈａｍｉ…     

曲线上微分算子环的Stafford-Smith问题

设XM特征为零的代数闭域k上的仿射代数曲线,O(X)表示X上的正则函r,D(X)是X上微分算子环,H(X)是D(X)的导出Artin代数.Stafford-Smith在文献[1]中提出如下两个问题:Stafford-Smith问题Ⅰ:D(X)是否有无限的总体同调维数?Stafford-Smith问题Ⅱ:给定一个任何有限维代数A,是否存在仿射曲线X,使得H(X)=A?Brown在文献[2]中提出了如下问题:是否H(X)总是为拟遗传代数?     

可递域上的双全纯映照的偏差定理(Ⅱ)

1.若M为有界对称域,包有原点.M为G/K的在C~n中的标准实现,这里G为M的全纯自同构群,K为使原点不变的G的迷向子群、(?)为G的李代数,t为与K相对应的(?)的极大紧子代数.于是(?)有Cartan分解(?)=t+β.若(?)为β的极大交换子空间,选取(?)的一组适当的基 X_1,…,X_q,q=dim(?)=rank M.对于每一个x∈(?)有唯一表示X=     

具有预投射分支的mild代数

本文讨论的代数都是某个固定代数闭域k上的有单位元的有限维结合代数,并且是基本的按照文献[1],一个无限表示型代数A称为mild代数,如果对A的任意非零理想I,有A/I是有限表示型代数.我们知道,如何判别一个代数是有限表示型代数是困难的.所以,通过某种简单的方法得到一大类非平凡的有限表示型代数是有兴趣的.文献[2]给出了所有的具有预     

二参数正态过程的马尔科夫性

设t(t_1,t_2)为平面上的点(图1),R_+~2=(t:t_1≥0,t_2≥0)中Borelσ-代数记为β。ξ={ξ,(ω),t∈R_+~2}为概率空间(Ω,(?),P)上的实值随机过程。t(t_1,t_2)≥s(s_1,s_2)如t_1≥s_i,i=1,2,R_t=(s:s_1≤t_1或s_2≤t_2),(?)=σ{ξ(?),s∈R_1},即括号中变量产生的σ-代数。称ξ为二参数马尔科夫过程(二马程),如对任意有界β可测函数f,任意u=(u_1,u_2)>t=(t_1,t_2)∈R_+~2,有