Steinberg群的分解

令A是含1结合环,St_n(A)为A上维数n的steinberg群,稳定Steinberg群St(A)是St_n(A)在自然方式下的正向极限(参阅文献[1,2]),一些作者研究了St(A)和St_n(A)的元素的各种正规形式(见文献[3—7]),其中Sharpe给出一个分解St(A)=LPLU。不幸的是,Sharpe的分解对于任何维数的非稳定Steinberg群不成立,即使A是整数环或多于3个元素的域的情形也是如此。     

Steinberg群的对合分解

1 预备知识 将矩阵群中的元素表示成一类特殊矩阵(如对合、换位子等)的积并求出这种分解所需因子的最小数目是典型群研究中的一类问题。已知当n≥3时域上特殊线性群SL_nF(=E_nF)中任一元素可表成不超过4个对合的乘积。本文将考虑域上稳定Steinberg群的对合分解。     

初等线性群之间同构的提升

令R和A为含1交换环,m和n为≥3的整数,考虑同构E_m(R)E_n(A)何时以及怎样才能提升为相应Steinberg群之间的同构.已经证明,若E_m(R)同构于E_n(A),则m=n(见文献[1]),当,n≥4时,任一同构E_n(R)E_n(A)是标准形的,可自然且唯一地提升为St_n(R)到St_n(A)的同构。但情形n=3不同于n≥4,因3维线性群之间存在例外同构(文献[3]及[2]中给出的反例)。本文研究同构E_3(R)E_3(A)能够提升的充要条件。     

半局部环上的二维线性群的自同构

体(域)上的二维线性群的自同构已由华罗庚、万哲先(1963)给出。Reiner、Landin、Dull等人曾对某些欧氏环及一般整区上的二维线性群的自同构形式做过研究。王仁发最近决定出局部环上的二维线性群的自同构。本文在此基础上,给出了半局部环上二维线性群的自同构。     

引力规范场作用量及其主丛表述

一 近年来,文献[1,2]采用在以规范群G为结构群的主丛上适当定义Riemann几何的方式,给出了群G的规范场与Einstein引力场(GR)的统一作用量。最近,文献[3]澄清了文献[1,2]中的一些不确切之处,并进而在主丛上引进Riemann-Cartan(RC)几何,从而给出规范     

分次环的分次分式环

Nǎstfǎsecu等分别证明了在条件“只是Z-分次环”;“R是强G-分次环,G是有限群,|G|~(-1)∈R”下分次Goldie定理成立。本文证明了当R是有单位元的G-分次环,G是有限群时,分次Goldie定理成立。还讨论了分次环R的分次右分式环的性质,给出分次环只存在分次Artin分次右分式环的充要条件。 文中R是G分次环,G是有限群,f是群G的单位元。分式(分次分式)环指经典右(分次)分式环。(分次)Artin环指(分次)右Artin环。首先给出一个基本结论:     

真商群的下中心列的第c+1项(c≥2)是有限的群

我们以FN_c-群表示下中心列的第c+1项γ_(c+1)G是有限的群G.若群G的每一真商群是FN_c-群但G本身不具备这种性质,则称G为外FN_c-群(JNFN_c-群).文献[1]已经讨论了JNFA-群(即c=1时的JNFN_c-群),本文研究c≥2时的JNFN_c-群,给出这类群的颇为令人满意的结构描述.当然研究过程也表明这里的研究比文献[1]     

紧群与齐性空间上的加权大筛法不等式

文献[1]已经建立了局部紧Abel群上的加权大筛法不等式,并已指出,我们的方法对非Abel情况也是适用的,现在我们给出紧群与一类齐性空间(包括Riemann对称空间)上的加权大筛法不等式如下: 设G是紧距离群,满足|S(e,2a)|≤A_G|S(e,a)|,S(·,a)是半径为a的球,|·|表Haar     

关于环上线性群正规子群的标准性

本文给出了以交换环、体直积环为其特殊情形的强右Ore环的定义,证明了这种环上线性群正规子群的标准性(n≥3),这扩大了Wilson(1972)的结果(他仅给出交换环n≥4的情形)。本文还指出Wilson方程组的可解性仅在强右Ore环上才能实现。     

Abel q-域的分类和素理想分解

设q为任意素数,Galois群为Abel q-群(即阶为q幂的Abel群)的Abel数域称为q-域。本文给出在Abel q-域L中的素分解规律,域L的分类、惯性群、剩余类次数和判别式等。这些结果系统完整地发展了关于(2,…,2),(q,…,q)和(q~s,…,q~s)等型数域的许多文献中的结果,后者原都是用各别方法得出的。     

