由内自同构构造的李型单群~2B_1(k)

C.Chevalley给出了由复单李代数L在域K上构造李型单群(或称为Chevalley群)的理论([1]),由典型李代数构造出来的李型单群都同构于某些典型群,特别是B_t(k)同构于PΩ_(2t+1)(K_9f)其中f为K上的二次型     

由内自同构构造的李型单群

当L≌C_l,l为偶数且l≥4,域K=K.((-1)~(1/(-1))),其中K。为一有序域,((-1)~(1/(-1)))~2=1利用L的对合内自同构和域K的对合自同构这一新的方法构造出李型单群C_l(K)。     

李型单群_1~2(K)的阶及其同构型

设域K_0的特征p>3,域K=K_0(-1~(1/2))且K■K_0。在[5]中,利用[4]的结果构造了李型单群_1~2(K)。当K为有限域时,本文计算了_1~2(K)的阶,并进一步证明了_1~2(K)■_m(K),其中m=1/2。     

广义李型单群2Dn（K）的一类极大可解子群

本文在研究构造的广义李型单群２Ｄｎ（Ｋ）的基础上，具体确定了Ｇ＝２Ｄｎ（Ｋ）的包含Ｇ’的对角子群Ｈ’的极大可解子群     

Borel子群的自同构

设■是一个复单李代数,L_0.L_1分别是关于■的根系△的根格与权格,对于L_0与L_1之间的每一个格L,存在一个域K上的(?)型Chevaucy群G_L,设B_L是C_L的Borel子群;此外,设(?)是由G_L与L的特征标群所确定的群,(?)是(?)的Borel子群。本文假设char K≠2,3,又设L在由(?)的Dynkin图的任一个对称所诱导的由根系△张成的欧氏空间的等距变换之下都不变。我们在上述假设之下证明了BL与(?)的任一个自同构都能表示成内自同构、图自同构、对角自同构、域自同构、中心自同构之积;此外,我们还给B_L及■的特征子群一个刻划。     

有限维模李超代数K(m,n,l,(t-))的生成元与一类导子

本文总设F是p>2的域,我们在域F上构造了有限维模李超代数K(m,n,l,t),并确定了它的一类导子及生成元.     

域上同级射影特殊线性群的同态

设F,K为体,ChF和ChK分别表示F和K的特征,n为正整数,SLn(F)和SLn(K)分别表示F和K上的n级特殊线性群,PSLn(F)和PSLn(K)分别表示F和K上的n级射影特殊线性群。郝立柱确定了ChF=2时SLn(F)到SLn(K)(n≥3)的同态形式,得到了此时的同态是平凡的结论。在以上基础上继续研究,使用矩阵计算等方法和技巧,确定了当F,K为域且ChK=2时PSLn(F)到PSLn(K)(n≥3)的同态形式,得到了特征为2的域上同级射影特殊线性群的同态是平凡的结论。     

域上保秩1矩阵映射

设K是域,m,n是不小于2的整数,Mmn(K)表示K上m×n阶矩阵全体所成集合.设Φij(i=1,2,…,m,j=1,2,…,n)是K上的映射,定义K上由Φij导出的映射Φ如下:Φ:[aij]|→[Φij(aij)],[aij]∈Mmn(K).若Φ将Mmn(K)中的秩1矩阵都映成秩1矩阵,则称Φ是保秩1的,将刻画这种映射的形式.     

梯形波图的最小Steiner树

<正> 一、引言 设X是平面有限点集,对于任意平面点集Y(?)X,Y上总长最小的网络(显然,这个网络是树)称为集X上的最小Stener树,记为SMT(X)。X中的点称为正则点,Y-X的点称为Steiner点。已知X构造SMT(X)的问题称为Steiner问题。已知一般的Steiner问题是NP—完全问题。因此在一般图上构造SMT是一个很困难的问题。直到1961年Melzak才证明它是一个有限问题。1978年F.R.K.Chung及R.L.Graham才在梯子(Ladder)图上构造了第一个SMT的无穷类。后来,F.K.Hwang,D.Z.Du等又构造了锯齿图上     

全正映射及其张量积

