△列和△解析群Ⅰ

幂零群可用上中心列、下中心列或中心列定义,而且任何幂零群的上、下中心列等长。O.Ore〔1〕进上、下幂零列概念,并证明了有限群为可解的充要条件是它有上或下幂零列,并且上、下幂零列等长,本文推广之,引进上、下△列和△列的概念,并对满足正规子群极大条件的群G 及△SHI 证明了G 有上△列、下△列或△列三者等价;而且若△还是费丁的,G 的上、下△列等长。本文还讨论了有关的特征子群〔G,△〕_n与△_n(G).设△是一个群论性质,它定义出一类群。我们约定,单位元群具有任何群论性质。本文沿用〔2〕的术语和记号,并用G 表示任一个群.在不发生混淆的时候,用1表示单位元群.N 表示自然数集;l 是任一指标集.     

N函数△_3~*条件的一个应用

本文指出专著[1]中对一个例题的论证是错误的,并利用文献[2]所引进的N函数△(?)条件的概念和性质,给出了这个例子正确与简炼的证明。     

特征标维数图是一种连通图的可解群的注记

假设群G可解,且特征标维数图Γ(G)的顶点集ρ(G)=π1Uπ2U{p},其中｜π1｜,｜π2｜≥1,π1∩π2=φ,且π1与π2中顶点不相邻,本文证明了G的Fitting高2≤n(G)≤4,且若n(G)≠4,则存在长最多为6的正规子群列G=G0(△)G1(△)…(△)Gs使商群Gi/Gi+1或者是交换群或者是p-群.     

△―内射模与拟―V模

给出了△-内射模与拟-V模的概念,刻画了它们的一些性质.证明了如下主要结果:①M为△-内射模,则对于S的任意极大左理想A≠ls(Imu),u∈△,作为广义S-系A△在S△中广义稠密.②N是△(M)-内射模当且仅当N是△(Mn)-内射模.③给出了u.dim(I(M))≤n的一个充分条件.④I(Mn)=1n⊕i=I(M)     

关于Frobenius群的注记

本文首先利用群在其不可约特征标集合以及共轭类集合上的作用之间的关系,证明了Frobenius群的一个特征标刻画;然后使用一类特殊的Frobenius群的结构,以及正规子群的特征标理论,证明了2个结论:(1)若可解群G的每个χ∈Irr_m(G)都是拟本原特征标,则G是交换群;(2)设G是M-群,G的导列长为l,则G是关于G~(l-1)的相对M-群。     

△（G）=4的图的强边染色

针对1985年Erdǒs和Nesetǐil提出的强边一染色猜想：令G为图,若△（G）为偶数,则Sx’（G）≤5△^2（G）／4;若△（G）为奇数,则Sx’（G）≤5△^2（G）／4-A（G）／2＋1／4。证明了对于令G为△（G）=4的图,若δ（G）≤3或围长g（G）≤4,则Sx’（G）≤21。     

只含一个p阶子群的无限p—群

若群G有上升列1=G_0相似文献   

强π-交换群和π-拟幂零群

本文引进了强π-交换群(其π-Hall 子群包含在中心里面的有限群)的概念,讨论了这类群的结构和性质,证明了强π-交换群类是子群承继的型.本文还引进了π-拟换位子群、π-中心、上、下π-中心列和π-中心列等新概念;得到了π-拟幂零群的新刻划:有限群G 的下列四个性质等价:(1)G 是π-拟幂零群;(2)G 有上π-中心列;(3)G 有下π-中心列;(4)G 有π-中心列.并且π-拟幂零群的上π-中心列长=下π-中心列长,任一π-中心列的长不小于上、下π-中心列的公共长.最后,从这个角度进一步探讨了π-拟幂零群的结构和性质.     

样条插值的一致收敛性

设 是区间[0,1]的一列分划;sp(3,△R)是对于分划△R 的三次样条函数空间,即若s(x),则s (x)i=0,1,…,NR-1;且 s(x)[0,1].记 对干连续函数[0,1] ,在sp(3,△k)中构造它的插值样条s(x),常见的三种,即三次周期型插值样条(若f(0)=f(1)的话)、三次自然型插值样条,(在[1]中称为(Ⅱ’)型插值样条)和三次(Ⅰ’)型插值样条(见[1] p94)。这三种样条在[2]中分别用插值算子L△Kf,N△Kf和S△Kf来表示,它们都是线性、幂等因而是投影算子。 I.J.Schoenberg[3] 曾提出过这样的问题:对于满足△k→0的分划列△R,是否对[0,1]上的一切连续函数f都有P△Kf-f…     

城市设计中“群构”的运用

本文从解析群的概念出发，概括了群的特征，并探讨了在城市设计运用中群的设计原则。     