某些李型单群的一个新刻划

对所有的有限单群给出形式统一的刻划显然是有意义的。我们继续证明下述猜想。 猜想 设G是群,π_e(G)是G的元的阶之集,H为有限单群,则G≌H的充要条件是:     

噪声方程的数值解

我们在文[1]中曾利用重整化数值逼近的技术求解了单峰映像的重整化群方程g(x)=—αg(g(x/α))。这一方法可精确地给出g(x)的展开式     

n循环与n超可解群

R. Baer等曾讨论了n可换,n可解与n幂零群并得出一系列结果。但尚未见有文献提出n循环与n超可解群。本文给出n循环与n超可解群的定义及其若干结果。以下用符号G(n)表示群G的子集{x~n|x∈G},n—G表示群C的子集{x|x~n~i=e,i为某非负整数,e为G的单位元},P_a—G表示群G的子集{x|(o(x),n)=1},其中o(x)表示x的阶。若G=n—G,则称G为n群。若G=P_n—G,则称G     

酉群上的广义Fejér算子

设U_n是n阶酉群,u(U)是U_n上Lebesgue可积函数,则u(U)可以展开成Fourier级数 龚昇从Poisson-华核出发,定义了(1)式的方体平均,进而讨论了其收敛定理。此外,从系数出发,龚昇又给出了(1)式方体平均的又一定义:     

MKdV方程的一个不变群

本文给出MKdV方程q_t=Q_(xxx)-6q~2q_x (1)的一个新的单参数不变群,文中 integral fromd (fdx)(或integral from (fdr))指f的任一取定的原函数。 引理 若q是(1)式的解,则     

再论有限群中元的阶之集

设G为有限群,π_e(G)为G的元的阶之集.对正整数集的任一子集m,令h(m)为满足π_e(G)=m的有限群G的同构类类数.文献[1]中作者提出了如下猜想:对正整数集的所有子集,h(m)∈{0,1,∞}.最近,Mazurov证明了如下结果:如果m=π_e(L_3(5)),则h(m)=2.于是他给出了上述猜想的一个否定回答.本文将给出h(m)=2的另一个例子.定理 设G是有限群.则π_e(G)=π_e(L_3.(9)),当且仅当G≌L_3(9)或L_3(9).2_1.由于没有找到集合m满足h(m)=3,我们提出如下问题.问题 是否存在一个正整数k,使得对正整数集的任一子集m,总有h(m)∈{0,     

原子簇C_(60),C_(60)H_(60)和C_(60)F_(60)电子结构研究

近年来,用激光汽化石墨固体,导致非寻常碳原子簇C_(38),C_(50),C_(60),…,C_(120)的生成。质谱分析表明以C_(60)为主要成分。它具I_(?)群对称性并且最稳定。此外,人们还合成了一     

旋转群上Fourier系数的渐近性质

在n维环群的Fourier级数理论中,Riemann-Lebesgue引理是一个基本的结果。而对一般非交换的紧Lie群G,则G上可积函数的Fourier系数,一般说来不趋向于零。本文主要是就旋转群SO(n)的情形作一些较为详细的讨论,并在Fourier系数发散的情形,给出构造     

Fuzzy拓扑群的分离性

本文讨论Fuzzy拓扑群的分离性.我们沿用中的概念和记号,并以ftg表示Fuzzy拓扑群。定义若ftg(X,T)是Fuzzy准T_o(T_i)拓扑空间(i=1、2),则称(X,T)为准T_o(T_i)ftg;若ftg(X,T)是Fuzzy T_1且T_3(或T_1且T_4)拓扑空间,则称(X,T)为正则(或正规)ftg。对于上述各类ftg,我们有以下关系:[1]证得,这里仅给出两个较复杂的例子。     

仿射空间中的5-设计

Alltop给出了一个仿射空间中的5-设计,本文扩展文献[1]的结果,给出V_8(F_2)中六个5-设计,其参数为5-(2~8,k,λ),其中k=23,24,25,46,47,69. 设Q=V_n(F_2)是二元域F_2上的n维向量空间,G是Q上的仿射变换群。 V_n(F_2)中的四元集有两个仿射类U_1~(4)和U_2~(4)由四元化零集(即元素之和为零)组成,五元集也有两个