有限生成的无限可解群的多余子群

本文得到了有限生成的无限可解群的多余子群的一些结果，它们是有限群的某些相应结果的推广。     

有限剩余的所有真正规子群都是2元生成的无限多重循环群

设Ｇ是一个多重循环群，如果对Ｇ的每个有限剩余，的所有真正规子群都是２元生成的，那么我们就称Ｇ为ＮＤ２一群．本文确定了无限的ＮＤ２一群的结构，证明了每个无限的ＮＤ２一群都是３元生成的，并且这个界是最好的．     

有限秩的幂零群的自同构

设幂零群G=KP=PK,其中P是有限秩的幂零π-群,K是G的有限秩的π′-自由的正规子群.π不属于K的谱Sp(K),设1=ζ0Gζ1G…ζcG=G是G的上中心列,α和β是G的两个自同构,把α和β在每个商因子ζiG/ζ(i—1)G上的诱导自同构分别记为αi和βi,记Ii:=Im(αiβi—βiαi),则(i)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是G的有限子群时,α和β生成一个可解的几乎Abel群.(ii)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,β和β生成一个可解的NAF-群.特别地,如果α和β是A的两个π′-自同构,那么(iii)当每个Ii都是有限循环群,并且I:=〈(αβ(g))(βα(g))(-1)|g∈G〉是有限群时,α和β生成的群是有限幂零π-群被有限Abelπ′-群的扩张.(iv)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群时,α和β生成一个可解的剩余有限π∪π′-群,它是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.(v)当每个Ii或者是有限循环群,或者是秩1的可除群,或者是C⊕D,其中C是循环群,D是秩1的可除群,或者是无挠的局部循环群,或者Ii有正规子群列1JiIi,其商因子分别为有限循环群,无挠的局部循环群,或者Ii=D⊕Ji,其中D是秩1的可除群,Ji为无挠的局部循环群,或者Ii有正规列1KiJiIi,其商因子分别为有限循环群,秩1的可除群,无挠的局部循环群时,α和β生成一个可解的剩余有限π∪π′-群,它的幂零长度至多是4.当K是FC-群时,在情形(v)中,α和β生成的群是有限生成的无挠幂零群被有限可解π∪π′-群的扩张.此外,如果G=KP,K是一个FC-群,对G的下中心列考虑了类似的问题,得到了对偶的结果.     

关于几类矩阵的注记

特殊矩阵在矩阵分析里起着核心的作用.运用Cramer法则和Lagrange插值公式,处理循环矩阵,Vandermonde矩阵,Hilbert矩阵,Cauchy矩阵的一些基本问题:给出Ramakrishnan的矩阵分解定理的一种推广,计算Vandermonde矩阵,Hilbert矩阵,Cauchy矩阵的行列式,当它们可逆...     

无限幂零群的剩余有限性质

研究了无限幂零群的剩余有限性质,分析了Gruenberg型定理和Baer-Higman型定理,得到了某些无限可解群的剩余有限性质,推广了Hirsch-Robinson型定理.     

一类无限的多重循环群

设Ｇ是无限的多重循环群，如果对Ｇ的每个有限商群Ｇ，Ｇ的所有Ａｂｅｌ子群都是３元生成的，那么Ｇ￣（７）＝１且Ｇ是４元生成的．     

Hyperabelian群的Abel子群

本文利用Ｄｉｒｉｃｈｌｅｔ单位定理证明了：设Ｇ是个Ｈｙｐｅｒａｂｅｌｉａｎ群．若Ｇ的亏数２的次正规Ａｂｅｌ子群都是有限生成的，则Ｇ是个多重循环群，且Ｇ的Ｈｉｒｓｃｈ数ｈ（Ｇ）ｎ２＋ｎ，其中ｎ是Ｇ的亏数２的次正规Ａｂｅｌ子群的最大０－秩．这个定理进一步推广了Ｍａｌｃ＇ｅｖ关于多重循环群的著名工作［５］．     

关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

关于群的定义

群是基本的代数系统,群的定义对左(右)单位和左(右)逆元是成立的,而对左单位元和右逆元不一定成立。本文证明了群的定义对唯一左单位元和右逆元是成立的。     

广义超特殊p-群的自同构群

确定了广义超特殊p-群G的自同构群的结构.假设｜G｜=p^2n＋m,｜ζG｜=p^m,其中n≥1,m≥2,（1）当p是奇数时,记AutG＇G={α∈AutG｜α在G上作用平凡},则（i）AutG＇G Aut G,Aut G/AutG＇G=～Zp-1;（ii）如果G的幂指数是p^m,那么AutG＇G/InnG=～Sp（2n,p）×Zp^m-1;（iii）如果G的幂指数是p^m＋1,那么AutG＇G/InnG=～（K×Sp（2n-2,p））×Zp^m-1,其中K是p^2n-1阶超特殊p-群.特别地,当n=1时,AutG＇G/Inn G=～Zp×Zp^m-1.（2）当p=2时,（i）如果G的幂指数是2^m,那么Out G=～Sp（2n,2）×Z2×Z2^m-2.特别地,当n=1时,｜Aut G｜=3·2^m＋2,Aut G的Sylow子群都不是正规子群,并且Aut G的Sylow 2-子群都同构于HK,其中H=Z2×Z2×Z2×Z2^m-2,K=Z2.（ii）如果G的幂指数是2^m＋1,那么OutG=～（ISp（2n2,2））×Z2×Z2^m-2,其中I是一个2^2n-1阶初等Abel 2-群.特别地,当n=1时,｜AutG｜=2^m＋2并且Aut G=～HK,其中H=Z2×Z2×Z2^m-1,K=Z2.