Banach空间中的△── 一致凸性

设X是Banach空间，A是X的有界集，X（A）表示A的非紧性球测度，△x（ε）=inf{1—inf｛||x||：x∈A}：ABX是闭凸集且X（A）}，若对有△X（ε）＞0，则称X为△一致凸的，本文主要证明了X为近一致凸的当且仅当X是△一致凸的。     

有限超可解群的一些充要条件Ⅱ

主要证明了如下的结果假设M是有限群G的任意极大子群,则下列命题是等价的(1)G是超可解群;(2)M补于G的某个素数阶主因子;(3)有H(△)G使M∩H为H的正规的极大子群;(4)M/MG为幂指数整除p-1的Abel群且|G∶M|为素数p的幂;(在下面的(5)～(8)中假设G之所有含于F(G)和Φ(G)之间的主因子在G中的中心化子之交是可解群.)(5)Φ(G)=H0＜H1＜…＜Hr=F(G)为G的一个主列片段,其中每个主因子Hi+1/Hi是素数阶的;(6)若F(G)≤(△＼)M,则M补于G的素数阶主因子;(7)若F(G)≤(△＼)M,则M/MG是幂指数整除p-1的Abel群且|G∶M|为素数p的幂;(8)若F(G)≤(△＼)M,则M∩F(G)为F(G)的极大子群.     

(R)可积函数列逐项积分条件的减弱

本文引进(R)可积函数列一致可积的概念,证明了一致可积性比一致收敛性弱;并证明了在一致可积条件下可对(R)可积函数列逐项积分。     

一类有向图的星边弧染色

提出了有向图的星边弧染色的概念,并定义了有向图D的星边弧色数,记为(→x)s′(D).运用Lovász局部引理证明了若有向图D=(V,A)的最大出度△+与最大入度A-满足线性关系△+=k△-(△(D)≥7,k＞0),则(→x)s′(D)≤16[(√1+k2)/1+k△3/2]*,这里[*]*表示上取整.     

有限n-正规化子群

基于Ashrafi的想法,定义了n-正规化子群并对其进行研究。首先由定义得到n-正规化子群的一些基本性质。其次,对于任意的正整数n证明了n-正规化子群的存在性。再次,证明了对于有限群G,若# Norm(G)≤3,则G为幂零群;若假定|G|为奇数,则当# Norm(G)≤4时G为幂零群。最后,证明了若# Norm(G)=2,则G″=1;若# Norm(G)=3且G有交换的Sylow2-子群,则G'=1。     

有限n-正规化子群

基于Ashrafi的想法,定义了n-正规化子群并对其进行研究。首先由定义得到n-正规化子群的一些基本性质。其次,对于任意的正整数n证明了n-正规化子群的存在性。再次,证明了对于有限群G,若#Norm(G)≤3,则G为幂零群;若假定|G|为奇数,则当#Norm(G)≤4时G为幂零群。最后,证明了若#Norm(G)=2,则G″=1;若#Norm(G)=3且G有交换的Sylow2-子群,则G?=1。     

具有抛物线解的二次系统

文[1]证明了若二次系统有椭园解,则比椭园解是唯一的极限环;文[2]证明了若二次系统有双曲线解,则不具有极限环;文[3]证明了若二次系统具有直线解,则至多存在一个极限环。若二次系统具有抛物线解时,Черкас在文[4]中给出了方程的一般形式,并得到一些初步结论。但是,他给出的一般形式是错误的。很容易证明,若从他给出的形式出发,就会得出具有抛物线解无环的结论。     

TayLor定理的再改进

S.W.Golomb提出猜想[1]:在任何有限域中总存在两个本原元素α和β适合关系α+β=1。并给出于Taylor定理:若p=2~mr+1和r都是奇素数,则r>2~(m-1)+2时,该猜想在GF(p)中成立。[2]中证明了:若p=4 p_1+1和p_1都是奇素数,则该猜想在GF(p)中成立。[3]中证明了:若p=2p_1+1和p_1都是奇素数,则该猜想在GF(p)中     

关于Srinivasan的一个定理的推广

本文证明了下述主要定理: 设G为有限群.若对每一个素数p|G|,G的每个p-sylow子群S有mp个极大子群在G中S一半正规,且其中至少有两个在G中次正规,则G超可解,其中m_p>1,d_p=2 P~d_p~(-2)-1/P-1,d_p>2式中dp为S的最小生成元个数本定理推广了Srinivasan.S[1]及张来武在[3]中的有关结果.     

关于有限群的超可解性

本文证明了 定理1 设G为群,则W∞(G)=SI(G) 定理2 设G为群,N△G,若G/N超可解且N的素数阶元均属于W∞(G),则G超还解的充要条件是G与T2q无关。