本文讨论了C代数中的全正映射,推广了[1]中命题2.5的结果。本文利用[2]中的记号、设H_i是Hilbert空间,H_1(?)H_2是H_1与H_2的代数张量积,任给ξ=sum from I=1 to n ξ_(1I)(?)ξ_(2I)∈H_1(?)H_2,η=sum from j=1 to m η_(1j)(?)η_(2j)∈H_1(?)H_2,定义(ξ,η)=sum from n=I,j (ξ_(1i),η_(1j))(ξ_(2j),η_(2j)),由[2],(,)是H_1(?)H_2中的内积。H_1(?)H_2的完备化,用H_1(?)H_2表示,其是a是由H_1(?)H_2中内积导出的范数(见[1]p182)。     

线性多步法稳定性讨论

本文主要结果为: 1.证明了阶p≥k-1的显式线性k步方法不能达到渐近A(0)稳定(k为任何大于1的正整数)。2. 构造了一类k步k-1阶显式线性多步公式,它是弱渐近A稳定且渐近A_0稳定的(k为任何大于1的正整数)。3.对于任意实数α∈(0,_2~π),任意正数D及任意正整数K,构造了一类阶p=k的A(α)稳定且Stiff稳定的隐式线性k步方法,其Stiff稳定参数为D。4.对于任意正整数k,构造了一类阶p=k,k 1的渐近A稳定的隐式线性K步公式。     

群^2G2（K）的中心扩张

构造了2G_2(K)的泛中心扩张,当K是Z_3的代数扩域时,且|K|>3,则其Schur乘子是平凡的。     

体上一般线性群的同态(英文)

设K1和K2均为体,m和n为两个正整数,GLm(K1)和GLn(K2)分别表示K1上m阶一般线性群和K2上n阶一般线性群,映射f:GLm(K1)→GLn(K2)称为从GLm(K1)到GLn(K2)的群同态,如果f(AB)=f(A)f(B),A,B∈GLm(K1)。刻画了m>n时从GLm(K1)到GLn(K2)的所有群同态。     

凹角域上有限元的超收敛性

在凹角域上考虑二阶椭圆问题的线性有限元解u_h,在分片σ-等级网格(即PC'-剖分)的边中点集合M_h上证明了平均梯度(?)h按L_2范数的超收敛性。     

具有最佳相关性和极大线性复杂度的CDMA序列

Helleseth-Gong(HG)序列是一类具有理想自相关性的无线通信系统码分多址(CDMA)序列.对奇素数p和整数n,m,d满足n=(2d 1)m,本文利用有限域上的二次型理论和迹变换的性质在HG序列基础上构造一类序列数目众多,具有最佳相关性的非平衡p元CDMA序列族,其最佳相关性用Welch下界来衡量.同样,对偶数n=2(2d 1)m,在改进非平衡p元CDMA序列族基础上利用有限域上的迹变换构造了一类序列数目众多,具有最佳相关性的平衡p元CDMA序列族.文章证明了这两类CDMA序列族中的序列都具有大的周期与线性复杂度,适合在无线通信信道上传输.     

单群PSpn(q)与2-(v,5,1)设计

讨论了区传递2-(v,k,1)设计的分类问题，利用典型群的子群结构理论和置换群的轨道理论研究了非可解的区传递2-(v,5,1)设计。得到了定理：设G是一个2—(v，5,1)设计D的区传递，点本原但非旗传递的自同构群，若G是非可解群。则G的基柱Soc(G)不是典型单群PSpn(q),这里q为奇数。     

半线性群的子群结构

设K为域,F为其素子域,V为K上n维线性空间,记GLn(V)为V上一般线性群。以Ln(V)表示V上全体要逆半线性变换全体组成的群。本文给出了中间群GLn(V)≤X≤TLn（V）与中间域F包含于E包含于K的对应关系。     

无限维K型模李代数的导子代数

设F是特征数p>2的域.给出了无限维K型模李超代数的一个生成元集,讨论了K-(n)和它的导子代数的Z-阶化成分,进而确定了K-(n)与K(n)的导子代数.     

关于无限单群的注记

历史上有名的有限单群的结构问题到1981年时已被宣布为完全解决了(参看[1]),与此同时,在苏联数学家的努力之下,无限单群的研究工作也取得了极大的进展。本文准备谈一下有关无限单群的一些基本结论。 定理1:无限单群必是非可换群。     

单群PSp_n(q)与2-(v,5,1)设计

讨论了区传递2-(v,k,1)设计的分类问题,利用典型群的子群结构理论和置换群的轨道理论研究了非可解的区传递2-(v,5,1)设计,得到了定理:设G是一个2-(v,5,1)设计D的区传递,点本原但非旗传递的自同构群.若G是非可解群,则G的基柱Soc(G)不是典型单群PSpn(q),这里q为奇数.